the highs and lows of macros in a modern language
play

The Highs and Lows of Macros in a Modern Language Laurence Tratt - PowerPoint PPT Presentation

Jan 04, 2023 •216 likes •1.76k views

The Highs and Lows of Macros in a Modern Language Laurence Tratt Software Development Team 2016-08-09 1 / 59 http://soft-dev.org/ Background Background ABCgjy 2 / 59 http://soft-dev.org/ Background Background A perfect programming

  1. DSL debugging DSL debugging We normally assume that compilers are perfect DSL compilers are probably imperfect Are errors due to the user or the compiler? 22 / 59 http://soft-dev.org/

  2. Static error reporting Static error reporting 23 / 59 http://soft-dev.org/

  3. Run-time error reporting Run-time error reporting Src infos are a triple: ( fi le I D, char o ff set, char span) Threaded throughout the compiler: 1 Each token/lexeme has one src info 2 Each parse tree has more than one src info 3 Each bytecode has more than one src info 24 / 59 http://soft-dev.org/

  4. Fun with names Fun with names Dynamic scoping is dangerous. 25 / 59 http://soft-dev.org/

  5. Fun with names Fun with names Dynamic scoping is dangerous. Can it be made safe? 25 / 59 http://soft-dev.org/

  6. Meta-levels Meta-levels Three relative meta-levels describe everything: Meta-level Description 26 / 59 http://soft-dev.org/

  7. Meta-levels Meta-levels Three relative meta-levels describe everything: Meta-level Description 0 Normal compilation 26 / 59 http://soft-dev.org/

  8. Meta-levels Meta-levels Three relative meta-levels describe everything: Meta-level Description Splicing ( $<...> ) -1 0 Normal compilation 26 / 59 http://soft-dev.org/

  9. Meta-levels Meta-levels Three relative meta-levels describe everything: Meta-level Description Splicing ( $<...> ) -1 0 Normal compilation Quasi-quoting ( [| ...|] ) +1 26 / 59 http://soft-dev.org/

  10. What works well? What works well? 1 src infos make debugging possible. 27 / 59 http://soft-dev.org/

  11. What works well? What works well? 1 src infos make debugging possible. 2 rename enables building huge, name-safe trees. 27 / 59 http://soft-dev.org/

  12. What works well? What works well? 1 src infos make debugging possible. 2 rename enables building huge, name-safe trees. 3 DSL layers work and are useful. 27 / 59 http://soft-dev.org/

  13. What works well? What works well? 1 src infos make debugging possible. 2 rename enables building huge, name-safe trees. 3 DSL layers work and are useful. 4 The compiler is surprisingly simple 27 / 59 http://soft-dev.org/

  14. What works well? What works well? 1 src infos make debugging possible. 2 rename enables building huge, name-safe trees. 3 DSL layers work and are useful. 4 The compiler is surprisingly simple (though calculations with names make my head hurt). 27 / 59 http://soft-dev.org/

  15. What doesn’t work? What doesn’t work? 1 Delimiters are far too ugly for repeated use. 28 / 59 http://soft-dev.org/

  16. What doesn’t work? What doesn’t work? 1 Delimiters are far too ugly for repeated use. 2 Macro evaluation is top-to-bottom. DSLs can’t validate e.g.: $<<SQL>><SELECT c1 FROM t> $<<SQL>><CREATE TABLE t ( c2 STR )> 28 / 59 http://soft-dev.org/

  17. What doesn’t work? What doesn’t work? 1 Delimiters are far too ugly for repeated use. 2 Macro evaluation is top-to-bottom. DSLs can’t validate e.g.: $<<SQL>><SELECT c1 FROM t> $<<SQL>><CREATE TABLE t ( c2 STR )> 3 Syntax composition is nearly impossible. 28 / 59 http://soft-dev.org/

  18. What doesn’t work? What doesn’t work? 1 Delimiters are far too ugly for repeated use. 2 Macro evaluation is top-to-bottom. DSLs can’t validate e.g.: $<<SQL>><SELECT c1 FROM t> $<<SQL>><CREATE TABLE t ( c2 STR )> 3 Syntax composition is nearly impossible. 4 Performance for mildly complex DSLs is poor. 28 / 59 http://soft-dev.org/

  19. Where do we go from here? 29 / 59 http://soft-dev.org/

  20. Part III A different way 30 / 59 http://soft-dev.org/

  21. Language composition: two levels of challenge Language composition: two levels of challenge 31 / 59 http://soft-dev.org/

  22. Language composition: two levels of challenge Language composition: two levels of challenge Tooling 31 / 59 http://soft-dev.org/

  23. Language composition: two levels of challenge Language composition: two levels of challenge Tooling Language friction 31 / 59 http://soft-dev.org/

  24. Tooling challenges Tooling challenges 32 / 59 http://soft-dev.org/

  25. Tooling challenges Tooling challenges Python PyHyp PHP 32 / 59 http://soft-dev.org/

  26. Tooling challenges Tooling challenges syntax Python runtime syntax PyHyp runtime syntax PHP runtime 32 / 59 http://soft-dev.org/

  27. Tooling challenges Tooling challenges syntax Language boxes Python runtime syntax PyHyp runtime syntax PHP runtime 32 / 59 http://soft-dev.org/

  28. Tooling challenges Tooling challenges syntax Language boxes Python runtime syntax PyHyp runtime syntax PHP Composed runtime meta-tracing VMs 32 / 59 http://soft-dev.org/

  29. Syntax composition Syntax composition PL X <grammar> expr::= ... term::= ... | ... | ... func ::= ... PL Y <program> for (j : js) { doStuff(); } . . . 33 / 59 http://soft-dev.org/

  30. Syntax composition Syntax composition PL X <grammar> expr::= ... term::= ... | ... | ... func ::= ... Parser PL Y <program> for (j : js) { doStuff(); } . . . 33 / 59 http://soft-dev.org/

  31. Syntax composition Syntax composition PL X <grammar> expr::= ... term::= ... | ... | ... func ::= ... Parser PL Y <program> Parse Tree for (j : js) { doStuff(); } . . . 33 / 59 http://soft-dev.org/

  32. Syntax composition Syntax composition PL X <grammar> expr::= ... term::= ... | ... | ... func ::= ... LR PL Y <program> Parse Tree for (j : js) { doStuff(); } . . . 33 / 59 http://soft-dev.org/

  33. Syntax composition Syntax composition PL X <grammar> expr::= ... term::= ... U | ... n | ... d e func ::= ... f LR i n e PL Y d <program> Parse Tree for (j : js) { doStuff(); } . . . 33 / 59 http://soft-dev.org/

  34. Syntax composition Syntax composition PL X <grammar> expr::= ... term::= ... | ... | ... func ::= ... Generalised PL Y <program> Parse Tree for (j : js) { doStuff(); } . . . 33 / 59 http://soft-dev.org/

  35. Syntax composition Syntax composition PL X <grammar> expr::= ... A term::= ... m | ... b | ... i g func ::= ... u Generalised o u s PL Y <program> Parse Tree for (j : js) { doStuff(); } . . . 33 / 59 http://soft-dev.org/

  36. Syntax composition Syntax composition PL X <grammar> expr::= ... term::= ... | ... | ... func ::= ... PEG PL Y <program> Parse Tree for (j : js) { doStuff(); } . . . 33 / 59 http://soft-dev.org/

  37. Syntax composition Syntax composition PL X <grammar> expr::= ... term::= ... | ... S | ... h func ::= ... a d PEG o w s PL Y <program> Parse Tree for (j : js) { doStuff(); } . . . 33 / 59 http://soft-dev.org/

  38. The only choice? The only choice? 34 / 59 http://soft-dev.org/

  39. The only choice? The only choice? SDE 34 / 59 http://soft-dev.org/

  40. The challenge The challenge Challenge: SDE’s power + a text editor feel? 35 / 59 http://soft-dev.org/

  41. Eco demo Eco demo 36 / 59 http://soft-dev.org/

  42. Runtime composition Runtime composition 37 / 59 http://soft-dev.org/

  43. Runtime composition Runtime composition PL X PL Y Interpreter Interpreter C/C++ 37 / 59 http://soft-dev.org/

  44. Runtime composition Runtime composition PL X PL Y Too slow Interpreter Interpreter C/C++ 37 / 59 http://soft-dev.org/

  45. Runtime composition Runtime composition JIT Compiler JIT Compiler PL X PL Y Interpreter Interpreter C/C++ 37 / 59 http://soft-dev.org/

  46. Runtime composition Runtime composition JIT Compiler JIT Compiler PL X PL Y Too much engineering Interpreter Interpreter C/C++ 37 / 59 http://soft-dev.org/

  47. Runtime composition Runtime composition PL X PL Y Interpreter Interpreter JVM/CLR JIT Compiler 37 / 59 http://soft-dev.org/

  48. Runtime composition Runtime composition PL X PL Y Semantic mismatch Interpreter Interpreter JVM/CLR JIT Compiler 37 / 59 http://soft-dev.org/

  49. Runtime composition Runtime composition 37 / 59 http://soft-dev.org/

  50. Runtime composition Runtime composition Meta-tracing PL X PL Y PL Z RPython Interpreters Interpreter Tracing JIT Glue 37 / 59 http://soft-dev.org/

  51. Meta-tracing translation with RPython Meta-tracing translation with RPython Interpreter 38 / 59 http://soft-dev.org/

  52. Meta-tracing translation with RPython Meta-tracing translation with RPython Interpreter translator RPython 38 / 59 http://soft-dev.org/

  53. Meta-tracing translation with RPython Meta-tracing translation with RPython Interpreter translator RPython Optimised JIT Interpreter 38 / 59 http://soft-dev.org/

  54. Meta-tracing translation with RPython Meta-tracing translation with RPython Interpreter translator RPython Optimised JIT Interpreter 38 / 59 http://soft-dev.org/

Recommend

Macros Macros Introducing Macros Defining Macros Invoking Macros Macro

Macros Macros Introducing Macros Defining Macros Invoking Macros Macro

Macros Macros Introducing Macros Defining Macros Invoking Macros Macro Examples Nested Macros Example Program: Wrappers 1 Irvine, Kip R. Assembly Language for Intel-Based Computers, 2003. Introducing Macros

983 views • 51 slides
Approach To The Highs And Lows Of White Cell Counts The What, Why and How ! Dr Ng Chin Hin

Approach To The Highs And Lows Of White Cell Counts The What, Why and How ! Dr Ng Chin Hin

Approach To The Highs And Lows Of White Cell Counts The What, Why and How ! Dr Ng Chin Hin Consultant Haematologist National University Cancer Institute 11-MAR-2017 Approach to high WBC count My approach Look at the differential count

863 views • 72 slides
Riding the Highs &amp; Lows of Milk Prices Doug &amp; Linda Hodorff Hodorff Enterprises Our

Riding the Highs &amp; Lows of Milk Prices Doug &amp; Linda Hodorff Hodorff Enterprises Our

12/12/2016 Riding the Highs &amp; Lows of Milk Prices Doug &amp; Linda Hodorff Hodorff Enterprises Our Mission ssion: A team am with th a passi sion on for fami mily y and dairy iry, respe pecting ting people ople, comm mmunity

307 views • 9 slides
Highs, lows, and overreaction in intraday price movements Martin Becker Ralph Friedmann

Highs, lows, and overreaction in intraday price movements Martin Becker Ralph Friedmann

Highs, lows, and overreaction in intraday price movements Martin Becker Ralph Friedmann oner Stefan Kl ohle Walter Sanddorf-K Saarland University, Saarbr ucken, Germany Abstract We propose measures of upside and

327 views • 32 slides
Macros: Menace to the Modern HLL J e r e m y H . B r o w n j h b r o w n @ a l u m . m i t .

Macros: Menace to the Modern HLL J e r e m y H . B r o w n j h b r o w n @ a l u m . m i t .

Macros: Menace to the Modern HLL J e r e m y H . B r o w n j h b r o w n @ a l u m . m i t . e d u Macros Considered Harmful J e r e m y H . B r o w n j h b r o w n @ a l u m . m i t . e d u Macros: Theyre for Nazis J e r e m y

446 views • 19 slides
The Highs and Lows of Stateful Containers Presented by Alex Robinson / Member of the Technical

The Highs and Lows of Stateful Containers Presented by Alex Robinson / Member of the Technical

The Highs and Lows of Stateful Containers Presented by Alex Robinson / Member of the Technical Staff @alexwritescode Almost all real applications rely on state When storage systems go down, so do the applications that use them Containers are

756 views • 74 slides
Scheme-Style Macros: Patterns and Lexical Scope Matthew Flatt University of Utah 1 Why Macros?

Scheme-Style Macros: Patterns and Lexical Scope Matthew Flatt University of Utah 1 Why Macros?

Scheme-Style Macros: Patterns and Lexical Scope Matthew Flatt University of Utah 1 Why Macros? Language designers have to stop somewhere (544 pages) No language can provide every possible useful construct Macros let a programmer fill in gaps

1.05k views • 70 slides
CS2422 Assembly Language &amp; System Programming October 31, 2006 Todays Topics Macros

CS2422 Assembly Language &amp; System Programming October 31, 2006 Todays Topics Macros

CS2422 Assembly Language &amp; System Programming October 31, 2006 Todays Topics Macros Brief overview of Chapter 9, e.g., MOVSBetc. LODSB, STOSBetc. REP Prefix Study Guide Section 10.2: Macros

111 views • 10 slides
Types of macros What is a macro? Short for macroinstruction. Text substitution A rule or

Types of macros What is a macro? Short for macroinstruction. Text substitution A rule or

9/16/14 CS152 Advanced Programming Language Principles Prof. Tom Austin, Fall 2014 For next class, install LaTeX Macros (pronounced &quot;LAH-tech&quot;) Types of macros What is a macro? Short for macroinstruction. Text

274 views • 4 slides
Adapting Scheme-Like Macros to a C-Like Language Kevin Atkinson, Matthew Flatt University of

Adapting Scheme-Like Macros to a C-Like Language Kevin Atkinson, Matthew Flatt University of

Adapting Scheme-Like Macros to a C-Like Language Kevin Atkinson, Matthew Flatt University of Utah 1 ZL Adopts a Scheme-like approach to build C++ from a C like core Why C? The system's programming language Want to make life

487 views • 33 slides
Guidance for Macros in PowerPoints We use macros within PowerPoints to increase the interactivity

Guidance for Macros in PowerPoints We use macros within PowerPoints to increase the interactivity

Guidance for Macros in PowerPoints We use macros within PowerPoints to increase the interactivity of our presentations. Follow this simple process to get the most out of this resource. What to do: Open the PowerPoint file and enable editing. A

479 views • 13 slides
Guidance for Macros in PowerPoints We use macros within PowerPoints to increase the interactivity

Guidance for Macros in PowerPoints We use macros within PowerPoints to increase the interactivity

Guidance for Macros in PowerPoints We use macros within PowerPoints to increase the interactivity of our presentations. Follow this simple process to get the most out of this resource. What to do: Open the PowerPoint file and enable editing. A

509 views • 16 slides
Guidance for Macros in PowerPoints We use macros within PowerPoints to increase the interactivity

Guidance for Macros in PowerPoints We use macros within PowerPoints to increase the interactivity

Guidance for Macros in PowerPoints We use macros within PowerPoints to increase the interactivity of our presentations. Follow this simple process to get the most out of this resource. What to do: Open the PowerPoint file and enable editing. A

211 views • 17 slides
Guidance for Macros in PowerPoints We use macros within PowerPoints to increase the interactivity

Guidance for Macros in PowerPoints We use macros within PowerPoints to increase the interactivity

Guidance for Macros in PowerPoints We use macros within PowerPoints to increase the interactivity of our presentations. Follow this simple process to get the most out of this resource. What to do: Open the PowerPoint file and enable editing. A

493 views • 20 slides
What Macros Are and How to Write Correct Ones Brian Goslinga December 4, 2010 UMM Computer

What Macros Are and How to Write Correct Ones Brian Goslinga December 4, 2010 UMM Computer

Introduction Macros in C Macros in Scheme Macros in Racket Conclusion What Macros Are and How to Write Correct Ones Brian Goslinga December 4, 2010 UMM Computer Science Senior Seminar Brian Goslinga What Macros Are and How to Write Correct

353 views • 34 slides
Dart: A modern web language Kasper Lund Google A modern web language Kasper Lund Who am I?

Dart: A modern web language Kasper Lund Google A modern web language Kasper Lund Who am I?

Dart: A modern web language Kasper Lund Google A modern web language Kasper Lund Who am I? Kasper Lund, software engineer at Google Projects CLDC HI - fast Java virtual machine for cell phones OOVM - embedded yet serviceable Smalltalk

592 views • 27 slides
HiGHS High-performance open-source software for linear optimization Julian Hall School of

HiGHS High-performance open-source software for linear optimization Julian Hall School of

HiGHS High-performance open-source software for linear optimization Julian Hall School of Mathematics University of Edinburgh jajhall@ed.ac.uk CO@Work 2020 21 September 2020 HiGHS : The team Whats in a name? HiGHS : H all, i vet G

257 views • 10 slides
Keeping it Clean with Syntax Parameters Eli Barzilay, Ryan Culpepper, Matthew Flatt 1 Macros

Keeping it Clean with Syntax Parameters Eli Barzilay, Ryan Culpepper, Matthew Flatt 1 Macros

Keeping it Clean with Syntax Parameters Eli Barzilay, Ryan Culpepper, Matthew Flatt 1 Macros Macros are great. 2 Macros Hygienic macros are great. 3 Macros Hygienic macros are great, but... 4 Macros Hygienic macros are great, but...

812 views • 46 slides
Macros &amp; Sweet.js Prof. Tom Austin San Jos State University Let's say we want to add

Macros &amp; Sweet.js Prof. Tom Austin San Jos State University Let's say we want to add

CS 252: Advanced Programming Language Principles Macros &amp; Sweet.js Prof. Tom Austin San Jos State University Let's say we want to add classes to JavaScript We'd like to have something like: class Person { constructor(name) {

719 views • 37 slides
Flight Readiness Review Presentation 01 Airframe Airframe Macros Simulated Macros: Apogee :

Flight Readiness Review Presentation 01 Airframe Airframe Macros Simulated Macros: Apogee :

UC Berkeley Space Technologies and Rocketry Flight Readiness Review Presentation 01 Airframe Airframe Macros Simulated Macros: Apogee : 5507 ft Max. Vel : Mach 0.54 Max Accel : 8.75 g Stability: 2.37 Length: 9.42 ft Weight (wet): 27.31 lb.

754 views • 63 slides
Putting C/C++ on a Macro Diet (as in eat more macros, not abstain from macros) Matvey Soloviev

Putting C/C++ on a Macro Diet (as in eat more macros, not abstain from macros) Matvey Soloviev

Putting C/C++ on a Macro Diet (as in eat more macros, not abstain from macros) Matvey Soloviev (Cornell University) Graduate Seminar 1 Sliding Scale of Expressivity Expressivity: What programs can you express? How hard is it to express a given

807 views • 54 slides
1 THE VALLEY OF GRACE LUKE 9:37-51 Mountains and valleys exist in all of our lives; for most of

1 THE VALLEY OF GRACE LUKE 9:37-51 Mountains and valleys exist in all of our lives; for most of

1 THE VALLEY OF GRACE LUKE 9:37-51 Mountains and valleys exist in all of our lives; for most of us, they always will. Coexisting in our reality we have the highest highs and lowest lows. Living in grace is the answer in both locations!

272 views • 6 slides
MODERN 1 MODERN 2 MODERN 3 MODERN 4 MODERN A peep at some distant orb has power to raise

MODERN 1 MODERN 2 MODERN 3 MODERN 4 MODERN A peep at some distant orb has power to raise

MODERN 1 MODERN 2 MODERN 3 MODERN 4 MODERN A peep at some distant orb has power to raise and purify our thoughts like a strain picture, or a passage from the grander poets. It always does one good. 5 MODERN 6 MODERN 7 MODERN 8

524 views • 24 slides
Macros Prof. Tom Austin San Jos State University Creating control structures with Lambdas

Macros Prof. Tom Austin San Jos State University Creating control structures with Lambdas

CS 152: Programming Language Paradigms Macros Prof. Tom Austin San Jos State University Creating control structures with Lambdas (in class) Redefining if expressions (define (my-if c thn els) (cond [(and (list? c) (empty? c)) els] [(and

748 views • 30 slides

More recommend