Re: Functional language syntax

[Ludovic Courtès]

Hello & Happy New Year!

Linas Vepstas <address@hidden> writes:

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

Thanks,
Ludo’.