kongware/scriptum

Issues

• Does `Observable.Done` needs an argument for some edge cases?

  #372 opened 9 months ago by ivenmarquardt
  1

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

  #384 opened 9 months ago by ivenmarquardt
  1

• Adjust existing monad transformers to new encoding

  #383 opened 9 months ago by ivenmarquardt
  1

• Derive `Sex`/`Pex` from `Serial`/`Parallel` + `Except.T` transformer

  #381 opened 2 years ago by ivenmarquardt
  1

• `A.empty` doesn't work due to mutations

  #382 opened 2 years ago by ivenmarquardt
  2

• add `Serial.allObj`/`Parallel.allObj`

  #378 opened 2 years ago by ivenmarquardt
  1

• Define potential variant types with `variant`

  #379 opened 2 years ago by ivenmarquardt
  1

• Resolve deferred code dependencies in type dicts as well

  #380 opened 2 years ago by ivenmarquardt
  0

• Define `Eq` type class and implement all instances

  #377 opened 2 years ago by ivenmarquardt
  0

• Can arrays be reconciled with lazy evaluation?

  #376 opened 2 years ago by ivenmarquardt
  0

• List combinators should rely on strict `foldl` and non-strict `foldr`

  #375 opened 2 years ago by ivenmarquardt
  1

• Add `Validate` type that collects exceptions

  #374 opened 2 years ago by ivenmarquardt
  1

• Add right biased `Either` type to encode short circution instead of error

  #373 opened 2 years ago by ivenmarquardt
  1

• adapt stream consumer to new Stream API

  #371 opened 2 years ago by ivenmarquardt
  1

• tail recursion modulo cons doesn't work for higher order calls

  #370 opened 2 years ago by ivenmarquardt
  1

• > No description provided.

  #369 opened 2 years ago by Juxtme
  0

• Add add/edit/delete API operations for `nativeDict`/`monoDict`

  #355 opened 2 years ago by ivenmarquardt
  0

• Allow typing variadic functions

  #362 opened 2 years ago by ivenmarquardt
  1

• How to work with `Nat`/`Int` w/o violating their property to be completely erased in production?

  #340 opened 2 years ago by ivenmarquardt
  0

• Maybe allow `type1("() => Void")`

  #351 opened 2 years ago by ivenmarquardt
  0

• Should `MonadRec` type class be implemented?

  #333 opened 2 years ago by ivenmarquardt
  0

• Can index based mapping be a functor?

  #363 opened 3 years ago by ivenmarquardt
  1

• Codomain preservation fails with partially applied types

  #367 opened 3 years ago by ivenmarquardt
  0

• Higher-rank types seem to be not always type safe

  #366 opened 3 years ago by ivenmarquardt
  1

• `Functor` instance for the function type doesn't type validate

  #365 opened 3 years ago by ivenmarquardt
  0

• Kind mismatches may throw unintentionally

  #364 opened 3 years ago by ivenmarquardt
  1

• Invalid ADT return type in case of parametric polymorphic return types

  #361 opened 3 years ago by ivenmarquardt
  1

• Invalid `Yoneda.ap` implementation

  #360 opened 3 years ago by ivenmarquardt
  0

• Error during AST serialization

  #359 opened 3 years ago by ivenmarquardt
  0

• Allow nested functions to share types

  #358 opened 3 years ago by ivenmarquardt
  2

• Buggy ADT/TC incorporation in the context of higher-rank types

  #356 opened 3 years ago by ivenmarquardt
  2

• Adding a rudimentary kind system

  #354 opened 3 years ago by ivenmarquardt
  11

• Parsing partially type constructors swallows type parameters

  #352 opened 3 years ago by ivenmarquardt
  2

• Substitution of partially applied type parameters doesn't work as expected

  #353 opened 3 years ago by ivenmarquardt
  1

• Thorough revision/refactoring for v0.5.0

  #350 opened 3 years ago by ivenmarquardt
  20

• Unification doesn't work correctly with higher-rank types

  #348 opened 3 years ago by ivenmarquardt
  2

• Make `type`/`typeClass` less brittle

  #347 opened 3 years ago by ivenmarquardt
  2

• Support GADTs

  #346 opened 3 years ago by ivenmarquardt
  3

• Parsing nested higher-rank types leads to invalid scopes

  #349 opened 3 years ago by ivenmarquardt
  1

• Drop single field restriction with `type1`

  #344 opened 3 years ago by ivenmarquardt
  2

• Allow existential types in the context of data constructors

  #345 opened 3 years ago by ivenmarquardt
  3

• Adjust transducers with short circuiting to `A.foldk`

  #342 opened 3 years ago by ivenmarquardt
  1

• Make `A.foldk` stack-safe

  #341 opened 3 years ago by ivenmarquardt
  1

• Make thunks more lazy

  #343 opened 3 years ago by ivenmarquardt
  1

• `A.foldk` doesn't break the loop if the continuation isn't called

  #338 opened 3 years ago by ivenmarquardt
  1

• `A.foldr`/`A.foldr` must perform a real right associated fold with their own stack structure

  #339 opened 3 years ago by ivenmarquardt
  1

• Clojure inspired transducers are not composable if they include a transformation

  #337 opened 3 years ago by ivenmarquardt
  5

• Fix unification bug associated with transducers

  #335 opened 3 years ago by ivenmarquardt
  1

• Fix substitution bug associated with function substitutes in codomain position

  #336 opened 3 years ago by ivenmarquardt
  1

• Homogeneous check fails for empty collections

  #334 opened 3 years ago by ivenmarquardt
  0