A Working Programmer's Guide to Type-Indexed Values (ocaml.janestreet.com) 4 points by Hank_Lenzi 17y ago ↗ HN
[–] mgreenbe 17y ago ↗ A neat trick, but---as one of the commenters points out---manual dictionary passing is a bit much. I would love Haskell, but for laziness...
1 comment
[ 1.9 ms ] story [ 13.4 ms ] thread