scriptum

scriptum copied to clipboard

`Fucntor` -> `Functor`

mlrv

Allow typing variadic functions

1

The following term has currently no type in scriptum, because the passed arguments might be heterogeneous and thus potentially creating an heterogeneous array: ```javascript f => (...args) => args.reduce((g, arg)...

ivenmarquardt

Automatically erase type validator syntax/logic from codebase

1

ivenmarquardt

Library users must be able to perform these operations on `nativeDict`/`monoDict` to declare new types.

ivenmarquardt

i.e. ADTs without inhabitants.

ivenmarquardt

ivenmarquardt

In purescript `MonadRec` is used for stack safe recursion within a monad. I'm not sure, though, whether we can have the same effect with scriptum's lazyness on demand approach.

ivenmarquardt

Functional dependencies presuppose multi-parameter type classes and are required to implement resurcion schemes without lots of boilerplate. Consequently, scriptum won't provide recursion schemes until version 2. However, this doesn't mean...

ivenmarquardt

see #332

ivenmarquardt

thunks are implemented as proxies in scriptum. The problem is that you cannot intercept `===`/`==` with the proxy type, hence special care have to be taken to accept the following...

ivenmarquardt