|
|
|
|
|
|
by markbnj
286 days ago
|
|
|
A type system lets different parts of a program agree on how to interpret a pattern of bits in memory and then enforce that interpretation. I don't think electronic circuits built from discrete components that have immutable physical properties are analogous in the way that the author apparently thinks they are. |
|
|