| 2021-05-17 00:01:33 +0000 | <pavonia> | In this function definition <https://hackage.haskell.org/package/JuicyPixels-3.3.5/docs/src/Codec.Picture.Types.html#pixelBaseI…>, why does (undefined :: a) refer to the class variable? Shouldn't there be an explicit forall? |
| 2021-05-17 00:01:37 +0000 | atk | (~Arch-TK@ircpuzzles/staff/Arch-TK) (Quit: Well this is unexpected.) |
| 2021-05-17 00:01:58 +0000 | atk | (~Arch-TK@ircpuzzles/staff/Arch-TK) |
| 2021-05-17 00:04:06 +0000 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-05-17 00:04:15 +0000 | <geekosaur> | not as part of a class definition, iirc, all types declared in the class head are available inside the class definition even without explicit forall or ScopedTypeVariables |
| 2021-05-17 00:04:41 +0000 | <geekosaur> | otherwise it'd be hard to associate them properly with the class head |
| 2021-05-17 00:06:24 +0000 | <pavonia> | Yeah, seems to be different for classes indeed https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/scoped_type_variables.html#class-and-insta… |
| 2021-05-17 00:06:37 +0000 | nicholasbulka | (~nicholasb@2601:900:4301:da0:b0b3:4831:47cc:ab06) |
| 2021-05-17 00:07:44 +0000 | nicholasbulka | (~nicholasb@2601:900:4301:da0:b0b3:4831:47cc:ab06) (Remote host closed the connection) |
| 2021-05-17 00:07:59 +0000 | nicholasbulka | (~nicholasb@2601:900:4301:da0:b0b3:4831:47cc:ab06) |
| 2021-05-17 00:08:59 +0000 | dmytrish_ | (~mitra@2a02:8084:a82:d900:5051:16e0:8e89:e082) (Ping timeout: 260 seconds) |
| 2021-05-17 00:09:12 +0000 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-17 00:10:55 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 00:12:41 +0000 | bennofs__ | (~quassel@dynamic-077-013-032-144.77.13.pool.telefonica.de) |
| 2021-05-17 00:15:11 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-17 00:16:14 +0000 | bennofs_ | (~quassel@dynamic-078-055-014-180.78.55.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2021-05-17 00:16:38 +0000 | poljar1 | (~poljar@78-1-50-185.adsl.net.t-com.hr) |
| 2021-05-17 00:16:43 +0000 | boxscape | (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) (Quit: Connection closed) |
| 2021-05-17 00:16:57 +0000 | cpape` | (~user@static.180.18.203.116.clients.your-server.de) |
| 2021-05-17 00:16:59 +0000 | Merfont | (~Kaiepi@47.54.252.148) |
| 2021-05-17 00:17:10 +0000 | chris___ | (~chris@81.96.113.213) |
| 2021-05-17 00:17:22 +0000 | cpape | (~user@static.180.18.203.116.clients.your-server.de) (Read error: Connection reset by peer) |
| 2021-05-17 00:17:23 +0000 | raoul | (~raoulhida@nomnomnomnom.co.uk) (Quit: Ping timeout (120 seconds)) |
| 2021-05-17 00:17:23 +0000 | MidAutumnHotaru | (~MidAutumn@unaffiliated/midautumnhotaru) (Quit: Ping timeout (120 seconds)) |
| 2021-05-17 00:17:23 +0000 | concept2 | (~concept2@unaffiliated/tubo) (Quit: Ping timeout (120 seconds)) |
| 2021-05-17 00:17:26 +0000 | mozzarella | (~sam@unaffiliated/sam113101) (Remote host closed the connection) |
| 2021-05-17 00:17:26 +0000 | poljar | (~poljar@93-139-93-177.adsl.net.t-com.hr) (Remote host closed the connection) |
| 2021-05-17 00:17:26 +0000 | chris__ | (~chris@81.96.113.213) (Read error: Connection reset by peer) |
| 2021-05-17 00:17:26 +0000 | kristijonas_ | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-17 00:17:26 +0000 | Kaeipi | (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-05-17 00:17:26 +0000 | Natch | (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Read error: Connection reset by peer) |
| 2021-05-17 00:17:26 +0000 | SquidDev | (~SquidDev@autoclave.squiddev.cc) (Quit: Ping timeout (120 seconds)) |
| 2021-05-17 00:17:26 +0000 | jhuizy | (~jhuizy@static.241.188.216.95.clients.your-server.de) (Quit: Ping timeout (120 seconds)) |
| 2021-05-17 00:17:26 +0000 | Katarushisu | (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 2021-05-17 00:17:29 +0000 | mozzarel1 | (~sam@unaffiliated/sam113101) |
| 2021-05-17 00:17:31 +0000 | SquidDev9 | (~SquidDev@autoclave.squiddev.cc) |
| 2021-05-17 00:17:36 +0000 | MidAutumnHotaru | (~MidAutumn@unaffiliated/midautumnhotaru) |
| 2021-05-17 00:17:37 +0000 | mozzarel1 | mozzarella |
| 2021-05-17 00:17:37 +0000 | raoul | (~raoulhida@nomnomnomnom.co.uk) |
| 2021-05-17 00:17:41 +0000 | jhuizy | (~jhuizy@static.241.188.216.95.clients.your-server.de) |
| 2021-05-17 00:17:45 +0000 | Katarushisu | (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) |
| 2021-05-17 00:17:46 +0000 | concept2 | (~concept2@unaffiliated/tubo) |
| 2021-05-17 00:17:54 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 245 seconds) |
| 2021-05-17 00:17:59 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-17 00:18:18 +0000 | dwt | (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-17 00:19:03 +0000 | <hpc> | Axman6: the best you can do is essentially |
| 2021-05-17 00:19:11 +0000 | leah2 | (~leah@vuxu.org) (Read error: Connection reset by peer) |
| 2021-05-17 00:19:26 +0000 | <hpc> | Axman6: er, is essentially "if bottom then crash" with seq or whatever |
| 2021-05-17 00:22:04 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-17 00:22:25 +0000 | Natch | (~Natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) |
| 2021-05-17 00:23:05 +0000 | boxscape | (54a350dc@p54a350dc.dip0.t-ipconnect.de) |
| 2021-05-17 00:23:21 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-17 00:23:29 +0000 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-05-17 00:23:59 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-17 00:24:36 +0000 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-05-17 00:25:06 +0000 | usr25 | (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 2021-05-17 00:25:08 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-17 00:25:37 +0000 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-17 00:26:16 +0000 | <boxscape> | join #ghc |
| 2021-05-17 00:26:21 +0000 | <boxscape> | whoops |
| 2021-05-17 00:26:38 +0000 | <Axman6> | Urgh, I'm so sick of compiler spam on freenode :P |
| 2021-05-17 00:28:00 +0000 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 2021-05-17 00:28:55 +0000 | Chai-T-Rex | (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection) |
| 2021-05-17 00:29:11 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 2021-05-17 00:29:21 +0000 | Chai-T-Rex | (~ChaiTRex@gateway/tor-sasl/chaitrex) |
| 2021-05-17 00:30:26 +0000 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2021-05-17 00:31:41 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-17 00:31:41 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 2021-05-17 00:36:11 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-17 00:36:39 +0000 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-05-17 00:37:54 +0000 | <monochrom> | C's void is not to be confused with Haskel's () in the first place. |
| 2021-05-17 00:38:07 +0000 | <Axman6> | yeah I did think that was a bit of an odd statement |
| 2021-05-17 00:38:19 +0000 | <Axman6> | you can't have a value of type void in C right? |
| 2021-05-17 00:38:34 +0000 | <monochrom> | There is a general theme. People also confuse Java interface with Haskell type class. |
| 2021-05-17 00:39:03 +0000 | <monochrom> | Generally, when two different solutions solve the same problem, people will conflate the two solutions. |
| 2021-05-17 00:39:25 +0000 | <monochrom> | You can't even declare a variable of type void. "void x". |
| 2021-05-17 00:41:30 +0000 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-17 00:42:51 +0000 | dwt | (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) |
| 2021-05-17 00:43:10 +0000 | falafel | (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) |
| 2021-05-17 00:43:27 +0000 | <monochrom> | I can argue that void is not even a type. With that, "does void have values?" is not even a valid question. |
| 2021-05-17 00:43:44 +0000 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 00:43:44 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-17 00:43:49 +0000 | CrazyPython | (~crazypyth@206.214.238.6) |
| 2021-05-17 00:44:58 +0000 | <monochrom> | Reason being void cannot be used at most places where all other types can be used. "void x;", "int f(void y, void z)", "struct S { void a; };" |
| 2021-05-17 00:45:34 +0000 | rajivr | (uid269651@gateway/web/irccloud.com/x-eilhkhwsqqonwkqr) |
| 2021-05-17 00:46:50 +0000 | <olligobber> | % data Void |
| 2021-05-17 00:46:50 +0000 | <yahb> | olligobber: |
| 2021-05-17 00:46:57 +0000 | <olligobber> | % :t undefined :: Void |
| 2021-05-17 00:46:57 +0000 | <yahb> | olligobber: Void |
| 2021-05-17 00:47:07 +0000 | <olligobber> | I made something of type Void, yay |
| 2021-05-17 00:47:13 +0000 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-17 00:47:20 +0000 | <monochrom> | % data Voila |
| 2021-05-17 00:47:20 +0000 | <yahb> | monochrom: |
| 2021-05-17 00:47:22 +0000 | <Axman6> | prove it |
| 2021-05-17 00:47:36 +0000 | <pjb> | Yes, in C, void is just a keyword that means different things depending on the context. |
| 2021-05-17 00:47:38 +0000 | <monochrom> | You made Void a type. Voila! |
| 2021-05-17 00:47:48 +0000 | <pjb> | void f(); means f doesn't return a value. |
| 2021-05-17 00:47:52 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 00:48:13 +0000 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-17 00:48:16 +0000 | <pjb> | f(void); means f doesn't take any argument (vs f() which means that f can take any number of arguments). |
| 2021-05-17 00:48:33 +0000 | <pjb> | void* denotes a type of pointer to anything. |
| 2021-05-17 00:48:42 +0000 | <olligobber> | Axman6, the compiler said the type of my thing is Void, so it is |
| 2021-05-17 00:48:43 +0000 | <monochrom> | Let's be semantic. "void f()" means that the function analogy really breaks down, f is a procedure not a function. |
| 2021-05-17 00:48:52 +0000 | <pjb> | exactly. |
| 2021-05-17 00:50:13 +0000 | <monochrom> | It is somewhat cute that with void you can get rid of two verbose reserved words "function" and "procedure" from Pascal. There is credit for that. |
| 2021-05-17 00:51:21 +0000 | <monochrom> | This is also where Dunning-Kruger is right about syntax doing brainwashing. |
| 2021-05-17 00:53:11 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 2021-05-17 00:53:58 +0000 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-17 00:54:14 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-17 00:54:24 +0000 | <pjb> | monochrom: it's just an after the fact kludge. |
| 2021-05-17 00:55:49 +0000 | <pjb> | It took about ten years for void to appear in C. |
| 2021-05-17 00:55:53 +0000 | <monochrom> | The road to hell is paved with well-intended kludges >:) |
| 2021-05-17 00:56:14 +0000 | ericsagn1 | (~ericsagne@2405:6580:0:5100:b6b3:41e:9821:2954) (Ping timeout: 245 seconds) |
| 2021-05-17 00:59:38 +0000 | <boxscape> | what did C do before void? |
| 2021-05-17 00:59:52 +0000 | <boxscape> | ..just have int as return type I guess? |
| 2021-05-17 00:59:53 +0000 | <geekosaur> | not bother to return int |
| 2021-05-17 00:59:59 +0000 | <boxscape> | okay |
| 2021-05-17 01:00:12 +0000 | <boxscape> | right return is optional.. |
| 2021-05-17 01:00:47 +0000 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:c2b0:caa:38f9:fe49) (Ping timeout: 260 seconds) |
| 2021-05-17 01:01:24 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-05-17 01:01:32 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 01:02:12 +0000 | bearcarl | (716a6a62@113.106.106.98) |
| 2021-05-17 01:02:18 +0000 | <pjb> | boxscape: yes, by default f(); returns an int. But if you don't use return n; the result is just what is in the register. |
| 2021-05-17 01:02:25 +0000 | <boxscape> | I see |
| 2021-05-17 01:02:50 +0000 | <Axman6> | what id you don't have registers |
| 2021-05-17 01:02:52 +0000 | <Axman6> | if* |
| 2021-05-17 01:02:55 +0000 | <pjb> | boxscape: of course, it would be bad style to int r=f(); if f doesn't contain a return n; … Some compilers started to issue warning. |
| 2021-05-17 01:03:02 +0000 | <pjb> | then AT& introduced void. |
| 2021-05-17 01:03:13 +0000 | <pjb> | Axman6: whatever there was on the stack then. |
| 2021-05-17 01:03:46 +0000 | <monochrom> | I don't know whether I should also ask "what if there is no stack" :) |
| 2021-05-17 01:03:47 +0000 | <pjb> | It's was just kludges upon kludges really. |
| 2021-05-17 01:04:03 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-17 01:04:05 +0000 | <monochrom> | I agree. |
| 2021-05-17 01:04:24 +0000 | <pjb> | Eg. the declaration matches use form, was just a kludge to use the same parsing code for both, in early compilers that had to run with 4kw of RAM… |
| 2021-05-17 01:04:43 +0000 | <monochrom> | generally s/register/whatever default place the caller expects to find return values/ |
| 2021-05-17 01:05:13 +0000 | <geekosaur> | which was memory on some IBM CPUs iirc |
| 2021-05-17 01:05:44 +0000 | <pjb> | or on the PDP-7 they started unix on. |
| 2021-05-17 01:06:03 +0000 | <monochrom> | Yeah. Recall that before Peter Naur taught the world how to support recursion, ... |
| 2021-05-17 01:06:13 +0000 | <pjb> | Mind you, at the time, unix sources contained in general a single function per source file! Check them in git! |
| 2021-05-17 01:06:40 +0000 | <pjb> | Well, it was already implemented in lisp in 1959… |
| 2021-05-17 01:06:43 +0000 | <monochrom> | Each procedure is given a static memory area for being passed parameters and passing return values. |
| 2021-05-17 01:06:58 +0000 | <monochrom> | and is exactly why people couldn't support recursion. |
| 2021-05-17 01:07:41 +0000 | <pjb> | https://github.com/dspinellis/unix-history-repo |
| 2021-05-17 01:08:06 +0000 | sheepduck | (~sheepduck@2607:fea8:2a60:b700::cafd) |
| 2021-05-17 01:09:02 +0000 | malumore | (~malumore@151.62.113.85) (Ping timeout: 268 seconds) |
| 2021-05-17 01:09:40 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-17 01:09:45 +0000 | ericsagn1 | (~ericsagne@2405:6580:0:5100:e36f:f64f:f933:dd5f) |
| 2021-05-17 01:13:00 +0000 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:896b:c6c8:9998:8716) |
| 2021-05-17 01:13:33 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-05-17 01:14:19 +0000 | <boxscape> | pretty weird to see "52 years ago" in a github repo |
| 2021-05-17 01:14:55 +0000 | <monochrom> | and don't forget https://github.com/dmr-1941-2011 :) |
| 2021-05-17 01:15:09 +0000 | <monochrom> | "wow you can do that?!" |
| 2021-05-17 01:15:18 +0000 | DTZUZU_ | (~DTZUZO@207.81.119.43) |
| 2021-05-17 01:15:26 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2021-05-17 01:17:08 +0000 | CrazyPython | (~crazypyth@206.214.238.6) () |
| 2021-05-17 01:17:18 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-05-17 01:17:40 +0000 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 268 seconds) |
| 2021-05-17 01:17:41 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-05-17 01:18:03 +0000 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:896b:c6c8:9998:8716) (Ping timeout: 260 seconds) |
| 2021-05-17 01:18:25 +0000 | stree | (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-05-17 01:19:15 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-17 01:19:32 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-17 01:20:07 +0000 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.1) |
| 2021-05-17 01:20:36 +0000 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2021-05-17 01:20:46 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-17 01:21:22 +0000 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 2021-05-17 01:21:53 +0000 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) |
| 2021-05-17 01:23:01 +0000 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-05-17 01:23:55 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds) |
| 2021-05-17 01:24:08 +0000 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-05-17 01:24:27 +0000 | patlv | (~patlv@unaffiliated/patlv) |
| 2021-05-17 01:24:52 +0000 | DTZUZU_ | (~DTZUZO@207.81.119.43) (Ping timeout: 265 seconds) |
| 2021-05-17 01:25:01 +0000 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Read error: Connection reset by peer) |
| 2021-05-17 01:26:08 +0000 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-05-17 01:26:11 +0000 | notzmv- | notzmv |
| 2021-05-17 01:27:01 +0000 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-05-17 01:28:09 +0000 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-05-17 01:29:58 +0000 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-05-17 01:30:51 +0000 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-05-17 01:31:04 +0000 | stree | (~stree@68.36.8.116) |
| 2021-05-17 01:31:10 +0000 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-05-17 01:31:52 +0000 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.1) |
| 2021-05-17 01:31:56 +0000 | <Axman6> | if anyone was wondering what prompted my question about Void and (), it was https://counterexamples.org/, which is doing a great reaffirming how I feel about Java and Scala |
| 2021-05-17 01:34:47 +0000 | <monochrom> | :) |
| 2021-05-17 01:35:27 +0000 | <Axman6> | Not that Haskell's type system comes out unscathed |
| 2021-05-17 01:36:12 +0000 | <monochrom> | Java has instanceof which breaks parametricity in the first place. |
| 2021-05-17 01:36:31 +0000 | <monochrom> | To be sure, most people don't actually use it to troll. |
| 2021-05-17 01:37:31 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-05-17 01:37:36 +0000 | <Axman6> | if(obj isinstanceof JimsObject) { throw GodIHateJimException(); } |
| 2021-05-17 01:37:47 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:5d48:8adb:4f7a:141b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-17 01:37:59 +0000 | <Axman6> | uh, -is |
| 2021-05-17 01:38:23 +0000 | patlv | (~patlv@unaffiliated/patlv) (Remote host closed the connection) |
| 2021-05-17 01:38:49 +0000 | patlv | (~patlv@unaffiliated/patlv) |
| 2021-05-17 01:39:41 +0000 | a6a45081-2b83 | (~aditya@171.76.17.86) |
| 2021-05-17 01:40:07 +0000 | xcmw | (~textual@2603-6011-2200-f103-1090-4073-ea46-f74d.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-17 01:42:30 +0000 | <a6a45081-2b83> | :t \v -> case v of Error e -> error "Error"; Success v -> insert_ v |
| 2021-05-17 01:42:31 +0000 | <lambdabot> | error: |
| 2021-05-17 01:42:31 +0000 | <lambdabot> | Not in scope: data constructor ‘Error’ |
| 2021-05-17 01:42:32 +0000 | <lambdabot> | Perhaps you meant variable ‘error’ (imported from Prelude) |
| 2021-05-17 01:42:39 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:5d48:8adb:4f7a:141b) |
| 2021-05-17 01:43:11 +0000 | patlv | (~patlv@unaffiliated/patlv) (Ping timeout: 240 seconds) |
| 2021-05-17 01:46:44 +0000 | hyiltiz | (~quassel@unaffiliated/hyiltiz) (Ping timeout: 246 seconds) |
| 2021-05-17 01:46:47 +0000 | <Axman6> | The note at the end of https://counterexamples.org/distinctness-options.html is reassuring |
| 2021-05-17 01:47:09 +0000 | ThinkPad | (~user@2603-8080-4904-7592-f1d1-497c-8bbd-901a.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2021-05-17 01:48:44 +0000 | drbean_ | (~drbean@TC210-63-209-71.static.apol.com.tw) |
| 2021-05-17 01:48:45 +0000 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-17 01:49:02 +0000 | <a6a45081-2b83> | Axman6: perhaps this is relevant to me...? |
| 2021-05-17 01:49:55 +0000 | vsssa | (bade4a4f@186.222.74.79) |
| 2021-05-17 01:49:56 +0000 | <Axman6> | It's relevant to anyone using programming languages, but as far as I can see from your code above, it's not immediately relevant to your problem |
| 2021-05-17 01:50:43 +0000 | xff0x | (~xff0x@2001:1a81:5322:8600:89e1:ee88:e1af:1ae6) (Ping timeout: 260 seconds) |
| 2021-05-17 01:50:50 +0000 | <Axman6> | a6a45081-2b83: are you having a problem wiht that code that we can help you with? |
| 2021-05-17 01:51:04 +0000 | <Axman6> | with* |
| 2021-05-17 01:51:06 +0000 | <a6a45081-2b83> | that would be great |
| 2021-05-17 01:51:32 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 01:51:53 +0000 | <a6a45081-2b83> | error branch infers as String, success branch infers as ReaderT a b |
| 2021-05-17 01:52:17 +0000 | xff0x | (~xff0x@2001:1a81:535b:1600:c038:9b40:2a0a:496d) |
| 2021-05-17 01:52:18 +0000 | <Axman6> | what is the type of insert_? |
| 2021-05-17 01:52:40 +0000 | <Axman6> | and I assume that there's something like data Result e a = Error e | Success a? |
| 2021-05-17 01:53:17 +0000 | <a6a45081-2b83> | got it, I was having (error "error" ++ e) instead of (error $ "error" ++ e) |
| 2021-05-17 01:53:18 +0000 | <a6a45081-2b83> | :(( |
| 2021-05-17 01:53:34 +0000 | <Axman6> | That'll do it :) |
| 2021-05-17 01:53:40 +0000 | <a6a45081-2b83> | hence it was expecting error :: String -> String |
| 2021-05-17 01:55:38 +0000 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-05-17 01:55:39 +0000 | hyiltiz | (~quassel@31.220.5.250) (Changing host) |
| 2021-05-17 01:55:39 +0000 | hyiltiz | (~quassel@unaffiliated/hyiltiz) |
| 2021-05-17 01:55:51 +0000 | vsssa | (bade4a4f@186.222.74.79) (Quit: Connection closed) |
| 2021-05-17 01:56:02 +0000 | <a6a45081-2b83> | I wasted lot of time after it |
| 2021-05-17 01:56:21 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-05-17 01:56:26 +0000 | <a6a45081-2b83> | on another note, I planned to write a side project to scrape some sites and cache in sqlite database, learned a lot of things |
| 2021-05-17 01:57:02 +0000 | <a6a45081-2b83> | although this'd be easier in python, i got to know lenses, transformers, persistant, http-conduit, aeson |
| 2021-05-17 01:57:03 +0000 | <Axman6> | I've been programming in Haskell for over a decade and still make exactly that error pretty frequently |
| 2021-05-17 01:57:12 +0000 | <a6a45081-2b83> | :) |
| 2021-05-17 01:57:40 +0000 | <Axman6> | nice, that's sounds like an exceppent project, particularly if you get to learn to many useful libraries |
| 2021-05-17 01:58:47 +0000 | <a6a45081-2b83> | still wrapping my head around so many lens operators and template haskell |
| 2021-05-17 01:58:58 +0000 | deviantfero | (~deviantfe@190.150.27.58) |
| 2021-05-17 01:59:35 +0000 | jiribenes | (~jiribenes@rosa.jiribenes.com) (Ping timeout: 260 seconds) |
| 2021-05-17 01:59:38 +0000 | petersen | (~petersen@redhat/juhp) (Quit: petersen) |
| 2021-05-17 02:02:05 +0000 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-05-17 02:02:06 +0000 | hololeap | (~hololeap@gateway/tor-sasl/hololeap) |
| 2021-05-17 02:05:53 +0000 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 240 seconds) |
| 2021-05-17 02:08:04 +0000 | <a6a45081-2b83> | any idea how can i rate limit my requests, will I have to record time and have a custom wait logic? |
| 2021-05-17 02:09:04 +0000 | nicholasbulka | (~nicholasb@2601:900:4301:da0:b0b3:4831:47cc:ab06) (Remote host closed the connection) |
| 2021-05-17 02:09:10 +0000 | ThinkPad | (~user@2603-8080-4904-7592-f519-f3d1-64ae-4f99.res6.spectrum.com) |
| 2021-05-17 02:09:25 +0000 | bearcarl | (716a6a62@113.106.106.98) (Quit: Connection closed) |
| 2021-05-17 02:09:45 +0000 | nicholasbulka | (~nicholasb@2601:900:4301:da0:b0b3:4831:47cc:ab06) |
| 2021-05-17 02:09:50 +0000 | parabolize | (~paraboliz@98.43.173.221) |
| 2021-05-17 02:10:32 +0000 | conal | (~conal@64.71.133.70) (Ping timeout: 240 seconds) |
| 2021-05-17 02:10:46 +0000 | viluon | (uid453725@gateway/web/irccloud.com/x-ldrzezyrskjdiqmn) (Quit: Connection closed for inactivity) |
| 2021-05-17 02:11:05 +0000 | conal | (~conal@64.71.133.70) |
| 2021-05-17 02:11:07 +0000 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-05-17 02:11:09 +0000 | urodna | (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-05-17 02:11:10 +0000 | incertia | (~incertia@d4-50-26-103.nap.wideopenwest.com) |
| 2021-05-17 02:11:28 +0000 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-05-17 02:14:53 +0000 | nicholasbulka | (~nicholasb@2601:900:4301:da0:b0b3:4831:47cc:ab06) (Ping timeout: 250 seconds) |
| 2021-05-17 02:15:04 +0000 | <a6a45081-2b83> | I think I can use Control.thread.Concurrent.delay |
| 2021-05-17 02:15:10 +0000 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 2021-05-17 02:17:01 +0000 | xcmw | (~textual@2603-6011-2200-f103-1907-5406-5646-5d03.res6.spectrum.com) |
| 2021-05-17 02:17:32 +0000 | ddellacosta | (~ddellacos@83.143.246.105) |
| 2021-05-17 02:18:58 +0000 | ixlun | (~user@109.249.184.235) (Read error: Connection reset by peer) |
| 2021-05-17 02:22:25 +0000 | ddellacosta | (~ddellacos@83.143.246.105) (Ping timeout: 268 seconds) |
| 2021-05-17 02:22:31 +0000 | <Axman6> | searching for rate limit on hackage is likely to find some good results |
| 2021-05-17 02:23:33 +0000 | finn_elija | Guest86616 |
| 2021-05-17 02:23:33 +0000 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-05-17 02:24:34 +0000 | conal | (~conal@64.71.133.70) (Ping timeout: 245 seconds) |
| 2021-05-17 02:25:39 +0000 | <Axman6> | such as the rate-limit package: https://hackage.haskell.org/package/rate-limit-1.4.2/docs/Control-RateLimit.html |
| 2021-05-17 02:25:49 +0000 | sheepduck | (~sheepduck@2607:fea8:2a60:b700::cafd) (Ping timeout: 245 seconds) |
| 2021-05-17 02:26:21 +0000 | Guest86616 | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-05-17 02:26:26 +0000 | ixlun | (~user@109.249.184.235) |
| 2021-05-17 02:30:24 +0000 | conal | (~conal@64.71.133.70) |
| 2021-05-17 02:31:59 +0000 | wei2912 | (~wei2912@unaffiliated/wei2912) |
| 2021-05-17 02:31:59 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-17 02:33:25 +0000 | <cdsmith> | Wondering if there's an answer I'm missing here: http://hackage.haskell.org/package/doctest works, but hpc doesn't show the resulting test coverage. The alternative of testing everything twice isn't very appealing either. Anyone know a way to extract the doctests at build time instead of at runtime? |
| 2021-05-17 02:37:11 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-17 02:39:38 +0000 | <Axman6> | does adding -fhpc do the testsuite's compiler flags do anything? |
| 2021-05-17 02:40:01 +0000 | <Axman6> | "Alternatively you can pass any GHC options to Doctest, e.g.: |
| 2021-05-17 02:40:01 +0000 | <Axman6> | doctest -XCPP Foo.hs" |
| 2021-05-17 02:40:17 +0000 | <geekosaur> | @hackage cabal-doctest ? |
| 2021-05-17 02:40:17 +0000 | <lambdabot> | https://hackage.haskell.org/package/cabal-doctest ? |
| 2021-05-17 02:41:51 +0000 | <cdsmith> | Hmm, I didn't try that. I will. |
| 2021-05-17 02:42:14 +0000 | <Axman6> | looks like hpc .tix files can be combined too |
| 2021-05-17 02:43:31 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-17 02:45:24 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 245 seconds) |
| 2021-05-17 02:45:27 +0000 | <Axman6> | while searching I came across a page listing the compilers available on a Queensland university's HPC environment, and was surprised to see GHC at the top of the list (though, the description of "GHC is a state-of-the-art, open source, compiler" and "Available versions: 7.6.2" made me chuckle a bit). I wonder who got that installed on there |
| 2021-05-17 02:45:33 +0000 | <cdsmith> | Just adding -fhpc didn't fix it. That's not too surprising, since I think cabal does a bunch of work to decide where to write the tix files and then generate an HTML report with the right ones. |
| 2021-05-17 02:45:49 +0000 | theDon | (~td@94.134.91.128) (Ping timeout: 245 seconds) |
| 2021-05-17 02:46:47 +0000 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-05-17 02:47:56 +0000 | theDon | (~td@94.134.91.15) |
| 2021-05-17 02:48:19 +0000 | conal | (~conal@64.71.133.70) (Ping timeout: 245 seconds) |
| 2021-05-17 02:48:58 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2021-05-17 02:49:13 +0000 | plutoniix | (~q@node-ufy.pool-125-24.dynamic.totinternet.net) (Quit: Leaving) |
| 2021-05-17 02:49:59 +0000 | aVikingTrex | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 250 seconds) |
| 2021-05-17 02:50:24 +0000 | conal | (~conal@64.71.133.70) |
| 2021-05-17 02:51:13 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 02:51:44 +0000 | conal | (~conal@64.71.133.70) (Read error: Connection reset by peer) |
| 2021-05-17 02:52:55 +0000 | mayleesia | (~mayleesia@dynamic-077-013-233-125.77.13.pool.telefonica.de) |
| 2021-05-17 02:53:48 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2021-05-17 02:55:46 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-17 02:56:06 +0000 | maylee | (~mayleesia@x4dbf5c18.dyn.telefonica.de) (Ping timeout: 252 seconds) |
| 2021-05-17 03:01:54 +0000 | conal | (~conal@64.71.133.70) |
| 2021-05-17 03:01:55 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-17 03:05:36 +0000 | conal | (~conal@64.71.133.70) (Read error: Connection reset by peer) |
| 2021-05-17 03:06:13 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds) |
| 2021-05-17 03:06:21 +0000 | letmein | (~ircclient@2601:1c1:4200:938f:cd8d:4e48:d5b9:4929) (Quit: letmein) |
| 2021-05-17 03:06:41 +0000 | letmein | (~ircclient@2601:1c1:4200:938f:cd8d:4e48:d5b9:4929) |
| 2021-05-17 03:07:19 +0000 | letmein | (~ircclient@2601:1c1:4200:938f:cd8d:4e48:d5b9:4929) (Client Quit) |
| 2021-05-17 03:09:26 +0000 | conal | (~conal@64.71.133.70) |
| 2021-05-17 03:09:39 +0000 | patlv | (~patlv@unaffiliated/patlv) |
| 2021-05-17 03:09:48 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-17 03:10:21 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-17 03:10:23 +0000 | conal | (~conal@64.71.133.70) (Read error: Connection reset by peer) |
| 2021-05-17 03:10:24 +0000 | electricityZZZZ | (~electrici@157-131-250-97.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2021-05-17 03:11:44 +0000 | xkapastel | (uid17782@gateway/web/irccloud.com/x-vnzmonwkhmlwwzsx) (Quit: Connection closed for inactivity) |
| 2021-05-17 03:12:38 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-17 03:13:03 +0000 | nicholasbulka | (~nicholasb@2601:900:4301:da0:b0b3:4831:47cc:ab06) |
| 2021-05-17 03:14:38 +0000 | tromp_ | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-17 03:15:38 +0000 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) ("WeeChat 3.0.1") |
| 2021-05-17 03:16:07 +0000 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-05-17 03:16:27 +0000 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-05-17 03:16:28 +0000 | wei2912 | (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 2021-05-17 03:16:41 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 2021-05-17 03:16:43 +0000 | tromp_ | (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 2021-05-17 03:17:08 +0000 | wei2912 | (~wei2912@unaffiliated/wei2912) |
| 2021-05-17 03:17:13 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-17 03:17:29 +0000 | nicholasbulka | (~nicholasb@2601:900:4301:da0:b0b3:4831:47cc:ab06) (Ping timeout: 245 seconds) |
| 2021-05-17 03:17:33 +0000 | conal | (~conal@64.71.133.70) |
| 2021-05-17 03:18:17 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:5d48:8adb:4f7a:141b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-17 03:20:13 +0000 | tromp_ | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-17 03:20:14 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 2021-05-17 03:21:11 +0000 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds) |
| 2021-05-17 03:23:42 +0000 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-05-17 03:24:41 +0000 | tromp_ | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 2021-05-17 03:26:58 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-17 03:28:47 +0000 | guest517 | (~user@49.5.6.87) |
| 2021-05-17 03:30:22 +0000 | <guest517> | how to quickly check if a string contain several strings by order? like "I want to eat chicken for lunch" contain ["eat", "chicken", "lunch"] |
| 2021-05-17 03:31:04 +0000 | <guest517> | I could use splitOn or splitAt to check and match, but that's ugly |
| 2021-05-17 03:31:11 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 2021-05-17 03:31:15 +0000 | <monochrom> | Not sure "quickly" means "code up quickly" or "runs quickly" |
| 2021-05-17 03:31:17 +0000 | <guest517> | I wonder is there an elegent way |
| 2021-05-17 03:31:41 +0000 | ddellacosta | (~ddellacos@86.106.143.178) |
| 2021-05-17 03:31:52 +0000 | <guest517> | monochrom: runs quickly |
| 2021-05-17 03:31:59 +0000 | <Axman6> | @hoogle [a] -> [a] -> ([a],[a]) |
| 2021-05-17 03:32:00 +0000 | <lambdabot> | Data.List.Match splitAt :: [b] -> [a] -> ([a], [a]) |
| 2021-05-17 03:32:00 +0000 | <lambdabot> | Util splitAtList :: [b] -> [a] -> ([a], [a]) |
| 2021-05-17 03:32:00 +0000 | <lambdabot> | Util zipAndUnzip :: [a] -> [b] -> ([a], [b]) |
| 2021-05-17 03:32:04 +0000 | conal | (~conal@64.71.133.70) (Ping timeout: 245 seconds) |
| 2021-05-17 03:32:11 +0000 | <monochrom> | I don't know of the most efficient algorithm. |
| 2021-05-17 03:32:42 +0000 | <Axman6> | looks like splitAt and a recursive call over the list of wanted words would work - I doubt there's amore efficient way without using Text |
| 2021-05-17 03:33:18 +0000 | <monochrom> | Or rather, I suspect that efficient algorithms are ugly. |
| 2021-05-17 03:33:59 +0000 | <Axman6> | compile a regex =) |
| 2021-05-17 03:34:24 +0000 | <Axman6> | "eat.+chicken.+lunch" |
| 2021-05-17 03:34:27 +0000 | <monochrom> | This is worse than most people's idea of regex, since this is "and" rather than "or". |
| 2021-05-17 03:34:50 +0000 | <guest517> | check if the string contain all the elements, then check if the index elements in the string sequenced by order |
| 2021-05-17 03:35:08 +0000 | <monochrom> | Also I don't think the intention is as easy as "verify that eat, check, lunch occur in that order" |
| 2021-05-17 03:35:50 +0000 | <monochrom> | Anyway, since this is "and", you are looking at constructing a product automaton. |
| 2021-05-17 03:35:58 +0000 | <monochrom> | Ugly as f**k. |
| 2021-05-17 03:36:24 +0000 | <Axman6> | I mean, as much as I hate to suggest it, a regex would let you get that information out directly. "(eat|are).+(chicken|beef|tofu).+(lunch|dinner|breakfast)" would give you the information that it matched, and the ability to inspect each match |
| 2021-05-17 03:36:26 +0000 | ddellacosta | (~ddellacos@86.106.143.178) (Ping timeout: 252 seconds) |
| 2021-05-17 03:36:52 +0000 | <Axman6> | s/are/ate |
| 2021-05-17 03:37:03 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-05-17 03:38:58 +0000 | nicholasbulka | (~nicholasb@2601:900:4301:da0:bc:57f7:8c4d:37b8) |
| 2021-05-17 03:39:30 +0000 | stree | (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 2021-05-17 03:40:42 +0000 | conal | (~conal@64.71.133.70) |
| 2021-05-17 03:41:45 +0000 | <boxscape> | I'm reasonably sure that this isn't the fastest implementation due to the length call https://paste.tomsmeding.com/5uOrS3bT |
| 2021-05-17 03:41:55 +0000 | <boxscape> | but it's something I guess |
| 2021-05-17 03:42:39 +0000 | <boxscape> | I guess it might be worse than splitAt variants though... |
| 2021-05-17 03:43:19 +0000 | nicholasbulka | (~nicholasb@2601:900:4301:da0:bc:57f7:8c4d:37b8) (Ping timeout: 245 seconds) |
| 2021-05-17 03:43:19 +0000 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 2021-05-17 03:47:58 +0000 | boxscape | (54a350dc@p54a350dc.dip0.t-ipconnect.de) (Quit: Connection closed) |
| 2021-05-17 03:48:19 +0000 | patlv | (~patlv@unaffiliated/patlv) (Ping timeout: 245 seconds) |
| 2021-05-17 03:48:45 +0000 | conal | (~conal@64.71.133.70) (Read error: Connection reset by peer) |
| 2021-05-17 03:52:13 +0000 | stree | (~stree@68.36.8.116) |
| 2021-05-17 03:53:18 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:5d48:8adb:4f7a:141b) |
| 2021-05-17 03:59:01 +0000 | <a6a45081-2b83> | how to embed the state monad inside another monad using stateT? will I have to add lift everywhere? |
| 2021-05-17 04:00:33 +0000 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-17 04:00:46 +0000 | <davean> | if your operations are based on class, no. But otherwise maybe |
| 2021-05-17 04:00:51 +0000 | <monochrom> | That's a very broad question so I have a very broad answer. Just take a look at any StateT tutorial? They have examples. |
| 2021-05-17 04:01:06 +0000 | <Axman6> | containsAll [] _ = True; containsAll (needle:needles) haystack = case T.breakOn needle haystack of (_,"") -> False; (_,rest) -> containsAll needles (T.drop (T.length needle) rest) |
| 2021-05-17 04:01:34 +0000 | <a6a45081-2b83> | monochrom: looking at https://wiki.haskell.org/Simple_StateT_use, brb |
| 2021-05-17 04:01:54 +0000 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-vunmjolaodtynkaq) (Quit: Connection closed for inactivity) |
| 2021-05-17 04:05:08 +0000 | ddellacosta | (~ddellacos@86.106.143.139) |
| 2021-05-17 04:07:24 +0000 | conal | (~conal@64.71.133.70) |
| 2021-05-17 04:08:43 +0000 | aVikingTrex | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-05-17 04:09:06 +0000 | <a6a45081-2b83> | ok so I have a ReaderT monad wrapping an IO monad. I want to wrap this with a stateT monad, which lift operations do I need? |
| 2021-05-17 04:09:12 +0000 | conal | (~conal@64.71.133.70) (Read error: Connection reset by peer) |
| 2021-05-17 04:09:49 +0000 | ddellacosta | (~ddellacos@86.106.143.139) (Ping timeout: 260 seconds) |
| 2021-05-17 04:10:15 +0000 | xcmw | (~textual@2603-6011-2200-f103-1907-5406-5646-5d03.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-17 04:14:12 +0000 | <aVikingTrex> | a6a45081-2b83: what about RWS monad? |
| 2021-05-17 04:18:57 +0000 | ixlun | (~user@109.249.184.235) (Read error: Connection reset by peer) |
| 2021-05-17 04:19:19 +0000 | ixlun | (~user@109.249.184.235) |
| 2021-05-17 04:19:50 +0000 | <a6a45081-2b83> | what is that? |
| 2021-05-17 04:20:07 +0000 | <a6a45081-2b83> | let me look that up |
| 2021-05-17 04:20:29 +0000 | <aVikingTrex> | Its a transformer that handles Reader, Writer and State |
| 2021-05-17 04:20:39 +0000 | <aVikingTrex> | https://hackage.haskell.org/package/transformers-0.5.6.2/docs/Control-Monad-Trans-RWS-CPS.html#g:1 |
| 2021-05-17 04:20:58 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-17 04:22:44 +0000 | ania123 | (5e89ad7c@94.137.173.124) |
| 2021-05-17 04:25:11 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 2021-05-17 04:27:11 +0000 | Lucci0 | (~Lucci0@modemcable159.116-21-96.mc.videotron.ca) (Ping timeout: 240 seconds) |
| 2021-05-17 04:28:27 +0000 | conal | (~conal@64.71.133.70) |
| 2021-05-17 04:30:45 +0000 | DTZUZU_ | (~DTZUZO@207.81.119.43) |
| 2021-05-17 04:32:52 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-17 04:33:16 +0000 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 252 seconds) |
| 2021-05-17 04:35:19 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving) |
| 2021-05-17 04:35:37 +0000 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-05-17 04:36:03 +0000 | nicholasbulka | (~nicholasb@2601:900:4301:da0:c83:5be8:790f:a4a3) |
| 2021-05-17 04:37:41 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-17 04:38:02 +0000 | drbean_ | (~drbean@TC210-63-209-71.static.apol.com.tw) (Ping timeout: 252 seconds) |
| 2021-05-17 04:40:29 +0000 | nicholasbulka | (~nicholasb@2601:900:4301:da0:c83:5be8:790f:a4a3) (Ping timeout: 250 seconds) |
| 2021-05-17 04:41:41 +0000 | Tario | (~Tario@201.192.165.173) |
| 2021-05-17 04:43:46 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 04:45:36 +0000 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-17 04:47:27 +0000 | idhugo | (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-05-17 04:48:50 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-05-17 04:49:26 +0000 | drbean_ | (~drbean@TC210-63-209-25.static.apol.com.tw) |
| 2021-05-17 04:50:25 +0000 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2021-05-17 04:54:13 +0000 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-05-17 04:54:30 +0000 | ania123 | (5e89ad7c@94.137.173.124) (Quit: Connection closed) |
| 2021-05-17 04:55:13 +0000 | idhugo | (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Quit: Leaving) |
| 2021-05-17 04:56:35 +0000 | Tario | (~Tario@201.192.165.173) (Ping timeout: 268 seconds) |
| 2021-05-17 05:05:54 +0000 | conal | (~conal@64.71.133.70) (Ping timeout: 252 seconds) |
| 2021-05-17 05:06:52 +0000 | libertyprime | (~libertypr@118.149.80.101) |
| 2021-05-17 05:08:22 +0000 | alx741 | (~alx741@186.178.108.105) (Quit: alx741) |
| 2021-05-17 05:12:01 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-05-17 05:12:03 +0000 | <libertyprime> | haskell tooling makes me want to tear my hair out sometimes. how to set a different rc file for ghci when there is only the option -ignore-dot-ghci to disable it? .ghci should be called .ghcirc because its name makes it appear like it could be a directory. what happens when you combine -ghci-script with -ignore-dot-ghci? the man page will keep you guessing. why does it use -ignore-dot-ghci instead |
| 2021-05-17 05:12:09 +0000 | <libertyprime> | of --ignore-dot-ghci. double dash is ... |
| 2021-05-17 05:12:11 +0000 | <libertyprime> | ... standard. etc. it makes me feel unwell to use haskell tooling sometimes |
| 2021-05-17 05:12:14 +0000 | <libertyprime> | ^^ rant. sorry |
| 2021-05-17 05:12:30 +0000 | a6a45081-2b83 | (~aditya@171.76.17.86) (Remote host closed the connection) |
| 2021-05-17 05:13:47 +0000 | <libertyprime> | actually. im sorry for raging here. that type of conversation belongs in a reddit or a blog post. |
| 2021-05-17 05:13:49 +0000 | Tario | (~Tario@201.192.165.173) |
| 2021-05-17 05:15:02 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-17 05:15:04 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-17 05:18:47 +0000 | ddellacosta | (~ddellacos@86.106.143.10) |
| 2021-05-17 05:18:50 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2021-05-17 05:19:14 +0000 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) |
| 2021-05-17 05:19:28 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds) |
| 2021-05-17 05:21:39 +0000 | berberman | (~berberman@unaffiliated/berberman) (Ping timeout: 245 seconds) |
| 2021-05-17 05:22:12 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-17 05:22:34 +0000 | <mniip> | libertyprime, there is only one ghc option that uses a double dash |
| 2021-05-17 05:22:40 +0000 | <mniip> | everything else is consistently single dash |
| 2021-05-17 05:22:58 +0000 | <mniip> | well ok maybe not one |
| 2021-05-17 05:23:19 +0000 | ddellacosta | (~ddellacos@86.106.143.10) (Ping timeout: 245 seconds) |
| 2021-05-17 05:23:31 +0000 | <mniip> | double-dashed options generally tell ghc to do something else other than compile a file |
| 2021-05-17 05:23:46 +0000 | <mniip> | be it --help, or --show-iface |
| 2021-05-17 05:23:56 +0000 | domini | (~domini@2a03:f680:fe00:129e:61e9:eb52:68ca:6e8f) |
| 2021-05-17 05:24:15 +0000 | domini | (~domini@2a03:f680:fe00:129e:61e9:eb52:68ca:6e8f) (Remote host closed the connection) |
| 2021-05-17 05:24:19 +0000 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-17 05:24:24 +0000 | ozzymcduff | (~ozzymcduf@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-17 05:25:09 +0000 | dustinm | (~dustinm@static.38.6.217.95.clients.your-server.de) (Quit: Leaving) |
| 2021-05-17 05:29:14 +0000 | plutoniix | (~q@ppp-58-8-148-189.revip2.asianet.co.th) |
| 2021-05-17 05:29:36 +0000 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) |
| 2021-05-17 05:30:54 +0000 | berberman | (~berberman@unaffiliated/berberman) |
| 2021-05-17 05:32:42 +0000 | alexander | (~alexander@2a02:587:dc19:ab00:49f:5b0e:f658:23e8) |
| 2021-05-17 05:33:10 +0000 | alexander | Guest37858 |
| 2021-05-17 05:36:07 +0000 | dustinm | (~dustinm@static.38.6.217.95.clients.your-server.de) |
| 2021-05-17 05:45:24 +0000 | mounty | (~mounty@236.216.214.218.sta.wbroadband.net.au) (Ping timeout: 245 seconds) |
| 2021-05-17 05:45:25 +0000 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) |
| 2021-05-17 05:46:58 +0000 | pav5088 | (~pav5088@138.199.47.158) (Remote host closed the connection) |
| 2021-05-17 05:47:03 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-17 05:47:41 +0000 | DTZUZU_ | (~DTZUZO@207.81.119.43) (Ping timeout: 240 seconds) |
| 2021-05-17 05:51:11 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 2021-05-17 05:51:29 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:5d48:8adb:4f7a:141b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-17 05:51:54 +0000 | pmj | (~pmj@p4fe156fa.dip0.t-ipconnect.de) |
| 2021-05-17 05:53:39 +0000 | MidAutumnHotaru | (~MidAutumn@unaffiliated/midautumnhotaru) (Quit: Quit 啾) |
| 2021-05-17 05:54:11 +0000 | jao | (~jao@pdpc/supporter/professional/jao) (Ping timeout: 260 seconds) |
| 2021-05-17 05:54:13 +0000 | MidAutumnHotaru | (~MidAutumn@unaffiliated/midautumnhotaru) |
| 2021-05-17 05:55:11 +0000 | vk3wtf | (~doc@61.68.250.44) (Quit: WeeChat 3.0.1) |
| 2021-05-17 05:55:28 +0000 | Lycurgus | (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-05-17 05:55:34 +0000 | vk3wtf | (~doc@61.68.250.44) |
| 2021-05-17 05:57:07 +0000 | SquidDev9 | (~SquidDev@autoclave.squiddev.cc) (Quit: Bye!) |
| 2021-05-17 05:57:20 +0000 | SquidDev | (~SquidDev@autoclave.squiddev.cc) |
| 2021-05-17 05:58:06 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 05:59:53 +0000 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-05-17 06:00:36 +0000 | Putonlalla | (~sapekiis@it-cyan.it.jyu.fi) |
| 2021-05-17 06:00:58 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-17 06:01:26 +0000 | parabolize | (~paraboliz@98.43.173.221) (Quit: leaving) |
| 2021-05-17 06:02:47 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-05-17 06:02:53 +0000 | nigel_c | (~nigel_c@37.120.211.190) |
| 2021-05-17 06:03:42 +0000 | vk3wtf | (~doc@61.68.250.44) (Quit: WeeChat 3.0.1) |
| 2021-05-17 06:04:13 +0000 | vk3wtf | (~doc@61.68.250.44) |
| 2021-05-17 06:05:07 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2021-05-17 06:05:11 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 2021-05-17 06:05:26 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2021-05-17 06:05:53 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-17 06:06:11 +0000 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-17 06:13:04 +0000 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-05-17 06:13:43 +0000 | stree | (~stree@68.36.8.116) |
| 2021-05-17 06:14:15 +0000 | ozzymcduff | (~ozzymcduf@81-234-151-21-no94.tbcn.telia.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-17 06:17:02 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 252 seconds) |
| 2021-05-17 06:18:54 +0000 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-05-17 06:19:12 +0000 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) (Quit: Leaving) |
| 2021-05-17 06:19:36 +0000 | forell | (~forell@unaffiliated/forell) (Ping timeout: 252 seconds) |
| 2021-05-17 06:20:38 +0000 | undvrainbowvita8 | (~egp_@128-71-13-3.broadband.corbina.ru) (Quit: EXIT) |
| 2021-05-17 06:21:53 +0000 | undvrainbowvita8 | (~egp_@128-71-13-3.broadband.corbina.ru) |
| 2021-05-17 06:22:19 +0000 | ixian | (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 250 seconds) |
| 2021-05-17 06:22:34 +0000 | Tario | (~Tario@201.192.165.173) (Ping timeout: 252 seconds) |
| 2021-05-17 06:23:00 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-17 06:24:52 +0000 | forell | (~forell@unaffiliated/forell) |
| 2021-05-17 06:25:00 +0000 | ixian | (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) |
| 2021-05-17 06:26:36 +0000 | ThinkPad | (~user@2603-8080-4904-7592-f519-f3d1-64ae-4f99.res6.spectrum.com) (Remote host closed the connection) |
| 2021-05-17 06:28:58 +0000 | michalz | (~user@185.246.204.59) |
| 2021-05-17 06:31:35 +0000 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-05-17 06:32:14 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-17 06:32:27 +0000 | Aquazi | (uid312403@gateway/web/irccloud.com/x-fneayqvblanweaap) |
| 2021-05-17 06:32:41 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-17 06:33:03 +0000 | gzj | (~gzj@unaffiliated/gzj) (Quit: Leaving) |
| 2021-05-17 06:33:44 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-17 06:34:00 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-17 06:34:21 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-17 06:34:44 +0000 | shiraeeshi | (~shiraeesh@46.34.206.196) |
| 2021-05-17 06:34:54 +0000 | oish | (~charlie@228.25.169.217.in-addr.arpa) |
| 2021-05-17 06:36:53 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 06:37:30 +0000 | nicholasbulka | (~nicholasb@2601:900:4301:da0:c83:5be8:790f:a4a3) |
| 2021-05-17 06:38:00 +0000 | cfricke | (~cfricke@unaffiliated/cfricke) |
| 2021-05-17 06:39:02 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-05-17 06:39:48 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-17 06:41:11 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-17 06:41:39 +0000 | nicholasbulka | (~nicholasb@2601:900:4301:da0:c83:5be8:790f:a4a3) (Ping timeout: 245 seconds) |
| 2021-05-17 06:42:14 +0000 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:5e81:b1cb:3120:4542) |
| 2021-05-17 06:47:43 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-17 06:47:58 +0000 | vchlup | (~vchlup@nat.brnet.cz) |
| 2021-05-17 06:48:02 +0000 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-17 06:52:18 +0000 | zaquest | (~notzaques@5.128.210.178) (Read error: Connection reset by peer) |
| 2021-05-17 06:53:11 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-17 06:53:13 +0000 | kristijonas_ | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-17 06:53:40 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Read error: Connection reset by peer) |
| 2021-05-17 06:54:08 +0000 | jiribenes | (~jiribenes@rosa.jiribenes.com) |
| 2021-05-17 06:55:26 +0000 | vchlup | (~vchlup@nat.brnet.cz) (Ping timeout: 260 seconds) |
| 2021-05-17 07:02:10 +0000 | mcglk | (~textual@131.191.49.120) (Ping timeout: 252 seconds) |
| 2021-05-17 07:05:47 +0000 | TK__ | (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) |
| 2021-05-17 07:08:15 +0000 | falafel | (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2021-05-17 07:08:46 +0000 | shiraeeshi | (~shiraeesh@46.34.206.196) (Ping timeout: 252 seconds) |
| 2021-05-17 07:08:47 +0000 | leah2 | (~leah@vuxu.org) |
| 2021-05-17 07:09:32 +0000 | Sixtine | (~Sixtine@97e577ed.skybroadband.com) |
| 2021-05-17 07:10:57 +0000 | <dminuoso> | Mmm, why does inRange have a seemingly flipped argument order? |
| 2021-05-17 07:11:19 +0000 | <dminuoso> | This seems more natural to me: 1 `inRange` (1,3) |
| 2021-05-17 07:12:08 +0000 | <opqdonut> | maybe it's meant to be partially applied in prefix form |
| 2021-05-17 07:12:20 +0000 | <opqdonut> | like `filter (inRange (1,3)) xs` |
| 2021-05-17 07:12:22 +0000 | chele | (~chele@ip5b40237d.dynamic.kabel-deutschland.de) |
| 2021-05-17 07:12:48 +0000 | <dminuoso> | Ah yeah, perhaps. |
| 2021-05-17 07:13:43 +0000 | <Putonlalla> | How often the "more constant argument first" convention is violated in Haskell is one of the most annoying things in it for me. |
| 2021-05-17 07:13:51 +0000 | nineonin_ | (~nineonine@2604:3d08:777e:900:6098:71ed:d0b:952b) (Remote host closed the connection) |
| 2021-05-17 07:14:26 +0000 | ukari | (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-05-17 07:14:44 +0000 | <Putonlalla> | Functions and operators not being distinct language features is one of the reasons it happens so often. |
| 2021-05-17 07:15:06 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 07:15:20 +0000 | ukari | (~ukari@unaffiliated/ukari) |
| 2021-05-17 07:15:29 +0000 | <dminuoso> | Is this realistically a problem? As long as its just two arguments, you can fit it on either side with ticks. |
| 2021-05-17 07:15:44 +0000 | <dminuoso> | i.e. filter (`inRange` (1,3)) |
| 2021-05-17 07:16:41 +0000 | <Putonlalla> | Not in this case, but you usually want `x / y` to be `div y x`, `x == y` to be `eqb y x` and so on... |
| 2021-05-17 07:16:55 +0000 | ericsagn1 | (~ericsagne@2405:6580:0:5100:e36f:f64f:f933:dd5f) (Ping timeout: 250 seconds) |
| 2021-05-17 07:17:08 +0000 | kuribas | (~user@ptr-25vy0i7nzwn8pwwmwkq.18120a2.ip6.access.telenet.be) |
| 2021-05-17 07:17:44 +0000 | <Putonlalla> | That and some other unfortunate parts of the syntax is why we have functions like `subtract`. |
| 2021-05-17 07:18:47 +0000 | mayleesia | maylee |
| 2021-05-17 07:19:58 +0000 | <Putonlalla> | This problem is compounded in proof assistants, where functions that are structurally recursive on the first parameter only reduce when the head of that particular argument is a constructor. If you violate the "more constant argument first" convention, unfolding becomes much more tedious. |
| 2021-05-17 07:20:16 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-05-17 07:21:58 +0000 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-05-17 07:22:53 +0000 | libertyprime | (~libertypr@118.149.80.101) (Read error: Connection reset by peer) |
| 2021-05-17 07:26:51 +0000 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) (Quit: Leaving) |
| 2021-05-17 07:29:30 +0000 | ericsagn1 | (~ericsagne@2405:6580:0:5100:aeb:7147:cca0:e8ac) |
| 2021-05-17 07:32:36 +0000 | Unhammer | (~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection) |
| 2021-05-17 07:32:41 +0000 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-05-17 07:32:53 +0000 | zariuq | (~zar@fw1.ciirc.cvut.cz) |
| 2021-05-17 07:33:22 +0000 | Unhammer | (~Unhammer@gateway/tor-sasl/unhammer) |
| 2021-05-17 07:35:41 +0000 | zargoertzel | (~zar@fw1.ciirc.cvut.cz) (Ping timeout: 260 seconds) |
| 2021-05-17 07:35:53 +0000 | zargoertzel | (~zar@fw1.ciirc.cvut.cz) |
| 2021-05-17 07:37:26 +0000 | zariuq | (~zar@fw1.ciirc.cvut.cz) (Ping timeout: 240 seconds) |
| 2021-05-17 07:38:48 +0000 | acidjnk_new | (~acidjnk@p200300d0c72b9554e88f3d58cc93ff66.dip0.t-ipconnect.de) |
| 2021-05-17 07:39:10 +0000 | libertyprime | (~libertypr@118.149.80.101) |
| 2021-05-17 07:43:31 +0000 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-05-17 07:43:48 +0000 | libertyprime | (~libertypr@118.149.80.101) (Ping timeout: 265 seconds) |
| 2021-05-17 07:44:44 +0000 | nyd | (~nyd@unaffiliated/elysian) |
| 2021-05-17 07:48:16 +0000 | nyd | (~nyd@unaffiliated/elysian) (Client Quit) |
| 2021-05-17 07:48:27 +0000 | guriya | (a0ee4af6@unaffiliated/guriya) |
| 2021-05-17 07:48:33 +0000 | nyd | (~nyd@unaffiliated/elysian) |
| 2021-05-17 07:48:42 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 07:53:21 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-05-17 07:53:29 +0000 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 2021-05-17 07:53:47 +0000 | guriya | (a0ee4af6@unaffiliated/guriya) (Quit: Connection closed) |
| 2021-05-17 07:54:57 +0000 | thc202 | (~thc202@unaffiliated/thc202) |
| 2021-05-17 07:55:09 +0000 | oxide | (~lambda@unaffiliated/mclaren) |
| 2021-05-17 07:55:39 +0000 | DTZUZU_ | (~DTZUZO@207.81.119.43) |
| 2021-05-17 07:57:33 +0000 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 240 seconds) |
| 2021-05-17 07:59:28 +0000 | fendor | (~fendor@178.115.130.102.wireless.dyn.drei.com) |
| 2021-05-17 08:00:09 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-17 08:01:52 +0000 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-05-17 08:03:07 +0000 | LKoen | (~LKoen@2a01cb0407597a00ac2f91280bdd769f.ipv6.abo.wanadoo.fr) |
| 2021-05-17 08:03:33 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2021-05-17 08:06:05 +0000 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-05-17 08:06:19 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-05-17 08:07:20 +0000 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-05-17 08:07:57 +0000 | poljar | (~poljar@93-139-93-177.adsl.net.t-com.hr) |
| 2021-05-17 08:08:11 +0000 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-05-17 08:09:57 +0000 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-05-17 08:11:16 +0000 | poljar1 | (~poljar@78-1-50-185.adsl.net.t-com.hr) (Ping timeout: 260 seconds) |
| 2021-05-17 08:12:12 +0000 | Codaraxis_ | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Quit: Leaving) |
| 2021-05-17 08:13:13 +0000 | ixlun | (~user@109.249.184.235) (Ping timeout: 240 seconds) |
| 2021-05-17 08:14:13 +0000 | bitmagie | (~Thunderbi@200116b80619af0038b023e60a9f8697.dip.versatel-1u1.de) |
| 2021-05-17 08:14:32 +0000 | kritzefitz | (~kritzefit@212.86.56.80) (Ping timeout: 268 seconds) |
| 2021-05-17 08:14:51 +0000 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) |
| 2021-05-17 08:14:58 +0000 | bitmagie | (~Thunderbi@200116b80619af0038b023e60a9f8697.dip.versatel-1u1.de) (Client Quit) |
| 2021-05-17 08:15:12 +0000 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-05-17 08:17:29 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-17 08:21:49 +0000 | stree | (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-05-17 08:24:35 +0000 | vchlup | (~vchlup@nat.brnet.cz) |
| 2021-05-17 08:26:43 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-17 08:27:09 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 08:28:47 +0000 | libertyprime | (~libertypr@124.197.60.232) |
| 2021-05-17 08:32:08 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-05-17 08:34:45 +0000 | stree | (~stree@68.36.8.116) |
| 2021-05-17 08:38:12 +0000 | shiraeeshi | (~shiraeesh@46.34.206.196) |
| 2021-05-17 08:40:16 +0000 | newdeal | (~root@185.234.208.208.r.toneticgroup.pl) |
| 2021-05-17 08:45:11 +0000 | drbean_ | (~drbean@TC210-63-209-25.static.apol.com.tw) (Ping timeout: 240 seconds) |
| 2021-05-17 08:45:34 +0000 | sqrt2 | (~ben@unaffiliated/sqrt2) (Ping timeout: 252 seconds) |
| 2021-05-17 08:47:46 +0000 | __monty__ | (~toonn@unaffiliated/toonn) |
| 2021-05-17 08:49:01 +0000 | sqrt2 | (~ben@unaffiliated/sqrt2) |
| 2021-05-17 08:49:42 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-17 08:50:06 +0000 | Schrostfutz | (~Schrostfu@schettlerdck.tkn.tu-berlin.de) |
| 2021-05-17 08:55:28 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-17 08:59:59 +0000 | aVikingTrex | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 245 seconds) |
| 2021-05-17 09:00:52 +0000 | viluon | (uid453725@gateway/web/irccloud.com/x-zdmcjlqqmfcybklj) |
| 2021-05-17 09:02:34 +0000 | rootmolloch | (~lokitrall@2a02:3038:406:61a7:a13b:9b98:12ef:11db) |
| 2021-05-17 09:03:10 +0000 | <rootmolloch> | bellman : let l = lambda in lambda = foldr (l) [+,-,*,/] |
| 2021-05-17 09:03:26 +0000 | <rootmolloch> | :-) |
| 2021-05-17 09:04:10 +0000 | <Axman6> | o.O |
| 2021-05-17 09:07:00 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 09:07:22 +0000 | <rootmolloch> | http://whats-the-while.de.cool |
| 2021-05-17 09:07:27 +0000 | nigel_c | (~nigel_c@37.120.211.190) (Remote host closed the connection) |
| 2021-05-17 09:07:29 +0000 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) (Ping timeout: 245 seconds) |
| 2021-05-17 09:07:29 +0000 | <rootmolloch> | ?? |
| 2021-05-17 09:07:48 +0000 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) |
| 2021-05-17 09:09:39 +0000 | <[exa]> | phishy. |
| 2021-05-17 09:09:49 +0000 | <Axman6> | agreed |
| 2021-05-17 09:09:55 +0000 | <Axman6> | @where ops |
| 2021-05-17 09:09:55 +0000 | <lambdabot> | byorgey Cale conal copumpkin dcoutts dibblego dolio edwardk geekosaur glguy jmcarthur johnw mniip monochrom quicksilver shachaf shapr ski |
| 2021-05-17 09:10:09 +0000 | ChanServ | +o dcoutts |
| 2021-05-17 09:11:06 +0000 | biglama | (b0a5a711@gateway/web/thelounge/ip.176.165.167.17) |
| 2021-05-17 09:11:46 +0000 | LKoen | (~LKoen@2a01cb0407597a00ac2f91280bdd769f.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-05-17 09:11:56 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-05-17 09:12:37 +0000 | ChanServ | -o dcoutts |
| 2021-05-17 09:14:28 +0000 | nineonine | (~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) |
| 2021-05-17 09:15:39 +0000 | biglama | (b0a5a711@gateway/web/thelounge/ip.176.165.167.17) (Client Quit) |
| 2021-05-17 09:16:04 +0000 | biglama | (~alex@static-176-165-167-17.ftth.abo.bbox.fr) |
| 2021-05-17 09:16:38 +0000 | Lycurgus | wundert wenn er Richard meint |
| 2021-05-17 09:17:21 +0000 | <dminuoso> | Axman6: Who knows, or they used a proper shadyurl tool. |
| 2021-05-17 09:17:30 +0000 | <dminuoso> | Imagine, when people asking about monad and you just give them http://www.5z8.info/blackmarket_a1r3qh_stalin |
| 2021-05-17 09:17:42 +0000 | DavidEichmann | (~david@156.59.147.147.dyn.plus.net) |
| 2021-05-17 09:17:53 +0000 | sz0 | (uid110435@gateway/web/irccloud.com/x-fpfeimeqtceiorln) |
| 2021-05-17 09:18:08 +0000 | <Axman6> | I should use shadyurl more often |
| 2021-05-17 09:18:44 +0000 | nineonine | (~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) (Ping timeout: 245 seconds) |
| 2021-05-17 09:18:53 +0000 | jespada | (~jespada@90.254.244.151) |
| 2021-05-17 09:27:15 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-17 09:27:40 +0000 | <biglama> | Hi guys, is there a way to convert an ascii code stored in a Data.Text to the corresponding Data.Text, without using Char as an intermediary ? |
| 2021-05-17 09:27:58 +0000 | <biglama> | My current solution : T.pack [toEnum (read "65") :: Char] |
| 2021-05-17 09:28:24 +0000 | <dminuoso> | biglama: Any particular reason you dislike the Char as intermediary? |
| 2021-05-17 09:29:25 +0000 | Johann_Petrak | (~johann@2a02:8388:2740:3d00:841b:6448:2f3e:281f) |
| 2021-05-17 09:29:28 +0000 | <biglama> | dminuoso: I wanted a shorter code :p |
| 2021-05-17 09:29:41 +0000 | <wrunt> | biglama: maybe use Data.Text.singleton to go from Char -> Text? |
| 2021-05-17 09:30:00 +0000 | <wrunt> | (still uses Char though) |
| 2021-05-17 09:30:00 +0000 | <merijn> | That's now what he's doing |
| 2021-05-17 09:30:04 +0000 | <Axman6> | @src Char |
| 2021-05-17 09:30:04 +0000 | <lambdabot> | data Char = C# Char# |
| 2021-05-17 09:30:11 +0000 | <Axman6> | Use Char# =) |
| 2021-05-17 09:30:31 +0000 | <merijn> | that doesn't work |
| 2021-05-17 09:30:46 +0000 | <merijn> | Pretty sure you can't read Char# |
| 2021-05-17 09:31:39 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2021-05-17 09:31:52 +0000 | Qwerky | (~qwerky@178.197.228.14) |
| 2021-05-17 09:32:54 +0000 | <biglama> | I wanted to do ascii conversion in pure Data.Text but it does not seem possible :( |
| 2021-05-17 09:33:14 +0000 | <dminuoso> | biglama: sure it is, just tap into the internals of text.. |
| 2021-05-17 09:34:33 +0000 | <dminuoso> | Look at the implementation of `singleton` |
| 2021-05-17 09:35:18 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-17 09:35:25 +0000 | <Axman6> | There's not going to be much you can do that isn't essentially doing exactly what toEnum . read does though |
| 2021-05-17 09:36:53 +0000 | <dminuoso> | Though.. the more I look at text, you'll have to go through `Char`, unless you want to break it up internally so far that you're meddling with the internal MutableByteArray's. |
| 2021-05-17 09:36:54 +0000 | Qwerky | (~qwerky@178.197.228.14) (Ping timeout: 265 seconds) |
| 2021-05-17 09:37:12 +0000 | <dminuoso> | At some point you should ask yourself whether that's really worth saving that single roundtrip through Char |
| 2021-05-17 09:37:27 +0000 | <biglama> | There is an `ord2` function it Data.Text.Internal.Encoding.Utf8 but it says "Use at your own risk!" |
| 2021-05-17 09:37:50 +0000 | <biglama> | dminuoso: That's not super important, I was just curious. Thanks :) |
| 2021-05-17 09:38:04 +0000 | <dminuoso> | biglama: The key function to look at is: https://hackage.haskell.org/package/text-1.2.4.1/docs/src/Data.Text.Internal.Unsafe.Char.html#unsa… |
| 2021-05-17 09:38:17 +0000 | <dminuoso> | Essentially you'd have to adapt this to work without a Char |
| 2021-05-17 09:38:24 +0000 | <dminuoso> | (unsafeWrite) |
| 2021-05-17 09:40:11 +0000 | <biglama> | Looks complicated :/ |
| 2021-05-17 09:40:26 +0000 | Schrostfutz | (~Schrostfu@schettlerdck.tkn.tu-berlin.de) (Quit: Leaving) |
| 2021-05-17 09:40:52 +0000 | ddellacosta | (~ddellacos@86.106.143.35) |
| 2021-05-17 09:40:56 +0000 | boxscape | (54a350dc@p54a350dc.dip0.t-ipconnect.de) |
| 2021-05-17 09:42:14 +0000 | <biglama> | Another question : since Data.Text implements Read, why can't I do : |
| 2021-05-17 09:42:14 +0000 | <biglama> | read (T.pack "66") :: Int |
| 2021-05-17 09:42:29 +0000 | <dminuoso> | % :t read |
| 2021-05-17 09:42:29 +0000 | <yahb> | dminuoso: Read a => String -> a |
| 2021-05-17 09:42:46 +0000 | <dminuoso> | biglama: You're thinking of `Read` the wrong way |
| 2021-05-17 09:43:09 +0000 | <dminuoso> | The fact that Data.Text implements Read means, we can read a String as Text |
| 2021-05-17 09:43:39 +0000 | <biglama> | Oh, I see. So can an Int be read to a Text ? I could not find anything on Hoogle |
| 2021-05-17 09:43:47 +0000 | <dminuoso> | That is `show` |
| 2021-05-17 09:43:50 +0000 | <dminuoso> | rather |
| 2021-05-17 09:43:58 +0000 | <dminuoso> | And no, you have to roundtrip through String |
| 2021-05-17 09:44:06 +0000 | <dminuoso> | this sort of accident is an unfortunate one |
| 2021-05-17 09:44:19 +0000 | <dminuoso> | Several packages on hackage exist to provide read/show using text instead |
| 2021-05-17 09:44:25 +0000 | <biglama> | Ok. I'm trying to use one type of string representation but it's hard to avoid String |
| 2021-05-17 09:44:34 +0000 | <dminuoso> | https://hackage.haskell.org/package/text-show |
| 2021-05-17 09:44:45 +0000 | <dminuoso> | biglama: Is this user-facing output? |
| 2021-05-17 09:44:48 +0000 | <dminuoso> | Or just for debugging |
| 2021-05-17 09:45:03 +0000 | <biglama> | Debugging. And a side project :p |
| 2021-05-17 09:45:20 +0000 | <dminuoso> | there's several options |
| 2021-05-17 09:45:26 +0000 | pera_ | (~pera_@94.0.111.239) |
| 2021-05-17 09:45:26 +0000 | ddellacosta | (~ddellacos@86.106.143.35) (Ping timeout: 240 seconds) |
| 2021-05-17 09:45:29 +0000 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-05-17 09:45:40 +0000 | xwvvvvwx | (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-17 09:45:40 +0000 | <dminuoso> | As a quick drop-in solution, I usually write `showT = T.pack . show`, put it into some Utils module and use it |
| 2021-05-17 09:46:16 +0000 | <dminuoso> | Other more elaborate options rely on using prettyprinter rather than text |
| 2021-05-17 09:47:52 +0000 | xwvvvvwx | (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) |
| 2021-05-17 09:49:29 +0000 | <kuribas> | biglama: for debugging you shouldn't care |
| 2021-05-17 09:49:37 +0000 | LKoen | (~LKoen@lfbn-idf2-1-1523-141.w92-169.abo.wanadoo.fr) |
| 2021-05-17 09:49:52 +0000 | <biglama> | dminuoso: The concept of prettyprinter is interesting |
| 2021-05-17 09:50:24 +0000 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) (Ping timeout: 245 seconds) |
| 2021-05-17 09:54:03 +0000 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) |
| 2021-05-17 09:57:13 +0000 | <biglama> | Thanks a lot anyway ! |
| 2021-05-17 09:57:41 +0000 | acidjnk_new | (~acidjnk@p200300d0c72b9554e88f3d58cc93ff66.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-05-17 10:01:18 +0000 | boxscape | (54a350dc@p54a350dc.dip0.t-ipconnect.de) (Quit: Connection closed) |
| 2021-05-17 10:01:35 +0000 | boxscape | (54a350dc@p54a350dc.dip0.t-ipconnect.de) |
| 2021-05-17 10:03:07 +0000 | sqrt2 | (~ben@unaffiliated/sqrt2) (Ping timeout: 252 seconds) |
| 2021-05-17 10:04:46 +0000 | sqrt2 | (~ben@unaffiliated/sqrt2) |
| 2021-05-17 10:06:02 +0000 | acidjnk_new | (~acidjnk@p200300d0c72b9554e88f3d58cc93ff66.dip0.t-ipconnect.de) |
| 2021-05-17 10:08:11 +0000 | rootmolloch | (~lokitrall@2a02:3038:406:61a7:a13b:9b98:12ef:11db) (Quit: Leaving) |
| 2021-05-17 10:10:53 +0000 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 240 seconds) |
| 2021-05-17 10:12:30 +0000 | ddellacosta | (~ddellacos@86.106.143.243) |
| 2021-05-17 10:17:16 +0000 | ddellacosta | (~ddellacos@86.106.143.243) (Ping timeout: 260 seconds) |
| 2021-05-17 10:26:05 +0000 | malumore | (~malumore@151.62.127.105) |
| 2021-05-17 10:37:24 +0000 | nicholasbulka | (~nicholasb@2601:900:4301:da0:9c6b:b655:282d:e6b6) |
| 2021-05-17 10:40:18 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-05-17 10:40:38 +0000 | Guest36185 | (~textual@2603-7000-3040-0000-a930-38e4-f357-846f.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-17 10:41:53 +0000 | nicholasbulka | (~nicholasb@2601:900:4301:da0:9c6b:b655:282d:e6b6) (Ping timeout: 250 seconds) |
| 2021-05-17 10:43:07 +0000 | stree | (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 2021-05-17 10:44:26 +0000 | LKoen | (~LKoen@lfbn-idf2-1-1523-141.w92-169.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-05-17 10:45:49 +0000 | enoq | (~textual@194-208-146-143.lampert.tv) |
| 2021-05-17 10:49:56 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 10:51:53 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-17 10:52:09 +0000 | <tdammers> | IME, you usually want an application-specific notion of "stringification" anyway; `show` is really only appropriate for trace debugging IMO |
| 2021-05-17 10:54:43 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-05-17 10:56:07 +0000 | stree | (~stree@68.36.8.116) |
| 2021-05-17 10:56:19 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-05-17 10:56:34 +0000 | Qwerky | (~qwerky@178.197.228.14) |
| 2021-05-17 10:56:39 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2021-05-17 11:00:41 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-17 11:01:18 +0000 | hyiltiz-M | (hyiltizkde@gateway/shell/kde/matrix/x-zxgylrwrlsislond) (Quit: Bridge terminating on SIGTERM) |
| 2021-05-17 11:01:19 +0000 | anandprabhu-M | (anandprabh@gateway/shell/kde/matrix/x-bvhldoupnbmlqysg) (Quit: Bridge terminating on SIGTERM) |
| 2021-05-17 11:01:30 +0000 | Benzi-Junior | (~BenziJuni@88-149-64-251.du.xdsl.is) |
| 2021-05-17 11:01:39 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-17 11:02:29 +0000 | Qwerky | (~qwerky@178.197.228.14) (Remote host closed the connection) |
| 2021-05-17 11:02:56 +0000 | hyiltiz-M | (hyiltizkde@gateway/shell/kde/matrix/x-owzkkkzddiktgsbs) |
| 2021-05-17 11:03:10 +0000 | zaquest | (~notzaques@5.128.210.178) |
| 2021-05-17 11:04:25 +0000 | xenon- | (~bc817c21@217.29.117.252) |
| 2021-05-17 11:04:29 +0000 | anandprabhu-M | (anandprabh@gateway/shell/kde/matrix/x-nrjhpucozlnoitze) |
| 2021-05-17 11:05:08 +0000 | <xenon-> | dminuoso how do they do it, they just convert String to Text? or they create new typeclasses |
| 2021-05-17 11:08:08 +0000 | <boxscape> | is there a version of error that takes an instance of Show instead of a String? |
| 2021-05-17 11:08:45 +0000 | <xenon-> | I don't think so |
| 2021-05-17 11:08:48 +0000 | <boxscape> | ok |
| 2021-05-17 11:08:53 +0000 | <xenon-> | @hoogle Show a => a -> b |
| 2021-05-17 11:08:54 +0000 | <lambdabot> | Protolude show :: (Show a, ConvertText String b) => a -> b |
| 2021-05-17 11:08:54 +0000 | <lambdabot> | SPARC.Base largeOffsetError :: Show a => a -> b |
| 2021-05-17 11:08:54 +0000 | <lambdabot> | Intro show :: (Show a, ConvertString String s) => a -> s |
| 2021-05-17 11:09:21 +0000 | <xenon-> | @hoogle String -> a |
| 2021-05-17 11:09:22 +0000 | <lambdabot> | Text.Printf perror :: String -> a |
| 2021-05-17 11:09:22 +0000 | <lambdabot> | GHC.Enum succError :: String -> a |
| 2021-05-17 11:09:22 +0000 | <lambdabot> | GHC.Enum predError :: String -> a |
| 2021-05-17 11:09:29 +0000 | davros | (~davros@host86-185-126-190.range86-185.btcentralplus.com) |
| 2021-05-17 11:09:49 +0000 | <SoF> | % Text.Printf "test" |
| 2021-05-17 11:09:49 +0000 | <yahb> | SoF: ; <interactive>:113:1: error:; Not in scope: data constructor `Text.Printf'; No module named `Text' is imported. |
| 2021-05-17 11:10:25 +0000 | <boxscape> | % Data.Text.Printf "test" |
| 2021-05-17 11:10:26 +0000 | <yahb> | boxscape: ; <interactive>:114:1: error:; Not in scope: data constructor `Data.Text.Printf'; No module named `Data.Text' is imported. |
| 2021-05-17 11:10:40 +0000 | <boxscape> | % Data.Text.Printf.perror "test" |
| 2021-05-17 11:10:40 +0000 | <yahb> | boxscape: ; <interactive>:115:1: error:; Not in scope: `Data.Text.Printf.perror'; Perhaps you meant `Text.Printf.perror' (imported from Text.Printf); No module named `Data.Text.Printf' is imported. |
| 2021-05-17 11:10:42 +0000 | <boxscape> | meh |
| 2021-05-17 11:10:47 +0000 | sheepduck | (~sheepduck@2607:fea8:2a60:b700::5d55) |
| 2021-05-17 11:10:48 +0000 | pmj | (~pmj@p4fe156fa.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-05-17 11:10:51 +0000 | <boxscape> | I guess that is what I meant |
| 2021-05-17 11:11:36 +0000 | <dminuoso> | xenon-: you mean prettyprinter? |
| 2021-05-17 11:13:41 +0000 | Lycurgus | (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) (Ping timeout: 252 seconds) |
| 2021-05-17 11:14:11 +0000 | Alleria | (~textual@zrcout.mskcc.org) |
| 2021-05-17 11:14:36 +0000 | Alleria | Guest35141 |
| 2021-05-17 11:15:41 +0000 | biglama | (~alex@static-176-165-167-17.ftth.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-05-17 11:15:50 +0000 | nineonine | (~nineonine@2604:3d08:777e:900:44b9:dfd8:3ef5:78e4) |
| 2021-05-17 11:16:01 +0000 | biglama | (~alex@static-176-165-167-17.ftth.abo.bbox.fr) |
| 2021-05-17 11:18:29 +0000 | <xenon-> | dminuoso, Read/Show that works with Text |
| 2021-05-17 11:20:01 +0000 | nineonine | (~nineonine@2604:3d08:777e:900:44b9:dfd8:3ef5:78e4) (Ping timeout: 250 seconds) |
| 2021-05-17 11:22:41 +0000 | biglama | (~alex@static-176-165-167-17.ftth.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-05-17 11:22:50 +0000 | <dminuoso> | xenon-: for one direction, there's text-show |
| 2021-05-17 11:23:47 +0000 | <dminuoso> | The other direction is, roughly, encapsulated by attoparsec |
| 2021-05-17 11:24:31 +0000 | biglama | (~alex@static-176-165-167-17.ftth.abo.bbox.fr) |
| 2021-05-17 11:27:58 +0000 | <dminuoso> | I guess ultimately its not the same thing |
| 2021-05-17 11:28:29 +0000 | ddellacosta | (~ddellacos@83.143.246.105) |
| 2021-05-17 11:28:30 +0000 | <dminuoso> | (and read in generally is a weird thing, if we look at the semantics of deriving generated instances - it doesnt seem that useful) |
| 2021-05-17 11:28:38 +0000 | henninb | (~henninb@63-226-190-31.mpls.qwest.net) |
| 2021-05-17 11:28:45 +0000 | <dminuoso> | it's rather a poor mans serialization/deserialization format |
| 2021-05-17 11:29:02 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 265 seconds) |
| 2021-05-17 11:29:04 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-17 11:29:59 +0000 | henninb | (~henninb@63-226-190-31.mpls.qwest.net) (Client Quit) |
| 2021-05-17 11:30:26 +0000 | urodna | (~urodna@unaffiliated/urodna) |
| 2021-05-17 11:30:36 +0000 | henninb | (~henninb@63-226-190-31.mpls.qwest.net) |
| 2021-05-17 11:33:03 +0000 | biglama | (~alex@static-176-165-167-17.ftth.abo.bbox.fr) (Remote host closed the connection) |
| 2021-05-17 11:33:43 +0000 | ddellacosta | (~ddellacos@83.143.246.105) (Ping timeout: 268 seconds) |
| 2021-05-17 11:34:03 +0000 | Johann_Petrak | (~johann@2a02:8388:2740:3d00:841b:6448:2f3e:281f) (Quit: Konversation terminated!) |
| 2021-05-17 11:34:20 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-05-17 11:34:59 +0000 | oish | (~charlie@228.25.169.217.in-addr.arpa) (Quit: leaving) |
| 2021-05-17 11:35:57 +0000 | Sh4un | (~Sh4un@modemcable159.116-21-96.mc.videotron.ca) |
| 2021-05-17 11:41:02 +0000 | nyd | (~nyd@unaffiliated/elysian) (Ping timeout: 246 seconds) |
| 2021-05-17 11:42:09 +0000 | nyd | (~nyd@unaffiliated/elysian) |
| 2021-05-17 11:48:33 +0000 | bitmagie | (~Thunderbi@200116b80619af0038b023e60a9f8697.dip.versatel-1u1.de) |
| 2021-05-17 11:49:59 +0000 | ericsagn1 | (~ericsagne@2405:6580:0:5100:aeb:7147:cca0:e8ac) (Ping timeout: 245 seconds) |
| 2021-05-17 11:51:26 +0000 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 252 seconds) |
| 2021-05-17 11:55:21 +0000 | xcmw | (~textual@2603-6011-2200-f103-1907-5406-5646-5d03.res6.spectrum.com) |
| 2021-05-17 11:56:57 +0000 | pavonia | (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-05-17 11:57:53 +0000 | Qwerky | (~qwerky@178.197.228.14) |
| 2021-05-17 11:59:18 +0000 | stree | (~stree@68.36.8.116) (Quit: Caught exception) |
| 2021-05-17 11:59:41 +0000 | stree | (~stree@68.36.8.116) |
| 2021-05-17 11:59:56 +0000 | shiraeeshi | (~shiraeesh@46.34.206.196) (Remote host closed the connection) |
| 2021-05-17 11:59:58 +0000 | ddellacosta | (~ddellacos@86.106.143.178) |
| 2021-05-17 12:00:19 +0000 | shiraeeshi | (~shiraeesh@46.34.206.196) |
| 2021-05-17 12:01:58 +0000 | ericsagn1 | (~ericsagne@2405:6580:0:5100:bb87:2466:bc3c:d7f9) |
| 2021-05-17 12:04:38 +0000 | ddellacosta | (~ddellacos@86.106.143.178) (Ping timeout: 252 seconds) |
| 2021-05-17 12:06:02 +0000 | plutoniix | (~q@ppp-58-8-148-189.revip2.asianet.co.th) (Quit: Leaving) |
| 2021-05-17 12:06:27 +0000 | falsifian | (~falsifian@exoco.falsifian.org) () |
| 2021-05-17 12:06:56 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds) |
| 2021-05-17 12:07:50 +0000 | mnrmnaugh | (~mnrmnaugh@unaffiliated/mnrmnaugh) (Quit: Leaving) |
| 2021-05-17 12:07:55 +0000 | stree | (~stree@68.36.8.116) (Quit: Caught exception) |
| 2021-05-17 12:08:18 +0000 | stree | (~stree@68.36.8.116) |
| 2021-05-17 12:08:24 +0000 | mnrmnaugh | (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 2021-05-17 12:11:58 +0000 | guriya | (a0ee4a50@unaffiliated/guriya) |
| 2021-05-17 12:12:47 +0000 | malumore_ | (~malumore@151.62.127.105) |
| 2021-05-17 12:13:06 +0000 | chris___ | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-05-17 12:14:14 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-17 12:15:06 +0000 | malumore | (~malumore@151.62.127.105) (Ping timeout: 240 seconds) |
| 2021-05-17 12:15:54 +0000 | xkapastel | (uid17782@gateway/web/irccloud.com/x-sydhbolmzgdlxhuf) |
| 2021-05-17 12:18:00 +0000 | chris___ | (~chris@81.96.113.213) |
| 2021-05-17 12:22:11 +0000 | chris___ | (~chris@81.96.113.213) (Ping timeout: 240 seconds) |
| 2021-05-17 12:23:37 +0000 | Qwerky | (~qwerky@178.197.228.14) (Remote host closed the connection) |
| 2021-05-17 12:24:34 +0000 | sheepduck | (~sheepduck@2607:fea8:2a60:b700::5d55) (Ping timeout: 245 seconds) |
| 2021-05-17 12:27:39 +0000 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-05-17 12:33:48 +0000 | pera_ | (~pera_@94.0.111.239) (Quit: leaving) |
| 2021-05-17 12:33:53 +0000 | ezzieyguywuf | (~Unknown@unaffiliated/ezzieyguywuf) (Remote host closed the connection) |
| 2021-05-17 12:35:47 +0000 | ezzieyguywuf | (~Unknown@unaffiliated/ezzieyguywuf) |
| 2021-05-17 12:35:48 +0000 | jao | (~jao@pdpc/supporter/professional/jao) |
| 2021-05-17 12:35:52 +0000 | patlv | (~patlv@unaffiliated/patlv) |
| 2021-05-17 12:36:21 +0000 | patlv_ | (~patlv@unaffiliated/patlv) |
| 2021-05-17 12:36:37 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 268 seconds) |
| 2021-05-17 12:38:51 +0000 | Qwerky | (~qwerky@178.197.228.14) |
| 2021-05-17 12:39:39 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 12:40:11 +0000 | patlv | (~patlv@unaffiliated/patlv) (Ping timeout: 240 seconds) |
| 2021-05-17 12:41:57 +0000 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-05-17 12:43:36 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-17 12:44:38 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-05-17 12:45:01 +0000 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 260 seconds) |
| 2021-05-17 12:46:23 +0000 | guriya | (a0ee4a50@unaffiliated/guriya) (Ping timeout: 240 seconds) |
| 2021-05-17 12:49:06 +0000 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 240 seconds) |
| 2021-05-17 12:49:48 +0000 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-05-17 12:51:42 +0000 | roconnor | (~roconnor@host-23-91-186-24.dyn.295.ca) |
| 2021-05-17 12:52:10 +0000 | Sh4un | (~Sh4un@modemcable159.116-21-96.mc.videotron.ca) (Ping timeout: 265 seconds) |
| 2021-05-17 12:53:27 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-17 12:53:53 +0000 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-17 12:54:26 +0000 | patlv_ | (~patlv@unaffiliated/patlv) (Quit: Leaving) |
| 2021-05-17 12:54:27 +0000 | drbean_ | (~drbean@TC210-63-209-188.static.apol.com.tw) |
| 2021-05-17 12:55:07 +0000 | patlv | (~patlv@unaffiliated/patlv) |
| 2021-05-17 12:55:19 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-17 12:55:23 +0000 | biglama | (~alex@static-176-165-167-17.ftth.abo.bbox.fr) |
| 2021-05-17 12:56:09 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-17 12:58:10 +0000 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-17 12:58:25 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-17 13:03:18 +0000 | nicholasbulka | (~nicholasb@2601:900:4301:da0:f135:532c:2de6:afae) |
| 2021-05-17 13:04:42 +0000 | henninb | (~henninb@63-226-190-31.mpls.qwest.net) (Quit: Lost terminal) |
| 2021-05-17 13:07:19 +0000 | RusAlex | (~Chel@unaffiliated/rusalex) (Quit: WeeChat 3.0) |
| 2021-05-17 13:07:29 +0000 | nicholasbulka | (~nicholasb@2601:900:4301:da0:f135:532c:2de6:afae) (Ping timeout: 245 seconds) |
| 2021-05-17 13:07:36 +0000 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 2021-05-17 13:11:49 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 13:12:04 +0000 | patlv | (~patlv@unaffiliated/patlv) (Ping timeout: 245 seconds) |
| 2021-05-17 13:13:45 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-17 13:14:42 +0000 | N4lt | (~N4lt@modemcable159.116-21-96.mc.videotron.ca) |
| 2021-05-17 13:16:14 +0000 | bahamas | (~lucian@86.125.184.64) |
| 2021-05-17 13:16:15 +0000 | bahamas | (~lucian@86.125.184.64) (Changing host) |
| 2021-05-17 13:16:15 +0000 | bahamas | (~lucian@unaffiliated/bahamas) |
| 2021-05-17 13:16:22 +0000 | nicholasbulka | (~nicholasb@2601:900:4301:da0:f135:532c:2de6:afae) |
| 2021-05-17 13:16:42 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-05-17 13:18:28 +0000 | xenon- | (~bc817c21@217.29.117.252) (Quit: http://www.okay.uz/) |
| 2021-05-17 13:19:03 +0000 | Lycurgus | (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-05-17 13:19:31 +0000 | Guest37858 | (~alexander@2a02:587:dc19:ab00:49f:5b0e:f658:23e8) (Ping timeout: 260 seconds) |
| 2021-05-17 13:20:34 +0000 | guest517` | (~user@49.5.6.87) |
| 2021-05-17 13:20:35 +0000 | guest517 | (~user@49.5.6.87) (Read error: Connection reset by peer) |
| 2021-05-17 13:20:55 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 252 seconds) |
| 2021-05-17 13:22:11 +0000 | xsperry | (~as@unaffiliated/xsperry) () |
| 2021-05-17 13:23:58 +0000 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-17 13:24:46 +0000 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-05-17 13:25:33 +0000 | xsperry | (~as@unaffiliated/xsperry) |
| 2021-05-17 13:28:06 +0000 | alx741 | (~alx741@186.178.108.105) |
| 2021-05-17 13:30:51 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-17 13:33:11 +0000 | nicholasbulka | (~nicholasb@2601:900:4301:da0:f135:532c:2de6:afae) (Remote host closed the connection) |
| 2021-05-17 13:33:49 +0000 | nicholasbulka | (~nicholasb@2601:900:4301:da0:f135:532c:2de6:afae) |
| 2021-05-17 13:34:13 +0000 | jao | (~jao@pdpc/supporter/professional/jao) (Ping timeout: 265 seconds) |
| 2021-05-17 13:34:40 +0000 | knupfer | (~Thunderbi@200116b822d01a00f69634fffef0b45f.dip.versatel-1u1.de) |
| 2021-05-17 13:35:40 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-05-17 13:37:18 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:5d48:8adb:4f7a:141b) |
| 2021-05-17 13:37:36 +0000 | kjak | (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-05-17 13:37:36 +0000 | Qwerky | (~qwerky@178.197.228.14) (Remote host closed the connection) |
| 2021-05-17 13:37:55 +0000 | kjak | (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) |
| 2021-05-17 13:39:05 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:5d48:8adb:4f7a:141b) (Client Quit) |
| 2021-05-17 13:44:27 +0000 | drbean_ | (~drbean@TC210-63-209-188.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-05-17 13:44:36 +0000 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-17 13:48:32 +0000 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 13:49:18 +0000 | moth1 | (~moth@37.120.211.190) |
| 2021-05-17 13:50:11 +0000 | sagax | (~sagax_nb@213.138.71.146) (Ping timeout: 246 seconds) |
| 2021-05-17 13:52:00 +0000 | willardthor | (d4ed87cf@c-xd4ed87cf.cust.hiper.dk) |
| 2021-05-17 13:52:58 +0000 | Qwerky | (~qwerky@178.197.228.14) |
| 2021-05-17 13:53:09 +0000 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-05-17 13:56:47 +0000 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-lpmljnscttdlzszw) |
| 2021-05-17 13:57:39 +0000 | hypercube | (~hypercube@2603-6011-f901-9e5b-78b5-8b2f-cdb2-4171.res6.spectrum.com) |
| 2021-05-17 13:57:46 +0000 | Qwerky | (~qwerky@178.197.228.14) (Ping timeout: 260 seconds) |
| 2021-05-17 13:58:21 +0000 | Merfont | (~Kaiepi@47.54.252.148) (Ping timeout: 260 seconds) |
| 2021-05-17 14:00:06 +0000 | st8less | (~st8less@2603:a060:11fd:0:475f:7ec2:20c6:ac2c) |
| 2021-05-17 14:03:13 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-17 14:03:36 +0000 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-05-17 14:04:27 +0000 | Sheilong | (uid293653@gateway/web/irccloud.com/x-pmhdkeusnrjysucn) |
| 2021-05-17 14:05:44 +0000 | undvrainbowvita8 | (~egp_@128-71-13-3.broadband.corbina.ru) (Quit: EXIT) |
| 2021-05-17 14:08:29 +0000 | xenon- | (~bc817c21@217.29.117.252) |
| 2021-05-17 14:10:08 +0000 | shiraeeshi | (~shiraeesh@46.34.206.196) (Ping timeout: 246 seconds) |
| 2021-05-17 14:10:21 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-17 14:10:46 +0000 | Rudd0^ | (~Rudd0@185.189.115.103) (Ping timeout: 252 seconds) |
| 2021-05-17 14:11:35 +0000 | Tario | (~Tario@201.192.165.173) |
| 2021-05-17 14:14:54 +0000 | <boxscape> | I keep thinking the extension is called OverloadedRecordFields instead of DuplicateRecordFields |
| 2021-05-17 14:15:10 +0000 | <boxscape> | Duplicate kind of seems to imply 2, maybe it should be n-plicateRecordFields |
| 2021-05-17 14:16:26 +0000 | stree | (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-05-17 14:17:37 +0000 | undvrainbowvita8 | (~egp_@128-71-13-3.broadband.corbina.ru) |
| 2021-05-17 14:17:58 +0000 | <Cale> | RamifiedRecordFields, lol |
| 2021-05-17 14:20:23 +0000 | guest517` | (~user@49.5.6.87) (Read error: Connection reset by peer) |
| 2021-05-17 14:20:32 +0000 | guest517` | (~user@49.5.6.87) |
| 2021-05-17 14:20:39 +0000 | nicholasbulka | (~nicholasb@2601:900:4301:da0:f135:532c:2de6:afae) (Remote host closed the connection) |
| 2021-05-17 14:20:55 +0000 | nicholasbulka | (~nicholasb@2601:900:4301:da0:f135:532c:2de6:afae) |
| 2021-05-17 14:21:31 +0000 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-05-17 14:23:45 +0000 | xff0x | (~xff0x@2001:1a81:535b:1600:c038:9b40:2a0a:496d) (Ping timeout: 250 seconds) |
| 2021-05-17 14:24:16 +0000 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-05-17 14:24:19 +0000 | <willardthor> | Hi folks, can any of you help me understand an error that I am getting? (I am still learning) (If this is the wrong place to ask, then let me know, and I'll ask elsewhere). See https://paste.tomsmeding.com/emRl2ySZ . I've created a type class for "types with a default value". Its single operation is `def`, which yields said default value. However, |
| 2021-05-17 14:24:19 +0000 | <willardthor> | when I use it when defining functions with a polymorphic type, GHCI cannot figure out which type `def` should be, and it won't let me coerce `def` to the (polymorphic) type that I want it to have. Any ideas? |
| 2021-05-17 14:25:36 +0000 | xff0x | (xff0x@gateway/vpn/mullvad/xff0x) |
| 2021-05-17 14:25:53 +0000 | <geekosaur> | going through this in order, ghci assumes Integer because of defaulting |
| 2021-05-17 14:25:53 +0000 | <Cale> | willardthor: What happens if you remove the annotation? Just write def and not def :: v? |
| 2021-05-17 14:26:06 +0000 | <Cale> | The problem is that you're not using ScopedTypeVariables, I think |
| 2021-05-17 14:26:25 +0000 | <geekosaur> | you'd also need an explicit forall in that case |
| 2021-05-17 14:26:44 +0000 | <geekosaur> | basically the scope of v does not extend to the definition, only to the declaration |
| 2021-05-17 14:26:48 +0000 | <Cale> | You can do so by adding {-# LANGUAGE ScopedTypeVariables #-} to the top of your file, and adding a forall like thedef :: forall v. Def v => v |
| 2021-05-17 14:27:07 +0000 | mrchampion | (~mrchampio@206.186.171.254) (Ping timeout: 252 seconds) |
| 2021-05-17 14:27:09 +0000 | <Cale> | and then you'll be able to use v to refer to the actual type that v was bound to, in the definition of thedef |
| 2021-05-17 14:27:30 +0000 | <Cale> | Without that extension, type variables only scope over a single type signature |
| 2021-05-17 14:27:48 +0000 | <boxscape> | stupid question: Is there a (possibly hacky) way to call local bindings of a function in ghci? |
| 2021-05-17 14:27:54 +0000 | <Cale> | So when you say def :: v GHC has no way of knowing that it's the same v |
| 2021-05-17 14:28:03 +0000 | <Cale> | boxscape: nope |
| 2021-05-17 14:28:04 +0000 | <geekosaur> | boxscape, no |
| 2021-05-17 14:28:06 +0000 | <boxscape> | okay |
| 2021-05-17 14:28:20 +0000 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-05-17 14:28:21 +0000 | <Cale> | Well, maybe *really* hacky |
| 2021-05-17 14:28:44 +0000 | <Cale> | If you happened to know where GHC put them in memory (and they hadn't been inlined) |
| 2021-05-17 14:28:49 +0000 | UTENTE | (~Username@176.32.27.9) |
| 2021-05-17 14:28:54 +0000 | alexander | (~alexander@athedsl-351794.home.otenet.gr) |
| 2021-05-17 14:28:56 +0000 | <boxscape> | heh okay that sounds fragile |
| 2021-05-17 14:28:59 +0000 | <Cale> | But that's not going to be easy at all |
| 2021-05-17 14:29:02 +0000 | <Cale> | yeah |
| 2021-05-17 14:29:23 +0000 | alexander | Guest77094 |
| 2021-05-17 14:29:24 +0000 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 14:29:31 +0000 | UTENTE | (~Username@176.32.27.9) (Read error: Connection reset by peer) |
| 2021-05-17 14:29:34 +0000 | mrchampion | (~mrchampio@206.186.171.254) |
| 2021-05-17 14:29:43 +0000 | Lycurgus | (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-05-17 14:29:50 +0000 | stree | (~stree@68.36.8.116) |
| 2021-05-17 14:32:02 +0000 | <willardthor> | Thank you for the responses so far. @Cale What happens if you remove the annotation? : As evidenced by `Example0.hs` vs. `Example1.hs`, removing the `:: v` produces a type error. @Cale You're not using ScopedTypeVariables : I'll look into this; thanks for the tip! |
| 2021-05-17 14:34:13 +0000 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-05-17 14:34:25 +0000 | <boxscape> | does the star in `:m *<modulename>` simply mean that non-exported bindings can be used or does it also mean that the module is forced to be loaded interpreted instead of compiled? |
| 2021-05-17 14:34:28 +0000 | <boxscape> | (in ghci) |
| 2021-05-17 14:35:06 +0000 | <willardthor> | geekosaur "The scope of v does not extend to the definition, only to the declaration" : Can you clarify? Is the fact that I coerced at the right-hand-side of '=' not taken into account when typing the whole function definition? |
| 2021-05-17 14:35:36 +0000 | <Cale> | willardthor: oh, I see, yeah, you didn't have the type error in Example0.hs |
| 2021-05-17 14:35:48 +0000 | <Cale> | It seems like removing it fixes the problem? |
| 2021-05-17 14:36:07 +0000 | <Cale> | willardthor: It's just that it's not the same v |
| 2021-05-17 14:36:20 +0000 | <Cale> | willardthor: So it's as though you'd written thedef :: w there |
| 2021-05-17 14:36:44 +0000 | <Cale> | and then GHC doesn't know that w is supposed to be equal to the v from the type signature for the function |
| 2021-05-17 14:37:09 +0000 | <Cale> | (or definition, rather) |
| 2021-05-17 14:37:27 +0000 | <boxscape> | % :m + *Data.Monoid |
| 2021-05-17 14:37:27 +0000 | <yahb> | boxscape: module 'Data.Monoid' is from another package;; this command requires an interpreted module |
| 2021-05-17 14:37:33 +0000 | <boxscape> | I suppose that answers my question |
| 2021-05-17 14:37:38 +0000 | <willardthor> | Cale "Removing it fixes the problem": Yeah, but I kind of need it later :-P (Unless there's another way to do what I am trying to, of course). I'm writing a polymorphic function, where the only thing I know about the input type, is that it's a member of `Def` . I would then like to obtain the default value of the input type, in the function |
| 2021-05-17 14:37:39 +0000 | <willardthor> | body. |
| 2021-05-17 14:38:01 +0000 | nyd | (~nyd@unaffiliated/elysian) (Ping timeout: 265 seconds) |
| 2021-05-17 14:38:33 +0000 | <willardthor> | Cale "It's just that it's not the same v" : That's what GHCI is saying, and that's what I'm not getting. Why is it not the same, or how do I make clear that it's the same? |
| 2021-05-17 14:38:49 +0000 | <geekosaur> | you use ScopedTypeZVZariables |
| 2021-05-17 14:38:51 +0000 | <geekosaur> | er |
| 2021-05-17 14:38:58 +0000 | <geekosaur> | you use ScopedTypeVariables |
| 2021-05-17 14:39:01 +0000 | <Cale> | willardthor: Without turning on extensions, type variables never scope over anything larger than a single type signature |
| 2021-05-17 14:39:36 +0000 | nyd | (nyd@gateway/vpn/protonvpn/elysian) |
| 2021-05-17 14:40:48 +0000 | <Cale> | So yeah, you have to turn on ScopedTypeVariables if you want to be able to refer to the same v |
| 2021-05-17 14:41:11 +0000 | xff0x | (xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 268 seconds) |
| 2021-05-17 14:41:11 +0000 | benin | (~benin@183.82.177.199) (Ping timeout: 268 seconds) |
| 2021-05-17 14:41:13 +0000 | <Cale> | I don't think there's another way, apart from doing trickery that would complicate the type of def |
| 2021-05-17 14:41:35 +0000 | <willardthor> | Cale geekosaur I just tried turning on `ScopedTypeVariables` (adding `{-# LANGUAGE ScopedTypeVariables #-}` to the start of `Example1.hs` and `Example2.hs` ), without success; the same errors get reported. |
| 2021-05-17 14:42:06 +0000 | <Cale> | Yep, to use ScopedTypeVariables, you have to explicitly bind the variables using forall |
| 2021-05-17 14:42:18 +0000 | <willardthor> | ... ah. Let me do that real quick. |
| 2021-05-17 14:42:50 +0000 | xff0x | (~xff0x@2001:1a81:535b:1600:c038:9b40:2a0a:496d) |
| 2021-05-17 14:46:21 +0000 | <willardthor> | Cale geekosaur I added `forall v .` at the start of the type declaration of `thedef` . This fixes the problem in `Example1.hs` . I did the same in `Example2.hs` , yet the problem remains there. |
| 2021-05-17 14:47:17 +0000 | <Cale> | Did you also add a signature to clarify the type of the usage of def? |
| 2021-05-17 14:47:24 +0000 | <willardthor> | waitwait, I then coerced the `def` and /that/ worked |
| 2021-05-17 14:47:29 +0000 | <Cale> | yep |
| 2021-05-17 14:47:31 +0000 | parabolize | (~paraboliz@98.43.173.221) |
| 2021-05-17 14:47:34 +0000 | <willardthor> | :-) Thanks guys |
| 2021-05-17 14:47:38 +0000 | romesrf | (~romesrf@44.190.189.46.rev.vodafone.pt) |
| 2021-05-17 14:47:41 +0000 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2021-05-17 14:48:29 +0000 | <romesrf> | hey everyone, if I do a StateT Maybe monad, and return (Element) normally, how can I lift the StateT to return Nothing instead of a Just something ? |
| 2021-05-17 14:49:21 +0000 | <[exa]> | romesrf: how did the Maybe get there? |
| 2021-05-17 14:49:30 +0000 | <[exa]> | ah sorry I can't read |
| 2021-05-17 14:49:43 +0000 | <romesrf> | perhaps i should make a small example, but i thought it might be a common issue |
| 2021-05-17 14:50:01 +0000 | <[exa]> | for returning nothing I'd just try failing, e.g. with `empty` |
| 2021-05-17 14:50:01 +0000 | <romesrf> | some function has type Something -> StateT SomeState Maybe Something |
| 2021-05-17 14:50:13 +0000 | <[exa]> | (possibly: lift empty) |
| 2021-05-17 14:50:19 +0000 | <romesrf> | Oh! Okay, i'll try that. |
| 2021-05-17 14:50:37 +0000 | acidjnk_new | (~acidjnk@p200300d0c72b9554e88f3d58cc93ff66.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-05-17 14:51:08 +0000 | <[exa]> | :t lift empty |
| 2021-05-17 14:51:09 +0000 | <lambdabot> | (MonadTrans t, Monad m, Alternative m) => t m a |
| 2021-05-17 14:51:47 +0000 | <[exa]> | looks okay to me with t~StateT, m~Maybe |
| 2021-05-17 14:52:23 +0000 | <Cale> | empty or mempty on its own ought to be fine |
| 2021-05-17 14:52:32 +0000 | <Cale> | er |
| 2021-05-17 14:52:39 +0000 | <[exa]> | can StateT carry that? |
| 2021-05-17 14:52:45 +0000 | <Cale> | Actually, not sure about mempty, I mean mzero |
| 2021-05-17 14:53:00 +0000 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-17 14:53:13 +0000 | <[exa]> | ah cool it has MonadFail |
| 2021-05-17 14:53:51 +0000 | <Cale> | Oh yeah, you could also use fail I suppose |
| 2021-05-17 14:54:52 +0000 | <romesrf> | i think just empty might work. at least the type system is fine with it ;) |
| 2021-05-17 14:55:04 +0000 | <romesrf> | i'll let you know soon. ty |
| 2021-05-17 14:55:35 +0000 | [exa] | stares at the Alternative (StateT s m) marked [safe], cool |
| 2021-05-17 14:56:33 +0000 | Guest35141 | (~textual@zrcout.mskcc.org) (Remote host closed the connection) |
| 2021-05-17 14:56:54 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-17 14:57:10 +0000 | <willardthor> | Cale geekosaur (so that I learn from this) : How come `ScopedTypeVariables` is needed? I thought that this was the default behavior in Haskell. That is: That a polymorphic function's type declaration (e.g. type of `thedef` ) binds all occurrences of polymorphic types (e.g. `v` ) that it mentions, such that any occurrence of those bound types (e.g. |
| 2021-05-17 14:57:10 +0000 | <willardthor> | `v` ) within the body of the function definition, refers to that binder (unless bound more locally). (It's reasonable of GHCI to consider that `v` could be bound to something else more locally; it's dumb that it can't see that it isn't) |
| 2021-05-17 14:57:11 +0000 | Alleria | (~textual@mskresolve-a.mskcc.org) |
| 2021-05-17 14:57:15 +0000 | <[exa]> | noticing many more instances have [safe] now, I should probably upgrade ghc much more often. :D |
| 2021-05-17 14:57:25 +0000 | cohn | (~noone@unaffiliated/cohn) () |
| 2021-05-17 14:57:35 +0000 | Alleria | Guest1564 |
| 2021-05-17 14:58:07 +0000 | <Cale> | Nope, that's just not how it works. Type variables are only meaningful in the single type that's using them and don't carry over into other type signatures |
| 2021-05-17 14:58:24 +0000 | <geekosaur> | it's not the default behavior but enough people expect it that the ScopedTypeVariables extension was created |
| 2021-05-17 14:59:41 +0000 | <Cale> | Though what might be nicer than ScopedTypeVariables is being able to explicitly bind the applied type variables at the term level. Eventually that'll probably be a feature of TypeApplications, but it doesn't yet work |
| 2021-05-17 15:00:41 +0000 | <Cale> | e.g. to be able to write prettydef @t v = pretty v <+> pretty (def @t) |
| 2021-05-17 15:00:46 +0000 | <willardthor> | Cale "Only meaningful": I see; and the coercion is then a separate type signature (where an occurrence e.g. to `v` is considered a different/fresh `v` ). |
| 2021-05-17 15:01:02 +0000 | <Cale> | yeah |
| 2021-05-17 15:01:22 +0000 | <Cale> | So it's exactly the same as if you'd written any other variable name there |
| 2021-05-17 15:01:22 +0000 | <willardthor> | geekosaur This is now one of my new favorite extensions:) |
| 2021-05-17 15:02:04 +0000 | qwerty2o | (~qwerty2o@46-116-99-209.bb.netvision.net.il) |
| 2021-05-17 15:03:05 +0000 | <qwerty2o> | hi im trying to creat a splitOn function |
| 2021-05-17 15:03:10 +0000 | <qwerty2o> | i got this so far |
| 2021-05-17 15:03:11 +0000 | <qwerty2o> | https://dpaste.org/ezmS#L1,3 |
| 2021-05-17 15:03:26 +0000 | <qwerty2o> | but now i want to split by two or more delimiters |
| 2021-05-17 15:03:42 +0000 | <qwerty2o> | is there an option to give break a second delimiter? |
| 2021-05-17 15:03:50 +0000 | ddellac__ | (~ddellacos@86.106.143.217) |
| 2021-05-17 15:03:55 +0000 | LKoen | (~LKoen@2a01cb0407597a009cf9697881694994.ipv6.abo.wanadoo.fr) |
| 2021-05-17 15:03:59 +0000 | <qwerty2o> | like break (== del1 || == del2) |
| 2021-05-17 15:04:02 +0000 | <qwerty2o> | something like that |
| 2021-05-17 15:04:29 +0000 | <qwerty2o> | or if i could go by a list or delimiters that'd be even better |
| 2021-05-17 15:04:38 +0000 | <willardthor> | Cale `TypeApplications` : nice, that would bring Haskell even closer to dependently-typed programming. |
| 2021-05-17 15:05:11 +0000 | <Cale> | qwerty2o: (\x -> x == del1 || x == del2) or (\x -> x `elem` [del1, del2]) or (`elem` [del1, del2]) |
| 2021-05-17 15:05:39 +0000 | <Cale> | willardthor: Yeah, to be clear, TypeApplications exists, just there's no pattern matching bit |
| 2021-05-17 15:05:53 +0000 | <Cale> | So you still need to use ScopedTypeVariables with it usually |
| 2021-05-17 15:06:03 +0000 | <willardthor> | Cale gotcha (y) |
| 2021-05-17 15:07:06 +0000 | <qwerty2o> | Cale, thank you sir |
| 2021-05-17 15:07:15 +0000 | <qwerty2o> | didnt think about elem lol |
| 2021-05-17 15:08:56 +0000 | ddellac__ | (~ddellacos@86.106.143.217) (Ping timeout: 260 seconds) |
| 2021-05-17 15:09:04 +0000 | bahamas | (~lucian@unaffiliated/bahamas) (Ping timeout: 252 seconds) |
| 2021-05-17 15:09:08 +0000 | fendor_ | (~fendor@213142096253.public.telering.at) |
| 2021-05-17 15:09:18 +0000 | <[exa]> | qwerty2o: overly applicative solution: `liftA2 (||) (==del1) (==del2)` |
| 2021-05-17 15:10:05 +0000 | <qwerty2o> | thats nice but i actually need a string of delimiters |
| 2021-05-17 15:10:17 +0000 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-17 15:10:21 +0000 | <qwerty2o> | so the (`elem` delims was the solution) |
| 2021-05-17 15:10:38 +0000 | cohn | (~noone@unaffiliated/cohn) |
| 2021-05-17 15:11:40 +0000 | fendor | (~fendor@178.115.130.102.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2021-05-17 15:12:35 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:5d48:8adb:4f7a:141b) |
| 2021-05-17 15:12:41 +0000 | mastarija | (~mastarija@31.217.1.195) |
| 2021-05-17 15:13:09 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2021-05-17 15:13:47 +0000 | ozzymcdu_ | (~ozzymcduf@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-17 15:15:38 +0000 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-17 15:17:28 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-17 15:17:52 +0000 | benin | (~benin@183.82.177.199) |
| 2021-05-17 15:19:26 +0000 | proofofkeags | (~proofofke@97-118-239-55.hlrn.qwest.net) (Ping timeout: 260 seconds) |
| 2021-05-17 15:19:33 +0000 | tomboy64 | (~tomboy64@gateway/tor-sasl/tomboy64) (Ping timeout: 240 seconds) |
| 2021-05-17 15:23:05 +0000 | willardthor | (d4ed87cf@c-xd4ed87cf.cust.hiper.dk) () |
| 2021-05-17 15:24:10 +0000 | <romesrf> | it worked [exa] ty :) |
| 2021-05-17 15:24:52 +0000 | nineonine | (~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) |
| 2021-05-17 15:25:17 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-05-17 15:25:30 +0000 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-05-17 15:26:39 +0000 | nicholasbulka | (~nicholasb@2601:900:4301:da0:f135:532c:2de6:afae) (Ping timeout: 245 seconds) |
| 2021-05-17 15:26:57 +0000 | knyppeldynan | (~kristina@h-178-174-136-151.NA.cust.bahnhof.se) |
| 2021-05-17 15:27:33 +0000 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-05-17 15:31:17 +0000 | plutoniix | (~q@node-uls.pool-125-24.dynamic.totinternet.net) |
| 2021-05-17 15:32:55 +0000 | tomboy64 | (~tomboy64@gateway/tor-sasl/tomboy64) |
| 2021-05-17 15:33:48 +0000 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-05-17 15:36:32 +0000 | bahamas | (~lucian@86.125.184.64) |
| 2021-05-17 15:36:32 +0000 | bahamas | (~lucian@86.125.184.64) (Changing host) |
| 2021-05-17 15:36:32 +0000 | bahamas | (~lucian@unaffiliated/bahamas) |
| 2021-05-17 15:36:55 +0000 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 15:37:11 +0000 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds) |
| 2021-05-17 15:37:31 +0000 | nicholasbulka | (~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net) |
| 2021-05-17 15:37:39 +0000 | <boxscape> | https://github.com/ghc-proposals/ghc-proposals/discussions/424 |
| 2021-05-17 15:37:43 +0000 | ep1ctetus | (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-17 15:37:52 +0000 | <boxscape> | thinking about calling local bindings from ghci |
| 2021-05-17 15:38:17 +0000 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 2021-05-17 15:38:28 +0000 | <merijn> | How does that work when they use captures |
| 2021-05-17 15:39:19 +0000 | <boxscape> | merijn One could imagine only allowing bindings without free variables. Though I can imagine captures working as well, see second-to-last point in the link |
| 2021-05-17 15:40:33 +0000 | proofofkeags | (~proofofke@205.209.28.54) |
| 2021-05-17 15:41:46 +0000 | <geekosaur> | don't wheres desugar to lets? that would complicate distinguishing the two |
| 2021-05-17 15:41:53 +0000 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-05-17 15:41:59 +0000 | <boxscape> | hmm, interesting point |
| 2021-05-17 15:42:15 +0000 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-17 15:42:40 +0000 | wonko7 | (~wonko7@62.115.229.50) |
| 2021-05-17 15:42:40 +0000 | knyppeldynan | (~kristina@h-178-174-136-151.NA.cust.bahnhof.se) (Remote host closed the connection) |
| 2021-05-17 15:42:49 +0000 | bahamas | (~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds) |
| 2021-05-17 15:43:28 +0000 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2021-05-17 15:43:33 +0000 | nyd | (nyd@gateway/vpn/protonvpn/elysian) (Remote host closed the connection) |
| 2021-05-17 15:43:43 +0000 | knyppeldynan | (~kristina@h-178-174-136-151.NA.cust.bahnhof.se) |
| 2021-05-17 15:45:08 +0000 | nyd | (~nyd@unaffiliated/elysian) |
| 2021-05-17 15:45:11 +0000 | romesrf | (~romesrf@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.1) |
| 2021-05-17 15:47:52 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-17 15:48:10 +0000 | electricityZZZZ | (~electrici@157-131-250-97.fiber.dynamic.sonic.net) |
| 2021-05-17 15:49:25 +0000 | libertyprime | (~libertypr@124.197.60.232) (Ping timeout: 252 seconds) |
| 2021-05-17 15:51:59 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-05-17 15:52:36 +0000 | dyeplexer | (~terpin@unaffiliated/terpin) |
| 2021-05-17 15:52:42 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:5d48:8adb:4f7a:141b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-17 15:53:01 +0000 | melkor | Guest91530 |
| 2021-05-17 15:53:47 +0000 | hololeap | (~hololeap@gateway/tor-sasl/hololeap) (Remote host closed the connection) |
| 2021-05-17 15:56:05 +0000 | hololeap | (~hololeap@gateway/tor-sasl/hololeap) |
| 2021-05-17 15:58:22 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-05-17 15:58:52 +0000 | stcg | (~stcg@194-024-128-083.dynamic.caiway.nl) |
| 2021-05-17 15:59:31 +0000 | nineonine | (~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) (Ping timeout: 250 seconds) |
| 2021-05-17 16:00:12 +0000 | mat[m]1 | (matmatrixo@gateway/shell/matrix.org/x-cfukwdcbtlauxbsx) (Quit: Idle for 30+ days) |
| 2021-05-17 16:00:24 +0000 | Rudd0 | (~Rudd0@185.189.115.108) |
| 2021-05-17 16:00:33 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:5d48:8adb:4f7a:141b) |
| 2021-05-17 16:01:04 +0000 | todda7 | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
| 2021-05-17 16:07:07 +0000 | nineonine | (~nineonine@50.216.62.2) |
| 2021-05-17 16:09:44 +0000 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-05-17 16:10:09 +0000 | benin | (~benin@183.82.177.199) (Quit: The Lounge - https://thelounge.chat) |
| 2021-05-17 16:10:23 +0000 | Lycurgus | (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-05-17 16:14:23 +0000 | chris___ | (~chris@81.96.113.213) |
| 2021-05-17 16:14:31 +0000 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) |
| 2021-05-17 16:14:39 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-17 16:14:55 +0000 | ddellacosta | (~ddellacos@86.106.143.139) |
| 2021-05-17 16:16:11 +0000 | boxscape | (54a350dc@p54a350dc.dip0.t-ipconnect.de) (Quit: Connection closed) |
| 2021-05-17 16:16:25 +0000 | boxscape | (54a350dc@p54a350dc.dip0.t-ipconnect.de) |
| 2021-05-17 16:16:28 +0000 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection) |
| 2021-05-17 16:16:41 +0000 | DTZUZU_ | (~DTZUZO@207.81.119.43) (Ping timeout: 240 seconds) |
| 2021-05-17 16:16:45 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2021-05-17 16:17:06 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-17 16:19:06 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-05-17 16:19:11 +0000 | Lycurgus | (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-05-17 16:19:26 +0000 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-17 16:19:28 +0000 | ddellacosta | (~ddellacos@86.106.143.139) (Ping timeout: 252 seconds) |
| 2021-05-17 16:22:37 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-05-17 16:24:34 +0000 | fendor_ | (~fendor@213142096253.public.telering.at) (Read error: Connection reset by peer) |
| 2021-05-17 16:24:48 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-17 16:24:54 +0000 | hgolden | (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) |
| 2021-05-17 16:25:37 +0000 | fendor_ | (~fendor@91.141.0.249.wireless.dyn.drei.com) |
| 2021-05-17 16:26:05 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-17 16:26:46 +0000 | qwerty2o | (~qwerty2o@46-116-99-209.bb.netvision.net.il) (Ping timeout: 265 seconds) |
| 2021-05-17 16:29:47 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-05-17 16:32:01 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-05-17 16:32:57 +0000 | bitmagie | (~Thunderbi@200116b80619af0038b023e60a9f8697.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-05-17 16:35:39 +0000 | fendor | (~fendor@178.165.129.230.wireless.dyn.drei.com) |
| 2021-05-17 16:36:46 +0000 | fendor_ | (~fendor@91.141.0.249.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2021-05-17 16:37:28 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-17 16:37:53 +0000 | stree | (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 2021-05-17 16:41:05 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-17 16:45:50 +0000 | veverak | (~veverak@ip-89-102-98-161.net.upcbroadband.cz) |
| 2021-05-17 16:45:56 +0000 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-05-17 16:48:05 +0000 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-17 16:48:28 +0000 | stcg | (~stcg@194-024-128-083.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2021-05-17 16:50:38 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-17 16:51:00 +0000 | stree | (~stree@68.36.8.116) |
| 2021-05-17 16:53:00 +0000 | ddellaco_ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 16:53:30 +0000 | xcmw | (~textual@2603-6011-2200-f103-1907-5406-5646-5d03.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-17 16:55:53 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:5d48:8adb:4f7a:141b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-17 16:58:05 +0000 | ddellaco_ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-05-17 17:00:08 +0000 | jao | (~jao@pdpc/supporter/professional/jao) |
| 2021-05-17 17:01:04 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-17 17:02:23 +0000 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-17 17:04:05 +0000 | sagax | (~sagax_nb@213.138.71.146) |
| 2021-05-17 17:06:07 +0000 | xcmw | (~textual@2603-6011-2200-f103-1907-5406-5646-5d03.res6.spectrum.com) |
| 2021-05-17 17:07:06 +0000 | Guest77094 | (~alexander@athedsl-351794.home.otenet.gr) (Ping timeout: 240 seconds) |
| 2021-05-17 17:14:21 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2021-05-17 17:15:53 +0000 | mastarija | (~mastarija@31.217.1.195) (Quit: Leaving) |
| 2021-05-17 17:17:09 +0000 | LKoen | (~LKoen@2a01cb0407597a009cf9697881694994.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-05-17 17:17:16 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-05-17 17:18:16 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:5d48:8adb:4f7a:141b) |
| 2021-05-17 17:18:39 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) (Quit: Connection closed) |
| 2021-05-17 17:19:00 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-17 17:19:34 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-17 17:24:28 +0000 | ddellacosta | (~ddellacos@86.106.143.152) |
| 2021-05-17 17:26:35 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-17 17:26:58 +0000 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection) |
| 2021-05-17 17:27:40 +0000 | wootz | (~wooty@24.133.124.248) |
| 2021-05-17 17:28:54 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-17 17:29:08 +0000 | ddellacosta | (~ddellacos@86.106.143.152) (Ping timeout: 252 seconds) |
| 2021-05-17 17:29:10 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-17 17:29:33 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2021-05-17 17:30:35 +0000 | alexander | (~alexander@athedsl-351794.home.otenet.gr) |
| 2021-05-17 17:30:35 +0000 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-05-17 17:31:03 +0000 | alexander | Guest6574 |
| 2021-05-17 17:32:56 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-05-17 17:38:13 +0000 | shiraeeshi | (~shiraeesh@46.34.206.196) |
| 2021-05-17 17:38:22 +0000 | chris___ | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-05-17 17:40:26 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-17 17:41:48 +0000 | bennofs__ | (~quassel@dynamic-077-013-032-144.77.13.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2021-05-17 17:42:08 +0000 | bennofs_ | (~quassel@dynamic-077-013-032-144.77.13.pool.telefonica.de) |
| 2021-05-17 17:42:25 +0000 | LKoen | (~LKoen@2a01cb0407597a00ad8da624e122913c.ipv6.abo.wanadoo.fr) |
| 2021-05-17 17:42:35 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-17 17:43:08 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-17 17:43:17 +0000 | chris__ | (~chris@81.96.113.213) |
| 2021-05-17 17:43:50 +0000 | hololeap | (~hololeap@gateway/tor-sasl/hololeap) (Quit: Bye) |
| 2021-05-17 17:43:53 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-17 17:44:05 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-17 17:44:21 +0000 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-17 17:44:39 +0000 | Axman6 | (~Axman6@pdpc/supporter/student/Axman6) (Remote host closed the connection) |
| 2021-05-17 17:44:43 +0000 | qwerty2o | (~qwerty2o@46-116-99-209.bb.netvision.net.il) |
| 2021-05-17 17:44:53 +0000 | Axman6 | (~Axman6@pdpc/supporter/student/Axman6) |
| 2021-05-17 17:46:41 +0000 | shiraeeshi | (~shiraeesh@46.34.206.196) (Ping timeout: 240 seconds) |
| 2021-05-17 17:47:26 +0000 | chris__ | (~chris@81.96.113.213) (Ping timeout: 240 seconds) |
| 2021-05-17 17:48:05 +0000 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) (Quit: Leaving) |
| 2021-05-17 17:49:18 +0000 | plutoniix | (~q@node-uls.pool-125-24.dynamic.totinternet.net) (Quit: Leaving) |
| 2021-05-17 17:53:01 +0000 | chris__ | (~chris@81.96.113.213) |
| 2021-05-17 17:53:36 +0000 | Sheilong | (uid293653@gateway/web/irccloud.com/x-pmhdkeusnrjysucn) (Quit: Connection closed for inactivity) |
| 2021-05-17 17:54:01 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-05-17 17:56:15 +0000 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:5e81:b1cb:3120:4542) (Ping timeout: 260 seconds) |
| 2021-05-17 17:56:48 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-17 17:57:45 +0000 | wei2912 | (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 2021-05-17 17:59:27 +0000 | guriya | (a0ee4b7d@unaffiliated/guriya) |
| 2021-05-17 17:59:51 +0000 | ddellac__ | (~ddellacos@83.143.246.105) |
| 2021-05-17 18:01:42 +0000 | rajivr | (uid269651@gateway/web/irccloud.com/x-eilhkhwsqqonwkqr) (Quit: Connection closed for inactivity) |
| 2021-05-17 18:04:22 +0000 | ddellac__ | (~ddellacos@83.143.246.105) (Ping timeout: 252 seconds) |
| 2021-05-17 18:06:21 +0000 | guriya | (a0ee4b7d@unaffiliated/guriya) (Quit: Connection closed) |
| 2021-05-17 18:06:38 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-17 18:08:10 +0000 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:f5ad:6b00:298d:80c7) |
| 2021-05-17 18:09:20 +0000 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-232.dsl.bell.ca) |
| 2021-05-17 18:09:25 +0000 | hololeap | (~hololeap@gateway/tor-sasl/hololeap) |
| 2021-05-17 18:10:53 +0000 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-149.dsl.bell.ca) (Ping timeout: 240 seconds) |
| 2021-05-17 18:11:11 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-17 18:14:26 +0000 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-05-17 18:16:23 +0000 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-232.dsl.bell.ca) |
| 2021-05-17 18:16:30 +0000 | sm2n_ | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-232.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-05-17 18:19:55 +0000 | knupfer | (~Thunderbi@200116b822d01a00f69634fffef0b45f.dip.versatel-1u1.de) (Ping timeout: 250 seconds) |
| 2021-05-17 18:19:56 +0000 | shiraeeshi | (~shiraeesh@46.34.206.196) |
| 2021-05-17 18:20:11 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 2021-05-17 18:20:54 +0000 | <tomjaguarpaw> | c |
| 2021-05-17 18:21:01 +0000 | <tomjaguarpaw> | s/c// |
| 2021-05-17 18:23:46 +0000 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-232.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2021-05-17 18:28:25 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-17 18:29:06 +0000 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-29.dsl.bell.ca) |
| 2021-05-17 18:30:40 +0000 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-29.dsl.bell.ca) (Excess Flood) |
| 2021-05-17 18:30:59 +0000 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-29.dsl.bell.ca) |
| 2021-05-17 18:32:55 +0000 | dyeplexer | (~terpin@unaffiliated/terpin) (Remote host closed the connection) |
| 2021-05-17 18:35:12 +0000 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-29.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-05-17 18:35:23 +0000 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-29.dsl.bell.ca) |
| 2021-05-17 18:35:42 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-17 18:37:00 +0000 | ystael | (~ystael@209.6.50.55) (Quit: Lost terminal) |
| 2021-05-17 18:39:19 +0000 | knupfer | (~Thunderbi@200116b822d01a00f69634fffef0b45f.dip.versatel-1u1.de) |
| 2021-05-17 18:39:51 +0000 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 18:40:37 +0000 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-10-65-95-102-29.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2021-05-17 18:41:59 +0000 | chris__ | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-05-17 18:42:41 +0000 | chris__ | (~chris@81.96.113.213) |
| 2021-05-17 18:43:37 +0000 | Jesin | (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving) |
| 2021-05-17 18:44:31 +0000 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-05-17 18:45:33 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-17 18:46:46 +0000 | chris__ | (~chris@81.96.113.213) (Ping timeout: 240 seconds) |
| 2021-05-17 18:48:23 +0000 | falafel | (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) |
| 2021-05-17 18:49:30 +0000 | juuandyy | (~juuandyy@90.106.228.121) |
| 2021-05-17 18:52:22 +0000 | knyppeldynan | (~kristina@h-178-174-136-151.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2021-05-17 18:53:38 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 246 seconds) |
| 2021-05-17 18:56:35 +0000 | Aquazi | (uid312403@gateway/web/irccloud.com/x-fneayqvblanweaap) (Quit: Connection closed for inactivity) |
| 2021-05-17 18:58:11 +0000 | notzmv | (~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds) |
| 2021-05-17 18:58:31 +0000 | <cdsmith> | I've thought about similar things in the past. My thoughts were more ambitious: I wanted to be able to select an arbitrary subexpression anywhere in a file and get its value. And I wanted to turn captured variables into implicit lambdas. I've tried to advocate for something like this using a GHC plugin in the past. It's been mostly dismissed by anyone I discussed it with. |
| 2021-05-17 18:58:32 +0000 | chris__ | (~chris@81.96.113.213) |
| 2021-05-17 18:59:29 +0000 | <geekosaur> | tbh it sounds more like the province of haskell-language-server these days |
| 2021-05-17 18:59:30 +0000 | stree | (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 2021-05-17 19:00:00 +0000 | <geekosaur> | having ghc do it would be conflating compile time with run time |
| 2021-05-17 19:00:07 +0000 | <cdsmith> | Yeah, it would definitely fit in well there. I was looking for it for CodeWorld, which is another Haskell development environment |
| 2021-05-17 19:00:17 +0000 | michalz | (~user@185.246.204.59) (Ping timeout: 246 seconds) |
| 2021-05-17 19:00:57 +0000 | <cdsmith> | I'm not sure HLS could do something like that without some help from GHC |
| 2021-05-17 19:01:48 +0000 | <geekosaur> | hm. I think the emacs mode can already send an arbitrary selected expression to an inferior ghci to be evaluated, with some limitations |
| 2021-05-17 19:02:19 +0000 | chris__ | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-05-17 19:03:00 +0000 | chris__ | (~chris@81.96.113.213) |
| 2021-05-17 19:03:03 +0000 | <cdsmith> | Ah, yes. There's a subtle difference, though, between "what does the text of this selection evaluate to as a top-level expression?" and "what does this subexpression evaluate to in context?" The first is a rather rough approximation of the second |
| 2021-05-17 19:04:18 +0000 | Jesin | (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) |
| 2021-05-17 19:05:28 +0000 | ystael | (~ystael@117.sub-174-242-64.myvzw.com) |
| 2021-05-17 19:05:35 +0000 | gekh | (~gkh@thor.kevinhill.nl) |
| 2021-05-17 19:05:58 +0000 | <cdsmith> | This discussion about accessing let-bound definitions is a perfect example of the limitations of the first approach by itself |
| 2021-05-17 19:07:11 +0000 | <dolio> | Some subexpressions aren't going to have any well defined value according to the normal mode of evaluation that GHC/Haskell uses. |
| 2021-05-17 19:07:11 +0000 | chris__ | (~chris@81.96.113.213) (Ping timeout: 240 seconds) |
| 2021-05-17 19:07:39 +0000 | nyd | (~nyd@unaffiliated/elysian) (Quit: nyd) |
| 2021-05-17 19:08:26 +0000 | aez | (~user@cpc121174-oxfd28-2-0-cust220.4-3.cable.virginm.net) |
| 2021-05-17 19:09:04 +0000 | xenon- | (~bc817c21@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout)) |
| 2021-05-17 19:09:11 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-17 19:09:33 +0000 | <cdsmith> | dolio: I'm curious what you mean here. Example? |
| 2021-05-17 19:10:20 +0000 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-17 19:11:50 +0000 | <dolio> | f x = ... where y = 2 + 3 + x |
| 2021-05-17 19:11:55 +0000 | _noblegas | (uid91066@gateway/web/irccloud.com/x-ckbdfvkxrkaybdcu) |
| 2021-05-17 19:12:12 +0000 | <dolio> | `2 + 3 + x` has no well defined value. |
| 2021-05-17 19:12:25 +0000 | stree | (~stree@68.36.8.116) |
| 2021-05-17 19:12:27 +0000 | <dolio> | None of GHC's runtimes evaluate open terms. |
| 2021-05-17 19:13:28 +0000 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:48ba:635:8684:1c7d) |
| 2021-05-17 19:13:36 +0000 | vchlup | (~vchlup@nat.brnet.cz) (Read error: Connection reset by peer) |
| 2021-05-17 19:14:05 +0000 | vchlup | (~vchlup@nat.brnet.cz) |
| 2021-05-17 19:14:15 +0000 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 19:14:20 +0000 | <cdsmith> | Sure. Free variables would need to be lifted into something like lambdas. |
| 2021-05-17 19:15:27 +0000 | Deide | (~Deide@217.155.19.23) |
| 2021-05-17 19:18:41 +0000 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-17 19:21:34 +0000 | frozenErebus | (~frozenEre@94.129.65.28) |
| 2021-05-17 19:23:25 +0000 | aez | (~user@cpc121174-oxfd28-2-0-cust220.4-3.cable.virginm.net) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2021-05-17 19:23:26 +0000 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-05-17 19:26:41 +0000 | oxide | (~lambda@unaffiliated/mclaren) (Ping timeout: 240 seconds) |
| 2021-05-17 19:28:38 +0000 | kuribas | (~user@ptr-25vy0i7nzwn8pwwmwkq.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2021-05-17 19:29:00 +0000 | oxide | (~lambda@unaffiliated/mclaren) |
| 2021-05-17 19:30:10 +0000 | TK__ | (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) (Remote host closed the connection) |
| 2021-05-17 19:30:55 +0000 | qwerty2o | (~qwerty2o@46-116-99-209.bb.netvision.net.il) (Ping timeout: 265 seconds) |
| 2021-05-17 19:31:05 +0000 | qwerty2o | (~qwerty2o@46-116-99-209.bb.netvision.net.il) |
| 2021-05-17 19:32:37 +0000 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 2021-05-17 19:37:40 +0000 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2021-05-17 19:40:13 +0000 | parabolize | (~paraboliz@98.43.173.221) (Ping timeout: 240 seconds) |
| 2021-05-17 19:40:36 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-17 19:41:11 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) (Quit: Connection closed) |
| 2021-05-17 19:41:32 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-17 19:42:08 +0000 | parabolize | (~paraboliz@98.43.173.221) |
| 2021-05-17 19:42:22 +0000 | aezarebski | (~user@cpc121174-oxfd28-2-0-cust220.4-3.cable.virginm.net) |
| 2021-05-17 19:43:04 +0000 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 2021-05-17 19:44:05 +0000 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-05-17 19:45:52 +0000 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-05-17 19:47:05 +0000 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 19:47:19 +0000 | hypercube | (~hypercube@2603-6011-f901-9e5b-78b5-8b2f-cdb2-4171.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-05-17 19:49:31 +0000 | frozenErebus | (~frozenEre@94.129.65.28) (Ping timeout: 268 seconds) |
| 2021-05-17 19:50:12 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-17 19:51:44 +0000 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-05-17 19:52:28 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-17 19:56:03 +0000 | ystael | (~ystael@117.sub-174-242-64.myvzw.com) (Read error: Connection reset by peer) |
| 2021-05-17 20:01:00 +0000 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-05-17 20:06:28 +0000 | Guest6574 | (~alexander@athedsl-351794.home.otenet.gr) (Ping timeout: 252 seconds) |
| 2021-05-17 20:08:01 +0000 | m_shiraeeshi | (~shiraeesh@109.166.58.146) |
| 2021-05-17 20:09:06 +0000 | shiraeeshi | (~shiraeesh@46.34.206.196) (Ping timeout: 240 seconds) |
| 2021-05-17 20:09:24 +0000 | aezarebski | (~user@cpc121174-oxfd28-2-0-cust220.4-3.cable.virginm.net) (Remote host closed the connection) |
| 2021-05-17 20:09:47 +0000 | son0p | (~ff@181.136.122.143) |
| 2021-05-17 20:09:53 +0000 | benin | (~benin@183.82.177.199) |
| 2021-05-17 20:12:05 +0000 | <dminuoso> | dolio: What is an open term? A term free variables? |
| 2021-05-17 20:13:01 +0000 | mrchampion | (~mrchampio@206.186.171.254) (Ping timeout: 260 seconds) |
| 2021-05-17 20:13:08 +0000 | <dolio> | Yes. |
| 2021-05-17 20:13:52 +0000 | cfricke | (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
| 2021-05-17 20:17:21 +0000 | howdoi | (uid224@gateway/web/irccloud.com/x-uqafdsjabmkfwjxh) |
| 2021-05-17 20:18:41 +0000 | sheepduck | (~sheepduck@2607:fea8:2a60:b700::7a37) |
| 2021-05-17 20:19:28 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-17 20:20:55 +0000 | ddellac__ | (~ddellacos@83.143.246.105) |
| 2021-05-17 20:22:31 +0000 | kritzefitz | (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-05-17 20:23:44 +0000 | knupfer | (~Thunderbi@200116b822d01a00f69634fffef0b45f.dip.versatel-1u1.de) (Ping timeout: 245 seconds) |
| 2021-05-17 20:23:53 +0000 | qwerty2o | (~qwerty2o@46-116-99-209.bb.netvision.net.il) (Ping timeout: 240 seconds) |
| 2021-05-17 20:24:37 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-17 20:25:20 +0000 | ddellac__ | (~ddellacos@83.143.246.105) (Ping timeout: 246 seconds) |
| 2021-05-17 20:26:57 +0000 | mrchampion | (~mrchampio@216-211-58-186.dynamic.tbaytel.net) |
| 2021-05-17 20:27:41 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-17 20:29:15 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-17 20:30:35 +0000 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-05-17 20:33:51 +0000 | Qwerky | (~qwerky@178.197.228.14) |
| 2021-05-17 20:33:55 +0000 | newdeal | (~root@185.234.208.208.r.toneticgroup.pl) (Quit: leaving) |
| 2021-05-17 20:34:38 +0000 | systemfault | (sid267009@gateway/web/irccloud.com/x-weqjiwsrsizmsttb) (Ping timeout: 258 seconds) |
| 2021-05-17 20:34:59 +0000 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 245 seconds) |
| 2021-05-17 20:36:46 +0000 | systemfault | (sid267009@gateway/web/irccloud.com/x-uknwvujxcebwgwqn) |
| 2021-05-17 20:39:15 +0000 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-17 20:39:15 +0000 | ozzymcdu_ | (~ozzymcduf@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-17 20:40:17 +0000 | juuandyy | (~juuandyy@90.106.228.121) (Quit: Konversation terminated!) |
| 2021-05-17 20:42:41 +0000 | lightandlight | (sid135476@gateway/web/irccloud.com/x-gwfowomroynsvzco) (Ping timeout: 258 seconds) |
| 2021-05-17 20:45:32 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-05-17 20:45:47 +0000 | lightandlight | (sid135476@gateway/web/irccloud.com/x-bfsnftkxiaeedtid) |
| 2021-05-17 20:47:00 +0000 | DavidEichmann | (~david@156.59.147.147.dyn.plus.net) (Remote host closed the connection) |
| 2021-05-17 20:48:32 +0000 | wootz | (~wooty@24.133.124.248) (Quit: WeeChat 1.4) |
| 2021-05-17 20:48:54 +0000 | acidjnk_new | (~acidjnk@p200300d0c72b955231b1979c10e605d9.dip0.t-ipconnect.de) |
| 2021-05-17 20:48:59 +0000 | falafel | (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2021-05-17 20:49:57 +0000 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 2021-05-17 20:50:33 +0000 | enoq | (~textual@194-208-146-143.lampert.tv) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-17 20:55:51 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-05-17 20:55:52 +0000 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 20:58:47 +0000 | Qwerky | (~qwerky@178.197.228.14) (Remote host closed the connection) |
| 2021-05-17 20:59:36 +0000 | frozenErebus | (~frozenEre@94.129.65.28) |
| 2021-05-17 20:59:58 +0000 | Qwerky | (~qwerky@178.197.228.14) |
| 2021-05-17 21:00:06 +0000 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-17 21:00:08 +0000 | notzmv | (~zmv@unaffiliated/zmv) |
| 2021-05-17 21:00:43 +0000 | moth1 | (~moth@37.120.211.190) (Remote host closed the connection) |
| 2021-05-17 21:01:30 +0000 | jao | (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection) |
| 2021-05-17 21:02:24 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:5d48:8adb:4f7a:141b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-17 21:03:36 +0000 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 2021-05-17 21:04:12 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:5d48:8adb:4f7a:141b) |
| 2021-05-17 21:04:35 +0000 | stree | (~stree@68.36.8.116) (Quit: Caught exception) |
| 2021-05-17 21:05:01 +0000 | stree | (~stree@68.36.8.116) |
| 2021-05-17 21:05:34 +0000 | usr25 | (~usr25@unaffiliated/usr25) |
| 2021-05-17 21:06:56 +0000 | cfricke | (~cfricke@unaffiliated/cfricke) |
| 2021-05-17 21:07:18 +0000 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-17 21:08:19 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:5d48:8adb:4f7a:141b) (Ping timeout: 245 seconds) |
| 2021-05-17 21:09:44 +0000 | falafel | (~falafel@cpe-70-93-65-166.natsow.res.rr.com) |
| 2021-05-17 21:09:59 +0000 | sheepduck | (~sheepduck@2607:fea8:2a60:b700::7a37) (Ping timeout: 245 seconds) |
| 2021-05-17 21:10:37 +0000 | N4lt | (~N4lt@modemcable159.116-21-96.mc.videotron.ca) (Ping timeout: 252 seconds) |
| 2021-05-17 21:12:04 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-17 21:15:12 +0000 | viluon | (uid453725@gateway/web/irccloud.com/x-zdmcjlqqmfcybklj) (Quit: Connection closed for inactivity) |
| 2021-05-17 21:16:32 +0000 | biglama | (~alex@static-176-165-167-17.ftth.abo.bbox.fr) (Remote host closed the connection) |
| 2021-05-17 21:17:04 +0000 | paultag1 | (~paultag@185.204.1.185) |
| 2021-05-17 21:20:50 +0000 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-17 21:21:07 +0000 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-05-17 21:23:36 +0000 | bitmagie | (~Thunderbi@200116b80619af0038b023e60a9f8697.dip.versatel-1u1.de) |
| 2021-05-17 21:27:05 +0000 | bitmagie | (~Thunderbi@200116b80619af0038b023e60a9f8697.dip.versatel-1u1.de) (Client Quit) |
| 2021-05-17 21:28:06 +0000 | hpc | (~juzz@ip98-169-35-13.dc.dc.cox.net) (Read error: Connection reset by peer) |
| 2021-05-17 21:29:08 +0000 | Pickchea | (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-05-17 21:29:46 +0000 | malumore_ | (~malumore@151.62.127.105) (Ping timeout: 240 seconds) |
| 2021-05-17 21:31:52 +0000 | ddellac__ | (~ddellacos@86.106.143.191) |
| 2021-05-17 21:33:38 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-05-17 21:34:32 +0000 | mounty | (~mounty@236.216.214.218.sta.wbroadband.net.au) |
| 2021-05-17 21:35:40 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-17 21:36:16 +0000 | ddellac__ | (~ddellacos@86.106.143.191) (Ping timeout: 252 seconds) |
| 2021-05-17 21:37:12 +0000 | aezarebski | (~user@cpc121174-oxfd28-2-0-cust220.4-3.cable.virginm.net) |
| 2021-05-17 21:39:07 +0000 | ystael | (~ystael@209.6.50.55) |
| 2021-05-17 21:39:19 +0000 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 2021-05-17 21:40:39 +0000 | Jrdan | (~Jrdan@modemcable159.116-21-96.mc.videotron.ca) |
| 2021-05-17 21:43:45 +0000 | m_shiraeeshi | (~shiraeesh@109.166.58.146) (Remote host closed the connection) |
| 2021-05-17 21:44:13 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-17 21:45:22 +0000 | _noblegas | (uid91066@gateway/web/irccloud.com/x-ckbdfvkxrkaybdcu) (Quit: Connection closed for inactivity) |
| 2021-05-17 21:51:57 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-17 21:52:17 +0000 | pavonia | (~user@unaffiliated/siracusa) |
| 2021-05-17 21:52:39 +0000 | seanparsons | (~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2021-05-17 21:53:23 +0000 | Qwerky | (~qwerky@178.197.228.14) (Remote host closed the connection) |
| 2021-05-17 21:53:54 +0000 | fendor | (~fendor@178.165.129.230.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-05-17 21:55:56 +0000 | seanparsons | (~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net) |
| 2021-05-17 21:56:07 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-17 21:59:27 +0000 | refried_ | (9a1d83d6@154.29.131.214) |
| 2021-05-17 22:00:06 +0000 | <refried_> | Hi there... is there a way I can register an IO action to be run on process exit? |
| 2021-05-17 22:00:17 +0000 | <refried_> | googling and hoogling hasn't gotten me anywhere |
| 2021-05-17 22:00:29 +0000 | ericsagn1 | (~ericsagne@2405:6580:0:5100:bb87:2466:bc3c:d7f9) (Ping timeout: 250 seconds) |
| 2021-05-17 22:02:26 +0000 | thc202 | (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 2021-05-17 22:02:47 +0000 | <boxscape> | refried_ depending on your situation you might be able to use forkFinally to achieve something similar? |
| 2021-05-17 22:03:03 +0000 | <monochrom> | I wouldn't think "register hook". I would think "try ... finally", in which case there is "finally" in Control.Exception |
| 2021-05-17 22:03:39 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:5d48:8adb:4f7a:141b) |
| 2021-05-17 22:03:46 +0000 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 22:03:55 +0000 | <refried_> | boxscape thanks i'll check it out. monochrom this is for debugging so don't want to change much with the application |
| 2021-05-17 22:04:10 +0000 | <monochrom> | Then again, given "finally", you can now code up your own registry. |
| 2021-05-17 22:05:51 +0000 | <refried_> | monochrom hmm I see |
| 2021-05-17 22:07:19 +0000 | aezarebski | (~user@cpc121174-oxfd28-2-0-cust220.4-3.cable.virginm.net) (Remote host closed the connection) |
| 2021-05-17 22:07:57 +0000 | wroathe | (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) |
| 2021-05-17 22:08:01 +0000 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-17 22:08:36 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-17 22:09:59 +0000 | cfricke | (~cfricke@unaffiliated/cfricke) (Ping timeout: 245 seconds) |
| 2021-05-17 22:10:24 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:5d48:8adb:4f7a:141b) (Ping timeout: 245 seconds) |
| 2021-05-17 22:10:59 +0000 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-17 22:11:21 +0000 | falafel | (~falafel@cpe-70-93-65-166.natsow.res.rr.com) (Ping timeout: 268 seconds) |
| 2021-05-17 22:11:35 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-17 22:11:46 +0000 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-17 22:12:20 +0000 | ericsagn1 | (~ericsagne@2405:6580:0:5100:a66b:b5fe:8945:845c) |
| 2021-05-17 22:14:01 +0000 | LKoen | (~LKoen@2a01cb0407597a00ad8da624e122913c.ipv6.abo.wanadoo.fr) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-05-17 22:14:11 +0000 | chele | (~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2021-05-17 22:14:39 +0000 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:48ba:635:8684:1c7d) (Quit: Leaving) |
| 2021-05-17 22:15:10 +0000 | falafel | (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) |
| 2021-05-17 22:16:13 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2021-05-17 22:17:50 +0000 | patlv_ | (~patlv@unaffiliated/patlv) |
| 2021-05-17 22:19:02 +0000 | refried_ | (9a1d83d6@154.29.131.214) (Ping timeout: 240 seconds) |
| 2021-05-17 22:19:33 +0000 | falafel | (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2021-05-17 22:21:13 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-17 22:23:00 +0000 | mikoto-c1 | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-17 22:23:34 +0000 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 2021-05-17 22:27:08 +0000 | Benzi-Junior | (~BenziJuni@88-149-64-251.du.xdsl.is) (Ping timeout: 246 seconds) |
| 2021-05-17 22:30:34 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-17 22:32:33 +0000 | tsaka__ | (~torstein@178-147-206-209.haap.dm.cosmote.net) |
| 2021-05-17 22:32:59 +0000 | todda7 | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds) |
| 2021-05-17 22:34:40 +0000 | __monty__ | (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-05-17 22:37:22 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 22:37:43 +0000 | bone-baboon | (bone-baboo@gateway/vpn/privateinternetaccess/bone-baboon) ("Using Circe, the loveliest of all IRC clients") |
| 2021-05-17 22:41:29 +0000 | jao | (~jao@pdpc/supporter/professional/jao) |
| 2021-05-17 22:41:35 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-17 22:41:50 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-05-17 22:42:33 +0000 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-05-17 22:42:46 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-17 22:47:11 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-17 22:50:05 +0000 | nicholasbulka | (~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2021-05-17 22:50:46 +0000 | nicholasbulka | (~nicholasb@2601:900:4301:da0:189f:ecee:d0e0:93ba) |
| 2021-05-17 22:52:08 +0000 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-05-17 22:52:12 +0000 | sm2n | (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-97.dsl.bell.ca) |
| 2021-05-17 22:52:32 +0000 | CrazyPython | (~crazypyth@206.214.238.6) |
| 2021-05-17 22:52:36 +0000 | vnz | (~vnz@unaffiliated/vnz) (Write error: Connection reset by peer) |
| 2021-05-17 22:53:18 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-05-17 22:54:34 +0000 | vnz | (~vnz@51.15.143.225) |
| 2021-05-17 22:54:35 +0000 | vnz | (~vnz@51.15.143.225) (Changing host) |
| 2021-05-17 22:54:35 +0000 | vnz | (~vnz@unaffiliated/vnz) |
| 2021-05-17 22:55:05 +0000 | nicholasbulka | (~nicholasb@2601:900:4301:da0:189f:ecee:d0e0:93ba) (Ping timeout: 250 seconds) |
| 2021-05-17 22:55:11 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-17 22:56:22 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 268 seconds) |
| 2021-05-17 22:56:58 +0000 | Guest1564 | (~textual@mskresolve-a.mskcc.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-17 22:59:13 +0000 | guest517` | (~user@49.5.6.87) (Read error: Connection reset by peer) |
| 2021-05-17 23:00:01 +0000 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-17 23:00:18 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-17 23:03:01 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-17 23:06:00 +0000 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2021-05-17 23:06:39 +0000 | patlv_ | (~patlv@unaffiliated/patlv) (Ping timeout: 245 seconds) |
| 2021-05-17 23:10:58 +0000 | ddellacosta | (~ddellacos@86.106.143.48) |
| 2021-05-17 23:11:10 +0000 | Alleria | (~textual@2603-7000-3040-0000-ac44-24c4-f597-ec96.res6.spectrum.com) |
| 2021-05-17 23:11:33 +0000 | Alleria | Guest49769 |
| 2021-05-17 23:12:39 +0000 | st8less | (~st8less@2603:a060:11fd:0:475f:7ec2:20c6:ac2c) (Ping timeout: 260 seconds) |
| 2021-05-17 23:13:01 +0000 | veverak | (~veverak@ip-89-102-98-161.net.upcbroadband.cz) (Ping timeout: 268 seconds) |
| 2021-05-17 23:13:09 +0000 | stree | (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-05-17 23:14:22 +0000 | st8less | (~st8less@inet-167-224-197-181.isp.ozarksgo.net) |
| 2021-05-17 23:15:11 +0000 | ddellacosta | (~ddellacos@86.106.143.48) (Ping timeout: 240 seconds) |
| 2021-05-17 23:15:24 +0000 | Guest49769 | (~textual@2603-7000-3040-0000-ac44-24c4-f597-ec96.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 2021-05-17 23:15:24 +0000 | veverak | (~veverak@ip-89-102-98-161.net.upcbroadband.cz) |
| 2021-05-17 23:16:26 +0000 | frozenErebus | (~frozenEre@94.129.65.28) (Ping timeout: 240 seconds) |
| 2021-05-17 23:23:41 +0000 | wroathe | (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-17 23:23:46 +0000 | urdh | (~urdh@unaffiliated/urdh) (Ping timeout: 240 seconds) |
| 2021-05-17 23:24:04 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-17 23:25:52 +0000 | stree | (~stree@68.36.8.116) |
| 2021-05-17 23:29:03 +0000 | usr25 | (~usr25@unaffiliated/usr25) (Ping timeout: 268 seconds) |
| 2021-05-17 23:29:56 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-17 23:31:06 +0000 | ozataman | (~ozataman@71.190.112.58) |
| 2021-05-17 23:32:07 +0000 | Evilmagix | (2be74510@43.231.69.16) |
| 2021-05-17 23:32:25 +0000 | a6a45081-2b83 | (~aditya@171.76.17.86) |
| 2021-05-17 23:32:25 +0000 | a6a45081-2b83 | (~aditya@171.76.17.86) (Client Quit) |
| 2021-05-17 23:33:11 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-17 23:36:36 +0000 | <Evilmagix> | I have started reading Bird's "Pearls of functional algorithm design" and in the first chapter he seems to state that us \\ vs is O(n) rather than what I assume is O(n^2). Hackage doesnt have anything on the time complexity of (\\), does anyone know if he is right? Only the left list is sorted in his example but I cant imagine the (\\) uses |
| 2021-05-17 23:36:37 +0000 | <Evilmagix> | indexing. |
| 2021-05-17 23:37:09 +0000 | mikoto-c1 | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 2021-05-17 23:37:36 +0000 | xcmw | (~textual@2603-6011-2200-f103-1907-5406-5646-5d03.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-17 23:37:39 +0000 | mikoto-c1 | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-17 23:37:41 +0000 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 268 seconds) |
| 2021-05-17 23:37:41 +0000 | urdh | (~urdh@unaffiliated/urdh) |
| 2021-05-17 23:38:13 +0000 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2021-05-17 23:41:02 +0000 | <monochrom> | head (us \\ vs) ≠ us \\ vs |
| 2021-05-17 23:41:27 +0000 | acidjnk_new | (~acidjnk@p200300d0c72b955231b1979c10e605d9.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-05-17 23:42:26 +0000 | ozataman | (~ozataman@71.190.112.58) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-05-17 23:43:38 +0000 | Alleria | (~textual@2603-7000-3040-0000-ac44-24c4-f597-ec96.res6.spectrum.com) |
| 2021-05-17 23:44:01 +0000 | Alleria | Guest11746 |
| 2021-05-17 23:44:10 +0000 | argento | (~argent0@168.227.97.34) |
| 2021-05-17 23:44:37 +0000 | Deide | (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-05-17 23:46:14 +0000 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-05-17 23:47:57 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 23:51:12 +0000 | <mniip> | is \\ list subtraction? |
| 2021-05-17 23:51:19 +0000 | <mniip> | you can never know with bird's formalism |
| 2021-05-17 23:52:11 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-17 23:55:49 +0000 | Jrdan | (~Jrdan@modemcable159.116-21-96.mc.videotron.ca) (Ping timeout: 252 seconds) |
| 2021-05-17 23:56:33 +0000 | deviantfero | (~deviantfe@190.150.27.58) (Quit: WeeChat 3.1) |