[Top][All Lists]

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

Re: Functional language syntax

From: Ludovic Courtès
Subject: Re: Functional language syntax
Date: Tue, 04 Jan 2011 17:51:26 +0100
User-agent: Gnus/5.110011 (No Gnus v0.11) Emacs/23.2 (gnu/linux)

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

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


reply via email to

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