Re: type systems as libraries

From: Ivan Boldyrev <boldyrev+nospam@xxxxxxxxxxxxxxxxxxxx>
Date: Fri, 30 Dec 2005 10:34:13 +0600

On 9339 day of my life Creighton Hogg wrote:
> Hi guys,
> Has anyone ever real heard of implementing type systems and
> type inference on top of lisp as a kindof macro library?
> I'm picturing something like
> (with-hindley-milner
> (rest-o-the-code))
> Browsing a few pages of google search results I didn't find
> anything to promising. Is this just a bad idea or not done
> for some particular reason?

http://www.cliki.net/TypeL

--
Ivan Boldyrev

Is 'morning' a gerund?
.

References:
- type systems as libraries
  - From: Creighton Hogg

Prev by Date: Re: Python and Lisp Test
Next by Date: Re: using setf with assoc
Previous by thread: Re: type systems as libraries
Next by thread: Quick question: eval and read-from-string scoping
Index(es):
- Date
- Thread