Re:Some Notes About How I Write Haskell
by jcranmer on Wednesday February 21, 2018 @02:31PM
(#16432216)
Random-access, multi-tape Turing machines are actually very good descriptions of computer hardware. The description of Turing machines in practice (using unary or binary notation on a single tape) is generally done because they're simpler and no less powerful, but modern computers hew much closer to a state-transition model embodied by Turing machines than a symbol rewriting process embodied by Lambda calculus.
[ Parent
| on HN ]
There are no comments on this comment yet.