property based dispatch in functional
play

Property Based Dispatch in Functional Introduction Olena Properties - PowerPoint PPT Presentation

Dec 18, 2023 •197 likes •418 views

Property Based Dispatch in Functional Languages Property Based Dispatch in Functional Introduction Olena Properties Languages Lisp Implementation Other Languages Christopher Chedeau Conclusion LRDE Laboratoire de Recherche et D

  1. Property Based Dispatch in Functional Languages Property Based Dispatch in Functional Introduction Olena Properties Languages Lisp Implementation Other Languages Christopher Chedeau Conclusion LRDE Laboratoire de Recherche et D´ eveloppement d’EPITA January 18, 2012 http://lrde.epita.fr/ 1 / 19 Christopher Chedeau

  2. Property Based Dispatch in Functional Languages Introduction Introduction Olena Properties Lisp Implementation Olena Properties Other Languages Conclusion Lisp Implementation Other Languages Conclusion 2 / 19 Christopher Chedeau

  3. Property Based Dispatch in Functional Languages Olena Properties Introduction Olena Properties Lisp Implementation Other Languages Conclusion Type Name Values image dimension any, one d, two d, three d 3 / 19 Christopher Chedeau

  4. Property Based Dispatch in Functional Languages Shift Algorithm Introduction Olena Properties Lisp Implementation Other Languages Conclusion definition any unique multiple varying Specialization (1) � Specialization (2) � size any fixed Specialization (1) � Specialization (2) � � 4 / 19 Christopher Chedeau

  5. Property Based Dispatch in Functional Languages C++ Implementation shift(Window < W > & win, mln dpsite(W)& dp) { Introduction Olena Properties // Dispatch on definition property Lisp shift (mln trait window definition(W)(), exact(win), dp); Implementation } Other Languages Conclusion shift (trait::window::definition::unique, W& win, mln dpsite(W)& dp) { / ✯ Specialized implementation (1) ✯ / } shift (trait::window::definition::multiple, W& win, mln dpsite(W)& dp) { / ✯ Specialized implementation (2) ✯ / } 5 / 19 Christopher Chedeau

  6. Property Based Dispatch in Functional Languages Shift Algorithm Introduction Olena Properties definition Lisp Implementation any unique multiple varying Other Languages Specialization (1) � Ö Ö Ö Conclusion Specialization (2) � Ö Ö Ö size any fixed Specialization (1) � Ö Specialization (2) � � 6 / 19 Christopher Chedeau

  7. Property Based Dispatch in Functional Languages C++ Implementation shift(Window < W > & win, mln dpsite(W)& dp) { Introduction Olena Properties mlc is not(mln trait window definition(W), Lisp trait::window::definition::any)::check(); Implementation mlc is not(mln trait window definition(W), Other Languages trait::window::definition::varying)::check(); Conclusion shift (mln trait window definition(W)(), exact(win), dp); } shift (trait::window::definition::unique, W& win, mln dpsite(W)& dp) { mlc is(mln trait window size(W), trait::window::size::fixed)::check(); } 7 / 19 Christopher Chedeau

  8. Property Based Dispatch in Functional Languages Lisp Implementation Introduction Olena Properties Lisp Implementation Other Languages (defmethod shift ( (defmethod shift ( Conclusion (win window) (win window) (dp dpsite)) (dp dpsite)) ; Specialization (1) ; Specialization (2) ) ) 8 / 19 Christopher Chedeau

  9. Property Based Dispatch in Functional Languages Lisp Implementation Introduction Olena Properties Lisp (defalgo shift ( (defalgo shift ( Implementation (win (win Other Languages :properties ( :properties ( Conclusion :definition :unique :definition :multiple) :size :fixed) window) window) (dp dpsite)) (dp dpsite)) ; Specialization (2) ; Specialization (1) ) ) 9 / 19 Christopher Chedeau

  10. Property Based Dispatch in Functional Languages Implementation Overview ����� Introduction ��������������� ������������ �� Olena Properties Lisp ����� ����������� �������������������� Implementation �������������������������������� Other Languages ���������������������������������� Conclusion ��������������������������� ����� �������������������� ��������������� ������������ �� ����������� ����� �������������������� �������������������������������� ������������������������������������ ����� �������������������� 10 / 19 Christopher Chedeau

  11. Property Based Dispatch in Functional Languages Fibonacci Introduction Olena Properties (defalgo fibo ((n Lisp (lambda (n) ( < n 2)))) Implementation n) Other Languages Conclusion 11 / 19 Christopher Chedeau

  12. Property Based Dispatch in Functional Languages Fibonacci Introduction Olena Properties (defalgo fibo ((n Lisp (lambda (n) ( < n 2)))) Implementation n) Other Languages Conclusion (defun < 2 (n) ( < n 2)) (defalgo fibo ((n #’ < 2)) n) 11 / 19 Christopher Chedeau

  13. Property Based Dispatch in Functional Languages Fibonacci Introduction Olena Properties (defalgo fibo ((n (defun is (a) Lisp (lambda (n) ( < n 2)))) (lambda (b) Implementation n) (eq a b))) Other Languages Conclusion (defalgo fibo ((n (is 0))) (defun < 2 (n) ( < n 2)) 0) (defalgo fibo ((n #’ < 2)) (defalgo fibo ((n (is 1))) n) 1) 11 / 19 Christopher Chedeau

  14. Property Based Dispatch in Functional Languages Fibonacci Introduction Olena Properties (defalgo fibo ((n (defun is (a) Lisp (lambda (n) ( < n 2)))) (lambda (b) Implementation n) (eq a b))) Other Languages Conclusion (defalgo fibo ((n (is 0))) (defun < 2 (n) ( < n 2)) 0) (defalgo fibo ((n #’ < 2)) (defalgo fibo ((n (is 1))) n) 1) (defalgo fibo (n) (+ (fibo ( − n 2)) (fibo ( − n 1)))) 11 / 19 Christopher Chedeau

  15. Property Based Dispatch in Functional Languages Javascript Full Dispatch Introduction Olena Properties Lisp Implementation fibo = FullDispatch() Other Languages Conclusion fibo.add [(n) − > n < 2], (n) − > n fibo.add [null], (n) − > fibo(n − 1) + fibo(n − 2) 12 / 19 Christopher Chedeau

  16. Property Based Dispatch in Functional Languages Python Decorators Introduction Olena Properties Lisp Implementation @dispatch(inside(0, 1)) Other Languages def fibo(n): Conclusion return n @dispatch(int) def fibo(n): return fibo(n − 1) + fibo(n − 2) 13 / 19 Christopher Chedeau

  17. Property Based Dispatch in Functional Languages Haskell Pattern Matching Introduction Olena Properties Lisp Implementation Other Languages Conclusion fibo 0 = 0 fibo 1 = 1 fibo n = fibo (n − 1) + fibo (n − 2) 14 / 19 Christopher Chedeau

  18. Property Based Dispatch in Functional Languages MOP Introduction Olena Properties Lisp (defmethod fibo (n) Implementation Other Languages (+ (fibo ( − n 1)) (fibo ( − n 2)))) Conclusion (defmethod fibo ((n (eql 1))) n) (defmethod fibo ((n (eql 0))) n) 15 / 19 Christopher Chedeau

  19. Property Based Dispatch in Functional Languages Filtered Dispatch Introduction Olena Properties (defun state (n) Lisp Implementation (if ( < n 2) Other Languages ’terminal Conclusion ’general)) (defmethod fibo :filter :state ((n (eql ’terminal))) n) (defmethod factorial :filter :state ((n (eql ’general))) (+ (fibo ( − n 1)) (fibo ( − n 2)))) 16 / 19 Christopher Chedeau

  20. Property Based Dispatch in Functional Languages Multimethod.js Introduction Olena Properties Lisp fibo = multimethod() Implementation .dispatch((n) − > if n < 2 Other Languages ’terminal’ Conclusion else ’general’) .when(’terminal’, (n) − > n) .when(’general’, (n) − > fibo(n − 1) + fibo(n − 2)) 17 / 19 Christopher Chedeau

  21. Property Based Dispatch in Functional Languages Conclusion Introduction Olena Properties Lisp Implementation Other Languages Conclusion ◮ Conclusion 18 / 19 Christopher Chedeau

  22. Property Based Dispatch in Functional Languages Questions ? Introduction Olena Properties Lisp Implementation Other Languages Conclusion 19 / 19 Christopher Chedeau

Recommend

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
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
SM2-TES: Functional Programming and Property-Based Testing Jan Midtgaard MMMI, SDU Introduction

SM2-TES: Functional Programming and Property-Based Testing Jan Midtgaard MMMI, SDU Introduction

SM2-TES: Functional Programming and Property-Based Testing Jan Midtgaard MMMI, SDU Introduction (1/4) As the title shows this course is two-fold. We will study both functional programming and property-based testing Lectures will

815 views • 63 slides
SM2-TES: Functional Programming and Property-Based Testing, Day 10 Jan Midtgaard MMMI, SDU Last

SM2-TES: Functional Programming and Property-Based Testing, Day 10 Jan Midtgaard MMMI, SDU Last

SM2-TES: Functional Programming and Property-Based Testing, Day 10 Jan Midtgaard MMMI, SDU Last time. . . A generator of syntactically correct programs following the language grammar with several non-terminals passing an

1.47k views • 123 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
A Type System for Functional Traversal-Based Aspects Bryan Chadwick and Karl Lieberherr March 2

A Type System for Functional Traversal-Based Aspects Bryan Chadwick and Karl Lieberherr March 2

A Type System for Functional Traversal-Based Aspects Bryan Chadwick and Karl Lieberherr March 2 nd 2009 1 / 30 Outline Introduction Example (Pure) Semantics Example (Full Dispatch) Type System Soundness 2 / 30 Intro: Traversals AOP

490 views • 30 slides
METRO WEST AMBULANCE DISPATCH CENTER Presented by Kristen Hoover &amp; Larry Boxman DISPATCH

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

METRO WEST AMBULANCE DISPATCH CENTER Presented by Kristen Hoover &amp; 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
Functional and Physical Obsolescence in Property Tax Strategies for Reducing Real and Business

Functional and Physical Obsolescence in Property Tax Strategies for Reducing Real and Business

Presenting a live 110 minute teleconference with interactive Q&amp;A Functional and Physical Obsolescence in Property Tax Strategies for Reducing Real and Business Personal Property Valuations THURS DAY, APRIL 21, 2011 1pm Eastern |

845 views • 83 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
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
The Quest for Non-Functional Property Optimisation in Heterogeneous and Fragmented Ecosystems: a

The Quest for Non-Functional Property Optimisation in Heterogeneous and Fragmented Ecosystems: a

The Quest for Non-Functional Property Optimisation in Heterogeneous and Fragmented Ecosystems: a Distributed Approach Mahmoud A. Bokhari, Markus Wagner and Brad Alexander givenname.familyname@adelaide.edu.au Maslows hierarchy of needs

417 views • 18 slides
Signature Inference for Functional Property Discovery or: How never to come up with tests

Signature Inference for Functional Property Discovery or: How never to come up with tests

Signature Inference for Functional Property Discovery or: How never to come up with tests manually anymore(*) Tom Sydney Kerckhove ETH Zurich https://cs-syd.eu/ https://github.com/NorfairKing 27 July 2017 Long term vision: A future in which

1.54k views • 116 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
Signature Inference for Functional Property Discovery or: How never to come up with tests

Signature Inference for Functional Property Discovery or: How never to come up with tests

Signature Inference for Functional Property Discovery or: How never to come up with tests manually anymore(*) Tom Sydney Kerckhove FP Complete https://cs-syd.eu/ https://github.com/NorfairKing https://fpcomplete.com 2018-02-22 Motivation

1.12k views • 87 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
Functional Testing Review Chapter 8 Functional Testing We saw three types of functional

Functional Testing Review Chapter 8 Functional Testing We saw three types of functional

Functional Testing Review Chapter 8 Functional Testing We saw three types of functional testing Boundary Value Testing Equivalence Class Testing Decision Table-Based Testing What is the common thread among the above methods?

685 views • 33 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
Economic, Functional and Physical Obsolescence: Effective Arguments for Business Personal Property

Economic, Functional and Physical Obsolescence: Effective Arguments for Business Personal Property

Presenting a live 110 minute teleconference with interactive Q&amp;A Economic, Functional and Physical Obsolescence: Effective Arguments for Business Personal Property Valuations THURSDAY, MAY 17, 2012 1pm Eastern | 12pm Central |

1.05k views • 78 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
A Functional Graph Library Based on Inductive Graphs and Functional Graph Algorithms by Martin

A Functional Graph Library Based on Inductive Graphs and Functional Graph Algorithms by Martin

A Functional Graph Library Based on Inductive Graphs and Functional Graph Algorithms by Martin Erwig Presentation by Christian Doczkal March 22 nd , 2006 Structure Motivation Inductive graph definition Implementation Binary

467 views • 17 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
Residential Property Tax Relief assessment, and equalization of the value of all real property

Residential Property Tax Relief assessment, and equalization of the value of all real property

Introduction Property taxes are an annual local government tax on real property based on a tax rate established by the Legislature. The department is responsible for the appraisal, Residential Property Tax Relief assessment, and

139 views • 3 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

More recommend