Link Details

Link 998413 thumbnail
User 448255 avatar

By dotCore
via playingwithpointers.com
Submitted: Jul 16 2013 / 02:10

I've been toying with the idea of writing a compiler for the untyped lambda calculus [1] for a while; and now that I'm on vacation, I finally managed to refactor out some time to spend on it. The first iteration, echoes [2], generates horrible, but runnable code. It reads λ expressions (via a lispy syntax) and compiles them to plain ol' x86-64 assembly, runnable pending getting linked into the runtime. It understands a tiny bit more than pure lambda calculus — echoes has native support for booleans, integers and if statements. The compiled code obeys lazy call-by-name [3] semantics.
  • 1
  • 0
  • 59
  • 33

Add your comment


Html tags not supported. Reply is editable for 5 minutes. Use [code lang="java|ruby|sql|css|xml"][/code] to post code snippets.

Voters For This Link (1)



Voters Against This Link (0)



    Java Performance Optimization
    Written by: Pierre-Hugues Charbonneau
    Featured Refcardz: Top Refcardz:
    1. Design Patterns
    2. OO JS
    3. Cont. Delivery
    4. Java EE7
    5. HTML5 Mobile
    1. Node.js
    2. Debugging JavaScript
    3. OO JS
    4. JSON
    5. Ajax