search

kongware / scriptum

Functional Programming Unorthodoxly Adjusted to Client-/Server-side Javascript
MIT License
383 stars 21 forks source link

`Functor` instance for the function type doesn't type validate #365

Closed ivenmarquardt closed 2 years ago

ivenmarquardt commented 2 years ago

The type should be Functor<(a =>)>, but the validator raises this meaningless error:

validator.js:2243 Uncaught TypeError: malformed type annotation
redundant round parenthesis
next to " => b))"
in "(^a, b. {map: ((a => b) => (a1 => a) => (a1 => b))}) => Functor<(a1 =>)>"