3 ms·
> you cannot program without knowing what data you are getting Types almost always overconstrain. Each part of your code relies on some very specific properti
by kybernetikos 6y ago
> you cannot program without knowing what data you are getting
Types almost always overconstrain. Each part of your code relies on some very specific properties of your data, yet most type systems end up restricting your function to only work with data that meets a whole bunch of other properties that your code doesn't actually care about.
- tluyben2 6y ago> Types almost always overconstrain Not in my experience; so many, basically, stringy types. > Each part of your code relies on some very specific properties of your data, So then you either have a type that exposes those you need or you have different types for different functions. > yet most type systems end up restricting your function to only work Again, I don't understand this statement; someone implemented the types to fit the data for some functions they needed. How does the 'type system restrict' anything?