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: ERROR: file: "libguilereadline-v-17", message: "The specified module could not be found"

2011-01-04 Thread Ludovic Courtès
Hi, "Whitlock, Bradley D" writes: > guile> (use-modules (ice-9 readline)) > ERROR: In procedure dynamic-link: > ERROR: file: "libguilereadline-v-17", message: "The specified module could > not be found." This means that Guile failed to dlopen libguile-readline, which probably means that libgui

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