[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: <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’.
- Re: Functional language syntax,
Ludovic Courtès <=