Skip to search.

Breaking News Visit Yahoo! News for the latest.

×Close this window

concatenative · Discuss the concatenative variety of computer languages: Joy, Forth, Postscript

The Yahoo! Groups Product Blog

Check it out!

Group Information

? Already a member? Sign in to Yahoo!

Yahoo! Groups Tips

Did you know...
Message search is now enhanced, find messages faster. Take it for a spin.

Messages

Advanced
Messages Help
Messages 3404 - 3433 of 4941   Oldest  |  < Older  |  Newer >  |  Newest
Messages: Simplify | Expand Author Sort by Date ^
3404 Christopher Diggins
cdiggins.geo Send Email
Jun 3, 2007
10:55 pm
I've just released version 0.1 of a public domain Level-1 Cat to C++ compiler (written in C++) at http://code.google.com/p/cat-language/downloads/list. This ...
3405 Christopher Diggins
cdiggins.geo Send Email
Jun 5, 2007
8:29 pm
There is an interesting discussion on the type of a call-with-current-continuation operation in Cat at lambda-the-ultimate.org (...
3406 William Tanksley, Jr
wtanksle Send Email
Jun 5, 2007
9:17 pm
... Yes, you should definitely read the paper they mention on delimited continuations. They're phenomenally more generally useful than conventional...
3407 William Tanksley, Jr
wtanksle Send Email
Jun 5, 2007
10:14 pm
I claimed that you should read about delimited continuations. I continue to assert that, but I have to say that the link they gave you was pretty hard to use...
3408 Christopher Diggins
cdiggins.geo Send Email
Jun 8, 2007
6:25 pm
My previous plan for dealing with recursive (self-referential) types was to use labels. I am currently looking at using "self" types, which are more limited,...
3409 Manfred Von Thun
maggethun Send Email
Jun 15, 2007
5:45 am
I canąt extract the paragraph from your link, so I have to paraphrase: You mention the difficulty of typing what in Cat is dup apply, or in Joy dup i. I have...
3410 Manfred Von Thun
maggethun Send Email
Jun 15, 2007
6:30 am
Further to my previous reply: Cat seems to be related to Joy in the same way as Haskell and (the functional subset of) ML are related to (the functional subset...
3411 Manfred Von Thun
maggethun Send Email
Jun 15, 2007
8:03 am
Years ago I sometimes wondered whether there could be any higher order combinators. Just as ordinary combinators take a (quoted program to compute a) function...
3412 William Tanksley, Jr
wtanksle Send Email
Jun 15, 2007
1:45 pm
... I don't see how there couldn't be. Joy functions are higher-order, so wouldn't Joy's combinators also be higher-order? Perhaps I'm just confused. -Billy...
3413 John Cowan
johnwcowan Send Email
Jun 15, 2007
5:13 pm
... The difficulty is that it can't be done, on Russell type theory grounds. -- Don't be so humble. You're not that great. John Cowan --Golda Meir...
3414 Christopher Diggins
cdiggins.geo Send Email
Jun 15, 2007
5:18 pm
The Y and M combinators can't be typed using a simple type system without recursive types. They can however be typed using a more sophisticated type system...
3415 Christopher Diggins
cdiggins.geo Send Email
Jun 15, 2007
10:08 pm
Hi Manfred, What you call "X" I believe corresponds directly to the classical "M" combinator according to Brent Kerby's concatenative combinator mapping. The...
3416 Christopher Diggins
cdiggins.geo Send Email
Jun 16, 2007
7:59 am
I've released a new version of the Cat to C++ translator (written in C++) source into the public domain at http://code.google.com/p/cat-language/downloads/list...
3417 Christopher Diggins
cdiggins.geo Send Email
Jun 16, 2007
7:02 pm
I have been struggling to formalize/rationalize my intuition that point-free form is somehow better than a form with names from the standpoint of tools (e.g....
3418 Manfred Von Thun
maggethun Send Email
Jun 18, 2007
6:13 am
... Exactly. But I have never seen the actual proof. Do you have anything Śat your fingertipsą, or perhaps a reference? - Manfred [Non-text portions of this...
3419 Manfred Von Thun
maggethun Send Email
Jun 18, 2007
6:39 am
... My understanding is that the usual terminology is this: At level zero there are numbers, chars, truth values, lists... At level one there are functions...
3420 Manfred Von Thun
maggethun Send Email
Jun 18, 2007
6:58 am
... I typed to my mailer Eudora: single quote, AT YOUR FINGERTIPS, single quote. It came back to me from yahoogroups as: left paren, EAT YOUR.. I did not mean...
3421 William Tanksley, Jr
wtanksle Send Email
Jun 18, 2007
3:05 pm
... How would that distinction be achieved? You hint below that third-order entities would NOT take a function as a parameter; but I must point out that every...
3422 William Tanksley, Jr
wtanksle Send Email
Jun 18, 2007
5:10 pm
... Most of your points are good, but a few are specific to concatenative languages. ... Just a side note: I think this one's the root of the coolness for ...
3423 Manfred Von Thun
maggethun Send Email
Jun 20, 2007
6:53 am
... Yes, every combinator is a function. My wording was too cryptic perhaps. I'll try again: At level one there are functions which take zero level entities as...
3424 Christopher Diggins
cdiggins.geo Send Email
Jun 20, 2007
8:48 am
... In Cat this would be the set of functions with types matching: ('A 'b -> 'C) ... These have types that match the pattern: ('A ('B -> 'C) -> 'D) ... These...
3425 William Tanksley, Jr
wtanksle Send Email
Jun 20, 2007
2:09 pm
... NOW I get it. Thank you for persevering. I think Chris' explanation makes sense: Joy's type semantics are just a bit too vague to allow a clean answer to...
3426 Christopher Diggins
cdiggins.geo Send Email
Jun 24, 2007
9:08 am
A major new release of Cat, version 0.15.0, is now finally available for download at http://code.google.com/p/cat-language/downloads/list = Major New Features...
3427 Manfred Von Thun
maggethun Send Email
Jun 29, 2007
6:35 am
... [..] ... But also binary operators such as +, <, cons and so on, also ternary operators such as + +, ..., also operators returning several items: + + dup,...
3428 Manfred Von Thun
maggethun Send Email
Jun 29, 2007
7:11 am
Progress report: I was intrigued by the possibility of combining the combinators, restricting myself just to unary combinators ‹ those which expect exactly...
3429 Christopher Diggins
cdiggins.geo Send Email
Jun 29, 2007
7:30 am
... I see. That is indeed not a category that can be represented using a single Cat type then. ... Lowercase letters are types, and uppercase letters are type...
3430 kuwabatake Send Email Jul 4, 2007
6:45 pm
... Interesting. I propose a function called `compose'. It takes a quoted combinator [C1] and alters that combinator to expect TWO functions on top of the ...
3431 Christopher Diggins
cdiggins.geo Send Email
Jul 9, 2007
7:19 am
Yet another release of Cat is now available. I've posted some notes about the release, and plans for the next release at: ...
3432 John Carter
refactored Send Email
Jul 10, 2007
4:27 am
... Probably because the pros and cons are symmetrical... ie. The Good thing about point free form is the mechanism for getting from parameters to using them...
3433 Manfred Von Thun
maggethun Send Email
Jul 10, 2007
8:07 am
... The last sentence was supposed to mean: but cannot take ANY level one entities as arguments. (And I really intended: and cannot take any level zero...
Messages 3404 - 3433 of 4941   Oldest  |  < Older  |  Newer >  |  Newest
Add to My Yahoo!      XML What's This?

Copyright © 2010 Yahoo! Inc. All rights reserved.
Privacy Policy - Terms of Service - Guidelines NEW - Help