Re: Typed Guile?

[Ludovic Courtès]

Hi,

Panicz Maciej Godek <address@hidden> skribis:

> There is, however, a good base for a type system shipped with guile's
> GOOPS. And I think that it would be wisest to extend it, so the
> language remains coherent.

GOOPS provides nothing beyond syntactic support.  It’s only about
dynamic typing.

For static typing, you’d need (at least) the ability to pass type
annotations along with tree-il objects, and a type inference system.

[...]

> BTW Does anyone here know what does the #& ("box") quasi-pattern in
> the Shinn-Wright pattern matcher stand for?

Good question, but AFAICS it’s not in Alex Shinn’s version.

Ludo’.