[KirinDave]

> Purescript's Argonaut lib has major performance issues that are incurred for the "powerful type system."

Can you explain what you mean here? Your explanation below suggests a runtime cost for the type system, which just isn't true.

I'm aware Argonaut's approach generates slower code. The nice part of any such happenstance in PureScript is that if you do find an issue it's easy to bang out some Javascript in a foreign call to do what you need.

I find outside of Slamdata, folks are keen to do this. PureScript is a very new language and is still finding ways to generate code efficiently in it's target environment.