Started learning PureScript by going through “PureScript by Example” (I think Dustin Whitney’s version is the most up to date version), and as it is pretty dense, I am taking detours from time to time to connect the dots via the Haskell Book, A guide to the PureScript numeric hierarchy (a huge help for someone like me without formal math background!) and Bartosz Milewski’s Category Theory for Programmers (github com/hmemcpy/milewski-ctfp-pdf).
I love how granular PureScript’s type system is, and would like to read more about their theoretical backgrounds, but I am having trouble finding any papers on them. For example,
purescript-control's type class hierarchy has
Extend etc. that have no corresponding classes in Haskell, for example. The documentation is clear though, for example
* -> * kinded types, but I haven’t met these anywhere else before. (Not a surprise as I’m just starting out, and these may be named differently elsewhere).
Thank you for the help!