Hello & Happy New Year! Linas Vepstas <linasveps...@gmail.com> 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’.
