News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.