In a functional language, the following optimization is valid (assuming F and G are pure functions that terminate): map G (map F xs) -> map (G . F) xs This...
John Nowak
john@...
Aug 1, 2008 8:52 am
4117
... Okay, I think I get this. (I certainly agree.) ... _This_ I don't understand. What does that mean? I would have said "this is an argument against...
... I think I understand. To summarize with Cat type notation: map : (list ('a -> 'a) -> list) map* : (list ('A 'b -> 'A 'b) -> list) In other words, "map"...
On Fri, Aug 1, 2008 at 7:01 AM, William Tanksley, Jr ... I agree with William. In a high level language, it'd generally be better if the compiler can figure...
... However, they *do* have a statically known stack effect. ... Yes it is (in most scenarios). ... That is a valid point. However, one of the benefits of...
... I mean that in languages like Factor, allowing the quotation given to 'map' to use any amount of the stack can make things difficult -- even if that...
John Nowak
john@...
Aug 1, 2008 9:06 pm
4122
... I don't understand when you're allowed to omit row variables in Cat's notation. I also think you mean "'a -> 'b" rather than "'a -> 'a". In any case, here...
John Nowak
john@...
Aug 1, 2008 9:21 pm
4123
... This is essentially the point I was trying to make. How strong of a point it is I am not sure. ... I think you need to be careful here. 'map*' acts...
John Nowak
john@...
Aug 1, 2008 9:37 pm
4124
I have been working hard on a virtual machine language called CVML (Concatenative Virtual Machine Language). I know I have been promising this for months, but...
I have started releasing the source code to CVML online. It is not yet complete, but for anyone really interested it might be a fun project to follow along....
... I recently posted a justification for the restricted order nature of 5th in responses to one of the comments on LtU: ...
John Nowak
john@...
Oct 17, 2008 3:00 pm
4131
It's been a long time since I've participated in this forum, but it hasn't been because of loss of interest. Mostly, I've been preoccupied with other things....
... --snip-- ... Having just read 75% of 'The collapse of chaos' by Cohen & Ian Stew[au]rt I'm less believing than when I read of some claimed successes in...
chris glur
crglur@...
Nov 15, 2008 7:32 am
4133
... Joy as the ... You might be interested in the work by Lee Spector on the Push, PushGP and Pushpop systems [1]. jan [1]...
or search back in the concatenative archives and read billy tanksley's remarks about his languages 01 and 10 and their suitability for darwinian evolutionary...
Stevan Apter
sa@...
Nov 16, 2008 7:25 pm
4135
... The nice thing about 01 (or 10, it's just a logical NOT away) is that you can cut and splice anything anywhere and it's still a valid program. The bad...
... From: "William Tanksley, Jr" <wtanksleyjr@...> ... perhaps you can post your 10 unit tests. i'd like to try running them in my implementation....
Stevan Apter
sa@...
Nov 16, 2008 10:00 pm
4137
Hi, you would probably be really interested in the work of Jurgen Schmidhuber, in particular the 'OOPS' optimal ordered problem solver[1]. It is an algorithm...
If it's to run as an auto-evolving machine, then decoding, analysing & reverse-engineering the results is not realistic. And not a goal. What is the advantage...
chris glur
crglur@...
Nov 18, 2008 4:37 pm
4139
Hello all. One of the problems I've run into with a second-order language is that you don't get partial application. (I've recently been able to extend the...
John Nowak
john@...
Nov 19, 2008 2:13 pm
4140
... Minor correction: ('a0 .. 'aN) 'x \y. [F y G] map y ('a0 .. 'aN) [F 'x G] map 'x ('a0 F 'x G .. 'aN F 'x G) 'x...
John Nowak
john@...
Nov 19, 2008 2:16 pm
4141
Did anybody else follow up on the good links which John Meacham gave ? Jürgen Schmidhuber starts laying out the algorithms in: ...
Chris Glur
crglur@...
Nov 22, 2008 3:59 pm
4142
Did anybody else follow up on the good links which ementation 2 gave ? ... == Chris Glur PS. I'm testing the hack: post via gmail without bogging down in...
Chris Glur
crglur@...
Nov 22, 2008 4:49 pm
4143
... You do have to decide the relative fitness of the results, so some amount of decoding results is needed. ... There's a reason why this hasn't been done --...
... There are a wide variety of languages that would be suitable for the techniques he describes, Appendix A of this paper gives the specification for the...
... Even a fan of lower-order logic like myself can applaud this result. Good luck! ... Interestingly, Factor just eliminated its retain stack words. This ...
Having problems with message search?
Fill out this form to ensure your group is one of the first to be migrated to the new message search system.
