[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Functional language syntax

From: Hans Aberg
Subject: Re: Functional language syntax
Date: Tue, 4 Jan 2011 20:39:35 +0100

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: <>.

Bigloo understands optional type annotations but uses them mostly for
optimization purposes:
< >.

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]