[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Typed Guile?
From: |
Ludovic Courtès |
Subject: |
Re: Typed Guile? |
Date: |
Thu, 08 Nov 2012 21:43:57 +0100 |
User-agent: |
Gnus/5.130005 (Ma Gnus v0.5) Emacs/24.2 (gnu/linux) |
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’.