3 ms·
Reality: "Type systems don't keep you from writing wrong logic, they only forbid you to write inconsistent logic."
by freyrs3 13y ago
Reality: "Type systems don't keep you from writing wrong logic, they only forbid you to write inconsistent logic."