generics everywhere
play

Generics Everywhere CONTACT@ADAMFURMANEK.PL - PowerPoint PPT Presentation

Dec 11, 2022 •11 likes •861 views

Generics Everywhere CONTACT@ADAMFURMANEK.PL HTTP://BLOG.ADAMFURMANEK.PL FURMANEKADAM 1 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK About me Experienced with backend, frontend, mobile, desktop, ML, databases. Blogger, public speaker.

  1. Generics Everywhere CONTACT@ADAMFURMANEK.PL HTTP://BLOG.ADAMFURMANEK.PL FURMANEKADAM 1 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  2. About me Experienced with backend, frontend, mobile, desktop, ML, databases. Blogger, public speaker. Author of .NET Internals Cookbook. http://blog.adamfurmanek.pl contact@adamfurmanek.pl furmanekadam 2 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  3. Agenda Why do we need reusability. Templates in C++. Erasure in Java. Reification in .NET. 3 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  4. Reusability Use of existing assets in some form within the software product development process. 4 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  5. 5 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  6. Why do we need reusability 6 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  7. 7 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  8. Why do we need reusability 8 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  9. Generic programming Style of computer programming in which algorithms are written in terms of types to- be-specified-later that are then instantiated when needed for specific types provided as parameters. 9 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  10. Generic programming Not new – started in ML in 1973. Most popular on function and class level. Multiple flavours – templates, generics, type classes, polytypic functions. Used for code reuse, static-time reflection, metaprogramming. 10 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  11. Templates in C++ 11 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  12. 12 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  13. 13 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  14. C++ templates C++ „copies” each template and replaces type placeholder with actual type. Then it tries to compile it. If it works – great! 14 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  15. 15 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  16. 16 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  17. 17 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  18. How to see the code? 18 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  19. 19 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  20. 20 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  21. 21 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  22. 22 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  23. 23 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  24. What is T? template<typename T> template<typename T = void> template<typename... Ts> template<int I> template<typename K, typename V, template<typename> typename C = my_array> 24 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  25. 25 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  26. 26 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  27. 27 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  28. 28 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  29. 29 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  30. Raytracing https://github.com/phresnel/metatrace 30 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  31. C++ templates PROS CONS Relatively easy to understand. „Something” needs to instantiate the type for given parameter. Doesn’t require sophisticated runtime support. Works without any notion of „supertype” or A lot of machine code duplication. „base type” for all types. We cannot instantiate the code in runtime. Doesn’t require extensive constraints for passed types. Compiler messages are often less than ideal. Can be easily specialized for specific types. We cannot constrain input type declaratively – Works nice with const expressions. we can only use metaprogramming tricks. Turing complete – perfect for compile time calculations. 31 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  32. JVM Erasure 32 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  33. Java type system OBJECTS PRIMITIVE VALUES java.lang.Object is the root of the class Primitive types correspond to primitive values. hierarchy. Every class has Object as a These include int, short, long, byte, char, float, superclass. All objects, including arrays, double, boolean. implement the methods of this class. We can implicitly convert between them (most Provides method for equality checking of the times). (equals), calculating hashcode (hashCode), checking runtime type (getClass), serializing to There is a reference type for each primitive string literal (toString). type respectively (Integer, Short, Long, Byte, Character, Float, Double, Boolean). String is an Object. 33 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  34. 34 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  35. 35 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  36. 36 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  37. 37 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  38. 38 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  39. JVM erasure Java replaces generic placeholder with java.lang.Object. In other words, it gets rid of the generic type. There is one version of the code – no copying of generic for different types. It then compiles the code with the java.lang.Object as a generic type. 39 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  40. 40 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  41. 41 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  42. 42 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  43. 43 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  44. 44 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  45. 45 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  46. 46 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  47. 47 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  48. 48 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  49. 49 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  50. 50 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  51. 51 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  52. 52 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  53. 53 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  54. 54 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  55. 55 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  56. 56 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  57. 57 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  58. JVM erasure PROS CONS Maintains backwards comaptibility. We lose the type information. We have a performance hit for primitive types. Stores one code for all types. We don’t have full compiler support and type Works with higher kinded types (partially). safety. We can constrain generic parameter (bounds). It is harder to perform optimizations for Relatively easy to implement. particular types. Works with covariance and contravariance We need to encode „trivial” things with type better. system. We cannot provide specialization for given type. 58 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  59. Reification in .NET 59 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  60. .NET Type system Mostly based on Java type system. System.Object is the root of the hierarchy. Primitive types are called value types . Users can create their own value types (structures). Few more things: delegates, events, expression trees, dynamic. 60 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  61. 61 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  62. 62 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  63. 63 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  64. 64 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  65. Reification in .NET .NET replaces type placeholder with System.__Canon for reference types and actual type for value types. It has one code for all reference types and different code for each value type. It doesn’t lose the generic type. Generics are reified and remember their type . 65 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  66. 66 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  67. 67 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  68. 68 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  69. 69 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  70. 70 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  71. 71 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  72. 72 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  73. 73 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  74. 74 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  75. 75 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  76. 76 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  77. 77 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  78. 78 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

  79. 79 25.10.2020 GENERICS EVERYWHERE - ADAM FURMANEK

Recommend

Generics for the Working ML'er Generics for the Working ML'er Vesa Karvonen University of

Generics for the Working ML'er Generics for the Working ML'er Vesa Karvonen University of

Generics for the Working ML'er Generics for the Working ML'er Vesa Karvonen University of Helsinki Why Generics? Why Generics? An innocent looking example: unitTests (title &quot;Reverse&quot;) (testAll (sq (list int)) (fn (xs, ys)

578 views • 44 slides
February 24, 2016 Type safety, enums and Generics generics and enum types HOM DOS HVD HEE

February 24, 2016 Type safety, enums and Generics generics and enum types HOM DOS HVD HEE

February 24, 2016 Type safety, enums and Generics generics and enum types HOM DOS HVD HEE generics and enum types (In)Compatible Assignment Type safety The Java Reality Pieter van den Hombergh Generics Example Generic container Thijs

259 views • 10 slides
Java Generics Generics n Since JDK 1.5 (Java 5), the Collections framework has been

Java Generics Generics n Since JDK 1.5 (Java 5), the Collections framework has been

Java Generics Generics n Since JDK 1.5 (Java 5), the Collections framework has been parameterized. n A class that is defined with a parameter for a type is called a generic or a parameterized class. In C++, there were referred to as

300 views • 12 slides
CS 2334: Lab 7 Generics, Lists and Queues Andrew H. Fagg: CS2334: Lab 7 1 Generics We know

CS 2334: Lab 7 Generics, Lists and Queues Andrew H. Fagg: CS2334: Lab 7 1 Generics We know

CS 2334: Lab 7 Generics, Lists and Queues Andrew H. Fagg: CS2334: Lab 7 1 Generics We know that we can assign an object of one class to an object of another class provided that they are compatible. For example: Public void sampleMethod

675 views • 24 slides
What are Generics? e.g. Generics, Generic Programming, Generic Types, Generic Methods 6

What are Generics? e.g. Generics, Generic Programming, Generic Types, Generic Methods 6

What are Generics? e.g. Generics, Generic Programming, Generic Types, Generic Methods 6 Defining the idea Behind Java Generics Data Types are now used as Type Parameters 7 Defining the idea Behind Java Generics Generic Types: generic

601 views • 23 slides
Generics Akim Demaille, Etienne Renault, Roland Levillain March 29, 2020 TYLA Generics March

Generics Akim Demaille, Etienne Renault, Roland Levillain March 29, 2020 TYLA Generics March

Generics Akim Demaille, Etienne Renault, Roland Levillain March 29, 2020 TYLA Generics March 29, 2020 1 / 54 Table of Contents Some definitions 1 Some history 2 Some Paradigms 3 TYLA Generics March 29, 2020 2 / 54 Problem Statement

1.54k views • 116 slides
Checkout Generics project from SVN } Informal: no need to dress up } Think of it as an

Checkout Generics project from SVN } Informal: no need to dress up } Think of it as an

Exam Review Generics Checkout Generics project from SVN } Informal: no need to dress up } Think of it as an internal company presentation, not a presentation to the public } Five-minute presentation, two minutes for questions, two

425 views • 13 slides
Generics and Javas Evolution @richardwarburto insightfullogic.com binarySearch(List&lt;?

Generics and Javas Evolution @richardwarburto insightfullogic.com binarySearch(List&lt;?

Generics and Javas Evolution @richardwarburto insightfullogic.com binarySearch(List&lt;? extends Comparable&lt;? super T&gt;&gt; list, T key) Past Present Future also generics are added to Java. Yay! Simplicity Dynamically Typed

693 views • 56 slides
Generics Asumu Takikawa RacketCon 2012 1 What are generics? 2 What are generics? hash-ref

Generics Asumu Takikawa RacketCon 2012 1 What are generics? 2 What are generics? hash-ref

Generics Asumu Takikawa RacketCon 2012 1 What are generics? 2 What are generics? hash-ref assoc hash-set alist-cons hash-remove alist-delete 3 What are generics? hash-ref assoc hash-set alist-cons hash-remove alist-delete

854 views • 15 slides
Goal Give an overview of generics for the Java programming language What are generics?

Goal Give an overview of generics for the Java programming language What are generics?

Generics Written in the Java Programming Language with Parameterized Types in Java Platform 5.0 Angelika Langer Trainer/Consultant www.AngelikaLanger.com TS-5627 2005 JavaOne SM Conference | Session TS-5627 1 Goal Give an overview

561 views • 28 slides
Traits and Generics Ryan Eberhardt and Armin Namavari April 21, 2020 The Plan for Today Introduce

Traits and Generics Ryan Eberhardt and Armin Namavari April 21, 2020 The Plan for Today Introduce

Traits and Generics Ryan Eberhardt and Armin Namavari April 21, 2020 The Plan for Today Introduce traits Introduce generics See examples in real world systems! (if time permits) Next time: wrap up traits/generics + discuss smart

632 views • 14 slides
Generics in the Centralised Procedure Progress and Current Issues Presented by: George Wade

Generics in the Centralised Procedure Progress and Current Issues Presented by: George Wade

Generics in the Centralised Procedure Progress and Current Issues Presented by: George Wade Head of Section Chemical Products, EMA An agency of the European Union Overview Performance Statistics 2010 - 2011 CP generics currently are

393 views • 25 slides
Generics: Inference &amp; Accommodation Greg Restall constructing social hierarchy 2 mit 6

Generics: Inference &amp; Accommodation Greg Restall constructing social hierarchy 2 mit 6

Generics: Inference &amp; Accommodation Greg Restall constructing social hierarchy 2 mit 6 december 2019 My Aim T o give an account of norms governing our uses of generics , and our inferring , showing how phenomena of accommodation can help

1.82k views • 169 slides
Generics and Type Safety Recitation 4/24/2009 CS 180 Department of Computer Science, Purdue

Generics and Type Safety Recitation 4/24/2009 CS 180 Department of Computer Science, Purdue

Generics and Type Safety Recitation 4/24/2009 CS 180 Department of Computer Science, Purdue University Announcement Project 8 due Wed, April 29 at 10 pm. All questions on the class newsgroup. Generics Motivation In Java, array

291 views • 13 slides
Generics in Small Doses Adam T. Sampson Neil C. C. Brown Computing Laboratory, University of

Generics in Small Doses Adam T. Sampson Neil C. C. Brown Computing Laboratory, University of

Generics in Small Doses Adam T. Sampson Neil C. C. Brown Computing Laboratory, University of Kent Fun in the Afternoon, November 2008 Overview Tock, our application Why generic programming? Whats wrong with the existing generics systems?

364 views • 24 slides
Parametric Polymorphism in Java Java Generics KLM Department of Computer Science and Information

Parametric Polymorphism in Java Java Generics KLM Department of Computer Science and Information

Parametric Polymorphism in Java Java Generics KLM Department of Computer Science and Information Systems Birkbeck, University of London keith@dcs.bbk.ac.uk Overview Java Generics Motivation Parameterised classes Parameterised methods

669 views • 51 slides
CPSC 331: Data Structures, Algorithms, and their Analysis Introduction to Java Generics Usman R.

CPSC 331: Data Structures, Algorithms, and their Analysis Introduction to Java Generics Usman R.

CPSC 331: Data Structures, Algorithms, and their Analysis Introduction to Java Generics Usman R. Alim Department of Computer Science Generics in Java Often times, we want to perform the same operations on various different types of data.

424 views • 29 slides
Generics and Collections CS 2334: Lab 4 Lab 4 Objectives By the end of this lab, you should be

Generics and Collections CS 2334: Lab 4 Lab 4 Objectives By the end of this lab, you should be

Generics and Collections CS 2334: Lab 4 Lab 4 Objectives By the end of this lab, you should be able to: 1. use Java Lists (specifically, the ArrayList class) to store and manipulate a list of objects of a specified type, 2. create Comparator

356 views • 17 slides
Scala Generics Type Parameterization 1 / 16 Scala Generics Consider: 1 class Pair[T, S](val

Scala Generics Type Parameterization 1 / 16 Scala Generics Consider: 1 class Pair[T, S](val

Scala Generics Type Parameterization 1 / 16 Scala Generics Consider: 1 class Pair[T, S](val first: T, val second: S) Pair is not a type Pair[T, S] is a generic type, or type constructor Pair[Int, String] is a type because arguments

313 views • 16 slides
Checkout Generics project from SVN Business casual Think of it as an internal company

Checkout Generics project from SVN Business casual Think of it as an internal company

Exam Review Generics Checkout Generics project from SVN Business casual Think of it as an internal company presentation, not a presentation to the public Five-minute presentation, two minutes for questions, two minutes for transition

179 views • 13 slides
Sandoz growth strategy in Japanese market - From Global Generics company perspective - Junichi

Sandoz growth strategy in Japanese market - From Global Generics company perspective - Junichi

Sandoz growth strategy in Japanese market - From Global Generics company perspective - Junichi Nakamichi, Country Head, Sandoz K.K. IGPA Kyoto December 2012 a Novartis company Agenda Sandoz overview Leadership in differentiated generics

190 views • 15 slides
Properties and Basic Generics January 30, 2008 Properties 1 Basic Generics 2 1/18 Recall

Properties and Basic Generics January 30, 2008 Properties 1 Basic Generics 2 1/18 Recall

Properties and Basic Generics January 30, 2008 Properties 1 Basic Generics 2 1/18 Recall last lecture: / / Create a form ( i . e . a window ) Form theForm = new Form ( ) ; / / Set the t i t l e theForm . Text = &quot;My Window&quot; ;

555 views • 24 slides
Java Collections and Generics Object-oriented programming Inf1 :: 2008 Object-oriented

Java Collections and Generics Object-oriented programming Inf1 :: 2008 Object-oriented

Java Collections Generics Java Collections and Generics Object-oriented programming Inf1 :: 2008 Object-oriented programming Java Collections and Generics Java Collections Generics Collections Data structures like the ones we discussed in

771 views • 28 slides
301AA - Advanced Programming Lecturer: Andrea Corradini andrea@di.unipi.it

301AA - Advanced Programming Lecturer: Andrea Corradini andrea@di.unipi.it

301AA - Advanced Programming Lecturer: Andrea Corradini andrea@di.unipi.it http://pages.di.unipi.it/corradini/ AP-2019-15 : Java Generics Outline Java generics Type bounds Generics and subtyping Covariance, contravariance in Java

718 views • 27 slides

More recommend