polymorphic symmetric multiple dispatch with variance
play

Polymorphic Symmetric Multiple Dispatch with Variance Gyunghee Park, - PowerPoint PPT Presentation

Apr 28, 2023 •924 likes •1.11k views

Polymorphic Symmetric Multiple Dispatch with Variance Gyunghee Park, Jaemin Hong, Guy L. Steele Jr., Sukyoung Ryu POPL '19 Method Overloading add(x: Int, y: Int): Int = add(x: List, y: List): List = add(x: SortedList, y: List):

  1. Polymorphic Symmetric Multiple Dispatch with Variance Gyunghee Park, Jaemin Hong, Guy L. Steele Jr., Sukyoung Ryu POPL '19

  2. Method Overloading add(x: Int, y: Int): Int = … add(x: List, y: List): List = … add(x: SortedList, y: List): SortedList = … add(x: SortedList, y: SortedList): SortedList = … � 2 / 10

  3. Method Dispatch add(x: Int, y: Int): Int = … add(x: List, y: List): List = … add(x: SortedList, y: List): SortedList = … add(x: SortedList, y: SortedList): SortedList = … a: List = SortedList(1, 3, 5) List b: List = SortedList(2, 4, 6) SortedList add(a, b) � 3 / 10

  4. Method Dispatch add(x: Int, y: Int): Int = … add(x: List, y: List): List = … add(x: SortedList, y: List): SortedList = … add(x: SortedList, y: SortedList): SortedList = … a: List = SortedList(1, 3, 5) List b: List = SortedList(2, 4, 6) SortedList add(a, b) 3 / 10

  5. Static Dispatch add(x: Int, y: Int): Int = … add(x: List, y: List): List = … add(x: SortedList, y: List): SortedList = … add(x: SortedList, y: SortedList): SortedList = … a: List = SortedList(1, 3, 5) List b: List = SortedList(2, 4, 6) SortedList add(a, b) 4 / 10

  6. Single Dispatch add(x: Int, y: Int): Int = … add(x: List, y: List): List = … add(x: SortedList, y: List): SortedList = … add(x: SortedList, y: SortedList): SortedList = … a: List = SortedList(1, 3, 5) List b: List = SortedList(2, 4, 6) SortedList add(a, b) 5 / 10

  7. Single Dispatch add(x: Int, y: Int): Int = … add(x: List, y: List): List = … add(x: SortedList, y: List): SortedList = … add(x: SortedList, y: SortedList): SortedList = … a: List = SortedList(1, 3, 5) List b: List = SortedList(2, 4, 6) SortedList add(a, b) 5 / 10

  8. Binary Method Problem 6 / 10 Odersky et al., Programmin in Scala (3rd Ed.) , Ch. 30 Object Equality

  9. Symmetric Multiple Dispatch add(x: Int, y: Int): Int = … add(x: List, y: List): List = … add(x: SortedList, y: List): SortedList = … add(x: SortedList, y: SortedList): SortedList = … a: List = SortedList(1, 3, 5) List b: List = SortedList(2, 4, 6) SortedList add(a, b) 7 / 10

  10. Symmetric Multiple Dispatch add(x: Int, y: Int): Int = … add(x: List, y: List): List = … add(x: SortedList, y: List): SortedList = … add(x: SortedList, y: SortedList): SortedList = … a: List = SortedList(1, 3, 5) List b: List = SortedList(2, 4, 6) SortedList add(a, b) 7 / 10

  11. Unambiguity add(x: List, y: SortedList): List = … add(x: SortedList, y: List): List = … List a: List = SortedList(1, 3, 5) b: SortedList = SortedList(2, 4, 6) SortedList add(a, b) 8 / 10

  12. Unambiguity add(x: List, y: SortedList): List = … add(x: SortedList, y: List): List = … List a: List = SortedList(1, 3, 5) b: SortedList = SortedList(2, 4, 6) SortedList add(a, b) 8 / 10

  13. Type Preservation add(x: List, y: SortedList): SortedList = … add(x: SortedList, y: SortedList): List = … List a: List = SortedList(1, 3, 5) b: SortedList = SortedList(2, 4, 6) SortedList add(a, b) 9 / 10

  14. Type Preservation add(x: List, y: SortedList): SortedList = … add(x: SortedList, y: SortedList): List = … List a: List = SortedList(1, 3, 5) b: SortedList = SortedList(2, 4, 6) SortedList add(a, b): SortedList 9 / 10

  15. Overloading Rules 10 / 10

  16. Overloading Rules 10 / 10

Recommend

j i u a l The Unreasonable Effectiveness of Multiple Dispatch Stefan Karpinski Multiple

j i u a l The Unreasonable Effectiveness of Multiple Dispatch Stefan Karpinski Multiple

j i u a l The Unreasonable Effectiveness of Multiple Dispatch Stefan Karpinski Multiple Dispatch? dispatch dispatched on selection syntax degree arguments power none f(x, y) { } O(1) single x.f(y) {x} O(|X|) multiple

646 views • 30 slides
Variance = E[I 2 ] 2pE[I] + p 2 = E[I] 2p p + p 2 = 2 2 = p-2p+ p pq variance.1

Variance = E[I 2 ] 2pE[I] + p 2 = E[I] 2p p + p 2 = 2 2 = p-2p+ p pq variance.1

Variance of an Indicator Mathematics for Computer Science MIT 6.042J/18.062J IanindicatorwithE[I]=p: Var[I]:: = E[(I p) 2 ] Variance = E[I 2 ] 2pE[I] + p 2 = E[I] 2p p + p 2 = 2 2 = p-2p+ p pq variance.1 variance.2

104 views • 6 slides
There's More Than One Way To Dispatch It

There's More Than One Way To Dispatch It

There's More Than One Way To Dispatch It 2009 There's More Than One Way To Dispatch It Topological sorting of a directed acyclic graph

496 views • 36 slides
Redundancy-free Residual Dispatch Using Ordered Binary Decision Diagrams for Efficient Dispatch

Redundancy-free Residual Dispatch Using Ordered Binary Decision Diagrams for Efficient Dispatch

Formula-based Dispatch BDD-based Dispatch Assessment Redundancy-free Residual Dispatch Using Ordered Binary Decision Diagrams for Efficient Dispatch Andreas Sewe Christoph Bockisch Mira Mezini Seventh International Workshop on Foundations

408 views • 39 slides
Consistent Variance Estimates for Multiple Multiple imputation Imputation in R MI alternative

Consistent Variance Estimates for Multiple Multiple imputation Imputation in R MI alternative

Consistent MI Variances in R James Reilly Consistent Variance Estimates for Multiple Multiple imputation Imputation in R MI alternative R package Summary James Reilly University of Auckland 8 July 2009 James Reilly Consistent MI

600 views • 11 slides
Linear Models II Design of Experiments, Analysis of Variance and Multiple Regression

Linear Models II Design of Experiments, Analysis of Variance and Multiple Regression

Linear Models II Design of Experiments, Analysis of Variance and Multiple Regression http://bcf.isb-sib.ch/teaching/introStat/ EMBnet Course Introduction to Statistics for Biologists, Jan 2009 The research process Scientific

687 views • 29 slides
METRO WEST AMBULANCE DISPATCH CENTER Presented by Kristen Hoover & Larry Boxman DISPATCH

METRO WEST AMBULANCE DISPATCH CENTER Presented by Kristen Hoover & Larry Boxman DISPATCH

METRO WEST AMBULANCE DISPATCH CENTER Presented by Kristen Hoover & Larry Boxman DISPATCH CENTER 8 dispatch stations 2 supervisor consoles 5 call taker stations Dispatch Center Average of 1,200 phone calls in/out daily

392 views • 10 slides
This time on Types ... Polymorphic -calculus (polymorphic -binding). Lets us type: f ((

This time on Types ... Polymorphic -calculus (polymorphic -binding). Lets us type: f ((

This time on Types ... Polymorphic -calculus (polymorphic -binding). Lets us type: f (( f true ) :: ( f nil )) -bound variables in ML cannot be used polymorphically within a function abstraction E.g. f (( f true ) :: ( f nil ))

945 views • 23 slides
CSE 341 Programming Languages Dynamic Dispatch vs. Closures OOP vs. Functional Decomposition

CSE 341 Programming Languages Dynamic Dispatch vs. Closures OOP vs. Functional Decomposition

CSE 341 Programming Languages Dynamic Dispatch vs. Closures OOP vs. Functional Decomposition Wrapping Up Zach Tatlock Spring 2014 Dynamic dispatch Dynamic dispatch Also known as late binding or virtual methods Call self.m2() in method

935 views • 55 slides
DSM Dispatch Conditions p Dr Richard Tooth 22 November 2012 2 Introduction Proposals in

DSM Dispatch Conditions p Dr Richard Tooth 22 November 2012 2 Introduction Proposals in

DSM Dispatch Conditions p Dr Richard Tooth 22 November 2012 2 Introduction Proposals in place affecting the dispatch of DSM Most notably, shift to unlimited hours of dispatch per year Also of relevance Minimum notice

500 views • 17 slides
Variance Will Perkins January 22, 2013 Variance Definition The variance of a random variable X

Variance Will Perkins January 22, 2013 Variance Definition The variance of a random variable X

Variance Will Perkins January 22, 2013 Variance Definition The variance of a random variable X is: var( X ) = E [( X E X ) 2 ] Alternatively, (check using linearity of expectation), var( X ) = E [ X 2 ] ( E X ) 2 Variance Variance is

395 views • 12 slides
Polymorphic Lists & Trees Department of Computer Science University of Maryland, College Park

Polymorphic Lists & Trees Department of Computer Science University of Maryland, College Park

CMSC 132: Object-Oriented Programming II Polymorphic Lists & Trees Department of Computer Science University of Maryland, College Park Polymorphic Binary Search Trees Second approach to implement BST What do we mean by polymorphic?

329 views • 9 slides
More Raster Line Issues Fat lines with multiple pixel width Bresenham Circles Symmetric

More Raster Line Issues Fat lines with multiple pixel width Bresenham Circles Symmetric

Spring 2013 More Raster Line Issues Fat lines with multiple pixel width Bresenham Circles Symmetric lines End point geometry how should it Lecture Set 3 look? CS5600 Intro to Computer Graphics Generating curves, e.g.,

329 views • 10 slides
Polymorphic & Metamorphic Viruses CS4440/7440 Spring 2015 Evolution of Polymorphic Viruses

Polymorphic & Metamorphic Viruses CS4440/7440 Spring 2015 Evolution of Polymorphic Viruses

Polymorphic & Metamorphic Viruses CS4440/7440 Spring 2015 Evolution of Polymorphic Viruses (1) } Why polymorphism? } Anti-virus scanners detect viruses by looking for signatures (snippets of known virus code) } Virus writers

641 views • 40 slides
There's More Than One Way To Dispatch It Jonathan Worthington Nordic Perl Workshop 2009 There's

There's More Than One Way To Dispatch It Jonathan Worthington Nordic Perl Workshop 2009 There's

There's More Than One Way To Dispatch It Jonathan Worthington Nordic Perl Workshop 2009 There's More Than One Way To Dispatch It Single Dispatch We're used to writing subroutines with a name # Perl 6 sub taking one parameter $name sub

690 views • 43 slides
A Polymorphic Data Visualization for Spatiotemporal Database Makoto Hanashima Institute for

A Polymorphic Data Visualization for Spatiotemporal Database Makoto Hanashima Institute for

A Polymorphic Data Visualization for Spatiotemporal Database Makoto Hanashima Institute for Areal Studies, Foundation Tokyo, Japan Outline of Presentation 2 An Introduction to Reki-Show Authoring Tools Conceptual design of polymorphic

325 views • 14 slides
Costs 26 th May 2011 Agenda Introduction Overview of Dispatch Balancing Costs (30 mins)

Costs 26 th May 2011 Agenda Introduction Overview of Dispatch Balancing Costs (30 mins)

Operations Seminar Managing Dispatch Balancing Costs 26 th May 2011 Agenda Introduction Overview of Dispatch Balancing Costs (30 mins) Ongoing Management of Dispatch Balancing Costs (15 mins) Forecasting Dispatch Balancing Costs

1.15k views • 87 slides
Polymorphic types Polymorphic -calculus (System F) Simply typed -calculus is

Polymorphic types Polymorphic -calculus (System F) Simply typed -calculus is

Polymorphic types Polymorphic -calculus (System F) Simply typed -calculus is monomorphic, Extends simply-typed : i.e. a type has no flexible pieces ::= * | type syntax expression/value syntax

328 views • 4 slides
Outline ROS Basics Plan Execution Very Simple Dispatch Very Simple Temporal

Outline ROS Basics Plan Execution Very Simple Dispatch Very Simple Temporal

Outline ROS Basics Plan Execution Very Simple Dispatch Very Simple Temporal Dispatch Conditional Dispatch Temporal and Conditional Dispatch together Dispatching More than a Single Plan Hierarchical and

1.69k views • 99 slides
Chittenden County Regional Dispatch Implementation Background 1. Why are we doing this? 2.

Chittenden County Regional Dispatch Implementation Background 1. Why are we doing this? 2.

Chittenden County Regional Dispatch Implementation Background 1. Why are we doing this? 2. DELTAWRX Recommendations 3. Governance Work Group Recommendations 4. Proposed next steps 5. Questions? 6. Dispatch Consolidation Roadmap PSAP

581 views • 57 slides
Dispatch and Scheduling Proposed Decision Dispatch and Scheduling Proposed Decision Jonathan

Dispatch and Scheduling Proposed Decision Dispatch and Scheduling Proposed Decision Jonathan

Dispatch and Scheduling Proposed Decision Dispatch and Scheduling Proposed Decision Jonathan OSullivan Dundalk, October 2010 d lk b Key Themes y Holistic Market Approach Holistic Market Approach Overall objectives Energy

960 views • 9 slides
Week3: Overview Essence of Dispatch, and Collections Damien Cassou, Stphane Ducasse and Luc

Week3: Overview Essence of Dispatch, and Collections Damien Cassou, Stphane Ducasse and Luc

Week3: Overview Essence of Dispatch, and Collections Damien Cassou, Stphane Ducasse and Luc Fabresse W3S00 http://www.pharo.org Schedule [Lecture] Essence of Dispatch: Taking Pharo Booleans as Example [Lecture] Essence of Dispatch

145 views • 3 slides
Interfacility Transfer Communication October 23, 2019 Section 1: Communication with Dispatch

Interfacility Transfer Communication October 23, 2019 Section 1: Communication with Dispatch

Interfacility Transfer Communication October 23, 2019 Section 1: Communication with Dispatch Kristin Kasten EMT-P, EMD, EFD Communications Supervisor/Paramedic Emergent Health Partners Levels of Care in EMS What does DISPATCH need to know?

550 views • 41 slides
Dispatch of Scheduled Network Services David Bowker Ken Secomb May 2007 Outline The Role

Dispatch of Scheduled Network Services David Bowker Ken Secomb May 2007 Outline The Role

Dispatch of Scheduled Network Services David Bowker Ken Secomb May 2007 Outline The Role of Scheduled Network Services What has been happening? How does market dispatch lead to this outcome? Is the current dispatch process

539 views • 30 slides

More recommend