Re: Functional language syntax

[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 mostly for
optimization purposes:
.

Thanks,
Ludo’.

Re: ERROR: file: "libguilereadline-v-17", message: "The specified module could not be found"

[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 libguile-readline is not in the loader’s search path
($LD_LIBRARY_PATH on GNU variants.)  Can you check that?

Hope this helps,
Ludo’.

Re: Functional language syntax

[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 mostly for
optimization purposes:
.


The Hindley-Milner type system as used in Haskell prevents the useful  
function name-overloading based on argument type.