lambda

lambda copied to clipboard

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

jnape

It seems like there could exist an equivalent stack-safe applicative, similar to `MonadRec`, working title `ApplicativeRec`, with a `trampolineA :: ApplicativeRec f => f (a -> RR a b) ->...

jnape

MVar

4

An MVar is a volatile reference with fair scheduling (FIFO) for both take and put and blocking semantics with strong guarantees of a consumer-notify happens-before on put and a supplier-notify...

jnape

HList.cons() static factory method doesn't infer tail type

4

`HList.cons` should be parametrized to take advantage of Generalized Target Type Inference, making the following expression infer the resulting HList type from right-hand argument: ``` java SingletonHList cons = HList.cons(1,...

jnape

Tracked on the [zippers](https://github.com/palatable/lambda/tree/Zippers) branch.

jnape

Question about unification parameter

1

First of all, i'm really sorry to ask questions in issues tab. I'll be sure to remove this post as soon as i get an answer. I'm a java web...

twizzlespark

7h3kk1d

The behavior of `Semigroup.foldRight` and `Monoid.foldRight` is different for non-commutative operations. For monoids, we have: ```java Lazy resultMonoid = Monoid.monoid(String::concat, "").foldRight("", Arrays.asList("1", "2", "3", "4")); resultMonoid.value() // "1234" ``` For...

t-rutten