News for hackers. Stuff that matters.
Re:Code is Engineering, Types are Science by throwaway894345 on Sunday June 27, 2021 @02:00PM (#27653686)
I don’t think types were hard originally, but rather the popular typed languages for a very long time were C, C++, and Java and they were loaded with foot guns, or at least the popular advice encouraged you to use those languages in a very difficult to maintain way (e.g., shoehorning inheritance into every problem in C++ and Java) or else they were ergonomic problems (lack of type inference or good tooling). The dynamic languages didn’t share these foot guns, so people wrongly assumed they were type system problems.
Re:Code is Engineering, Types are Science by turbinerneiter on Sunday June 27, 2021 @02:42PM (#27654055)
That's a very good observation and I agree!