Could you elaborate a bit more on stack comments? You mean writing (in Joy) something like: (* A -> A A *) To say that the function (dup) consumes one item and...
WT wrote:- ... I'm don't want to open another canOworms ? Unless it could have been explained in lines < 2, instead of 'go & get it', it's no good. == Chris...
chris glur
crglur@...
Apr 1, 2009 9:34 am
4600
... Yep. ... Factor does. Cat may allow them; it's been awhile since I've looked at it. Cat will, however, automatically infer the effect in question for you. ...
John Nowak
john@...
Apr 1, 2009 12:02 pm
4601
... I've read mad libs more coherent than this. Come on man, at least fire up the spellchecker... - John...
John Nowak
john@...
Apr 1, 2009 12:02 pm
4602
... This is programming. To program you have to tell the computer *exactly* what to do. If it can be explained in 2 lines, it's not programming; it's something...
What's my point ? Well I've lost the OP's exact wording. But HIS main point was that 'stack doesn't model the problem domain'. Yes, but it models the problem...
chris glur
crglur@...
Apr 1, 2009 9:51 pm
4604
Le Thu, 2 Apr 2009 00:50:45 +0300, ... While I don't have a copy of that post at hand, it was actually only a paragraph in a rather long message. And I was not...
spir
denis.spir@...
Apr 2, 2009 8:41 am
4605
... Sure. ... This is a leap. You're forgetting that a language that requires such things may derive benefits from such a design that you're not accounting...
... No, it's no more WRONG than gromgramming by 'binary switches'. ... Yes, this is just a HIGHER level, which often is better. If I 'program' google to: fetch...
chris glur
crglur@...
Apr 4, 2009 3:20 am
4608
I think that functions on rows can be given types using type constraints - even the weird ones like bi@. A type can be given to the composition of functions f...
... Nothing published that I'm aware of, no. Existing work on type systems for concatenative languages (and there isn't much) has mostly focused on systems...
John Nowak
john@...
Apr 4, 2009 10:55 pm
4610
One more thing I should've mentioned. You state that your type system is compositional. I should note that you can get this quite easy by extending HM with row...
John Nowak
john@...
Apr 4, 2009 11:08 pm
4612
One motivation for this work was to broaden the range of functions which can be investigated by looking at their type, which can be useful to see their effect....
If decidable type inference means that the type of quotations and compositions of functions can be inferred and expressed, then I think that type inference is...
... 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 ...
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.
