http://tech.groups.yahoo.com/group/concatenative/ Discuss the concatenative variety of computer languages: Joy, Forth, Postscript Sat, 04 Jul 2009 12:50:03 GMT eas lab http://tech.groups.yahoo.com/group/concatenative/message/4625 http://tech.groups.yahoo.com/group/concatenative/message/4625 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 ?] ] Tue, 23 Jun 2009 01:10:02 GMT Mark W. Humphries http://tech.groups.yahoo.com/group/concatenative/message/4624 http://tech.groups.yahoo.com/group/concatenative/message/4624 Minimac (http://freshmeat.net/projects/minimac-macro-processor) is a minimalist, general purpose text macro processor. It uses an explicit argument stack, and Mon, 27 Apr 2009 16:00:32 GMT William Tanksley http://tech.groups.yahoo.com/group/concatenative/message/4623 http://tech.groups.yahoo.com/group/concatenative/message/4623 ... 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 Mon, 27 Apr 2009 11:41:59 GMT Nigel Galloway http://tech.groups.yahoo.com/group/concatenative/message/4622 http://tech.groups.yahoo.com/group/concatenative/message/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 Mon, 20 Apr 2009 17:23:58 GMT spir http://tech.groups.yahoo.com/group/concatenative/message/4621 http://tech.groups.yahoo.com/group/concatenative/message/4621 Hello, just started a mailing list about programming language design. It's called 'PiLuD' ;-) For anyone interested. subscribe : Sun, 12 Apr 2009 15:44:16 GMT chris glur http://tech.groups.yahoo.com/group/concatenative/message/4620 http://tech.groups.yahoo.com/group/concatenative/message/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 Mon, 06 Apr 2009 12:01:03 GMT John Nowak http://tech.groups.yahoo.com/group/concatenative/message/4619 http://tech.groups.yahoo.com/group/concatenative/message/4619 ... 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 Sun, 05 Apr 2009 12:40:51 GMT icpdesign http://tech.groups.yahoo.com/group/concatenative/message/4618 http://tech.groups.yahoo.com/group/concatenative/message/4618 Dear, You can find the F# code for Huffman coding in http://blogs.msdn.com/lukeh/archive/2008/05/05/huffman-coding-with-f.aspx Kind regards Taoufik Sun, 05 Apr 2009 12:35:15 GMT icpdesign http://tech.groups.yahoo.com/group/concatenative/message/4617 http://tech.groups.yahoo.com/group/concatenative/message/4617 Dear, How do you implement the Huffman Coding with Joy? I would like to compare it with other languages (eg. F#) Kind regards Taoufik Sun, 05 Apr 2009 09:09:40 GMT hallucious http://tech.groups.yahoo.com/group/concatenative/message/4616 http://tech.groups.yahoo.com/group/concatenative/message/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 Sun, 05 Apr 2009 06:28:07 GMT John Nowak http://tech.groups.yahoo.com/group/concatenative/message/4615 http://tech.groups.yahoo.com/group/concatenative/message/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 Sun, 05 Apr 2009 06:18:02 GMT John Nowak http://tech.groups.yahoo.com/group/concatenative/message/4614 http://tech.groups.yahoo.com/group/concatenative/message/4614 ... 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 Sun, 05 Apr 2009 01:42:35 GMT hallucious http://tech.groups.yahoo.com/group/concatenative/message/4613 http://tech.groups.yahoo.com/group/concatenative/message/4613 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 Sun, 05 Apr 2009 01:14:21 GMT hallucious http://tech.groups.yahoo.com/group/concatenative/message/4612 http://tech.groups.yahoo.com/group/concatenative/message/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. Sat, 04 Apr 2009 23:08:38 GMT John Nowak http://tech.groups.yahoo.com/group/concatenative/message/4610 http://tech.groups.yahoo.com/group/concatenative/message/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