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