Top Tweets for #freesemigroup

almost 8 years ago

We can implement the #Monoid interface with mconcat :: [A] -> A instead of unit :: () -> A mult :: (A, A) -> A because lists are the #FreeMonoid. We can implement #Semigroup with sconcat :: NonEmpty A -> A because NonEmpty is the #FreeSemigroup, beyond magical

Dad×3_jack @Iceland_jack

almost 8 years ago

a is a Monoid unit :: () -> a mult :: (a, a) -> a but so are Types up to isomorphism () :: Type (,) :: Type -> Type -> Type

Top Tweets for #freesemigroup

Last Seen Hashtags on Sotwe

Trends for you

Most Popular Users