A Working Programmer's Guide to Type-Indexed Values (ocaml.janestreet.com) 4 points by Hank_Lenzi 16y ago ↗ HN
[–] mgreenbe 16y 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
[ 2.7 ms ] story [ 14.8 ms ] thread