... You may want to look at Djinn if you haven't already: http://lambda-the-ultimate.org/node/1178 ... In my opinion, it would be more useful to add types...
John Nowak
john@...
Apr 5, 2009 6:18 am
4615
... It's easy to infer the constraints, but type inference (I believe) also entails checking that those constraints are satisfied and not in contradiction to...
John Nowak
john@...
Apr 5, 2009 6:28 am
4616
Hi John, Thanks for the info and for bearing with me. I do want to move on to type systems that are useful for compilers. I shall clarify the subordinate role...
... It seems to me that some of the most interesting work in this field (type systems for compilers) is being done by the Church Project...
John Nowak
john@...
Apr 6, 2009 12:01 pm
4620
On cleaning out archives of Tue, Apr 29, 2008 at 10:20 AM ... I wondered is there a tutorial on 'algebra of concatenative programs', preferably without another...
chris glur
crglur@...
Apr 12, 2009 3:44 pm
4621
Hello, just started a mailing list about programming language design. It's called 'PiLuD' ;-) For anyone interested. subscribe :...
spir
denis.spir@...
Apr 20, 2009 5:23 pm
4622
Should a language like Joy be compared to Java. Java compiles into class files, which consist of bytecodes, which is assembler like code for the JVM. Joy...
... Yes and no. A language like Joy yes; Joy itself NO. Joy is an academic prototype, not really intended for any specific use. ... Right. The concatenative...
Minimac (http://freshmeat.net/projects/minimac-macro-processor) is a minimalist, general purpose text macro processor. It uses an explicit argument stack, and...
Just to keep the pipes exercised [I suspected that I'd been cut-off of cat-list [what's happening in the 1st-world/N-hemisphere 'for' no cat-list-traffic ?] ] ...
eas lab
lab.eas@...
Jul 4, 2009 12:50 pm
4626
... Hi, Thanks for your questions. Minimac has almost no syntax, basically a set of special characters that trigger behaviors (quoting, escaping, naming,...
Hello list, Something I'd like to share: a small interpreter for an (intensional) Joy dialect, that has helped me to clarify some conversation about ...
... and another one: extensional, non-linear Joy stack machine that works using binary tree representation of code, and a binary tree rotation in the...
What is this good for ? The answer that I didn't get directly, but which hints led to, for my previous question: "what is cat-style good for"; could have been...
chris glur
crglur@...
Sep 1, 2009 5:03 am
4631
I have always found stack programming and Unix shell programming to be very similar, the stack being a LIFO pipe connecting successive refinements rather than...
Indeed. I've been pondering for a while about whether this is useful to actually turn into an application: to build a unix shell that _is_ a concatenative...
... I'd like to see a collaborative project in that direction; which was very transparent. I.e. doesn't just publish the final products hand-book, but rather...
chris glur
crglur@...
Sep 1, 2009 9:25 pm
4634
... I believe good results require a sufficiently annoying `itch' locally applied to a single implementor / designer. Committees are probably only useful if...
.. continued fron previous post, because the mailer objected to the complete text. ... Because I'm an isolated researcher, I appreciate when others expose the...
eas lab
lab.eas@...
Sep 3, 2009 3:47 pm
4636
... Yes, you're talking about making fish. I'm talking about making fishermen. Most of the value-added in computing comes from the soft: psychology and...
chris glur
crglur@...
Sep 3, 2009 10:53 pm
4637
... Interesting viewpoint. ... What you described is a `process' view on approaching a problem. The combinator-style that Joy/Factor/Forth/... promote is an ...
This forum seems to have died. Perhaps others had discovered what I only now discovered: cat-style can be as deceptive as BASIC was in the 70s. You think...
chris glur
crglur@...
Sep 21, 2009 4:51 pm
4639
... I think it's more likely that no one is interested in responding to your inane questions. If you want to know what the point of all this is, go read...
john@...
Sep 21, 2009 6:48 pm
4640
This forum seems to have died. Perhaps others had discovered what I only now discovered: cat-style can be as deceptive as BASIC was in the 70s. You think...
chris glur
crglur@...
Sep 22, 2009 12:59 am
4641
... Care to complete the list? Backus[1]. De Moor[2], Bird[3], Meijer[4], Patterson[5], Tatsuya[6], Iverson[7], Meertens[8], Gibbons[9]. [1]...
... No, it's just a slow period -- this happens from time to time. There aren't many people carrying on active research; mine is on hiatus as I've been working...
... Hmm. It's just another tool that sort of vanishes into the background of stuff getting done. Go digging (hard) around a major unixy project like gcc and...
Having problems with message search?
Fill out this form to ensure your group is one of the first to be migrated to the new message search system.
