A first draft of my latest attempt to describe the Cat semantics and type system with some rigour is available at http://www.cat-language.com/paper.html I'd...
Ever wondered what factorial(20000) might be? [Yes, that was twenty-thousand] A big number, and it has over 77000 digits. You need a bignum cruncher for that,...
I have had another comment that the order of types expressed in Cat is somewhat unintuitive. For example: define f : ()->(char int) { 42 'q' } I was wondering...
... I know why the other way is usually used: because the types can be lexically replaced with examples of the types to produce a correct result. In other...
... The first Forth was written in 1958 (by Chuck Moore). dc was written in the B language on a PDP-7, so it couldn't have been written before the late 1960s....
... Thanks for your feedback! ... There were two primary reasons 1) if one views a stack as an infinite list, it is customary to write infinite lists so that...
... Forth goes back to the late '60s, actually. PML. GST+NPT=JOBS I.e., a Goods and Services Tax (or almost any other broad based production tax), with a...
... It does, and then back to 1958. :-) But although '58 is the origin of the language, at the time it wasn't concatenative, and doesn't seem to have become...
... You can usually count on me to open my mouth ;-). I haven't read your paper yet -- I just got back from vacation. ... Now that makes a lot of sense. The...
I am still wrestling with establishing the correct types for the classic combinatory logic combinators (i.e. S,K,I,W,B,C,M, etc.). So far I am torn between two...
... If I read your notation right, in the alternate system the i combinator is a no-op. Is that right? Note that Brent's notation is slightly different, a fact...
... I see. So it is perhaps a disctinction born out of practical reasons? ... Good catch. That was my mistake, also my "s" definition was wrong. So here is my...
I am still struggling with the different notations. I am actually interested in the problem that you proposed and am looking into a solution. In the mean time,...
The newest version (0.5) of the Enchilada language has macros onboard. This is mainly thanks to Stevan. He pushed me to include Billy's shuffle operator! ...
... Cool! ... Yes, I saw them... I tried to figure them out, but I have no clue how to read the notation that describes them. It just makes no sense to me. Jot...
... That's something I like. Remembering the names of some of those is frankly a pain. ... I don't know if I understand what that means. ... Shuffle notation...
I have posted a new chart of combinators along with their associated bird names, lambda expressions, concatenative algebraic expressions, joy implementations...
... In other words, lazy expansion is a normal inline lambda; eager expansion is like a Lisp macro. Right? ... No, not because it's "considered" to be...
... I believe Manfred noted this characteristic earlier, although I don't recall where he noted it (probably one of the earlier papers). It's natural to want...
... Yes, more or less. But alas, the problem with eager expansion is that we get all the hairy lambda stuff, such as alpha-conversion, etc. In the lazy case...
... I had to look alpha-conversion up :-). Now I remember. I would have expected alpha conversion to appear even in the lazy case... Certainly if you allow...
... It doesn`t surprise me that Manfred has already managed to wrap his large brain around all of the subtle implications. I think I am starting to understand...
... That makes sense, and also explains two things: first, it explains why I was able to read his paper instead of being completely baffled; and second, it...
I liked the original ideas and the discussions on this topic. Just a few brief comments: What you called ³eager² and ³lazy² macros seems to correspond...
... That's pretty nifty. I wrote some pattern matching routines for Factor a while back and for fun implented a 'shuffle' word that used it to do stack...
