Hacker NewsApr 7, 2025

Hasochism: The pleasure and pain of dependently typed Haskell programming [pdf] (2013)

https://personal.cis.strath.ac.uk/conor.mcbride/pub/hasochism.pdf

#HackerNews #Hasochism #Haskell #DependentlyTyped #Programming #PleasureAndPain #FunctionalProgramming

l'empathie mécaniqueJun 17, 2018
Best recursion schemes tutorial so far...
#haskell #hasochism
Show threadl'empathie mécaniqueJun 17, 2018
What doesn't kill you, makes your types stronger.
#hasochism
l'empathie mécaniqueJun 17, 2018
Pain that grows
Humiliation a la carte
#hasochism