News for hackers. Stuff that matters.
Re:How types make hard problems easy by pavel_lishin on Thursday December 19, 2024 @06:15PM (#42466732)
> Types can't represent truth. Real world data doesn't have types. It changes incrementally however it wants, and all the time.

That's like saying "Maps can't represent truth". They're a model that works well enough, just like types do, if you do it right.

There are no comments on this comment yet.