Gregory's Server@neauoire I suppose I wonder what an alternative CPU / assembly model looks like? a stack machine? I don't really know what a functional cpu would look like. maybe I should look into lisp machines
|
6 comments
 @pry alternatively, you can imagine a Thue-like computer where its only instruction is string replacement, and how that might look like.  @pry You might want to look into OCCAM parallel computing, or Fredkin's BBM: http://cell-auto.com/bbm/2d/index.html Or, imagine a OISC that is just Fractran, its one task is to hold prime encoded numbers and multiply! There's so many cool designs out there to try. I'd love to see a combinatory computer where opcodes are permutations of the combinatorics :mocking: Or ternary! http://wiki.xxiivv.com/docs/dssp.txt Or linear! https://plover.com/~mjd/misc/hbaker-archive/ReverseGC.html @neauoire yea idk hardware design for these sorts of models is such a fascinating problem. this summer I'll be working at a company designing CPUs (am just doing software simulation work) but I rlly do want to spend some more time thinking about alternate methods of instantiating computation in hardware @neauoire ooh I have been meaning to look into SECD and yea just checked and the paper mentions Mago which looks like it might be another thread to look into |
@pry In the paper I linked up on top, if you can get over the snarky remarks ;), Backus goes on defining a few alternative futures, one of those is something like a stack machine.
But there's a lot of different possibilities, the lisp machines don't really do anything special but are still worth looking into: http://wiki.xxiivv.com/docs/memo528_cadr.html
You might get a kick out of the LispKit books(SECD-style), or the BQN VM(APL-style):
https://mlochbaum.github.io/BQN/implementation/vm.html
@pry In the paper I linked up on top, if you can get over the snarky remarks ;), Backus goes on defining a few alternative futures, one of those is something like a stack machine.
But there's a lot of different possibilities, the lisp machines don't really do anything special but are still worth looking into: http://wiki.xxiivv.com/docs/memo528_cadr.html