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
[ 0.26 ms ] story [ 29.1 ms ] thread