Balf·8 ปีที่แล้ว·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 ปีที่แล้ว·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 ปีที่แล้ว·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