A type system is essentially Napoleonic law. It arrests you because you can’t show that you’re worthy.
Gilad Bracha, Software Engineering Radio #140, 2009
A type system is essentially Napoleonic law. It arrests you because you can’t show that you’re worthy.
Gilad Bracha, Software Engineering Radio #140, 2009