A break from programming languages| lexi-lambda.github.io
An introduction to typeclass metaprogramming| lexi-lambda.github.io
Names are not type safety| lexi-lambda.github.io
Types as axioms, or: playing god with static types| lexi-lambda.github.io
No, dynamic type systems are not inherently more open| lexi-lambda.github.io
Empathy and subjective experience in programming languages| lexi-lambda.github.io
Demystifying MonadBaseControl| lexi-lambda.github.io
Defeating Racket’s separate compilation guarantee| lexi-lambda.github.io
Macroexpand anywhere with local-apply-transformer!| lexi-lambda.github.io
Custom core forms in Racket, part II: generalizing to arbitrary expressions and internal definitions| lexi-lambda.github.io
Reimplementing Hackett’s type language: expanding to custom core forms in Racket| lexi-lambda.github.io
An opinionated guide to Haskell in 2018| lexi-lambda.github.io
A space of their own: adding a type namespace to Hackett| lexi-lambda.github.io
Hackett progress report: documentation, quality of life, and snake| lexi-lambda.github.io
User-programmable infix operators in Racket| lexi-lambda.github.io
Unit testing effectful Haskell with monad-mock| lexi-lambda.github.io
Realizing Hackett, a metaprogrammable Haskell| lexi-lambda.github.io
Lifts for free: making mtl typeclasses derivable| lexi-lambda.github.io
Rascal is now Hackett, plus some answers to questions| lexi-lambda.github.io
Rascal: a Haskell with more parentheses| lexi-lambda.github.io
Using types to unit-test in Haskell| lexi-lambda.github.io
Understanding the npm dependency model| lexi-lambda.github.io
Climbing the infinite ladder of abstraction| lexi-lambda.github.io
Four months with Haskell| lexi-lambda.github.io
Simple, safe multimethods in Racket| lexi-lambda.github.io
ADTs in Typed Racket with macros| lexi-lambda.github.io
Functionally updating record types in Elm| lexi-lambda.github.io
Canonical factories for testing with factory_girl_api| lexi-lambda.github.io
Managing application configuration with Envy| lexi-lambda.github.io
Deploying Racket applications on Heroku| lexi-lambda.github.io
Automatically deploying a Frog-powered blog to GitHub pages| lexi-lambda.github.io
Parse, don’t validate| lexi-lambda.github.io