So I've been thinking about concatenative hardware lately. Here is a single-stack machine instruction set: 0: JZ (val fxn -> ) // jump to fxn if value is below...
This is pretty high-level for an instruction set, don't you think? Would it be that easy to implement QTE, COMP or DIP? How would quotations be represented?...
... Well part of the fun of designing hardware is you get to do what you want. :-) It is very high-level, which is what I want to experiment with. ... I don't...
Hi Christopher, I like this idea. Any thoughts of emulating this set and building Cat on that virtual machine (or is that already how Cat is implemented)? It...
Hi Don, I'm glad you like the idea. The current Cat implementation has over a hundred built-in primitives, because I was obsessed with performance in the early...
Not boneheaded at all , imho. Forth hardware has been around for a long time. With the ubiquity of Java, I'm expecting to see JVM hardware someday also. ...
... Cat has lazy lists too. Cat is sometimes lazy and sometimes eager depending on the constructors used. The "unfold" function generates a Haskell style lazy...
... ARM's Jazelle-enabled processors do this in the small http://www.arm.com/products/esd/jazelle_home.html Azul Compute Appliance does this in the large ...
Thanks, Joe, both look interesting. I sure wish the ARM processor family had been available before I retired from embedded systems programming! -- Don...
Hi, All -- Since I've mentioned generators and my lazy list example, I may as well present the entire design for discussion. Also, I've decided on a name ...
... contents) ... Maybe I'm missing a layer of sophistication hidden within the capabilities of one of these instructions (COMP, maybe?), but doesn't that...
... QTE and COMP allows you to treat function like stacks, by adding data to them, which you can accesss later by calling CALL. So computationally it is a...
... . . . ... Could you describe their behaviour a bit more? . . . ... COMP, etc. They provide means of accessing items arbitrarily deep in the stack, e.g. 7...
... Interesting. I've played a lot with stack hardware (designed a complete processor for a HW class), so your twist on the subject is very thought-provoking. ...
... "Comes to the top of the stack" is unclear. It would make more sense to say that every time GENERATE is called on it, it produces the next value. (You...
... Yes, this is where I am stuck. ... Whoops some mistakes. Especially the missing ADD. ... Great, I'll look into it. ... 4 bits is my goal. ... I'm looking...
Chris, This suggestion may be somewhat orthogonal to your memory management issue (or not), but it's something I've been interested in for some time: Could...
... While re-reading this, I was thinking how this might not only fit into hardware, it might even allow multiple parallel processors on the same chip talking...
who IS henry baker anyway? [Non-text portions of this message have been removed]...
Stevan Apter
sa@...
Nov 2, 2007 9:17 pm
3551
... I understand it, but it wasn't easy.... Basically the idea is that you represent each state of an array by a linked list holding the history of changes...
... He's probably best known for the Baker garbage collector, which divides the available space into Tospace and Fromspace. Each gc run lazily copies some...
Sorry for not changing the subject line earlier... ... Good point! I could just use the I or DIP combinator to execute a generator. This would make it more...
... He should be especially notable to THIS group for having written "The Forth Shall Be First", a paper exploring how Forth (ahem, a concatenative language)...
... I'm picturing a multiprocessor model based on Baker's model, with one dedicated memory processor (hooks up to external memory) and a bunch of general...
... Yes I could do that, but I am currently strudying minimalist system architectures. ... So the gain be would be increased safety, correct? Capabilities as I...
... Then you'll certainly want to study Capability based security. A capability is a pointer without which it is impossible to access a given object. Very...
... Kind of funny you asked. I've heard his name referenced so many times, but never really understood who he is, except some kind of programming demigod who...
... For non-mission critical embedded systems, is this really a huge gain? I can imagine though it being useful for embedded devices on cars and rockets, and...
