Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2021-04-06 22:01:01 myShoggoth joins (~myShoggot@75.164.73.93)
2021-04-06 22:01:02 zebrag joins (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr)
2021-04-06 22:01:05 NGravity joins (csp@gateway/shell/xshellz/x-yvbxxozqugoitghs)
2021-04-06 22:02:54 × ericsagn1 quits (~ericsagne@2405:6580:0:5100:a729:cf9f:aaab:a664) (Ping timeout: 245 seconds)
2021-04-06 22:03:52 × lambda quits (~xiretza@mail.xiretza.xyz) (Ping timeout: 276 seconds)
2021-04-06 22:06:46 justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2021-04-06 22:07:04 notzmv joins (~zmv@unaffiliated/zmv)
2021-04-06 22:07:58 pavonia joins (~user@unaffiliated/siracusa)
2021-04-06 22:10:05 × ArsenArsen quits (~Arsen@fsf/member/ArsenArsen) (Changing host)
2021-04-06 22:10:05 ArsenArsen joins (~Arsen@managarm/dev/ArsenArsen)
2021-04-06 22:14:05 royal_screwup219 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-06 22:15:24 ericsagn1 joins (~ericsagne@2405:6580:0:5100:b937:4ffa:f3c4:aca7)
2021-04-06 22:15:34 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-06 22:15:41 × kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Ping timeout: 240 seconds)
2021-04-06 22:19:06 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds)
2021-04-06 22:20:47 × javran quits (~javran@108-201-186-97.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds)
2021-04-06 22:21:26 kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt)
2021-04-06 22:25:45 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2021-04-06 22:27:27 × michalz quits (~user@185.246.204.46) (Remote host closed the connection)
2021-04-06 22:30:11 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-04-06 22:30:47 ddellacosta joins (~ddellacos@86.106.143.174)
2021-04-06 22:30:49 ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-06 22:30:50 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-04-06 22:31:49 ddellac__ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-06 22:32:20 Desmond373 joins (b49673ba@180.150.115.186)
2021-04-06 22:33:18 sveit joins (~sveit@2001:19f0:ac01:247:5400:ff:fe5c:689f)
2021-04-06 22:33:50 simplegauss joins (~simplegau@2001:19f0:ac01:247:5400:ff:fe5c:689f)
2021-04-06 22:34:10 × egorbelibov quits (~65676f72@2001:8a0:5708:2a00:e0c3:c7c:460b:c7eb) (Remote host closed the connection)
2021-04-06 22:34:25 × royal_screwup219 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-04-06 22:34:25 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-04-06 22:34:44 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-06 22:35:46 × ddellac__ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-04-06 22:36:07 × lotuseater quits (~user@p200300e78705e200e5bac9463b911ab3.dip0.t-ipconnect.de) (Quit: ERC (IRC client for Emacs 27.1))
2021-04-06 22:38:56 × sdrodge quits (~sdrodge@unaffiliated/sdrodge) (Ping timeout: 246 seconds)
2021-04-06 22:38:58 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-04-06 22:39:06 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-04-06 22:39:40 Tario joins (~Tario@201.192.165.173)
2021-04-06 22:43:15 × Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2021-04-06 22:44:45 cyjia15 joins (6779d067@103.121.208.103)
2021-04-06 22:45:32 × cyjia15 quits (6779d067@103.121.208.103) (Client Quit)
2021-04-06 22:45:36 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:9469:29ae:2372:7bd6) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-06 22:49:55 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-04-06 22:51:19 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds)
2021-04-06 22:54:22 sdrodge joins (~sdrodge@unaffiliated/sdrodge)
2021-04-06 22:55:22 rprije joins (~rprije@59-102-63-15.tpgi.com.au)
2021-04-06 22:58:02 × cheater quits (~user@unaffiliated/cheater) (Read error: Connection reset by peer)
2021-04-06 22:58:31 cheater joins (~user@unaffiliated/cheater)
2021-04-06 22:59:41 × Desmond373 quits (b49673ba@180.150.115.186) (Quit: Connection closed)
2021-04-06 23:01:33 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-04-06 23:02:16 × mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew)
2021-04-06 23:04:11 × stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-04-06 23:05:19 × hiroaki quits (~hiroaki@2a02:908:4b18:8c40:cdf8:a3f:92b1:70de) (Ping timeout: 260 seconds)
2021-04-06 23:05:25 vv8 joins (~egp_@128-71-69-136.broadband.corbina.ru)
2021-04-06 23:09:46 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-06 23:13:43 × haskellstudent quits (~quassel@213-225-9-45.nat.highway.a1.net) (Ping timeout: 260 seconds)
2021-04-06 23:13:58 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-04-06 23:14:05 × notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 265 seconds)
2021-04-06 23:17:35 stree joins (~stree@68.36.8.116)
2021-04-06 23:18:18 CMCDragonkai2 joins (~Thunderbi@120.17.224.123)
2021-04-06 23:19:30 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-06 23:19:32 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds)
2021-04-06 23:23:03 × crestfallen quits (~john@128.32.176.159) (Ping timeout: 260 seconds)
2021-04-06 23:25:39 × zebrag quits (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-04-06 23:26:01 zebrag joins (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr)
2021-04-06 23:27:45 olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-04-06 23:30:50 × vicfred quits (vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving)
2021-04-06 23:35:50 × emmanuel_erc quits (~user@cpe-74-71-106-64.nyc.res.rr.com) (Ping timeout: 265 seconds)
2021-04-06 23:44:13 mach1speed joins (~textual@S0106f0b4d2c39cee.va.shawcable.net)
2021-04-06 23:45:26 × p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 260 seconds)
2021-04-06 23:46:23 × hypercube quits (~hypercube@75.186.121.128) (Ping timeout: 260 seconds)
2021-04-06 23:48:09 p8m joins (p8m@gateway/vpn/protonvpn/p8m)
2021-04-06 23:48:10 BonesJoh2son65 joins (~wheetseek@pool-173-75-8-46.pitbpa.fios.verizon.net)
2021-04-06 23:48:33 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-04-06 23:48:52 <BonesJoh2son65> part
2021-04-06 23:48:53 royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-06 23:48:55 BonesJoh2son65 parts (~wheetseek@pool-173-75-8-46.pitbpa.fios.verizon.net) ()
2021-04-06 23:49:49 <Axman6> ADG1089: Did you want to give us more context? Mayve your app should be spending 15% of its time in looking up in hashmaps, maybe it's the wrong data type entirely
2021-04-06 23:54:03 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 268 seconds)
2021-04-06 23:56:11 × Sorny quits (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 240 seconds)
2021-04-06 23:59:07 Tario joins (~Tario@199.58.83.9)
2021-04-07 00:01:06 <ADG1089> on another note, i am writing a do notation, how can i return if the output of a monadic computation is 0?
2021-04-07 00:01:28 <Axman6> we're going to need more information than that
2021-04-07 00:01:39 <ADG1089> something like `{do; x<-getVal :: IO Int; if x == 0 then return else continue}
2021-04-07 00:01:47 <monochrom> "return 0"? I don't understand the question.
2021-04-07 00:01:57 <ADG1089> :t guard
2021-04-07 00:01:58 <lambdabot> Alternative f => Bool -> f ()
2021-04-07 00:02:00 <Axman6> what value do you want to rerturn?
2021-04-07 00:02:07 <Axman6> return*
2021-04-07 00:02:16 <monochrom> OK, high probability that "return ()" is what you want.
2021-04-07 00:02:53 <ADG1089> If x is 0 I want to return () otherwise >>= the next steps
2021-04-07 00:03:13 <Axman6> you can literally do x <- foo; if x == 0 then return () else do ...
2021-04-07 00:03:14 <dibblego> unless (x == 0) nextSteps
2021-04-07 00:03:24 <monochrom> If I know the type of "continue", I can give a 100%-certainty answer.
2021-04-07 00:03:31 × Tario quits (~Tario@199.58.83.9) (Read error: Connection reset by peer)
2021-04-07 00:04:06 Tario joins (~Tario@201.192.165.173)
2021-04-07 00:04:53 <monochrom> "unless" is in Control.Monad if you like it.
2021-04-07 00:05:22 <monochrom> But it's just a canned version of "if ... then return () else ..."
2021-04-07 00:08:16 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-04-07 00:09:28 × CMCDragonkai2 quits (~Thunderbi@120.17.224.123) (Ping timeout: 268 seconds)
2021-04-07 00:09:31 × ADG1089 quits (~aditya@122.163.139.43) (Remote host closed the connection)

All times are in UTC.