When it's too hard to explain, they revert to "try it, you'll like it", or the new buzz-phrase: "good experience". Previously when I queried/criticised "what's...
... I'm going to answer this once and for all... Joy and similar languages likely share the benefits of other pointfree approaches. There are two main...
... Yup, understood. ... Don't worry -- I never considered throwing you off the list before this. So clearly, the hysteria level wasn't bad enough then. ... ...
4648
chris glur
crglur@...
Jan 11, 2010 1:03 am
I'm using the subject of Evolutionary Programming as a vehicle to discuss presentation-formatting. The format & sequesnce of presentation of 'joy material' eg....
4649
chris glur
crglur@...
Jan 11, 2010 1:09 am
So much for the previous brain-storming. Let's try some sober design/pseudo-coding. But first, AFAICS the assumption that the goal can be incrementally...
... I found it new and enlightening. ... The goal of "Joy material" appears to be to teach the reader the concepts of Joy via theory and examples. Should there...
4651
John Nowak
john@...
Jan 11, 2010 2:42 am
... No due to macros, lexical scoping, etc. - jn...
4652
John Nowak
john@...
Jan 29, 2010 4:07 am
Paper: http://mitarbeiter.hs-heilbronn.de/~herzberg/Publications/ICSOFT.2009.pdf See also: ...
4653
chris glur
crglur@...
Jan 30, 2010 9:18 pm
I think/hope denkspuren.blogspot approaches from the human cognition angle, because that's where productivety increases will come from. I'm pushing my topic in...
4654
John Nowak
john@...
Jan 30, 2010 11:13 pm
... That's not even a remotely fair translation as it's not recursive like the example. The straight-forward recursive function is as such: fact = [zero?] [pop...
4655
John Nowak
john@...
Jan 30, 2010 11:37 pm
... For what it's worth, this is essentially identical to the FP version: fact = zero? -> ~1; * . <id, fact . pred> The only real difference is that constant...
... Ah! This sounds promising. - jn -Wm [Non-text portions of this message have been removed]...
4657
chris glur
crglur@...
Jan 31, 2010 8:29 am
... ]That's not even a remotely fair translation as it's not recursive like ]the example. The straight-forward recursive function is as such: I MIGHT analyse...
... That's a lousy excuse for refusing to accept an answer to your problem. Just because you did no research doesn't mean there's no answer. I won't follow...
4659
John Nowak
john@...
Jan 31, 2010 11:22 pm
We're familiar with the notion of function composition: (a -> b) -> (b -> c) -> (a -> c) However, is anyone familiar with a notion of function "adjoinment"? ...
4660
Matt Hellige
matt@...
Feb 1, 2010 2:41 am
... This reminds me of the *** operator in Haskell's Arrow library, which, when specialized to the (->) arrow, has type (a->c) -> (b->c) -> (a,a') -> (b,b')....
4661
chris glur
crglur@...
Feb 1, 2010 1:32 pm
... We seem to have lost each other completely ? The author defined the factorial function in one short line of near english; and then gave the multi-step joy...
4662
chris glur
crglur@...
Feb 1, 2010 1:33 pm
... We seem to have lost each other completely ? The author defined the factorial function in one short line of near english; and then gave the multi-step joy...
... I'm so bad at reading this kind of notation. But I think I see what you're describing. I wonder if it would be possible to type this operator in a system...
4664
john@...
Feb 1, 2010 3:04 pm
... you're ... Might've helped if I described it correctly. I meant: (a -> b) -> (c -> d) -> (a++c -> b++d) Or, to put it another way, if composition is this: ...
... You're talking about Manfred's Joy paper posted at http://www.latrobe.edu.au/philosophy/phimvt/joy/j02maf.html. Manfred's paper wasn't trying to express...
4666
Matt Hellige
matt@...
Feb 1, 2010 7:39 pm
On Mon, Feb 1, 2010 at 8:33 AM, William Tanksley, Jr ... Yes, this is what I'm suggesting. But I only just thought of it as I was reading the original email in...
4667
john@...
Feb 1, 2010 8:04 pm
... If you make use of the fact that almost all first-order functions have a fixed arity (e.g. 3 -> 2) except for bizarre functions like 'clear', you can type...
4668
chris glur
crglur@...
Feb 2, 2010 4:02 am
Can someone add value to my query/idea that 'perhaps cat-like is effective/productive in using pre-existing functions'. I'm only interested in productivety ...
... I haven't seemed to be able to add the value you're looking for, so good luck. I hope you come up with some interesting ideas. I'm only interested in...
4670
John Nowak
john@...
Feb 3, 2010 6:17 am
... For what it's worth, I've asked a similar question on LtU to cast a wider net: http://lambda-the-ultimate.org/node/3803 - jn...
4671
chris glur
crglur@...
Feb 6, 2010 8:19 am
Perhaps because of 3rd [going 4th] world connectivety, I couldn't get the ltu - yet. But since I've 'got you on the line' I'll slip in MY topic "cat-like for...
... That's not even a vague approximation to what I said; it certainly doesn't belong in quotes. You picked up _nothing_ about what I meant, although you did...
4673
stevan apter
sa@...
Feb 6, 2010 4:28 pm
... not to worry. as productivity approaches 1 all the displaced programmers can become managers. company hierarchy of the future: CTO ... mgr ... mgr ... ...
