Re: Functional language syntax

2011-01-04 Thread Hans Aberg
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: . Bigloo understands optional type annotations but uses them mo

Re: Functional language syntax

2011-01-04 Thread Ludovic Courtès
Hello & Happy New Year! Linas Vepstas 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 m

Re: Functional language syntax

2010-12-22 Thread Hans Aberg
On 22 Dec 2010, at 22:12, Linas Vepstas wrote: I have put up the source code of the standard functional language syntax program on top of Guile mentioned in earlier posts. One can see that Guile already has a combined imperative/functional syntax, but to go further, it would need to be ext

Re: Functional language syntax

2010-12-22 Thread Linas Vepstas
Hi, On 22 December 2010 05:30, Hans Aberg wrote: > I have put up the source code of the standard functional language syntax > program on top of Guile mentioned in earlier posts. One can see that Guile > already has a combined imperative/functional syntax, but to go further, it > would need to be