search

kongware / scriptum

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

Make `type`/`typeClass` less brittle #347

Closed ivenmarquardt closed 3 years ago

ivenmarquardt commented 3 years ago

The current substitution/regeneralization procedure within ADTs/Type Classes might lead to errors and should be revised according to type1.

ivenmarquardt commented 3 years ago

While type1 is already revised, the more complex type/typeClass are still awaiting their equivalent revision.

ivenmarquardt commented 3 years ago

see #350