Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2021-03-26 18:45:18 jamm_ joins (~jamm@unaffiliated/jamm)
2021-03-26 18:45:56 × stree quits (~stree@68.36.8.116) (Quit: Caught exception)
2021-03-26 18:46:17 stree joins (~stree@68.36.8.116)
2021-03-26 18:46:22 frozenErebus joins (~frozenEre@94.128.81.87)
2021-03-26 18:46:54 coot joins (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl)
2021-03-26 18:47:39 × coot quits (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Client Quit)
2021-03-26 18:48:27 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-03-26 18:49:50 × jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds)
2021-03-26 18:49:55 ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-26 18:50:16 × Feuermagier quits (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) (Ping timeout: 240 seconds)
2021-03-26 18:50:42 <ukari> I noticed that fused-effects has some exception related functions, is there any benefit to do the error processing in a effect framework?
2021-03-26 18:51:53 × stree quits (~stree@68.36.8.116) (Quit: Caught exception)
2021-03-26 18:52:02 × usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving)
2021-03-26 18:52:17 stree joins (~stree@68.36.8.116)
2021-03-26 18:54:02 vicfred joins (~vicfred@unaffiliated/vicfred)
2021-03-26 18:56:26 × frozenErebus quits (~frozenEre@94.128.81.87) (Ping timeout: 240 seconds)
2021-03-26 18:58:31 frozenErebus joins (~frozenEre@94.128.81.87)
2021-03-26 18:58:47 hexfive joins (~hexfive@50.35.83.177)
2021-03-26 18:59:05 × idhugo_ quits (~idhugo@80-62-117-136-mobile.dk.customer.tdc.net) (Ping timeout: 265 seconds)
2021-03-26 19:00:31 fendor joins (~fendor@178.115.128.9.wireless.dyn.drei.com)
2021-03-26 19:02:38 × fendor_ quits (~fendor@178.165.129.109.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2021-03-26 19:06:11 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2021-03-26 19:10:46 × Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 252 seconds)
2021-03-26 19:11:17 kupi joins (uid212005@gateway/web/irccloud.com/x-liltwjwdbyukjqkf)
2021-03-26 19:11:43 ezrakilty joins (~ezrakilty@97-113-58-224.tukw.qwest.net)
2021-03-26 19:12:29 Wuzzy joins (~Wuzzy@p57a2ecf2.dip0.t-ipconnect.de)
2021-03-26 19:13:49 georgewhite joins (~georgewhi@2a00:23c6:2f08:1100:6cbe:5b84:e8f4:20ce)
2021-03-26 19:14:46 × tsaka__ quits (~torstein@2a02:587:1b14:af00:7b99:870e:286b:27aa) (Ping timeout: 240 seconds)
2021-03-26 19:14:49 × jakobrs quits (~user@178.92-220-14.customer.lyse.net) (Quit: WeeChat 3.0)
2021-03-26 19:15:02 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-03-26 19:15:08 tsaka__ joins (~torstein@2a02:587:1b11:6000:3679:6212:ccf6:706f)
2021-03-26 19:15:26 Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:c89b:d650:ef2f:7e78)
2021-03-26 19:15:58 × ezrakilty quits (~ezrakilty@97-113-58-224.tukw.qwest.net) (Ping timeout: 240 seconds)
2021-03-26 19:16:33 × electricityZZZZ quits (~electrici@135-180-3-82.static.sonic.net) (Read error: Connection reset by peer)
2021-03-26 19:16:54 apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net)
2021-03-26 19:19:23 heatsink joins (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13)
2021-03-26 19:19:46 × frozenErebus quits (~frozenEre@94.128.81.87) (Ping timeout: 240 seconds)
2021-03-26 19:20:12 electricityZZZZ joins (~electrici@135-180-3-82.static.sonic.net)
2021-03-26 19:20:52 × jespada_ quits (~jespada@90.254.243.187) (Quit: Leaving)
2021-03-26 19:21:51 fendor_ joins (~fendor@91.141.3.198.wireless.dyn.drei.com)
2021-03-26 19:23:57 × heatsink quits (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) (Ping timeout: 258 seconds)
2021-03-26 19:24:11 × fendor quits (~fendor@178.115.128.9.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2021-03-26 19:25:36 × zebrag quits (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-26 19:25:58 zebrag joins (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr)
2021-03-26 19:26:39 bitmapper joins (uid464869@gateway/web/irccloud.com/x-zbdmgvvkmwccqscd)
2021-03-26 19:29:52 waleee-cl joins (uid373333@gateway/web/irccloud.com/x-cywskmhzzerhrnmx)
2021-03-26 19:30:27 frozenErebus joins (~frozenEre@94.128.81.87)
2021-03-26 19:30:34 × molehillish quits (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Remote host closed the connection)
2021-03-26 19:31:12 molehillish joins (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312)
2021-03-26 19:34:52 Zone77xx joins (Zone77xx@gateway/vpn/privateinternetaccess/zone77xx)
2021-03-26 19:35:21 × molehillish quits (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Ping timeout: 245 seconds)
2021-03-26 19:37:47 Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362)
2021-03-26 19:39:58 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds)
2021-03-26 19:39:58 Lord_of_Life_ is now known as Lord_of_Life
2021-03-26 19:40:20 × tpefreedom quits (~tsomers@184-157-240-110.dyn.centurytel.net) (Quit: Leaving)
2021-03-26 19:43:01 molehillish joins (~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8)
2021-03-26 19:44:56 mananamenos joins (~mananamen@62.red-88-11-67.dynamicip.rima-tde.net)
2021-03-26 19:48:31 × chele quits (~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2021-03-26 19:51:07 heatsink joins (~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13)
2021-03-26 19:53:51 × aarvar quits (~foewfoiew@2601:602:a080:fa0:e589:d5cd:80fb:258d) (Ping timeout: 258 seconds)
2021-03-26 19:54:46 hackage scroll-list 1.0.0.0 - This package provides functions for relocate an item within a list. https://hackage.haskell.org/package/scroll-list-1.0.0.0 (fesanmar)
2021-03-26 19:56:41 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-26 19:57:34 <NemesisD> what is the purpose of the (->) r instance of Monad?
2021-03-26 19:58:20 ddellac__ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-26 19:58:48 <geekosaur> showing off >.>
2021-03-26 19:59:06 <geekosaur> it's a Reader without the newtype
2021-03-26 19:59:41 <maerwald> there was a quickcheck example somewhere in haddock accidentially using that instance and thus creating a bug
2021-03-26 20:00:13 <maerwald> so much for type safety :p
2021-03-26 20:00:28 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds)
2021-03-26 20:00:59 <NemesisD> i'm trying to compose a bunch of functions sequentially in monad syntax and my code actually compiled with that instance but basically only used the last line of the monad. i'm wondering if there's a better way
2021-03-26 20:02:58 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-26 20:03:17 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-26 20:03:39 <geekosaur> sounds like you used it wrong, you want >>= not >>
2021-03-26 20:05:14 <NemesisD> yeah. i guess what i'm looking for is a way to sequentially compose several A -> A in monad syntax in a way that the monad passes in the incremental result to each action in the monad
2021-03-26 20:06:52 <NemesisD> foo, bar :: A -> A; baz :: A -> A; baz = do foo; if cond then bar else id
2021-03-26 20:07:58 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds)
2021-03-26 20:08:00 <geekosaur> that's what I meant by >>= vs. >>
2021-03-26 20:08:15 <geekosaur> each semicolon is a >>, which means the results are *not* chained
2021-03-26 20:08:51 <NemesisD> yeah, i think (->) is the wrong monad then. if i have to use >>= to thread things through i may as well not do it at all
2021-03-26 20:09:38 desophos joins (~desophos@2601:249:1680:a570:41ae:9414:653c:8c31)
2021-03-26 20:10:06 × Aquazi quits (uid312403@gateway/web/irccloud.com/x-divpzqxlqbtjqwfq) (Quit: Connection closed for inactivity)
2021-03-26 20:11:49 <NemesisD> i think what i've got here is an endomorphism right?
2021-03-26 20:11:50 × average quits (uid473595@gateway/web/irccloud.com/x-vfuwwhtirtsamgdh) (Quit: Connection closed for inactivity)
2021-03-26 20:15:09 <geekosaur> actually what's going on is the same value is passed in to all the functions. (again, compare Reader)
2021-03-26 20:15:49 <geekosaur> if you want an endomorphism, there's newtype Endo but that's a monoid, not a monad
2021-03-26 20:16:18 geekosaur is getting out of his depth though, so take some of this with a grain of salt
2021-03-26 20:17:42 × molehillish quits (~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) (Remote host closed the connection)
2021-03-26 20:18:19 molehillish joins (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312)
2021-03-26 20:18:36 v01d4lph4 joins (~v01d4lph4@106.212.133.35)
2021-03-26 20:19:16 hackage apply-unordered 1.0 - Apply a function to an argument specified by a type level Nat https://hackage.haskell.org/package/apply-unordered-1.0 (MichaelSloan)
2021-03-26 20:19:39 × v01d4lph4 quits (~v01d4lph4@106.212.133.35) (Remote host closed the connection)
2021-03-26 20:19:53 v01d4lph4 joins (~v01d4lph4@106.212.133.35)
2021-03-26 20:20:08 × geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed)
2021-03-26 20:20:16 hackage apply-unordered-mono 1.0 - Apply functions to arguments in an unordered type-directed fashion https://hackage.haskell.org/package/apply-unordered-mono-1.0 (MichaelSloan)
2021-03-26 20:22:29 × molehillish quits (~molehilli@2600:8800:8d06:1800:f8ba:265:7129:d312) (Ping timeout: 245 seconds)
2021-03-26 20:22:41 × notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds)
2021-03-26 20:22:45 average joins (uid473595@gateway/web/irccloud.com/x-yeliqztanvhgdqqg)
2021-03-26 20:32:38 × georgewhite quits (~georgewhi@2a00:23c6:2f08:1100:6cbe:5b84:e8f4:20ce) (Remote host closed the connection)
2021-03-26 20:33:30 × ddellac__ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-03-26 20:34:47 × Guest33172 quits (~sdrodge@unaffiliated/sdrodge) (Quit: WeeChat 3.0)

All times are in UTC.