Dev

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

Article URL: https://personal.cis.strath.ac.uk/conor.mcbride/pub/hasochism.pdf Comments URL: https://news.ycombinator.com/item?id=43613994 Points: 34 # Comments: 1

Avr 7, 2025 - 21:10
 0

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

Comments URL: https://news.ycombinator.com/item?id=43613994

Points: 34

# Comments: 1

Lire plus

Tags :

Article précédent

The Troll Hole Adventure

Article suivant

Show HN: Kahuna, the IndexedDB-Manager Webextension

Articles similaires

Show HN: Cloud-Ready Postgres MCP Server

Show HN: Cloud-Ready Postgres MCP Server

Mar 30, 2025  0

Show HN: Cppmatch – Rust-Like Pattern Matching and Error Handling for C++

Show HN: Cppmatch – Rust-Like Pattern Matching and Erro...

Mar 16, 2025  0

What We Lose When Our Memories Exist in Our Phones

Mar 8, 2025  0