Where do Failures Come From? Once programmers have gained a certain amount of experience, most of us realize that failures … More
Author: mattg
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 … More
Leema Library Licensing
Bazaar or Bizarre I recently came across this critique of Eric Raymond’s The Cathedral of the Bazaar by Dr. Mark … More
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 … More
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 … More