Mark Perry

For me, I found the behaviour of mapping over sets surprising. I thought mapping over functors should return the same type and initially I thought a set would be a...

Paul, I had not seen using '*' to convert to sets, only the spread operator for collect. How does it convert to a set and what is the difference between...

Does the same thing apply to collectMany?

We are chasing our tails because we don't have higher-order types. I want the to use the functor typeclass, or alternatively in OO terms, have a co-variant return type that...

One idea for 2.4 that I have not thought through is to be able to attach a trait to an existing class, rather than have to write extension methods to...

You are probably familiar with these references already @paulk-asert, but perhaps others aren't. The story of how higher order types got into Scala is pretty interesting. Vincent Crement wrote a...

I will try to explain the pseudo Java for the `Mappable` interface in the blog. Here M is the generic type parameter which itself takes a single generic type Z....

@yukoba The problem you are having is that the map method of Functor can't be implemented by itself in a vacuum because it needs to know how to create the...

I commented on this and then accidentally deleted it, so I will try again. @uehaj You want to transform a sequence of safe navigation to a sequence of `flatMap` calls,...

@uehaj I found the auto translation very hard to read. I would be interested in your explanation of the custom type checker.