ertes 2017-03-07 09:39:42
Bish: monoids are a simpler example to grasp that kind of abstraction, before you go to monads
EvanR 2017-03-07 09:42:45
functors are even simpler
ertes 2017-03-07 09:44:02
Bish: lists *are* values
ertes 2017-03-07 09:44:08
but the [] type itself isn't
dminuoso 2017-03-07 09:44:29
New language to toy with? :-)
ertes 2017-03-07 09:44:36
Bish: but i think you're trying to see more than there is =)
pikajude 2017-03-07 09:44:45
isn't [] a type function, not a type
Bish 2017-03-07 09:44:53
ertes: thanks your answer that one helped already
Bish 2017-03-07 09:45:30
dminuoso: languages is the most fun thing there is in cs, always in search for the holy grail
ertes 2017-03-07 09:45:31
Monad is just like Monoid in that respect: it's a set of laws, it has at least two instances, and you can abstract over it (e.g. replicateM)
