1. 9

  2. 4

    PureScript has forall! That’s super neat. Any other cool type cartwheels that PureScript can pull off?

    1. 4

      Type classes, rank N types and extensible records/effects are the ones people usually care about. We also have a bunch of smaller features which make dealing with an expressive type system more pleasant, like scoped type variables and type wildcards.

      1. 4

        It has row polymorphism which allows extensible records but also extensible effects.