Re: implementation idea for infinite cons lists aka scon(e)s lists.

2014-09-15 Thread Ian Grant
On Sat, Sep 13, 2014 at 7:19 AM, Stefan Israelsson Tampe < stefan.ita...@gmail.com> wrote: > Anyhow today I think that programming in C should be done like in my > c-lambda repo at gitorius. > I can't find it. Can you send me a URL? I have actually copied sbcl's assebler for amd64. you can find

Re: Link failure on systems lacking mkstemp

2014-09-15 Thread Eli Zaretskii
Ping! (1 month) > Date: Fri, 29 Aug 2014 11:29:29 +0300 > From: Eli Zaretskii > > Ping! > > > Date: Sat, 16 Aug 2014 14:42:54 +0300 > > From: Eli Zaretskii > > > > Guile 2.0.11 has mkstemp.c in lib/, from Gnulib, and it also has its > > own private version in libguile/. This causes link fai

Re: Fix link failure in test-suite/standalone

2014-09-15 Thread Eli Zaretskii
Ping! (1 month) > Date: Fri, 29 Aug 2014 11:30:12 +0300 > From: Eli Zaretskii > > Ping! > > > Date: Sat, 16 Aug 2014 14:58:38 +0300 > > From: Eli Zaretskii > > > > Linking test-scm-take-locale-symbol fails on systems that need > > rpl_strdup from gnulib. Here's the fix: > > > > --- test-sui

Re: Link failure on systems lacking mkstemp

2014-09-15 Thread Eli Zaretskii
Ping! (1 month) > Date: Fri, 29 Aug 2014 11:30:47 +0300 > From: Eli Zaretskii > > Ping! > > > Date: Sat, 16 Aug 2014 17:49:10 +0300 > > From: Eli Zaretskii > > > > > Date: Sat, 16 Aug 2014 14:42:54 +0300 > > > From: Eli Zaretskii > > > > > > I think the solution is simply remove mkstemp.c f

Re: open-process and related functions for MinGW Guile

2014-09-15 Thread Eli Zaretskii
Ping! It's been a month since the last exchange, and more than a year since I started working on this. Can we please pick up where this was left off, and resolve whatever issues remain? Please? > Date: Fri, 15 Aug 2014 10:07:50 +0300 > From: Eli Zaretskii > Cc: l...@gnu.org, guile-devel@gnu.or

Parsing

2014-09-15 Thread Ian Grant
LALR parser generators are not the last word in parsing technology. Many unambiguous context-free languages are not well suited to LALR parsing. The C language is an exception: the C grammar from the ISO standard can be typed almost verbatim into a YACC/Bison file, and it will produce just the one

Re: Parsing

2014-09-15 Thread Stefan Israelsson Tampe
hi, i find that logic programs together with memoization and auto cut ideoms helps in making powerful parsers, really fun at least. I implemented a python parser using those and you my find some docs in subsections inside the guile-log framework. I will try to make the parser combinators up to dat

Re: implementation idea for infinite cons lists aka scon(e)s lists.

2014-09-15 Thread Ian Grant
On Sat, Sep 13, 2014 at 7:13 AM, Stefan Israelsson Tampe < stefan.ita...@gmail.com> wrote: > it is saved from gc by havinga special reference and that we also can see > if the cons cell have been referenced outside of the > special references. Then in the sweep phase one can decide to modify the >

Re: Parsing

2014-09-15 Thread Ian Grant
On Mon, Sep 15, 2014 at 2:29 PM, Stefan Israelsson Tampe < stefan.ita...@gmail.com> wrote: > i find that logic programs together with memoization and auto cut ideoms > helps in making powerful parsers, really fun at least. > You should definitely look at Tom's paper then, the "director's cut" is

Re: Parsing

2014-09-15 Thread Ian Grant
On Mon, Sep 15, 2014 at 3:59 PM, Ian Grant wrote: > The parser's cache can be used as a compact representation of > the otherwise hyper-exponential size of the ASTs ... This is wrong. They're not hyper-exponential, they're just exponential. > it could explore non-deterministic relations, like a

Re: Parsing

2014-09-15 Thread Stefan Israelsson Tampe
>This amused me, because I implemented the earlier (pre-oracle) parser he described in Standard ML, and I did something which I thought later was a bit stupid: I executed all the semantic actions _during the parse_ and >cached the semantic results in the "memo-pad" along with the syntactic derivati

Re: Parsing

2014-09-15 Thread Ian Grant
I'll make this the last reply to my own message. Here is a memoizing (with 'eager' semantic actions) implementation of Ridge's combinator parsers in 221 lines of Standard ML. Scheme wouldn't be much more, Adding the binarizing grammar generator and an Earley oracle wouldn't add more than another 3

Re: scm_c_catch question

2014-09-15 Thread Ian Grant
A while ago I posted this patch: http://lists.gnu.org/archive/html/guile-devel/2014-08/msg00058.html No-one had anything to say about it. But I would like to know what to do if I want my code to work with the next release of Guile. I think in retrospect this patch is too much. A better patch

Bug free programs

2014-09-15 Thread Ian Grant
I'm posting this because it explains beautifully why we don't need to expend any great effort on getting GDB or other debuggers working with Guile. If some code needs a debugger, then it invariably needs re-writing much more than it needs the debugger. And _programmers_ who need the debugger are in