If we are getting Applicative f => Monad f just now, will it be another 10 years for Apply f => Applicative f ? #haskell
-
@dibblego are there laws for apply only? /cc@puffnfresh
@dyokomizo @puffnfresh associativity of composition. fmap (.) x <*> y <*> z = x <*> (y <*> z)
-
-
@dibblego@puffnfresh I always saw this formulated using pure. It also arise as an application of the fmap/pure law. Interesting. -
@dyokomizo@dibblego yeah, same. Really cool!
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.