undefined | Better HN

0 pointszeckalpha10y ago0 comments

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

0 comments

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!

zeckalphaOP10y ago

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

j / k navigate · click thread line to collapse

0 comments

grdvnl10y ago

I would love to encode the business logic into types. But, I am always afraid I might end up in type hell!

zeckalphaOP10y ago

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

j / k navigate · click thread line to collapse