[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)


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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]