... 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 ...
... 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...
... 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...
... Not in general. If the data transport mechanism is explicit, then the written data transport will vanish only when the data transport needs are simple in...
for clarity, nothing beats a 2-d notation with peirce's "lines of identity" connecting input and output. for example, consider some set of functions f ......
stevan apter
sa@...
Jul 10, 2007 2:38 pm
3436
... entity. So I ... Good catch. That makes what I was saying come closer to making sense :) ... From here, I see two options: 1. You've convinced me, I'll...
Yes there is no real reason not to use "dip" throughout. I just thought that just would makes more explicit what the term rewriting strategy should be. ... ...
What does that have to do with monads? The link that you included also doesn't have to do with monads. I feel like I'm missing something here. Daniel Ehrenberg...
... The comments on your post are interesting, especially the paper someone pointed to <http://www.cs.nott.ac.uk/~ctm/IdiomLite.pdf>. I don't know how useful...
... None aside from the clue I just gave. I don't think it exists ... yet ..., and I don't know how to build it. I have a vague suspicion that it'll involve a...
... It would be good to have more eyes on the subject. I am pretty good at mucking things up the first time around. :-) ... I may not understand precisly what...
... This is an interesting point. Specifying an ordering where non is intended, I believe can be considered to be simpler than differentiating between the two....
This is an approach which I am unfamiliar with, and it does appear to be very powerful. Thanks for sharing it! ... [Non-text portions of this message have been...
... Thank you. ... I like this a lot. This does a good job of summing up what I like about point-free form very elegantly. One point though, is "explicit" the...
... You're right that it would increase grammar complexity (although perhaps it would coincidentally remove some other aspect of the grammar; I don't know)....
... Actually, I think John made a mistake in another word: the mechanism for moving _values_ from source to consumption is explicit. You're not moving...
... I agree. I don't understand why stack-based languages should have locals. There are a few edge cases where variables might be necessary, and as far as I...
... Aha! Here we have the meat of it. Yes, having an unorder data type is implementationwise more complex, but semantically simpler. I suspect "unordered set"...
... Actually, an ordered data *type* is simpler in every way. But we weren't talking about data types; we were talking about the ability to specify dataflow....
... I'm simply doing a poor job of saying what I mean. What I was trying to say is that composition is always left-right, but that subterms could be evaluated...
... Yes, you're right. The missing definition is what a "subterm" is. Unlike most languages, a subterm is not a grammatical concept; it's defined semantically,...
There is a lot else in your response worth reading and perhaps commenting on... But I couldn't resist a quickie... ... The essence of the point under...
... Yes, and furthermore, I meant that as a light toss-off joke. I also intended to discuss the issue further, and forgot to. My mistake; I made it look like I...
