hrumph 2017-03-01 19:02:33
what is the simplest possible monad
barrucadu 2017-03-01 19:02:46
Identity?
hrumph 2017-03-01 19:03:10
there's no null monad or anything like that?
hrumph 2017-03-01 19:04:33
https://gist.github.com/mikehadlow/795905
hrumph 2017-03-01 19:04:45
according to this web page the identity monad is the simplest
hrumph 2017-03-01 19:04:45
is that true?
barrucadu 2017-03-01 19:05:54
Well, it depends what you mean by "simple". Certainly I can't think of a monad I'd call simpler than Identity.
barrucadu 2017-03-01 19:06:56
There's also Proxy, that's pretty simple
slack1256 2017-03-01 19:07:13
I have problem understanding the traversable laws. If they are mean to be distributive functors over applicatives, how can I guarrante than a value won't be execute (applicative effects) twice?
slack1256 2017-03-01 19:07:43
Or should I stay with the intuition "distribution over applicative"?
mniip 2017-03-01 19:09:21
hrumph, what is the simplest monoid?
hrumph 2017-03-01 19:09:34
mniip don't know yet
hrumph 2017-03-01 19:09:46
wonderinf if tehre was something even simpler than identity like a "null monad"
hrumph 2017-03-01 19:09:50
not sure
mniip 2017-03-01 19:10:04
well, if you answer "the one with just one element", then by that token, Proxy is what you're looking for
mniip 2017-03-01 19:11:04
because that's the "null" object in the endofunctor category
hrumph 2017-03-01 19:12:55
mniip do you have a url for that?
mniip 2017-03-01 19:13:54
uhh
mniip 2017-03-01 19:13:57
afraid not
mniip 2017-03-01 19:14:35
I could link the Monad Proxy definition
mniip 2017-03-01 19:14:48
https://hackage.haskell.org/package/base-4.9.1.0/docs/src/Data.Proxy.html#line-98
hrumph 2017-03-01 19:15:55
ok
hrumph 2017-03-01 19:16:01
it's basically exactly what i thought
hrumph 2017-03-01 19:16:07
so that's the simplest monad
Squarism 2017-03-01 19:18:02
Im curious if you people working with haskell, studying it or play with it for fun?
atian 2017-03-01 19:21:11
Squarism i smoke it
Squarism 2017-03-01 19:23:18
fmap'ing the Bong-monad
monochrom 2017-03-01 19:23:42
I use Haskell and study it and play with it.
monochrom 2017-03-01 19:23:55
I don't think there is a need to choose one.
atian 2017-03-01 19:23:56
haskell strain
atian 2017-03-01 19:24:10
very good if you ask me
Squarism 2017-03-01 19:24:38
monochrom, ok
Squarism 2017-03-01 19:24:45
im mostly curious if people use it for work I guess
Squarism 2017-03-01 19:25:07
The type you get paid for
atian 2017-03-01 19:26:07
Squarism have you considered doing stand up comedy
monochrom 2017-03-01 19:26:17
Haskell jobs are fewer. But people can still use it personally.
monochrom 2017-03-01 19:28:26
My job is teaching. And it is not teaching Haskell. But I used Haskell to write utilities and check answers. Haskell did help me earn my money efficiently.
Squarism 2017-03-01 19:29:29
Okey. Glad you found a way.
effectfully_ 2017-03-01 19:47:31
Hi. `stack build` says "Warning: needs to be a dynamically linked executable; please pass --enable-executable-dynamic to 'cabal install'.". What should I do?
msko 2017-03-01 20:25:07
account list
