Somtime ago, there was a debate on the ability of a static type system to model an 'open-world situation' where fields are added to records as model changes. (based on a post[1] which responded to a Rich Hickey talk).
The crucial point was that structural typing on which row-polymorphism is based can model such open-world situations.
Also, having such a system can free you from having overly nested types.
It would be great if Purescript or row-polymorphism became more popular.
The crucial point was that structural typing on which row-polymorphism is based can model such open-world situations.
Also, having such a system can free you from having overly nested types.
It would be great if Purescript or row-polymorphism became more popular.
[1] https://news.ycombinator.com/item?id=22090700