Posts tagged "programming"

• understanding higher-kinded types - February 27, 12022

  a little type theory

• simple, type-safe string formatting in Haskell - November 8, 12021

  without even dependent types

• fromMaybe is Just a fold - July 29, 12021

  I realized something neat today

• happy-space: a whitespace-sensitive calculator - December 30, 12020

  Is it terrible, or a bit cute?

• Strict aliasing in GCC - December 22, 12019

  How often do you defend your compilers?

• How to stop yourself from force-pushing to `master` - August 30, 12019

  Be a better team player with git hooks.