4 ms·
It is better with certain languages, and it is better when you encode business logic into your type system.
by zeckalpha 11y ago
It is better with certain languages, and it is better when you encode business logic into your type system.
- grdvnl 11y agoI work on Python and the Pandas data frame is one of the core data structure that is used in the implementation. I have been thinking of how I can translate this code in a more robust type checking language such as Haskell, without loosing some of the conveniences Pandas provides. Do you have any suggestions or pointers to this? I would love to encode the business logic into types. But, I am always afraid I might end up in type hell!
- zeckalpha 11y agoSadly, that's a misconception about types that languages with poor type systems have caused many to have. There's nothing about pandas that shouldn't work in Haskell. Edit: In fact, there's this library! https://github.com/acowley/Frames https://github.com/acowley/Frames