Logs: freenode/#haskell
| 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.