John Napier

Transpile failure for github.com/palatable/lambda

8

Hello! I'm trying to transpile [lambda](https://github.com/palatable/lambda) using jsweet, but the build processing is exploding with over a hundred type errors. I'm doing some fairly advanced type acrobatics for javac in...

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,...

MaybeLens#unliftAB

1

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

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)`...

A `NaturalTransformation` for some `Functor F` and some `Functor G` witnesses the morphism `forall a. F a -> G a`. Something like the following signature that witnesses the narrowed result...