|
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: <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.
[Prev in Thread] | Current Thread | [Next in Thread] |