Balf·8 jaar geleden·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·8 jaar geleden·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·8 jaar geleden·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