[zeckalpha]

It is better with certain languages, and it is better when you encode business logic into your type system.

[grdvnl]

I 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]

Sadly, 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