[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: |
Sat, 20 Nov 2010 12:25:31 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux) |
Hi Noah,
On Thu 04 Nov 2010 03:40, Noah Lavine <address@hidden> writes:
> I think that Guile should offer optional static checking - not just of
> types, but of everything that we can check.
It seems like you're really asking for *dynamic* checking -- not only
checking properties that can be proved statically, without running the
program, but also runtime properties.
In this regard, I have a positive impression of the work that people are
doing on "contracts", especially the Racket folks.
http://docs.racket-lang.org/reference/contracts.html
Happy reading,
Andy
--
http://wingolog.org/
- Re: The progress of hacking guile and prolog, Ludovic Courtès, 2010/11/03
- Re: The progress of hacking guile and prolog, Noah Lavine, 2010/11/03
- Re: The progress of hacking guile and prolog, Stefan Israelsson Tampe, 2010/11/10
- Re: The progress of hacking guile and prolog, Ludovic Courtès, 2010/11/11
- Typechecking I, Stefan Israelsson Tampe, 2010/11/15
- Re: The progress of hacking guile and prolog,
Andy Wingo <=
- Re: The progress of hacking guile and prolog, Noah Lavine, 2010/11/23
- Re: The progress of hacking guile and prolog, Stefan Israelsson Tampe, 2010/11/24
- piper schemigan, Stefan Israelsson Tampe, 2010/11/24
- Re: piper schemigan, Andreas Rottmann, 2010/11/24
- 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