Can you detail, or point to background info? There've been type system debates between proponents of Haskell, ocaml, SML, scala, and F#, i've never seen a D to

Can you detail, or point to background info? There've been type system debates between proponents of Haskell, ocaml, SML, scala, and F#, i've never seen a D to Haskell comparison, and I've never seen D mentioned as a "free theorems" language. Maybe in this vid: http://channel9.msdn.com/Blogs/Charles/Alexandrescu-Bright-Meijer-Moran-Pure-versus-Native-and-much-more http://channel9.msdn.com/Blogs/Charles/Alexandrescu-Bright-M... Here's a scala to haskell http://www.cs.ox.ac.uk/jeremy.gibbons/publications/scalagp.pdf http://www.cs.ox.ac.uk/jeremy.gibbons/publications/scalagp.p...