Re: [stack] In praise of Prolog

"Christopher Diggins" <[email protected]>
Newsgroups gmane.comp.lang.concatenative
Message-ID <[email protected]> 
> For a long time I had been dreaming of static type checking for Joy,

Have you looked at the most recent Cat paper
(http://www.cat-language.com/paper.html)? It could prove to be a
useful starting point for designing a type system and type checker for
Joy (and even a type inference algorithm).

Cheers,
Christopher
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.