Perl 6 - the future is here, just unevenly distributed

IRC log for #perl6-monads, 2017-01-08

| Channels | #perl6-monads index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
03:26 SmokeMachine joined #perl6-monads
04:19 geekosaur left #perl6-monads
12:50 masak SmokeMachine: if you want to catch up, logs are at http://irclog.perlgeek.de/perl6-monads/2017-01-07
12:51 masak interesting -- when I address the bot, the 'ilbot3: ' part doesn't end up in the log
12:52 masak for later logs, I wrote 'ilbot3: ' above, but the log doesn't show it
12:53 masak moritz: https://github.com/moritz/ilbot/issues/50
12:53 moritz curious.
12:53 moritz masak: takk
12:54 * masak is like King Midas but with bugs
12:55 moritz masak: at least you can eat bugs :-)
12:56 moritz though the part the story left out was since Midas must have touched air, it should have turned the atmosphere to gold too, choking him basically immediately
12:57 masak moritz: as we all know from HPMoR, magic works through Aristotelian mechanisms, even when those contradict modern science
12:57 masak broomsticks not conserving momentum, etc
12:57 moritz .oO( but rockets do! )
12:58 * masak .oO( combining magic and engineering is like combining FP and OOP )
12:58 moritz </spoiler>
12:58 masak great, now you misnested XML in the channel. now the backlog won't validate :P
12:58 moritz <spoiler>
12:59 moritz now all we need is a bit of time travelling!
13:01 masak oh, that reminds me
13:01 masak there's a reverse state monad: https://www.quora.com/What-are-some-crazy-things-one-can-do-with-monads-in-Haskell
13:01 masak how's that for getting back on topic, huh? :P
13:02 masak oh, and linked from that quora post: http://blog.sigfpe.com/2006/08/you-could-have-invented-monads-and.html
13:02 masak which if you actually want to try out a monad tutorial, is probably the nicest out there
13:02 masak simply because it quickly gets to "monads have a `return` and a `bind`"
13:02 moritz I think I read that once
15:31 SmokeMachine masak: thanks! Reading!
19:15 masak I remembered another thing I wanted to mention
19:15 masak just like Maybe can be seen as a 0-or-1-values type with the semantics "...and if you're still with us, then..."
19:16 masak ...the List monad can be seen as "nondeterministic computation", that is, it's a List of values because those are all the possibilities at this point in the computation

| Channels | #perl6-monads index | Today | | Search | Google Search | Plain-Text | summary