←back to thread

Type checking is a symptom, not a solution

(programmingsimplicity.substack.com)
67 points mpweiher | 1 comments | | HN request time: 0.206s | source
1. nlawalker ◴[] No.45142266[source]
> The transport layer [of UNIX pipelines] uses extremely simple data—bytes or characters—which allows universal pluggability. Individual components can layer more sophisticated agreements about data meaning on top of this simple substrate.

No, they can't - they can make assumptions and assertions, but not agreements, because they have no way to communicate such agreements between each other.