Heya Noah,
A brief note:
On Sun 08 Jan 2012 22:15, Noah Lavine writes:
> I do think there's a problem with plain CPS, though - it forces you to
> pick an order for the evaluation of function arguments. I would like
> to use CPS with some sort of parallel-call operator, so we can leave
> the ord
Hello,
> Interesting. `verify' seems to be a form of contracts:
>
> http://ftp.ccs.northeastern.edu/scheme/pubs/icfp2002-ff.pdf
>
> Does `verify' have runtime semantics? Under what situations, if any,
> would the compiler insert runtime checks?
It has no runtime semantics right now. I consider
Hi Noah :)
On Sun 08 Jan 2012 01:42, Noah Lavine writes:
> The function called 'go' runs everything. You give it a Scheme
> expression. It compiles that expression to tree-il, then converts it
> to annotated-tree-il. Then it scans the annotated-tree-il looking for
> instances of the special func
Hello,
I'm going to try to combine the two parallel compiler threads into
one, by replying to two messages at once. I hope this makes things
simpler rather than more confusing. :-)
Message 1:
> Here is my calculus regarding this work, FWIW: it is low risk, and low
> cost, since it doesn't actual
Hi Noah!
On Tue 13 Dec 2011 14:52, Noah Lavine writes:
>> Cool. As a quick reaction, I have some doubts about this project. But,
>> I guess a WIP branch would be a good thing to have, and it would make
>> the discussion more concrete.
>
> Probably so. But if you have time, what are your doubts
Hi Noah!
This sounds like exciting work, although there’s not much yet to comment
on I suppose. ;-)
Please keep informing the list so we can see what you’re up to (even if
we don’t necessary reply in a timely fashion...)
Thanks, and happy compiler hacking!
Ludo’.
> Cool. As a quick reaction, I have some doubts about this project. But,
> I guess a WIP branch would be a good thing to have, and it would make
> the discussion more concrete.
Probably so. But if you have time, what are your doubts? I would much
rather talk about problems now than after I've im
On Tue 13 Dec 2011 05:39, Noah Lavine writes:
> Following up on my last email, I am nervously announcing a new branch,
> 'wip-compiler'. I hope that in a few months this branch will contain a
> working compiler. For now, it contains a few new data structures and a
> function that converts Tree-IL
Hello Guile developers,
Following up on my last email, I am nervously announcing a new branch,
'wip-compiler'. I hope that in a few months this branch will contain a
working compiler. For now, it contains a few new data structures and a
function that converts Tree-IL to a form that will be nicer f