Your SlideShare is downloading. ×
Integrating the compiler with unit testing
Integrating the compiler with unit testing
Integrating the compiler with unit testing
Integrating the compiler with unit testing
Integrating the compiler with unit testing
Integrating the compiler with unit testing
Integrating the compiler with unit testing
Integrating the compiler with unit testing
Integrating the compiler with unit testing
Integrating the compiler with unit testing
Integrating the compiler with unit testing
Integrating the compiler with unit testing
Upcoming SlideShare
Loading in...5
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

×
Saving this for later? Get the SlideShare app to save on your phone or tablet. Read anywhere, anytime – even offline.
Text the download link to your phone
Standard text messaging rates apply

Integrating the compiler with unit testing

296

Published on

Talk from BarCamp Ljubljana 2.

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
296
On Slideshare
0
From Embeds
0
Number of Embeds
1
Actions
Shares
0
Downloads
7
Comments
0
Likes
0
Embeds 0
No embeds

Report content
Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
No notes for slide

Transcript

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

×