Hi,
Panicz Maciej Godek <godek.mac...@gmail.com> 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’.
