On 13 Oct 2011, at 18:30, Linas Vepstas wrote: > On 13 October 2011 10:20, Andy Wingo <wi...@pobox.com> wrote: >> On Thu 13 Oct 2011 16:26, l...@gnu.org (Ludovic Courtès) writes: >> >> Anyway this second, proof side of types, is the side that Scheme does >> not have. C has a stronger story in that regard. > > Lack of types in scheme has made me day-dream about learning > ocaml or haskell.
The Haskell Hindley-Milner type system, as implemented, prevents function name overloading except in the form of classes, which in effect steal function names. Getting around it by not loading or rewriting those classes has in practice proven to be too cumbersome. Hans
