... But surely a molecule like "ls -l -C 2" is just syntactic sugar for ordinary Joy "[-l -c 2] ls", where the list is treated by the "ls" word as a list, not...
... That is one possible notation. But if a command frequently uses no modifiers, then that notation would force users to supply an empty list of modifiers, ...
... Indeed. But I was only saying that arguments to a word are nothing *fundamentally* new, unlike (say) alternation. That doesn't mean that the syntactic...
... I see. You want not an ability to define ANY type of syntax (which is what I described), but rather a small, standard syntax suited to common problems. ...
... I'd like to deal with this post in two parts: first, exploring the interesting issues you raise, and second, <ironic>solving once and for all</ironic> the...
... I look forward to it. I assume it's nicely doable even if I've not seen it done yet. ... In all honesty, I've not ever counted parentheses since I began...
John Nowak
john@...
Apr 4, 2008 2:04 am
3957
... While cleave/2cleave do seem to form a possible base, they are impossible to type. That's not to say cleave isn't convenient, but for convenience alone you...
John Nowak
john@...
Apr 4, 2008 3:13 am
3958
... That's a good point; obviously, that's not yet an issue with Factor, and when it becomes an issue, they probably won't be able to use untyped arrays with...
... If cleave/2cleave/spread are considered to take an array as an argument, they can't be typed. But if they take a heterogeneous vector, whose length and the...
... I'll cover this in my next email (responding to Daniel). ... The translation looks something like this: {[foo] [bar] [baz]} cleave ==> [foo] keep [bar]...
John Nowak
john@...
Apr 4, 2008 5:53 am
3961
... If you wanted to give a type to 'cleave', it would look like this: cleave :: A(0) b {[A(0) b -> A(1)] ... [A(N-1) b -> A(N)]} -> A(N) The reason for the...
John Nowak
john@...
Apr 4, 2008 6:48 am
3962
... Oops. This should be 'A b -> A'. - John...
John Nowak
john@...
Apr 4, 2008 6:52 am
3963
... I think that's going to have to depend on the meaning of "easy to work with". ... In other words, you're looking from the perspective of the compiler ...
I am again playing with the idea of how to introduce typed arrays in to Cat. The following is the notation that I prefer, but I am concerned about the...
i find quine's argument in _set theory and its logic_ for reversing domain -> range to match our use of y=f x persuasive. in a sense, we're first interested...
Stevan Apter
sa@...
Apr 4, 2008 4:45 pm
3966
... Factor uses {} for arrays and [] for quotations (and lists). It does seem to me that there should be a way to denote different type treatment, especially...
On Fri, Apr 4, 2008 at 1:25 PM, William Tanksley, Jr ... Sorry for the confusion I am using the terms "array" and "list" interchangeably. In Cat a quotation is...
... Given all the time I've had, one would think I'd be finished already. I'm not. (Of course, I haven't really put much time into it.) Don't expect too much...
... DrScheme will do exactly this when you hover over bindings (after clicking "check syntax"). Very useful sometimes... I've not seen anything else that does...
John Nowak
john@...
Apr 4, 2008 8:40 pm
3970
... Here's what I'm doing in Fifth: Row variable: A B XY -- uppercase Scalar variable: a b xy -- lowercase Atomic type: Num Char...
John Nowak
john@...
Apr 4, 2008 8:40 pm
3971
A quick question: what's the rationale for using {a} as the type for a list instead of (List a)? There's no reason for lists to be built-in, right? Overall,...
... Curly braces are used for list literals so the type syntax simply matches the expression syntax. This is the same reason that square brackets are used for...
John Nowak
john@...
Apr 4, 2008 11:37 pm
3973
... I don't suppose anyone has an idea for concatenative type annotations? It seems like a terrible idea, but here's a first stab anyway: -- normal swap :: A...
John Nowak
john@...
Apr 4, 2008 11:53 pm
3974
... Here's another attempt at a concatenative type notation. We assume some function 'r' that pushes a fresh row variable onto the stack and some function 's'...
John Nowak
john@...
Apr 5, 2008 12:21 am
3975
... By 'v', I meant 'r'. I swear I do proofread these before I send them... - John...
John Nowak
john@...
Apr 5, 2008 12:23 am
3976
... Technically, strongForth's type notation is stack based. (The exceptions are his compound types, and even those could be made so.) I'm not sure what it...
... From: "Niall Dalton" <niall@...> To: <k4@...> Sent: Saturday, April 05, 2008 9:08 AM Subject: [k4] free kdb+ version, book available, and...
Stevan Apter
sa@...
Apr 5, 2008 3:47 pm
3978
... Indeed; I don't think it buys you much. It's very likely a terrible idea. - John...
john@...
Apr 5, 2008 7:57 pm
3979
Hello everybody, I've just made a new release of Cat, which can be downlaoded at http://code.google.com/p/cat-language/downloads/list The announcement is at...
