(blog.janestreet.com)

83 points hyperbrainer | 1 comments | 10 May 25 13:55 UTC | HN request time: 0.516s | source

Show context

cosmic_quanta ◴[12 May 25 18:09 UTC] No.43965913[source]▶

Interesting, thanks for posting.

I share the author's frustration with the lack of non-compiler-related examples of GADT uses. It seems like such a powerful idea, but I haven't been able to get a feel for when to reach for GADTs in Haskell

replies(2): >>43967468 #>>43967511 #

1. ◴[12 May 25 21:08 UTC] No.43967468[source]▶

>>43965913 #

↑

Why GADTs matter for performance (2015)