Re: Functional language syntax

[Hans Aberg]

On 4 Jan 2011, at 17:51, Ludovic Courtès wrote:

> > Off-topic -- but -- are there any scheme extensions to add CAML-like
> > type system & type inference, etc. to the language?
>
> There’s Typed Racket: <http://docs.racket-lang.org/ts-guide/>.
>
> Bigloo understands optional type annotations but uses them mostly for
> optimization purposes:
> <http://www-sop.inria.fr/mimosa/fp/Bigloo/doc/bigloo-26.html#Explicit-typing 
> >.

The Hindley-Milner type system as used in Haskell prevents the useful  
function name-overloading based on argument type.