kongware scriptum issues

kongware / scriptum

Functional Programming Unorthodoxly Adjusted to Client-/Server-side Javascript

MIT License

383 stars 21 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Can `S.once`/`P.once` be deleted?

#384 ivenmarquardt closed 8 months ago
1
Adjust existing monad transformers to new encoding

#383 ivenmarquardt closed 8 months ago
1
`A.empty` doesn't work due to mutations

#382 ivenmarquardt closed 1 year ago
2
Derive `Sex`/`Pex` from `Serial`/`Parallel` + `Except.T` transformer

#381 ivenmarquardt closed 1 year ago
1
Resolve deferred code dependencies in type dicts as well

#380 ivenmarquardt closed 1 year ago
0
Define potential variant types with `variant`

#379 ivenmarquardt closed 1 year ago
1
add `Serial.allObj`/`Parallel.allObj`

#378 ivenmarquardt closed 1 year ago
1
Define `Eq` type class and implement all instances

#377 ivenmarquardt closed 1 year ago
0
Can arrays be reconciled with lazy evaluation?

#376 ivenmarquardt closed 1 year ago
0
List combinators should rely on strict `foldl` and non-strict `foldr`

#375 ivenmarquardt closed 1 year ago
1
Add `Validate` type that collects exceptions

#374 ivenmarquardt closed 2 years ago
1
Add right biased `Either` type to encode short circution instead of error

#373 ivenmarquardt closed 2 years ago
1
Does `Observable.Done` needs an argument for some edge cases?

#372 ivenmarquardt closed 8 months ago
1
adapt stream consumer to new Stream API

#371 ivenmarquardt closed 2 years ago
1
tail recursion modulo cons doesn't work for higher order calls

#370 ivenmarquardt closed 2 years ago
1
> No description provided.

#369 Juxtme closed 2 years ago
0
Fix typo in src/library.js

#368 mlrv closed 2 years ago
0
Codomain preservation fails with partially applied types

#367 ivenmarquardt closed 2 years ago
0
Higher-rank types seem to be not always type safe

#366 ivenmarquardt closed 2 years ago
1
`Functor` instance for the function type doesn't type validate

#365 ivenmarquardt closed 2 years ago
0
Kind mismatches may throw unintentionally

#364 ivenmarquardt closed 2 years ago
1
Can index based mapping be a functor?

#363 ivenmarquardt closed 2 years ago
1
Allow typing variadic functions

#362 ivenmarquardt closed 2 years ago
1
Invalid ADT return type in case of parametric polymorphic return types

#361 ivenmarquardt closed 2 years ago
1
Invalid `Yoneda.ap` implementation

#360 ivenmarquardt closed 2 years ago
0
Error during AST serialization

#359 ivenmarquardt closed 2 years ago
0
Allow nested functions to share types

#358 ivenmarquardt closed 2 years ago
2
Buggy ADT/TC incorporation in the context of higher-rank types

#356 ivenmarquardt closed 2 years ago
2
Add add/edit/delete API operations for `nativeDict`/`monoDict`

#355 ivenmarquardt closed 2 years ago
0
Adding a rudimentary kind system

#354 ivenmarquardt closed 2 years ago
11
Substitution of partially applied type parameters doesn't work as expected

#353 ivenmarquardt closed 3 years ago
1
Parsing partially type constructors swallows type parameters

#352 ivenmarquardt closed 3 years ago
2
Maybe allow `type1("() => Void")`

#351 ivenmarquardt closed 2 years ago
0
Thorough revision/refactoring for v0.5.0

#350 ivenmarquardt closed 3 years ago
20
Parsing nested higher-rank types leads to invalid scopes

#349 ivenmarquardt closed 3 years ago
1
Unification doesn't work correctly with higher-rank types

#348 ivenmarquardt closed 3 years ago
2
Make `type`/`typeClass` less brittle

#347 ivenmarquardt closed 3 years ago
2
Support GADTs

#346 ivenmarquardt closed 3 years ago
3
Allow existential types in the context of data constructors

#345 ivenmarquardt closed 3 years ago
3
Drop single field restriction with `type1`

#344 ivenmarquardt closed 3 years ago
2
Make thunks more lazy

#343 ivenmarquardt closed 3 years ago
1
Adjust transducers with short circuiting to `A.foldk`

#342 ivenmarquardt closed 3 years ago
1
Make `A.foldk` stack-safe

#341 ivenmarquardt closed 3 years ago
1
How to work with `Nat`/`Int` w/o violating their property to be completely erased in production?

#340 ivenmarquardt closed 2 years ago
0
`A.foldr`/`A.foldr` must perform a real right associated fold with their own stack structure

#339 ivenmarquardt closed 3 years ago
1
`A.foldk` doesn't break the loop if the continuation isn't called

#338 ivenmarquardt closed 3 years ago
1
Clojure inspired transducers are not composable if they include a transformation

#337 ivenmarquardt closed 3 years ago
5
Fix substitution bug associated with function substitutes in codomain position

#336 ivenmarquardt closed 3 years ago
1
Fix unification bug associated with transducers

#335 ivenmarquardt closed 3 years ago
1
Homogeneous check fails for empty collections

#334 ivenmarquardt closed 3 years ago
0