Integrating the compiler with unit testing

424 views

Published on

Talk from BarCamp Ljubljana 2.

Published in: Technology
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
424
On SlideShare
0
From Embeds
0
Number of Embeds
3
Actions
Shares
0
Downloads
8
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Integrating the compiler with unit testing

  1. 1. Integrating the compiler with unit testing [email_address]
  2. 2. Programming should be about ideas not implementation!
  3. 3. First steps <ul><li>Functional paradigm </li></ul><ul><li>Declarative paradigm </li></ul>
  4. 4. Compiler as a part of the language
  5. 5. Reasons #347-9 why lisp rocks <ul><li>Compiler macros </li></ul><ul><li>Compiler directives </li></ul><ul><li>Gradual typing </li></ul>
  6. 6. Separating ideas and the nitty-gritty
  7. 7. Macros: source-to-source transformations <ul><li>Invariant lifting </li></ul><ul><li>Destructive updates </li></ul><ul><li>Partial specialization </li></ul><ul><li>Injecting directives </li></ul>
  8. 8. Let the robots do it
  9. 9. Problem: provably correct optimizations are hard
  10. 10. Solution: trial-and-error
  11. 11. A question of correctness <ul><li>Tests as proofs </li></ul><ul><li>Tests as benchmarks </li></ul>
  12. 12. Evolution?

×