DrBearhands’ writings

Blog posts

• The hardest thing I ever did: Hoare state monads
• Every bug is a type error
• The trias politica needs an IT branch

Tutorials

• Haskell for madmen

WebGL in Idris2

• 1: Hello triangle, first thoughts
• 2: Some animation
• 3: Preliminary performance test
• 4: Troubles with linearity
• 5: Linearity continued
• 6: Bye IO monad, hello GL monad
• 7: Short code quality update
• 8: Baby’s first dependent type
• 9: Ensuring uniforms belong to bound program
• 10: Implicit arguments & monad transformers
• 11: No linearity with monadic errors (for now)
• 12: Linear algebra with linear types… not great
• 13: Slow and frustrating progress
• 14: Getting back into it
• 15: Restricting arguments to a list
• 16: Binding programs again

---

If you like my work, please consider buying me a coffee.

---