Haskell has real, honest to God type functions, which let us write whole simple programs completely at type level. PureScript, sadly, doesn’t have those. But we can write simple type-level programs anyway!
Combining and reusing constraints is directly supported in Haskell, but PureScript has to be…
Have you seen something like this in Haskell or PureScript code?
f (Proxy :: Proxy Int)
Have you wondered what the heck is a Proxy and what’s it doing there?
Proxy
At CollegeVine, our mission is to guide students and their families through the high school to college transition period. We have an unending…