Making my life easier with GADTs (acatalepsie.fr) | HN Screenshots

YHacker Newsscreenshots

Screenshot of acatalepsie.fr: Making my life easier with GADTs

First screen, captured 1 year ago.

Looks similar

Screenshot of sdiehl.github.io: Typechecker Zoo

Typechecker Zoo (sdiehl.github.io)

161 points by todsacerdoti 1 year ago | 24 comments

Screenshot of acatalepsie.fr: Overloading the lambda abstraction in Haskell (2022)

Overloading the lambda abstraction in Haskell (2022)(acatalepsie.fr)

55 points by 082349872349872 1 year ago | 10 comments

Screenshot of esafev.com: Why I do programming

Why I do programming (esafev.com)

65 points by artmare 1 year ago | 38 comments

Screenshot of jgarby.uk: Reproducible C++ builds by logging Git hashes

Reproducible C++ builds by logging Git hashes (jgarby.uk)

32 points by j4cobgarby 11 months ago | 35 comments

Screenshot of david.alvarezrosa.com: Deriving Type Erasure

Deriving Type Erasure (david.alvarezrosa.com)

27 points by dalvrosa 7 months ago | 6 comments

Screenshot of journal.stuffwithstuff.com: Pratt Parsers: Expression Parsing Made Easy (2011)

Pratt Parsers: Expression Parsing Made Easy (2011)(journal.stuffwithstuff.com)

134 points by memalign 2 years ago | 47 comments