←back to thread

Type checking is a symptom, not a solution

(programmingsimplicity.substack.com)
67 points mpweiher | 1 comments | | HN request time: 0.2s | source
1. worik ◴[] No.45145647[source]
This is a bit hard to bear

So many errors. The recommendations from electrical design are ones we all (should/do) actually follow. Type checking is in addition. We developed it because it helps

So many errors. This one repeated many times...

> grep | sort | uniq, you’re not doing type checking at the transport layer.

Maybe not checking, but definitely assuming! Try that on a binary file, go on!