I say this half tongue in cheek, but maybe we need a new law like "Greenspun's Converse": Any sufficiently large dynamically typed codebase contains an ad hoc, informally-specified, gradually-adopted, optional implementation of half of Haskell’s type system.
1 comment
[ 5.3 ms ] story [ 6.7 ms ] thread