[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: The progress of hacking guile and prolog
From: |
Andy Wingo |
Subject: |
Re: The progress of hacking guile and prolog |
Date: |
Fri, 26 Nov 2010 11:45:02 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux) |
Hi Noah,
On Wed 24 Nov 2010 02:54, Noah Lavine <address@hidden> writes:
> What I'm thinking of is like racket contracts, but with the idea of
> "trusted modules", which might involve static checking.
Yeah, definitely. Like the interface between typed and untyped code in
racket, also. I don't know very much about the relationship between
types and contracts, though.
> I'm curious in general though whether it would be possible and
> worthwhile to statically check programmer-defined ideas, as long as
> the interface is easy enough to use. For instance, what if you could
> ask Guile to check that your tree structure always remained a binary
> tree? Or better, what if you wrote a GUI program and checked that the
> callbacks you passed to the GUI library would always return? (I know
> it's not possible in general, but I think it will work for a subset of
> procedures that will include some interesting ones.)
It's certainly interesting! As I understand things (which is not very
far), Racket allows for this via other "languages". Guile could do that
too. We might need some more generic support for this kind of thing in
the compiler infrastructure or in tree-il or whatever, but I would like
to make it possible to experiment with these linguistic ideas, with the
kind of isolation provided by modules.
Cheers,
Andy
--
http://wingolog.org/
- Re: piper schemigan, (continued)
- Re: piper schemigan, Ludovic Courtès, 2010/11/25
- Re: piper schemigan, Stefan Israelsson Tampe, 2010/11/26
- Guile-SCSH, Ludovic Courtès, 2010/11/28
- Re: Guile-SCSH, Stefan Israelsson Tampe, 2010/11/28
- Re: Guile-SCSH, Jose A. Ortega Ruiz, 2010/11/28
- Re: Guile-SCSH, Stefan Israelsson Tampe, 2010/11/29
- http://gitorious.org/guile-scsh/guile-scsh, Stefan Israelsson Tampe, 2010/11/29
- Guile-Facade, Ludovic Courtès, 2010/11/30
- Re: The progress of hacking guile and prolog, Ludovic Courtès, 2010/11/25
- Re: The progress of hacking guile and prolog, Noah Lavine, 2010/11/26
- Re: The progress of hacking guile and prolog,
Andy Wingo <=
Re: The progress of hacking guile and prolog, Andy Wingo, 2010/11/20
Re: The progress of hacking guile and prolog, Stefan Israelsson Tampe, 2010/11/04
Re: The progress of hacking guile and prolog, Stefan Israelsson Tampe, 2010/11/05