lambda

lambda copied to clipboard

Co-authored-by: Skyler Lutz

7h3kk1d

I'll split this up into multiple PRs. Mostly creating this draft as a springboard for discussion. Topics addressed: - Override `checkedApply` on SemigroupFactory to help resolve `checkedApply`/`apply` incoherence - Introduced...

7h3kk1d

Resolve undefined IO throwing behavior in the presence of async and non-termination

7

Suppose we have the following `IO` tree: ```java IO throwImmediately = IO.throwing(new IllegalStateException("head fell off")); IO parkForever = io((SideEffect) LockSupport::park); throwImmediately.discardL(parkForever).unsafePerformAsyncIO().join(); ``` What should the result be? Should it throw,...

jnape

jnape

Coproducts are defined inductively

3

jnape

IO performance improvements

1

jnape

jnape

jnape

MaybeLens#unliftAB

1

It's common enough to want to unlift `A` and `B` in a `Lens

jnape

Sequence overloads and argument order

1

Determine if swapping the order of the arguments in `sequence` buys any better ergonomics due to currying, or if it's a pyrrhic victory due to the current overloading strategy (`sequence(IO::io)`...

jnape