Where do Failures Come From? Once programmers have gained a certain amount of experience, most of us realize that failures…
blog
Typechecking Closures is Hard
Typechecking closures is hard, and I’m a little confused by it. Is it an object w/ the closed values in…
Leema Library Licensing
Bazaar or Bizarre I recently came across this critique of Eric Raymond’s The Cathedral of the Bazaar by Dr. Mark…
A Crossroads at LLVM
I’ve spent the past 4 months rewriting Leema’s parser and semantic analysis, most of the compiler. It’s largely done and…
Leema at Recurse Center
the past six weeks I’ve spent the past six weeks working on Leema full time at a place called Recurse…
leema 