#freemonoid - Twitter Hashtag

over 7 years ago

Free All The Things! by Markus Hauck(@markus1189) at #FnConf18 https://t.co/6NFMVBCiIf #FunctionalProgramming #Scala #FreeMonad #FreeStructure #FreeMonoid #FreeFunctor #FreeApplicative

1

3

0

Dad×3_jack @Iceland_jack

almost 8 years ago

I've been digesting this for like 5 years #FreeMonoid #CategoryTheory

3

11

1

2

0

Dad×3_jack @Iceland_jack

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

0

7

1

0

3

26

2

0

Dad×3_jack @Iceland_jack

over 8 years ago

Nice introduction to #FreeMonad, #FreeMonoid, #FreeApplicative, #FreeObject, .. https://t.co/GcbM37KAs0

0

3

0

Top Tweets for #freemonoid

Last Seen Hashtags on Sotwe

Trends for you

Most Popular Users