Re: The progress of hacking guile and prolog

2010-11-26 Thread Andy Wingo
Hi Noah, On Wed 24 Nov 2010 02:54, Noah Lavine noah.b.lav...@gmail.com 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

Re: The progress of hacking guile and prolog

2010-11-26 Thread Noah Lavine
Hello, Though I’d recommend working on JIT for Guile before you get stuck in a meta-circular Curry-Howardish enlightenment period.  :-) I agree. :-) Noah

[PATCH] SRFI 26 without defmacro

2010-11-26 Thread Andreas Rottmann
* module/srfi/srfi-26.scm (cut, cute): Implement using `syntax-case'. The new implementation is mostly just a transcription of the old code; the reference implementation which relies only on `syntax-rules' may (or may not) be considered more elegant :-). From: Andreas Rottmann

Re: piper schemigan

2010-11-26 Thread Stefan Israelsson Tampe
On Thursday, November 25, 2010 10:17:44 pm Ludovic Courtès wrote: +1 for reviving Guile-SCSH! Ludo’. yay, Well all this stems from me littering development code with printf or pk's or pretty-pk's and then add tags to it. Then I usually work in bash and mongle the output at my will. So now I

Re: R6RS exception printing at the REPL

2010-11-26 Thread Andreas Rottmann
Andy Wingo wi...@pobox.com writes: Heya Andreas, On Sat 20 Nov 2010 19:18, Andreas Rottmann a.rottm...@gmx.at writes: Andy Wingo wi...@pobox.com writes: set-exception-printer! : exception-printer - nothing Did you mean the following? set-exception-printer! : key exception-printer -