Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 368 369 370 371 372 373 374 375 376 377 378 .. 5022
— 502,152 events total
2020-10-02 14:32:55 × psydruid quits (psydruidma@gateway/shell/matrix.org/x-agoyrynofjmbqrna) (Ping timeout: 240 seconds)
2020-10-02 14:33:18 <Uniaika> you can have some data in a datatype, and this datatype can implement something akin to the pipe operator in other languages (Elixir, OCaml, F#, maybe PHP one day…)
2020-10-02 14:33:26 × jvsg quits (~root@165.227.89.139) (Ping timeout: 240 seconds)
2020-10-02 14:33:37 → PoliticsII_____ joins (sid193551@gateway/web/irccloud.com/x-rcppzisukplddkpk)
2020-10-02 14:33:38 <ski> Guest18 : monads are used to express "effects" without the "side-"
2020-10-02 14:33:39 → rizary joins (sid220347@gateway/web/irccloud.com/x-exfwymetlgtfawlu)
2020-10-02 14:33:56 × sajith[m] quits (sajithmatr@gateway/shell/matrix.org/x-mvrgbpjqisezmtze) (Ping timeout: 240 seconds)
2020-10-02 14:34:09 <Uniaika> this something is the Monad typeclass
2020-10-02 14:34:14 → entel_ joins (uid256215@botters/entel)
2020-10-02 14:34:17 × kyagrd__ quits (sid102627@gateway/web/irccloud.com/x-cswsttltgsuxjilm) (Ping timeout: 244 seconds)
2020-10-02 14:34:22 <Uniaika> which provides a pipe-like operator called bind, or (>>=)
2020-10-02 14:34:46 → heyj joins (sid171370@gateway/web/irccloud.com/x-rhahyjccskeqwknw)
2020-10-02 14:34:48 <Uniaika> now, if you want an ELI10, or ELI15, we can talk about composing effects and stuff
2020-10-02 14:34:52 → jvsg joins (~root@165.227.89.139)
2020-10-02 14:34:52 → kyagrd__ joins (sid102627@gateway/web/irccloud.com/x-qmxuxjmljnokumzt)
2020-10-02 14:35:03 → d0liver joins (sid363046@gateway/web/irccloud.com/x-qxqtscijfywlxedk)
2020-10-02 14:35:05 <Uniaika> but at its core, a Monad is a datatype that implements/provides a pipe-like operator
2020-10-02 14:35:10 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-02 14:35:19 × jetpack_joe quits (sid146137@gateway/web/irccloud.com/x-zhxrcrokabwqiajh) (Ping timeout: 244 seconds)
2020-10-02 14:35:25 × iinuwa1 quits (iinuwamatr@gateway/shell/matrix.org/x-vnidwkjqityvsyww) (Ping timeout: 240 seconds)
2020-10-02 14:35:28 → sajith[m] joins (sajithmatr@gateway/shell/matrix.org/x-sazyjhonfaddxfuy)
2020-10-02 14:35:46 → mpickering_ joins (sid78412@gateway/web/irccloud.com/x-slbcncolvglbtszb)
2020-10-02 14:35:54 → teehemkay_ joins (sid14792@gateway/web/irccloud.com/x-baurjicxngheqyla)
2020-10-02 14:35:55 × pjb quits (~t@2a01cb04063ec50038cdaa6488b186d3.ipv6.abo.wanadoo.fr) (Ping timeout: 240 seconds)
2020-10-02 14:36:06 → iinuwa1 joins (iinuwamatr@gateway/shell/matrix.org/x-wkvtyebxdpjmoegf)
2020-10-02 14:36:06 <Guest18> so if i do 'data SomeType = ... deriving (Monad)' I get >>=, which is a pipe operator. By pipe operator, i understand i can redirect the output (the return value?) somewhere else
2020-10-02 14:36:25 × J_Arcane quits (sid119274@gateway/web/irccloud.com/x-napkkntthpzdedzn) (Ping timeout: 240 seconds)
2020-10-02 14:36:37 × jonathanx quits (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection)
2020-10-02 14:36:41 → Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-10-02 14:36:51 <Guest18> Uniaika: ok then, do an ELI22, please :))
2020-10-02 14:36:52 × Boarders quits (sid425905@gateway/web/irccloud.com/x-xkpxetjoxpjitwjh) (Ping timeout: 244 seconds)
2020-10-02 14:36:52 × hamishmack quits (sid389057@gateway/web/irccloud.com/x-kmbanmfbezzgjcwy) (Ping timeout: 244 seconds)
2020-10-02 14:36:55 <hc> Guest18: you have heard the endofunctor 'joke'... have you also heard the monad tutorial joke? ;)
2020-10-02 14:37:15 <dolio> Monad cannot be derived.
2020-10-02 14:37:28 <Guest18> hc: probably, but doesn't ring a bell right now
2020-10-02 14:37:34 → benwr___ joins (sid372383@gateway/web/irccloud.com/x-pbrsmtxwohmjfqbb)
2020-10-02 14:37:41 → J_Arcane joins (sid119274@gateway/web/irccloud.com/x-gzsviusepohntufp)
2020-10-02 14:37:43 pierrot_ is now known as pierrot
2020-10-02 14:37:54 × pierrot quits (~pi@vmi95795.contabo.host) (Changing host)
2020-10-02 14:37:54 → pierrot joins (~pi@unaffiliated/pierrot)
2020-10-02 14:37:54 × metadave quits (sid28102@gateway/web/irccloud.com/x-pebkddzdcftwierd) (Ping timeout: 244 seconds)
2020-10-02 14:38:03 → hamishmack joins (sid389057@gateway/web/irccloud.com/x-vwygwtdsmdorpubb)
2020-10-02 14:38:06 → angerman_ joins (sid209936@gateway/web/irccloud.com/x-ueaytjplpxideopo)
2020-10-02 14:38:10 <hc> Guest18: https://mvanier.livejournal.com/3917.html
2020-10-02 14:38:10 → eacameron_ joins (sid256985@gateway/web/irccloud.com/x-eeucajtixyfsxeoh)
2020-10-02 14:38:11 → Boarders joins (sid425905@gateway/web/irccloud.com/x-ogfzkwsrdtarvanw)
2020-10-02 14:38:13 <Guest18> dolio: but Uniaika said Monad is a typeclass, aren't all typeclasses derivable?
2020-10-02 14:38:19 → jetpack_joe joins (sid146137@gateway/web/irccloud.com/x-towxguynprtcozxt)
2020-10-02 14:38:22 <dolio> Nope.
2020-10-02 14:38:22 <xsperry> Guest18 there are many useful monads that have nothing to do with side-effects (or effects). the benefit of monad abstraction is that we can reuse all the generic functions that accept monads (as well as do-syntax) with all of them, without having to rewrite them for each one
2020-10-02 14:38:45 <dolio> In the report there's only like 8 that are derivable.
2020-10-02 14:38:55 × sureyeaah quits (shauryab98@gateway/shell/matrix.org/x-kczqpmbbcugstynw) (Ping timeout: 240 seconds)
2020-10-02 14:39:03 → jollygood2 joins (~bc815b99@217.29.117.252)
2020-10-02 14:39:07 <hc> Guest18: oh, see also https://blog.plover.com/prog/burritos.html for the monad tutorial joke ;p
2020-10-02 14:39:18 → nlofaro_ joins (sid258233@gateway/web/irccloud.com/x-nikllggowrrubhvb)
2020-10-02 14:39:23 → koankeeper_ joins (sid216950@gateway/web/irccloud.com/x-nqrzlezfaoiawuvb)
2020-10-02 14:39:27 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds)
2020-10-02 14:39:27 × kyagrd__ quits (sid102627@gateway/web/irccloud.com/x-qmxuxjmljnokumzt) (Ping timeout: 244 seconds)
2020-10-02 14:39:44 → metadave joins (sid28102@gateway/web/irccloud.com/x-qyjldscaiqukxlnz)
2020-10-02 14:40:26 <dolio> Also keep in mind that constantly referencing burritos isn't actually funny.
2020-10-02 14:40:29 × iinuwa1 quits (iinuwamatr@gateway/shell/matrix.org/x-wkvtyebxdpjmoegf) (Ping timeout: 244 seconds)
2020-10-02 14:40:29 × pent quits (sid313808@gateway/web/irccloud.com/x-dxofbfnqjnwrcfkh) (Ping timeout: 244 seconds)
2020-10-02 14:40:32 × thonkpod quits (~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d) (*.net *.split)
2020-10-02 14:40:32 × entel quits (uid256215@botters/entel) (*.net *.split)
2020-10-02 14:40:32 × eacameron quits (sid256985@gateway/web/irccloud.com/x-kpwlorbysgtnxhte) (*.net *.split)
2020-10-02 14:40:32 × liff quits (liff@kapsi.fi) (*.net *.split)
2020-10-02 14:40:32 × PotatoHatsue quits (berbermanp@gateway/shell/matrix.org/x-lcuapfbpkatzswxh) (*.net *.split)
2020-10-02 14:40:32 × glowcoil quits (sid3405@gateway/web/irccloud.com/x-thsriowqmdkgjing) (*.net *.split)
2020-10-02 14:40:32 × PoliticsII____ quits (sid193551@gateway/web/irccloud.com/x-nvfqluymqsvazvtl) (*.net *.split)
2020-10-02 14:40:32 × koankeeper quits (sid216950@gateway/web/irccloud.com/x-zrkqcymdfzqfjfqv) (*.net *.split)
2020-10-02 14:40:32 × dequbed quits (~dequbed@yanduxian.paranoidlabs.org) (*.net *.split)
2020-10-02 14:40:32 × simony quits (sid226116@gateway/web/irccloud.com/x-ebcflagagczxghjj) (*.net *.split)
2020-10-02 14:40:32 × teehemkay quits (sid14792@gateway/web/irccloud.com/x-xjwybgbmcxfolzwh) (*.net *.split)
2020-10-02 14:40:32 × benwr__ quits (sid372383@gateway/web/irccloud.com/x-ehohzcwkyjbzpbwl) (*.net *.split)
2020-10-02 14:40:32 × miklcct quits (quasselcor@2001:19f0:7001:5ad:5400:2ff:feb6:50d7) (*.net *.split)
2020-10-02 14:40:32 × mpickering quits (sid78412@gateway/web/irccloud.com/x-ugziboqyrxfitrmv) (*.net *.split)
2020-10-02 14:40:32 × nlofaro quits (sid258233@gateway/web/irccloud.com/x-etxlydyigzmwkiap) (*.net *.split)
2020-10-02 14:40:32 × angerman quits (sid209936@gateway/web/irccloud.com/x-kbnupcpypxlxxlnc) (*.net *.split)
2020-10-02 14:40:32 × unlink__ quits (~unlink2@p200300ebcf25bd0068eb9d9c94da2a17.dip0.t-ipconnect.de) (*.net *.split)
2020-10-02 14:40:32 × srid quits (sridmatrix@gateway/shell/matrix.org/x-zqttickmrfyduksr) (*.net *.split)
2020-10-02 14:40:32 × michaelpj1 quits (michaelpjm@gateway/shell/matrix.org/x-bmrqrkqdmdnabvkc) (*.net *.split)
2020-10-02 14:40:32 × johnnyboy[m] quits (gifumatrix@gateway/shell/matrix.org/x-xczqbcixpmjhwvre) (*.net *.split)
2020-10-02 14:40:32 × chreekat[m] quits (chreekatma@gateway/shell/matrix.org/x-umxlgtkybcwevjvb) (*.net *.split)
2020-10-02 14:40:32 × lambdaclan quits (lambdaclan@gateway/shell/matrix.org/x-rosqvrjyauthsfym) (*.net *.split)
2020-10-02 14:40:32 × io_r_us[m] quits (commandlin@gateway/shell/matrix.org/x-kjrwesnzoyenqgzx) (*.net *.split)
2020-10-02 14:40:32 × barrucadu quits (~barrucadu@fsf/member/barrucadu) (*.net *.split)
2020-10-02 14:40:32 × bcoppens_ quits (~bartcopp@vpn2.bartcoppens.be) (*.net *.split)
2020-10-02 14:40:32 × noteness quits (~noteness@unaffiliated/nessessary129) (*.net *.split)
2020-10-02 14:40:32 × opqdonut quits (opqdonut@pseudo.fixme.fi) (*.net *.split)
2020-10-02 14:40:32 × Velpoman quits (~Velpoman@159.65.76.124) (*.net *.split)
2020-10-02 14:40:32 × dixie quits (~dixie@real.wilbury.sk) (*.net *.split)
2020-10-02 14:40:32 × uwap quits (~uwap@genja.uwap.name) (*.net *.split)
2020-10-02 14:40:33 entel_ is now known as entel
2020-10-02 14:40:34 eacameron_ is now known as eacameron
2020-10-02 14:40:36 angerman_ is now known as angerman
2020-10-02 14:40:36 nlofaro_ is now known as nlofaro
2020-10-02 14:40:45 glguy is now known as ghoulguy
2020-10-02 14:40:49 <hc> dolio: glad that you're here then to lighten up the mood :)
2020-10-02 14:40:54 → thonkpod joins (~thonkpod@2001:19f0:ac01:b46:5400:1ff:fec7:d73d)
2020-10-02 14:40:54 → liff joins (liff@kapsi.fi)
←Prev  Next→
Page 1 .. 368 369 370 371 372 373 374 375 376 377 378 .. 5022

All times are in UTC.