Balf·il y a 8 ans·discussI find it a little easier to decide what the Applicative instance "should" do by starting withpair :: f a -> f b -> f (a, b)from which you can derive the rest using pure and fmap
Balf·il y a 8 ans·discussI think the idea is that something is ambiguous if it has more than one meaning. This language avoids the problem by having no meaning. It may be a very dry joke. I'm not sure.
Balf·il y a 8 ans·discussThey suggested naïve sequential string replacing for html templating, so I would absolutely expect a bunch of regular expressions.
pair :: f a -> f b -> f (a, b)
from which you can derive the rest using pure and fmap