2020-12-26 00:00:37 +0100 | coot | (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
2020-12-26 00:00:53 +0100 | philopsos | (~caecilius@gateway/tor-sasl/caecilius) (Remote host closed the connection) |
2020-12-26 00:02:03 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
2020-12-26 00:02:52 +0100 | o1lo01ol1o | (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) |
2020-12-26 00:03:36 +0100 | jneira | (5127adb4@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.173.180) (Ping timeout: 240 seconds) |
2020-12-26 00:04:04 +0100 | olligobber | (~olligobbe@unaffiliated/olligobber) |
2020-12-26 00:04:40 +0100 | dandart | (~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2) |
2020-12-26 00:04:44 +0100 | philopsos | (~caecilius@gateway/tor-sasl/caecilius) |
2020-12-26 00:05:31 +0100 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 256 seconds) |
2020-12-26 00:05:53 +0100 | philopsos | (~caecilius@gateway/tor-sasl/caecilius) (Remote host closed the connection) |
2020-12-26 00:06:48 +0100 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
2020-12-26 00:08:05 +0100 | <fuzzypixelz> | this is a really nice blog post: https://diego.codes/post/learning-monads/ |
2020-12-26 00:09:02 +0100 | Fractalis | (~Fractalis@2601:987:280:8d40:45d0:942f:6e60:692f) (Ping timeout: 264 seconds) |
2020-12-26 00:09:52 +0100 | philopsos | (~caecilius@gateway/tor-sasl/caecilius) |
2020-12-26 00:10:12 +0100 | __monty__ | (~toonn@unaffiliated/toonn) (Quit: leaving) |
2020-12-26 00:10:52 +0100 | philopsos | (~caecilius@gateway/tor-sasl/caecilius) (Remote host closed the connection) |
2020-12-26 00:11:11 +0100 | paintcan | (~user@cpe-69-206-241-99.nyc.res.rr.com) (Ping timeout: 256 seconds) |
2020-12-26 00:11:22 +0100 | <aldum> | another monadtutorial? :D |
2020-12-26 00:12:40 +0100 | <dsal> | fuzzypixelz: Your original question included: in a rather "concise" way ... preferably not a long book chapter |
2020-12-26 00:13:06 +0100 | <dsal> | Some shortcuts take much longer than the simple direct route. |
2020-12-26 00:13:10 +0100 | kori | (~kori@arrowheads/kori) (Ping timeout: 268 seconds) |
2020-12-26 00:13:37 +0100 | o1lo01ol1o | (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Remote host closed the connection) |
2020-12-26 00:14:52 +0100 | philopsos | (~caecilius@gateway/tor-sasl/caecilius) |
2020-12-26 00:15:11 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2020-12-26 00:15:31 +0100 | sgibber2018 | (~arch-gibb@208.85.237.137) (Quit: WeeChat 3.0) |
2020-12-26 00:15:49 +0100 | sand_dull | (~theuser@c-73-149-95-105.hsd1.ct.comcast.net) (Ping timeout: 264 seconds) |
2020-12-26 00:16:43 +0100 | xcmw | (~textual@2601:541:4404:bb5c:c568:d02b:e892:a15e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2020-12-26 00:17:23 +0100 | <fuzzypixelz> | dsal: What do you recommend I do? :) |
2020-12-26 00:18:43 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
2020-12-26 00:18:53 +0100 | xcmw | (~textual@2601:541:4404:bb5c:c568:d02b:e892:a15e) |
2020-12-26 00:19:29 +0100 | fendor | (~fendor@77.119.130.68.wireless.dyn.drei.com) (Remote host closed the connection) |
2020-12-26 00:19:36 +0100 | cheater | (~user@unaffiliated/cheater) (Ping timeout: 240 seconds) |
2020-12-26 00:19:44 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
2020-12-26 00:21:31 +0100 | <dsal> | I don't know. I learn by practice, mostly. I did like haskellbook.com for the pace. (some people hate it for the pace). But also had been writing a lot of code at the time. |
2020-12-26 00:21:46 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:71b2:cc28:f79:2771) |
2020-12-26 00:22:29 +0100 | <fuzzypixelz> | in this code, https://github.com/DiegoVicen/monadic-gcd/blob/master/src/MonadicGCD.hs I don't see how the log strings are passed around in each function call, isn't the "saveLog $ show ..." just discarded and then next monad is returned? |
2020-12-26 00:22:59 +0100 | <fuzzypixelz> | dsal: by pace you mean it's slow? |
2020-12-26 00:23:49 +0100 | <dsal> | It walks you through all the parts as if they didn't exist and you have to make them yourself, but by the time you get to a think, you've often needed it, so it basically names a thing that's been annoying you and shows you how to build it. |
2020-12-26 00:24:25 +0100 | <dsal> | I don't have *great* intuition for a lot of the things, but most of the magic went away with that book. |
2020-12-26 00:24:37 +0100 | xcmw | (~textual@2601:541:4404:bb5c:c568:d02b:e892:a15e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2020-12-26 00:25:14 +0100 | <int-e> | dsal: Note how >>= combines the logs of the first and second actions. |
2020-12-26 00:25:53 +0100 | <int-e> | @undo do saveLog something; call something else |
2020-12-26 00:25:53 +0100 | <lambdabot> | <unknown>.hs:1:38:Parse error: else |
2020-12-26 00:25:58 +0100 | <int-e> | oops |
2020-12-26 00:26:01 +0100 | <int-e> | @undo do saveLog something; call something |
2020-12-26 00:26:01 +0100 | <lambdabot> | saveLog something >> call something |
2020-12-26 00:26:24 +0100 | <fuzzypixelz> | int-e: but >> isn't the same this as >>=? |
2020-12-26 00:26:33 +0100 | <int-e> | and a >> b = a >>= \_ -> b |
2020-12-26 00:26:35 +0100 | <dsal> | :t (>>) |
2020-12-26 00:26:36 +0100 | cheater | (~user@unaffiliated/cheater) |
2020-12-26 00:26:37 +0100 | <lambdabot> | Monad m => m a -> m b -> m b |
2020-12-26 00:26:39 +0100 | <dsal> | :t (>>=) |
2020-12-26 00:26:40 +0100 | <lambdabot> | Monad m => m a -> (a -> m b) -> m b |
2020-12-26 00:26:44 +0100 | son0p | (~son0p@181.136.122.143) (Quit: leaving) |
2020-12-26 00:26:48 +0100 | <int-e> | it's implemented in terms of >>=. |
2020-12-26 00:27:00 +0100 | <fuzzypixelz> | oh! |
2020-12-26 00:27:26 +0100 | <fuzzypixelz> | I thought people just wrote that as a property |
2020-12-26 00:28:14 +0100 | dandart | (~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2) (Remote host closed the connection) |
2020-12-26 00:28:30 +0100 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
2020-12-26 00:28:35 +0100 | dandart | (~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2) |
2020-12-26 00:28:37 +0100 | <int-e> | fuzzypixelz: I lied. It is a property, and also the default implementation of >>. |
2020-12-26 00:28:47 +0100 | <ephemient> | well, a monad instance can override it to do something else (e.g. (>>) = (*>)) |
2020-12-26 00:28:58 +0100 | <ephemient> | but the default implementation is defined in terms of (>>=) |
2020-12-26 00:28:59 +0100 | <int-e> | but if you go out of your way you can write a lawless instance of Monad that violates this idea. |
2020-12-26 00:30:04 +0100 | <int-e> | It's worth noting that <*> treats the logs in the same way. |
2020-12-26 00:30:16 +0100 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 240 seconds) |
2020-12-26 00:30:36 +0100 | kori | (~kori@arrowheads/kori) |
2020-12-26 00:31:46 +0100 | jmchael | (~jmchael@81.174.205.210) (Ping timeout: 246 seconds) |
2020-12-26 00:31:57 +0100 | <fuzzypixelz> | int-e: alright only the value is discarded but the strings are added on, since >>= only binds the value, rereading the implementation for >>= makes sense |
2020-12-26 00:33:07 +0100 | <fuzzypixelz> | Cya! Love you! |
2020-12-26 00:33:31 +0100 | dandart | (~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2) (Ping timeout: 268 seconds) |
2020-12-26 00:33:59 +0100 | fuzzypixelz | (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) () |
2020-12-26 00:36:15 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2020-12-26 00:38:16 +0100 | bitmapper | (uid464869@gateway/web/irccloud.com/x-prsljozdtcilczmu) (Quit: Connection closed for inactivity) |
2020-12-26 00:38:38 +0100 | Lycurgus | (~niemand@cpe-45-46-137-210.buffalo.res.rr.com) |
2020-12-26 00:42:29 +0100 | acarrico | (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
2020-12-26 00:43:44 +0100 | jmchael | (~jmchael@81.174.205.210) |
2020-12-26 00:45:43 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
2020-12-26 00:47:01 +0100 | ransom_ | (~c4264035@8.47.12.52) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2020-12-26 00:47:42 +0100 | knupfer | (~Thunderbi@200116b8248ff600c4f4ca64117d4161.dip.versatel-1u1.de) (Ping timeout: 268 seconds) |
2020-12-26 00:51:23 +0100 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
2020-12-26 00:53:47 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2020-12-26 00:59:01 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
2020-12-26 01:03:43 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
2020-12-26 01:04:55 +0100 | sandy-claws | poggers |
2020-12-26 01:05:23 +0100 | viu | (~viu@186.77.204.40) |
2020-12-26 01:08:48 +0100 | viu | (~viu@186.77.204.40) (Client Quit) |
2020-12-26 01:11:30 +0100 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
2020-12-26 01:14:40 +0100 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
2020-12-26 01:15:43 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2020-12-26 01:19:56 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2020-12-26 01:20:35 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:71b2:cc28:f79:2771) (Remote host closed the connection) |
2020-12-26 01:21:12 +0100 | <Feuermagier> | what does <$> or <*> do? |
2020-12-26 01:21:43 +0100 | <koz_> | Feuermagier: <$> is fmap. |
2020-12-26 01:21:59 +0100 | <koz_> | To understand <*>, read the Typeclassopedia up to, and including, the Applicative section. |
2020-12-26 01:24:16 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
2020-12-26 01:25:20 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:71b2:cc28:f79:2771) |
2020-12-26 01:25:23 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2020-12-26 01:25:30 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
2020-12-26 01:25:53 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2020-12-26 01:26:14 +0100 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 260 seconds) |
2020-12-26 01:27:04 +0100 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Ping timeout: 246 seconds) |
2020-12-26 01:27:06 +0100 | kam1 | (~kam1@24.231.108.143) (Ping timeout: 256 seconds) |
2020-12-26 01:30:10 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-106.cust.tzulo.com) |
2020-12-26 01:31:31 +0100 | ransom_ | (~c4264035@8.47.12.52) |
2020-12-26 01:33:50 +0100 | Entertainment | (~entertain@104.246.132.210) (Ping timeout: 256 seconds) |
2020-12-26 01:33:58 +0100 | p8m_ | (p8m@gateway/vpn/protonvpn/p8m) |
2020-12-26 01:34:28 +0100 | p8m | (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 256 seconds) |
2020-12-26 01:39:03 +0100 | <glguy> | Generically all one knows about what <$> or <*> is that they satisfy a few laws |
2020-12-26 01:39:20 +0100 | <glguy> | And what type they have |
2020-12-26 01:40:56 +0100 | dandart | (~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2) |
2020-12-26 01:41:20 +0100 | matryoshka | (~matryoshk@184.75.223.227) (Quit: ZNC 1.8.2 - https://znc.in) |
2020-12-26 01:41:42 +0100 | aarvar | (~foewfoiew@2601:602:a080:fa0:ac47:8893:80c1:4f6c) (Ping timeout: 260 seconds) |
2020-12-26 01:42:26 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2020-12-26 01:42:39 +0100 | machinedgod | (~machinedg@24.105.81.50) |
2020-12-26 01:43:02 +0100 | matryoshka | (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
2020-12-26 01:44:03 +0100 | sand_dull | (~theuser@c-73-149-95-105.hsd1.ct.comcast.net) |
2020-12-26 01:45:20 +0100 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
2020-12-26 01:47:14 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
2020-12-26 01:48:58 +0100 | chang | (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) |
2020-12-26 01:49:47 +0100 | fcortesi | (~fcortesi@78-66-245-190.fibertel.com.ar) (Quit: Lost terminal) |
2020-12-26 01:49:47 +0100 | hiroaki_ | (~hiroaki@ip4d16fa3b.dynamic.kabel-deutschland.de) |
2020-12-26 01:49:52 +0100 | GuerrillaMonkey | (~Jeanne-Ka@static-198-54-134-106.cust.tzulo.com) |
2020-12-26 01:49:59 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-106.cust.tzulo.com) (Read error: Connection reset by peer) |
2020-12-26 01:51:49 +0100 | jmchael | (~jmchael@81.174.205.210) (Ping timeout: 264 seconds) |
2020-12-26 01:51:54 +0100 | hiroaki | (~hiroaki@ip4d168e73.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
2020-12-26 01:52:03 +0100 | fcortesi | (~fcortesi@78-66-245-190.fibertel.com.ar) |
2020-12-26 01:52:05 +0100 | o1lo01ol1o | (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) |
2020-12-26 01:54:34 +0100 | olligobber | (~olligobbe@unaffiliated/olligobber) (Remote host closed the connection) |
2020-12-26 01:55:08 +0100 | <xsperry> | Feuermagier, here's an example of how to use it with maybe applicative: |
2020-12-26 01:55:14 +0100 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
2020-12-26 01:55:22 +0100 | aarvar | (~foewfoiew@2601:602:a080:fa0:25f9:d0f9:fdbf:5fdc) |
2020-12-26 01:55:24 +0100 | <xsperry> | > (+) <$> Just 10 <*> Just 20 |
2020-12-26 01:55:26 +0100 | <lambdabot> | Just 30 |
2020-12-26 01:55:31 +0100 | <xsperry> | > (+) <$> Just 10 <*> Nothing |
2020-12-26 01:55:33 +0100 | <lambdabot> | Nothing |
2020-12-26 01:55:59 +0100 | <Feuermagier> | interesting. thx |
2020-12-26 01:56:05 +0100 | dandart | (~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2) (Ping timeout: 272 seconds) |
2020-12-26 01:56:31 +0100 | <xsperry> | it works the same with IO, parsers, and every other applicative instances. and you can keep chaining function arguments with <*> |
2020-12-26 01:56:58 +0100 | <Vulfe> | <*> is often used in conjunction with <$> and functions with multiple inputs, because you can take something with type a -> b -> c, hit it with fmap to get f a -> (f b -> f c) and then <*> that output to get an f c |
2020-12-26 01:57:20 +0100 | <Vulfe> | (and so on with more inputs) |
2020-12-26 01:57:33 +0100 | o1lo01ol1o | (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 265 seconds) |
2020-12-26 01:57:46 +0100 | <Vulfe> | oops, I meant f (a -> b) in that line there |
2020-12-26 01:57:49 +0100 | p-core | (~Thunderbi@koleje-wifi-0045.koleje.cuni.cz) |
2020-12-26 02:00:00 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
2020-12-26 02:01:32 +0100 | nbloomf | (~nbloomf@2601:285:401:7490:d7f:b9c5:b06e:6a0b) |
2020-12-26 02:01:38 +0100 | chang | (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2020-12-26 02:01:54 +0100 | gioyik_ | (gioyik@gateway/vpn/privateinternetaccess/gioyik) |
2020-12-26 02:02:04 +0100 | cads2 | (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 246 seconds) |
2020-12-26 02:02:13 +0100 | acidjnk_new | (~acidjnk@p200300d0c704e768e5ab7a2f7255b0f1.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
2020-12-26 02:02:23 +0100 | cads | (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 265 seconds) |
2020-12-26 02:03:03 +0100 | Entertainment | (~entertain@104.246.132.210) |
2020-12-26 02:03:10 +0100 | xcmw | (~textual@2601:541:4404:bb5c:c568:d02b:e892:a15e) |
2020-12-26 02:04:17 +0100 | fcortesi | (~fcortesi@78-66-245-190.fibertel.com.ar) (Quit: Lost terminal) |
2020-12-26 02:04:55 +0100 | gioyik__ | (~gioyik@186.112.107.251) |
2020-12-26 02:05:14 +0100 | gioyik | (~gioyik@186.112.107.251) (Ping timeout: 256 seconds) |
2020-12-26 02:05:39 +0100 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
2020-12-26 02:07:42 +0100 | gioyik_ | (gioyik@gateway/vpn/privateinternetaccess/gioyik) (Ping timeout: 265 seconds) |
2020-12-26 02:08:00 +0100 | olligobber | (~olligobbe@unaffiliated/olligobber) |
2020-12-26 02:08:30 +0100 | fcortesi | (~fcortesi@78-66-245-190.fibertel.com.ar) |
2020-12-26 02:09:21 +0100 | dandart | (~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2) |
2020-12-26 02:10:15 +0100 | Mikagami | (~MOSCOS@122.54.107.175) (Remote host closed the connection) |
2020-12-26 02:10:40 +0100 | Mikagami | (~MOSCOS@122.54.107.175) |
2020-12-26 02:10:49 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 246 seconds) |
2020-12-26 02:12:16 +0100 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
2020-12-26 02:15:12 +0100 | solonarv | (~solonarv@astrasbourg-653-1-157-135.w90-6.abo.wanadoo.fr) (Ping timeout: 256 seconds) |
2020-12-26 02:16:15 +0100 | fcortesi | (~fcortesi@78-66-245-190.fibertel.com.ar) (Remote host closed the connection) |
2020-12-26 02:17:11 +0100 | Varis | (~Tadas@unaffiliated/varis) |
2020-12-26 02:17:16 +0100 | ddellacosta | (dd@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
2020-12-26 02:20:36 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Ping timeout: 240 seconds) |
2020-12-26 02:21:19 +0100 | bitmapper | (uid464869@gateway/web/irccloud.com/x-gokyrjifrpvajgow) |
2020-12-26 02:21:30 +0100 | hackage | wide-word 0.1.1.2 - Data types for large but fixed width signed and unsigned integers https://hackage.haskell.org/package/wide-word-0.1.1.2 (ErikDeCastroLopo) |
2020-12-26 02:22:04 +0100 | xcmw | (~textual@2601:541:4404:bb5c:c568:d02b:e892:a15e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2020-12-26 02:22:16 +0100 | Entertainment | (~entertain@104.246.132.210) () |
2020-12-26 02:22:31 +0100 | Entertainment | (~entertain@104.246.132.210) |
2020-12-26 02:24:54 +0100 | paintcan | (~user@cpe-69-206-241-99.nyc.res.rr.com) |
2020-12-26 02:24:58 +0100 | CMCDragonkai1 | (~Thunderbi@120.18.70.194) |
2020-12-26 02:26:38 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Remote host closed the connection) |
2020-12-26 02:27:28 +0100 | Vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) |
2020-12-26 02:27:30 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2020-12-26 02:28:18 +0100 | <ezzieyguywuf> | is there a way to view a packages `test-suite` depenedencies on hackage without having to click on `browse` and manually checking the cabal file? |
2020-12-26 02:28:47 +0100 | Lycurgus | (~niemand@cpe-45-46-137-210.buffalo.res.rr.com) (Quit: Exeunt) |
2020-12-26 02:29:07 +0100 | GuerrillaMonkey | (~Jeanne-Ka@static-198-54-134-106.cust.tzulo.com) (Quit: Leaving) |
2020-12-26 02:29:19 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-106.cust.tzulo.com) |
2020-12-26 02:31:18 +0100 | dandart | (~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2) (Ping timeout: 268 seconds) |
2020-12-26 02:32:09 +0100 | Vulfe | (~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 260 seconds) |
2020-12-26 02:32:36 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2020-12-26 02:34:53 +0100 | Fischmie1 | (~Fischmiep@149.224.60.139) |
2020-12-26 02:35:02 +0100 | kam1 | (~kam1@24.231.108.143) |
2020-12-26 02:37:56 +0100 | Fischmiep | (~Fischmiep@149.224.226.211) (Ping timeout: 256 seconds) |
2020-12-26 02:38:34 +0100 | nbloomf | (~nbloomf@2601:285:401:7490:d7f:b9c5:b06e:6a0b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2020-12-26 02:38:52 +0100 | poggers | jess |
2020-12-26 02:39:43 +0100 | <mniip> | I've been wondering for a while now |
2020-12-26 02:39:44 +0100 | dandart | (~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2) |
2020-12-26 02:39:57 +0100 | <mniip> | is there a pure functional analog of union-find |
2020-12-26 02:40:32 +0100 | ransom_ | (~c4264035@8.47.12.52) (Ping timeout: 272 seconds) |
2020-12-26 02:40:34 +0100 | <mniip> | is it possible to combine path-compressing reads with referential transparency |
2020-12-26 02:43:15 +0100 | <mniip> | if we consider "uf' = union a b uf", and we consider the question of uf persisting in memory as a part of uf' |
2020-12-26 02:43:22 +0100 | <mniip> | can we somehow mutate uf' whilst keeping uf valid |
2020-12-26 02:44:13 +0100 | dandart | (~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2) (Ping timeout: 272 seconds) |
2020-12-26 02:44:25 +0100 | columbarius | (~columbari@87.123.198.131) (Ping timeout: 240 seconds) |
2020-12-26 02:45:31 +0100 | <mniip> | I'm willing to go the route of dirty hacks to mutate "immutable" data as long as it can be proven consistent with RT modulo observable properties |
2020-12-26 02:46:09 +0100 | dandart | (~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2) |
2020-12-26 02:46:42 +0100 | columbarius | (~columbari@i5E86B32A.versanet.de) |
2020-12-26 02:49:00 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) |
2020-12-26 02:50:47 +0100 | dandart | (~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2) (Ping timeout: 260 seconds) |
2020-12-26 02:52:44 +0100 | wei2912 | (~wei2912@unaffiliated/wei2912) |
2020-12-26 02:52:59 +0100 | aarvar | (~foewfoiew@2601:602:a080:fa0:25f9:d0f9:fdbf:5fdc) () |
2020-12-26 02:54:59 +0100 | ddellacosta | (~dd@ool-44c73afa.dyn.optonline.net) |
2020-12-26 02:55:38 +0100 | <mniip> | hmm, if a root node has many children in uf, and in uf' that node is parented to some other node, we would have to create a new node for it in uf', and reparent all those nodes that were the children |
2020-12-26 02:56:02 +0100 | <mniip> | that ruins the asymptotics of insertion |
2020-12-26 02:57:41 +0100 | <koz_> | Is there such a thing as CoMaybe? |
2020-12-26 02:58:11 +0100 | <koz_> | (kinda how Store is CoState, and Traced is CoWriter) |
2020-12-26 02:59:19 +0100 | <mniip> | Maybe is a monad that comes from an adjunction Set <-> Set* |
2020-12-26 02:59:20 +0100 | matryoshka | (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Quit: ZNC 1.8.2 - https://znc.in) |
2020-12-26 02:59:25 +0100 | <mniip> | so CoMaybe would be an endofunctor on Set* |
2020-12-26 02:59:43 +0100 | matryoshka | (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
2020-12-26 03:00:00 +0100 | <koz_> | Set* is 'Set with one extra thing'? |
2020-12-26 03:00:05 +0100 | <koz_> | (very generally speaking) |
2020-12-26 03:00:14 +0100 | <mniip> | sets with specified basepoints |
2020-12-26 03:00:20 +0100 | <mniip> | and functions that preserve said basepoint |
2020-12-26 03:00:44 +0100 | <mniip> | you could also see it as a slice category 1/Set |
2020-12-26 03:01:02 +0100 | <koz_> | What would each of these look like as a Haskell data type (if it exists)? |
2020-12-26 03:01:29 +0100 | fengh | (~haskeller@ip72-205-40-121.dc.dc.cox.net) |
2020-12-26 03:01:42 +0100 | <mniip> | Set* is about as representable in haskell as Grp |
2020-12-26 03:01:48 +0100 | <mniip> | (not very) |
2020-12-26 03:03:04 +0100 | <koz_> | What about the slice category option? |
2020-12-26 03:03:12 +0100 | <mniip> | also not really |
2020-12-26 03:03:31 +0100 | <koz_> | So, in short, in theory yes, in practice, no. |
2020-12-26 03:03:34 +0100 | <koz_> | Oh well, thanks anyway. |
2020-12-26 03:03:49 +0100 | <mniip> | you could represent them easily in a dependently typed language |
2020-12-26 03:03:56 +0100 | al3x27 | (~plovs@85.254.74.40) (Ping timeout: 240 seconds) |
2020-12-26 03:04:04 +0100 | <koz_> | Which Haskell isn't, really. |
2020-12-26 03:04:30 +0100 | nbloomf | (~nbloomf@2601:285:401:7490:1cba:bcdf:ff5:37ee) |
2020-12-26 03:04:56 +0100 | <mniip> | oh actually maybe |
2020-12-26 03:05:05 +0100 | <koz_> | (dat pun) |
2020-12-26 03:05:35 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2020-12-26 03:05:43 +0100 | <mniip> | if you consider Category a-la kmett's hask package |
2020-12-26 03:05:46 +0100 | Entertainment | (~entertain@104.246.132.210) (Ping timeout: 246 seconds) |
2020-12-26 03:07:00 +0100 | <mniip> | class Pointed p where { type Unpoint p :: *; point :: Iso' p (Unpoint p) } |
2020-12-26 03:07:34 +0100 | ddellacosta | (~dd@ool-44c73afa.dyn.optonline.net) (Ping timeout: 256 seconds) |
2020-12-26 03:08:05 +0100 | <mniip> | data HaskStar a b = (Pointed a, Pointed b) => HaskStar (Unpoint a -> Unpoint b) |
2020-12-26 03:08:16 +0100 | <mniip> | instance Category HaskStar where type Ob = Pointed |
2020-12-26 03:08:28 +0100 | <mniip> | you can fill in the rest of the details |
2020-12-26 03:09:12 +0100 | ddellacosta | (dd@gateway/vpn/mullvad/ddellacosta) |
2020-12-26 03:09:33 +0100 | <mniip> | Maybe is a functor Hask -> HaskStar in the sense that `instance Pointed (Maybe a) where type Unpoint (Maybe a) = a` |
2020-12-26 03:10:14 +0100 | <mniip> | there is also a forgetful functor U :: HaskStar -> Hask, mapping `a` to Maybe (Unpoint a) |
2020-12-26 03:10:23 +0100 | cosimone | (~cosimone@93-47-228-249.ip115.fastwebnet.it) (Quit: cosimone) |
2020-12-26 03:10:57 +0100 | <mniip> | and `fmap (HaskStar f) = view (from point . to f . point)` |
2020-12-26 03:11:43 +0100 | <dolio> | Store and Traced aren't really even that similar as examples. |
2020-12-26 03:11:52 +0100 | <mniip> | "CoMaybe" would be a really boring comonad on Set* though |
2020-12-26 03:12:09 +0100 | <dolio> | So it doesn't seem like there's even a basis for coherently asking what "comaybe" is. |
2020-12-26 03:12:29 +0100 | <mniip> | I mean mathematically comaybe exists as a comonad on Set* |
2020-12-26 03:13:45 +0100 | frdg | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
2020-12-26 03:13:51 +0100 | <mniip> | oh no I got HaskStar wrong |
2020-12-26 03:14:05 +0100 | carthia | (~carthia@gateway/tor-sasl/carthia) (Quit: carthia) |
2020-12-26 03:15:26 +0100 | ericsagnes | (~ericsagne@2405:6580:0:5100:ab2d:498c:8056:226d) (Ping timeout: 258 seconds) |
2020-12-26 03:16:30 +0100 | t3xp4t | (~texinwien@213162073014.public.t-mobile.at) (Remote host closed the connection) |
2020-12-26 03:16:35 +0100 | DTZUZU | (~DTZUZU@205.ip-149-56-132.net) (Read error: Connection reset by peer) |
2020-12-26 03:17:18 +0100 | Entertainment | (~entertain@104.246.132.210) |
2020-12-26 03:19:25 +0100 | ddellacosta | (dd@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
2020-12-26 03:24:04 +0100 | <frdg> | how would you go about knowledge base programming with Haskell? I am having trouble thinking of how I would implement the concept of a fact. Being haskell it would have to be as a type, but then how do you query a haskell type? The question gets more complicated if I wanted to ask `give me the known Foo's that are constructed with a list of length 5`. Assuming we have a type `data Foo = Foo [Int]`. |
2020-12-26 03:24:45 +0100 | kam1 | (~kam1@24.231.108.143) (Read error: Connection reset by peer) |
2020-12-26 03:26:12 +0100 | kam1 | (~kam1@24.231.108.143) |
2020-12-26 03:26:32 +0100 | Kaiepi | (~Kaiepi@47.54.252.148) |
2020-12-26 03:27:41 +0100 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
2020-12-26 03:27:59 +0100 | ericsagnes | (~ericsagne@2405:6580:0:5100:49a8:1a11:c128:7983) |
2020-12-26 03:28:40 +0100 | nbloomf | (~nbloomf@2601:285:401:7490:1cba:bcdf:ff5:37ee) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2020-12-26 03:30:01 +0100 | Guess59061 | (4e01b525@unaffiliated/guess59061) (Remote host closed the connection) |
2020-12-26 03:30:33 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2020-12-26 03:33:02 +0100 | <mniip> | neat, I've managed to fix hask to compile under a modern ghc |
2020-12-26 03:33:34 +0100 | <exarkun> | frdg: Being Haskell, I don't see why it would have to be a type. |
2020-12-26 03:34:36 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
2020-12-26 03:35:31 +0100 | Entertainment | (~entertain@104.246.132.210) (Ping timeout: 246 seconds) |
2020-12-26 03:37:10 +0100 | toorevitimirp | (~tooreviti@117.182.181.108) |
2020-12-26 03:37:27 +0100 | <frdg> | exarkun: oh so you are saying it may make sense to not represent facts as haskell code at all and instead as just generic data? |
2020-12-26 03:39:41 +0100 | cads | (~cads@ip-64-72-99-232.lasvegas.net) |
2020-12-26 03:39:45 +0100 | cads2 | (~cads@ip-64-72-99-232.lasvegas.net) |
2020-12-26 03:39:49 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
2020-12-26 03:40:37 +0100 | <exarkun> | frdg: Yes |
2020-12-26 03:40:42 +0100 | o1lo01ol1o | (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) |
2020-12-26 03:41:42 +0100 | <frdg> | ok I was going down the wrong path I think |
2020-12-26 03:45:49 +0100 | o1lo01ol1o | (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 264 seconds) |
2020-12-26 03:52:24 +0100 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
2020-12-26 03:53:06 +0100 | xff0x_ | (~fox@2001:1a81:5288:9200:2cb2:2af5:f28c:397b) |
2020-12-26 03:56:12 +0100 | frdg | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.1)") |
2020-12-26 03:56:37 +0100 | xff0x | (~fox@port-92-195-52-121.dynamic.as20676.net) (Ping timeout: 264 seconds) |
2020-12-26 03:57:36 +0100 | CMCDragonkai1 | (~Thunderbi@120.18.70.194) (Ping timeout: 240 seconds) |
2020-12-26 03:57:40 +0100 | dandart | (~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2) |
2020-12-26 04:03:18 +0100 | locrian9 | (~mike@99-153-255-194.lightspeed.irvnca.sbcglobal.net) |
2020-12-26 04:04:30 +0100 | fengh | (~haskeller@ip72-205-40-121.dc.dc.cox.net) (Quit: WeeChat 3.0) |
2020-12-26 04:10:52 +0100 | theDon | (~td@94.134.91.122) (Ping timeout: 256 seconds) |
2020-12-26 04:11:17 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2020-12-26 04:11:27 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:71b2:cc28:f79:2771) (Remote host closed the connection) |
2020-12-26 04:12:24 +0100 | theDon | (~td@94.134.91.197) |
2020-12-26 04:16:11 +0100 | xirhtogal | (~lagothrix@unaffiliated/lagothrix) |
2020-12-26 04:16:11 +0100 | lagothrix | (~lagothrix@unaffiliated/lagothrix) (Killed (verne.freenode.net (Nickname regained by services))) |
2020-12-26 04:16:11 +0100 | xirhtogal | lagothrix |
2020-12-26 04:16:52 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
2020-12-26 04:19:40 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:71b2:cc28:f79:2771) |
2020-12-26 04:21:41 +0100 | Codaraxis | (Codaraxis@gateway/vpn/mullvad/codaraxis) |
2020-12-26 04:24:16 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-106.cust.tzulo.com) (Quit: Leaving) |
2020-12-26 04:24:24 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2020-12-26 04:25:40 +0100 | Codaraxis__ | (~Codaraxis@91.193.4.10) (Ping timeout: 272 seconds) |
2020-12-26 04:28:13 +0100 | Codaraxis_ | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
2020-12-26 04:28:16 +0100 | nbloomf | (~nbloomf@2601:285:401:7490:88ec:6c11:e462:5e94) |
2020-12-26 04:29:01 +0100 | Codaraxis | (Codaraxis@gateway/vpn/mullvad/codaraxis) (Ping timeout: 264 seconds) |
2020-12-26 04:29:37 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 264 seconds) |
2020-12-26 04:35:27 +0100 | benjamingr__ | (uid23465@gateway/web/irccloud.com/x-ddxcndlvmkcaysph) (Quit: Connection closed for inactivity) |
2020-12-26 04:39:03 +0100 | Codaraxis_ | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Quit: Leaving) |
2020-12-26 04:40:48 +0100 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:79fd:8fd5:a80e:11e2) (Ping timeout: 268 seconds) |
2020-12-26 04:46:53 +0100 | drbean | (~drbean@TC210-63-209-23.static.apol.com.tw) |
2020-12-26 04:50:23 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2020-12-26 04:54:13 +0100 | <koz_> | @pl \x -> f . g x |
2020-12-26 04:54:13 +0100 | <lambdabot> | (f .) . g |
2020-12-26 04:54:16 +0100 | <koz_> | Lol. |
2020-12-26 04:54:40 +0100 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 256 seconds) |
2020-12-26 04:59:18 +0100 | <maralorn> | I have a questionable idea: What about a haddocks dark-theme? |
2020-12-26 05:03:37 +0100 | <monochrom> | Film negative was dark theme before it was cool. :) |
2020-12-26 05:09:11 +0100 | kini | (~kini@unaffiliated/kini) (Remote host closed the connection) |
2020-12-26 05:18:40 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2020-12-26 05:18:46 +0100 | Sheilong | (uid293653@gateway/web/irccloud.com/x-bguusmbctpsytvun) () |
2020-12-26 05:20:30 +0100 | <_deepfire> | maralorn: ooh, absolutely.. |
2020-12-26 05:21:02 +0100 | <_deepfire> | a bunch less tabs to do CSS transformation on.. |
2020-12-26 05:21:02 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Remote host closed the connection) |
2020-12-26 05:22:06 +0100 | nick1234 | (~nick1234@2405:201:3000:f0c5:981a:6e33:f4ed:da8e) |
2020-12-26 05:22:35 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) |
2020-12-26 05:23:34 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds) |
2020-12-26 05:24:16 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2020-12-26 05:27:07 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Ping timeout: 260 seconds) |
2020-12-26 05:29:57 +0100 | locrian9 | (~mike@99-153-255-194.lightspeed.irvnca.sbcglobal.net) (Quit: leaving) |
2020-12-26 05:30:47 +0100 | kam1 | (~kam1@24.231.108.143) (Ping timeout: 272 seconds) |
2020-12-26 05:37:34 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) |
2020-12-26 05:38:46 +0100 | p8m_ | (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 268 seconds) |
2020-12-26 05:38:49 +0100 | p8m | (p8m@gateway/vpn/protonvpn/p8m) |
2020-12-26 05:41:00 +0100 | hackage | parochial 0.1.0.0 - Help Manage project specific documentation https://hackage.haskell.org/package/parochial-0.1.0.0 (filterfish) |
2020-12-26 05:43:23 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Remote host closed the connection) |
2020-12-26 05:43:59 +0100 | dax | (dax@bitbot/dax) (Quit: brb) |
2020-12-26 05:44:23 +0100 | dax | (dax@bitbot/dax) |
2020-12-26 05:45:08 +0100 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-39-70-27-244-102.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
2020-12-26 05:48:24 +0100 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-39-70-27-244-102.dsl.bell.ca) |
2020-12-26 05:53:26 +0100 | ddellacosta | (dd@gateway/vpn/mullvad/ddellacosta) |
2020-12-26 05:54:36 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving) |
2020-12-26 06:00:10 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2020-12-26 06:01:00 +0100 | chang | (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) |
2020-12-26 06:01:44 +0100 | nick1234 | (~nick1234@2405:201:3000:f0c5:981a:6e33:f4ed:da8e) (Quit: Leaving) |
2020-12-26 06:03:52 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) |
2020-12-26 06:04:56 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2020-12-26 06:05:05 +0100 | mrchampion | (~mrchampio@38.18.109.23) (Ping timeout: 240 seconds) |
2020-12-26 06:07:19 +0100 | kam1 | (~kam1@24.231.108.143) |
2020-12-26 06:07:36 +0100 | mrchampion | (~mrchampio@38.18.109.23) |
2020-12-26 06:08:47 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Ping timeout: 272 seconds) |
2020-12-26 06:11:56 +0100 | puffnfresh | (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Remote host closed the connection) |
2020-12-26 06:12:44 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2020-12-26 06:15:16 +0100 | puffnfresh | (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) |
2020-12-26 06:16:50 +0100 | cawfee | (chiya@2406:3003:2077:2341::babe) (Ping timeout: 264 seconds) |
2020-12-26 06:17:15 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds) |
2020-12-26 06:17:15 +0100 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
2020-12-26 06:17:21 +0100 | natechan | (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Quit: WeeChat 2.9) |
2020-12-26 06:17:24 +0100 | wwwww | (~wwwww@unaffiliated/wwwww) (Ping timeout: 256 seconds) |
2020-12-26 06:17:29 +0100 | Tario | (~Tario@201.192.165.173) |
2020-12-26 06:17:55 +0100 | chang | (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2020-12-26 06:18:56 +0100 | albion3 | (~albion3@51.194.80.91) (Ping timeout: 240 seconds) |
2020-12-26 06:21:16 +0100 | electricityZZZZ | (~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
2020-12-26 06:22:14 +0100 | cawfee | (chiya@2406:3003:2077:2341::babe) |
2020-12-26 06:23:19 +0100 | leothrix | (~leothrix@elastic/staff/leothrix) |
2020-12-26 06:24:02 +0100 | jamm | (~jamm@unaffiliated/jamm) |
2020-12-26 06:25:24 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) |
2020-12-26 06:29:57 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Ping timeout: 268 seconds) |
2020-12-26 06:31:30 +0100 | natechan | (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
2020-12-26 06:34:40 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2020-12-26 06:35:05 +0100 | Saukk | (~Saukk@2001:998:ec:954:1c59:9bb5:b94c:3) |
2020-12-26 06:37:15 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-90.cust.tzulo.com) |
2020-12-26 06:38:19 +0100 | edwinb | (sid69486@gateway/web/irccloud.com/x-ttfxxggsnhwcnlbe) (Ping timeout: 260 seconds) |
2020-12-26 06:38:25 +0100 | mpickering | (sid78412@gateway/web/irccloud.com/x-qzzyeuirciixjhoi) (Ping timeout: 240 seconds) |
2020-12-26 06:38:38 +0100 | edwinb | (sid69486@gateway/web/irccloud.com/x-vtbwkodqpgkvptre) |
2020-12-26 06:38:55 +0100 | mpickering | (sid78412@gateway/web/irccloud.com/x-dvjojogbwqwmlqqk) |
2020-12-26 06:45:27 +0100 | LaGoon_ | (~LaGoon@51.194.80.91) |
2020-12-26 06:46:12 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) |
2020-12-26 06:51:08 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Ping timeout: 260 seconds) |
2020-12-26 06:53:06 +0100 | Fractalis | (~Fractalis@2601:987:280:8d40:45d0:942f:6e60:692f) |
2020-12-26 07:01:31 +0100 | jamm | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
2020-12-26 07:02:22 +0100 | sand_dull | (~theuser@c-73-149-95-105.hsd1.ct.comcast.net) (Ping timeout: 246 seconds) |
2020-12-26 07:06:46 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2020-12-26 07:07:58 +0100 | vicfred | (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
2020-12-26 07:08:25 +0100 | jamm | (~jamm@unaffiliated/jamm) |
2020-12-26 07:09:13 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
2020-12-26 07:10:24 +0100 | infinity0 | (~infinity0@freenet/developer/infinity0) (Ping timeout: 260 seconds) |
2020-12-26 07:11:07 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
2020-12-26 07:13:02 +0100 | jamm | (~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds) |
2020-12-26 07:14:02 +0100 | plutoniix | (~q@184.82.194.117) |
2020-12-26 07:14:15 +0100 | dandart | (~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2) (Ping timeout: 258 seconds) |
2020-12-26 07:16:40 +0100 | o1lo01ol1o | (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) |
2020-12-26 07:18:49 +0100 | coot | (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) |
2020-12-26 07:21:08 +0100 | Fractalis | (~Fractalis@2601:987:280:8d40:45d0:942f:6e60:692f) (Ping timeout: 268 seconds) |
2020-12-26 07:21:35 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-90.cust.tzulo.com) (Quit: Leaving) |
2020-12-26 07:21:44 +0100 | o1lo01ol1o | (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 272 seconds) |
2020-12-26 07:24:21 +0100 | vicfred | (~vicfred@unaffiliated/vicfred) |
2020-12-26 07:27:41 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) |
2020-12-26 07:32:14 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Ping timeout: 268 seconds) |
2020-12-26 07:34:56 +0100 | Tario | (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
2020-12-26 07:35:27 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) |
2020-12-26 07:40:44 +0100 | ddellacosta | (dd@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 272 seconds) |
2020-12-26 07:41:40 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2020-12-26 07:46:26 +0100 | orzo | (joe@lasker.childrenofmay.org) (Ping timeout: 272 seconds) |
2020-12-26 07:46:46 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2020-12-26 07:49:56 +0100 | cheater | (~user@unaffiliated/cheater) (Ping timeout: 240 seconds) |
2020-12-26 07:53:11 +0100 | tom__ | (~tom@host86-182-43-65.range86-182.btcentralplus.com) (Remote host closed the connection) |
2020-12-26 08:00:09 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2020-12-26 08:01:25 +0100 | Saukk | (~Saukk@2001:998:ec:954:1c59:9bb5:b94c:3) (Remote host closed the connection) |
2020-12-26 08:02:36 +0100 | cheater | (~user@unaffiliated/cheater) |
2020-12-26 08:03:45 +0100 | Saukk | (~Saukk@2001:998:ec:954:1c59:9bb5:b94c:3) |
2020-12-26 08:05:30 +0100 | unfixpoint | (1f0a965a@31-10-150-90.cgn.dynamic.upc.ch) (Ping timeout: 245 seconds) |
2020-12-26 08:09:45 +0100 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 272 seconds) |
2020-12-26 08:11:05 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2020-12-26 08:13:00 +0100 | knupfer | (~Thunderbi@200116b824f7fc007cd505fffe7f45e1.dip.versatel-1u1.de) |
2020-12-26 08:13:00 +0100 | knupfer | (~Thunderbi@200116b824f7fc007cd505fffe7f45e1.dip.versatel-1u1.de) (Client Quit) |
2020-12-26 08:13:17 +0100 | knupfer | (~Thunderbi@87.123.206.19) |
2020-12-26 08:21:12 +0100 | Kronic | (~Kronic___@84.203.96.46) |
2020-12-26 08:22:45 +0100 | <Kronic> | Hey there all, I hope you are all having a good holiday season - I was wondering something: I am using HUnit to test an API wrapper I built, and I was wondering what would be the idiomatic way to test equality against a function that returns an IO Bool ? I need to provide an expected value, should I go import the IO constructor? Seems kinda wrong to me for some reason though, so... I thought I should come ask. |
2020-12-26 08:24:11 +0100 | <c_wraith> | what is it you actually intend to test? |
2020-12-26 08:24:50 +0100 | <Kronic> | Well, my API wrapper returns an Either result, so my idea was to just test on a failing case the result of isLeft |
2020-12-26 08:25:34 +0100 | <c_wraith> | So... you have an IO value that you wish to test the result of executing? |
2020-12-26 08:25:56 +0100 | cads2 | (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 240 seconds) |
2020-12-26 08:26:14 +0100 | <Kronic> | I have an Either value wrapped in an Either value, and I want to assert that the Either isLeft/isRight |
2020-12-26 08:26:22 +0100 | <Kronic> | wrapped in an IO Value* |
2020-12-26 08:26:26 +0100 | <Kronic> | Sorry, it's early here :D |
2020-12-26 08:26:37 +0100 | cads | (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 264 seconds) |
2020-12-26 08:27:26 +0100 | <Kronic> | I mean I guess I could pop it into a do block |
2020-12-26 08:27:36 +0100 | <c_wraith> | But to be very clear - you don't care if it's the same IO value as some other one, you care about the result of executing it? |
2020-12-26 08:29:42 +0100 | jedws | (~jedws@121.209.189.201) |
2020-12-26 08:30:13 +0100 | <Kronic> | Let me see, I'm not sure if I understand the question fully which makes me think I did a poor job of explaining. I have a function "runAPIRequest", it is of type APIRequestParams -> IO (Either ClientError APIResult) -- I want to evaluate this function with a default value that I know will fail (return a left value of type ClientError) and I want to assert that for my given case it's a ClientError |
2020-12-26 08:31:12 +0100 | <Kronic> | Hopefully I'm making sense here |
2020-12-26 08:31:15 +0100 | <c_wraith> | are you aware that Haskell makes evaluation and execution different things? |
2020-12-26 08:31:26 +0100 | <c_wraith> | functions are evaluated. IO values are executed. |
2020-12-26 08:31:32 +0100 | acowley | (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (Read error: Connection reset by peer) |
2020-12-26 08:31:37 +0100 | <c_wraith> | (more generally, expressions are evaluated) |
2020-12-26 08:31:37 +0100 | <Kronic> | Roughly yes, I know that much |
2020-12-26 08:31:53 +0100 | <Kronic> | I mean, I wouldn't be able to explain it to someone but I have the concept in my head |
2020-12-26 08:34:14 +0100 | <Kronic> | I suppose what you're saying means I have no way to trick it into type checking some bool that I randomly wrap in an IO |
2020-12-26 08:34:40 +0100 | <c_wraith> | I'm saying you're looking at the wrong thing anyway. importing the IO constructor is going to do nothing for you. |
2020-12-26 08:34:56 +0100 | <c_wraith> | But fortunately, the HUnit Assertion type is just IO () |
2020-12-26 08:35:05 +0100 | acowley | (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) |
2020-12-26 08:35:10 +0100 | <c_wraith> | so you can run IO actions, bind their results, and then make assertions about the results |
2020-12-26 08:35:59 +0100 | urodna | (~urodna@unaffiliated/urodna) (Quit: urodna) |
2020-12-26 08:36:22 +0100 | <Kronic> | I did see that in the document, maybe what I was asking was a little off the wall. I dunno, I'll go back to the drawing board |
2020-12-26 08:36:39 +0100 | Kronic | (~Kronic___@84.203.96.46) (Quit: Leaving) |
2020-12-26 08:36:57 +0100 | berberman_ | (~berberman@unaffiliated/berberman) |
2020-12-26 08:37:50 +0100 | berberman | (~berberman@unaffiliated/berberman) (Ping timeout: 264 seconds) |
2020-12-26 08:38:18 +0100 | sqrt2_ | (~ben@unaffiliated/sqrt2) (Quit: ZNC - http://znc.in) |
2020-12-26 08:38:19 +0100 | aarvar | (~foewfoiew@2601:602:a080:fa0:61bc:16a5:8f24:8421) |
2020-12-26 08:38:34 +0100 | sqrt2 | (~ben@unaffiliated/sqrt2) |
2020-12-26 08:38:40 +0100 | berberman_ | (~berberman@unaffiliated/berberman) (Max SendQ exceeded) |
2020-12-26 08:39:31 +0100 | berberman | (~berberman@unaffiliated/berberman) |
2020-12-26 08:40:30 +0100 | lambda | (~xiretza@mail.xiretza.xyz) (Ping timeout: 258 seconds) |
2020-12-26 08:40:50 +0100 | berberman | (~berberman@unaffiliated/berberman) (Max SendQ exceeded) |
2020-12-26 08:41:23 +0100 | berberman | (~berberman@unaffiliated/berberman) |
2020-12-26 08:41:49 +0100 | lambda | (~xiretza@mail.xiretza.xyz) |
2020-12-26 08:42:42 +0100 | berberman | (~berberman@unaffiliated/berberman) (Max SendQ exceeded) |
2020-12-26 08:43:10 +0100 | berberman | (~berberman@unaffiliated/berberman) |
2020-12-26 08:49:44 +0100 | Saukk | (~Saukk@2001:998:ec:954:1c59:9bb5:b94c:3) (Remote host closed the connection) |
2020-12-26 08:51:17 +0100 | cads2 | (~cads@ip-64-72-99-232.lasvegas.net) |
2020-12-26 08:51:18 +0100 | cads | (~cads@ip-64-72-99-232.lasvegas.net) |
2020-12-26 08:54:45 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2020-12-26 08:56:25 +0100 | nbloomf | (~nbloomf@2601:285:401:7490:88ec:6c11:e462:5e94) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2020-12-26 08:58:02 +0100 | psamim | (samimpmatr@gateway/shell/matrix.org/x-ykgbnwpnymsecdtt) (Ping timeout: 260 seconds) |
2020-12-26 08:58:20 +0100 | psamim | (samimpmatr@gateway/shell/matrix.org/x-xinpaqzihytdlwuc) |
2020-12-26 08:59:16 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
2020-12-26 09:03:36 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2020-12-26 09:05:30 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2020-12-26 09:06:12 +0100 | aarvar | (~foewfoiew@2601:602:a080:fa0:61bc:16a5:8f24:8421) (Ping timeout: 260 seconds) |
2020-12-26 09:06:34 +0100 | danso | (~dan@69-165-210-185.cable.teksavvy.com) (Quit: WeeChat 3.0) |
2020-12-26 09:07:48 +0100 | <leifm> | What imperative language is the most Haskell-y? |
2020-12-26 09:07:56 +0100 | <leifm> | Haskell is great but I need a job |
2020-12-26 09:11:10 +0100 | Rudd0 | (~Rudd0@185.189.115.108) (Ping timeout: 246 seconds) |
2020-12-26 09:17:53 +0100 | <siraben> | leifm: Rust? |
2020-12-26 09:18:00 +0100 | aarvar | (~foewfoiew@2601:602:a080:fa0:f81d:fabc:e502:4683) |
2020-12-26 09:18:05 +0100 | aarvar | (~foewfoiew@2601:602:a080:fa0:f81d:fabc:e502:4683) () |
2020-12-26 09:18:24 +0100 | <siraben> | has typeclasses, rank 3 types, inference, pattern matching, ADTs, generic |
2020-12-26 09:18:42 +0100 | <siraben> | no HKTs though :( |
2020-12-26 09:21:44 +0100 | datajerk | (~datajerk@sense.net) (Ping timeout: 265 seconds) |
2020-12-26 09:22:22 +0100 | jedws | (~jedws@121.209.189.201) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2020-12-26 09:26:20 +0100 | datajerk | (~datajerk@sense.net) |
2020-12-26 09:28:34 +0100 | Kronic | (~Kronic___@84.203.96.46) |
2020-12-26 09:30:08 +0100 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
2020-12-26 09:31:08 +0100 | al3x27 | (~plovs@85.254.74.40) |
2020-12-26 09:33:37 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2020-12-26 09:36:27 +0100 | lgedeon | (~lgedeon@178.239.168.171) (Remote host closed the connection) |
2020-12-26 09:39:08 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2020-12-26 09:40:40 +0100 | <Rembane> | leifm: Ocaml is also quite Haskelly |
2020-12-26 09:40:43 +0100 | <Rembane> | leifm: PureScript too |
2020-12-26 09:42:03 +0100 | philopsos | (~caecilius@gateway/tor-sasl/caecilius) (Ping timeout: 240 seconds) |
2020-12-26 09:42:16 +0100 | drbean | (~drbean@TC210-63-209-23.static.apol.com.tw) (Ping timeout: 240 seconds) |
2020-12-26 09:45:16 +0100 | philopsos | (~caecilius@gateway/tor-sasl/caecilius) |
2020-12-26 09:45:46 +0100 | gioyik__ | (~gioyik@186.112.107.251) (Quit: WeeChat 3.0) |
2020-12-26 09:45:52 +0100 | philopsos | (~caecilius@gateway/tor-sasl/caecilius) (Remote host closed the connection) |
2020-12-26 09:46:22 +0100 | philopsos | (~caecilius@gateway/tor-sasl/caecilius) |
2020-12-26 09:46:32 +0100 | floatingpoint[m] | (floating_5@gateway/shell/matrix.org/x-eqanwdurxqdczuqa) |
2020-12-26 09:49:04 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) |
2020-12-26 09:50:52 +0100 | philopsos | (~caecilius@gateway/tor-sasl/caecilius) (Remote host closed the connection) |
2020-12-26 09:51:26 +0100 | philopsos | (~caecilius@gateway/tor-sasl/caecilius) |
2020-12-26 09:51:59 +0100 | coot | (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
2020-12-26 09:54:37 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Ping timeout: 260 seconds) |
2020-12-26 09:55:25 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2020-12-26 09:55:31 +0100 | lambda | (~xiretza@mail.xiretza.xyz) (Ping timeout: 272 seconds) |
2020-12-26 09:55:52 +0100 | philopsos | (~caecilius@gateway/tor-sasl/caecilius) (Remote host closed the connection) |
2020-12-26 09:56:32 +0100 | philopsos | (~caecilius@gateway/tor-sasl/caecilius) |
2020-12-26 09:58:26 +0100 | lambda | (~xiretza@mail.xiretza.xyz) |
2020-12-26 10:05:50 +0100 | kini | (~kini@unaffiliated/kini) |
2020-12-26 10:07:08 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2020-12-26 10:07:58 +0100 | kupi | (uid212005@gateway/web/irccloud.com/x-svbzcydmccffkyhg) (Quit: Connection closed for inactivity) |
2020-12-26 10:10:33 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Remote host closed the connection) |
2020-12-26 10:11:16 +0100 | Mikagami | (~MOSCOS@122.54.107.175) (Remote host closed the connection) |
2020-12-26 10:11:28 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) |
2020-12-26 10:11:42 +0100 | Mikagami | (~MOSCOS@122.54.107.175) |
2020-12-26 10:14:18 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2020-12-26 10:15:08 +0100 | axeman- | (~axeman_@2a02:8109:86c0:1f98:4977:5f42:78d3:6431) |
2020-12-26 10:16:14 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Ping timeout: 264 seconds) |
2020-12-26 10:17:49 +0100 | axeman- | (~axeman_@2a02:8109:86c0:1f98:4977:5f42:78d3:6431) (Remote host closed the connection) |
2020-12-26 10:20:58 +0100 | axeman- | (~axeman_@2a02:8109:86c0:1f98:4977:5f42:78d3:6431) |
2020-12-26 10:21:29 +0100 | <gentauro> | Rembane: OCaml? Eh no |
2020-12-26 10:21:56 +0100 | <Rembane> | gentauro: Why not? |
2020-12-26 10:22:03 +0100 | philopsos | (~caecilius@gateway/tor-sasl/caecilius) (Ping timeout: 240 seconds) |
2020-12-26 10:22:17 +0100 | <gentauro> | cos the OCaml community seek performance by "bending" FP |
2020-12-26 10:22:49 +0100 | <gentauro> | so there are a lot of mutable datastructures |
2020-12-26 10:23:02 +0100 | hexfive | (~hexfive@50-47-142-195.evrt.wa.frontiernet.net) (Quit: i must go. my people need me.) |
2020-12-26 10:23:06 +0100 | <gentauro> | and ofc the layer of OOP makes OCaml far from Haskell |
2020-12-26 10:24:00 +0100 | <gentauro> | Rembane: but both languages are in the ML family. I guess that would be what they have in common :) |
2020-12-26 10:24:36 +0100 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
2020-12-26 10:24:45 +0100 | philopsos | (~caecilius@gateway/tor-sasl/caecilius) |
2020-12-26 10:25:02 +0100 | <gentauro> | Rembane: but I agree with PS beeing the "closest" to Haskell we have ;) |
2020-12-26 10:25:09 +0100 | <Rembane> | gentauro: Good points, I think it's worth checking out though. :) |
2020-12-26 10:25:52 +0100 | philopsos | (~caecilius@gateway/tor-sasl/caecilius) (Remote host closed the connection) |
2020-12-26 10:27:57 +0100 | philopsos | (~caecilius@gateway/tor-sasl/caecilius) |
2020-12-26 10:30:52 +0100 | philopsos | (~caecilius@gateway/tor-sasl/caecilius) (Remote host closed the connection) |
2020-12-26 10:31:48 +0100 | axeman-_ | (~axeman_@8.20.127.117) |
2020-12-26 10:31:49 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
2020-12-26 10:32:14 +0100 | <Kronic> | I tried OCaml once but was immediately put off by the multi-core support at the time I checked it out |
2020-12-26 10:32:39 +0100 | <Kronic> | I dunno if it is any better in that regard now |
2020-12-26 10:32:58 +0100 | philopsos | (~caecilius@gateway/tor-sasl/caecilius) |
2020-12-26 10:33:14 +0100 | axeman- | (~axeman_@2a02:8109:86c0:1f98:4977:5f42:78d3:6431) (Read error: Connection reset by peer) |
2020-12-26 10:33:28 +0100 | axeman- | (~axeman_@2a02:8109:86c0:1f98:4977:5f42:78d3:6431) |
2020-12-26 10:34:47 +0100 | <wz1000> | Can anyone think of a nicer way to do loop unrolling in this simple expression language? https://gist.github.com/wz1000/dc05c6150c1cca1b61b2e60a997654a7 |
2020-12-26 10:37:25 +0100 | axeman-_ | (~axeman_@8.20.127.117) (Ping timeout: 264 seconds) |
2020-12-26 10:41:19 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2020-12-26 10:43:02 +0100 | xff0x_ | (~fox@2001:1a81:5288:9200:2cb2:2af5:f28c:397b) (Ping timeout: 260 seconds) |
2020-12-26 10:43:42 +0100 | axeman-_ | (~axeman_@2a09:bac0:203::814:7f75) |
2020-12-26 10:43:56 +0100 | xff0x_ | (~fox@2001:1a81:5288:9200:a05f:5494:f2ef:47d3) |
2020-12-26 10:44:52 +0100 | axeman- | (~axeman_@2a02:8109:86c0:1f98:4977:5f42:78d3:6431) (Read error: Connection reset by peer) |
2020-12-26 10:45:05 +0100 | iMast777 | (~iMast777@195.140.213.38) |
2020-12-26 10:45:20 +0100 | axeman- | (~axeman_@2a02:8109:86c0:1f98:4977:5f42:78d3:6431) |
2020-12-26 10:47:46 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Remote host closed the connection) |
2020-12-26 10:48:21 +0100 | kini | (~kini@unaffiliated/kini) (Remote host closed the connection) |
2020-12-26 10:48:39 +0100 | axeman-__ | (~axeman_@8.20.127.117) |
2020-12-26 10:49:27 +0100 | axeman-_ | (~axeman_@2a09:bac0:203::814:7f75) (Ping timeout: 260 seconds) |
2020-12-26 10:51:06 +0100 | neiluj | (~jco@unaffiliated/neiluj) (Ping timeout: 256 seconds) |
2020-12-26 10:51:30 +0100 | neiluj | (~jco@91-167-203-101.subs.proxad.net) |
2020-12-26 10:52:00 +0100 | hackage | sydtest 0.0.0.0 - An advanced modern testing framework for Haskell with good defaults and advanced testing features. https://hackage.haskell.org/package/sydtest-0.0.0.0 (Norfair) |
2020-12-26 10:52:03 +0100 | axeman- | (~axeman_@2a02:8109:86c0:1f98:4977:5f42:78d3:6431) (Ping timeout: 260 seconds) |
2020-12-26 10:52:14 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:71b2:cc28:f79:2771) (Remote host closed the connection) |
2020-12-26 10:52:44 +0100 | o1lo01ol1o | (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) |
2020-12-26 10:52:52 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) |
2020-12-26 10:55:10 +0100 | iMast777 | (~iMast777@195.140.213.38) (Ping timeout: 272 seconds) |
2020-12-26 10:55:31 +0100 | jamm | (~jamm@unaffiliated/jamm) |
2020-12-26 10:57:20 +0100 | o1lo01ol1o | (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 256 seconds) |
2020-12-26 10:57:37 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Ping timeout: 260 seconds) |
2020-12-26 10:59:22 +0100 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
2020-12-26 10:59:58 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
2020-12-26 11:00:05 +0100 | salumu | (~sMuNiX@vlnsm8-montreal02-142-122-8-233.internet.virginmobile.ca) |
2020-12-26 11:00:10 +0100 | axeman-__ | (~axeman_@8.20.127.117) (Ping timeout: 256 seconds) |
2020-12-26 11:01:55 +0100 | axeman- | (~axeman_@2a09:bac0:203::814:7f75) |
2020-12-26 11:02:05 +0100 | kritzefitz | (~kritzefit@212.86.56.80) |
2020-12-26 11:02:07 +0100 | o1lo01ol1o | (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) |
2020-12-26 11:02:31 +0100 | axeman-_ | (~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) |
2020-12-26 11:02:36 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
2020-12-26 11:03:09 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:297e:ae1e:be80:43d2) |
2020-12-26 11:03:25 +0100 | sMuNiX | (~sMuNiX@vlnsm8-montreal02-142-122-8-233.internet.virginmobile.ca) (Ping timeout: 256 seconds) |
2020-12-26 11:04:37 +0100 | Rudd0 | (~Rudd0@185.189.115.103) |
2020-12-26 11:04:51 +0100 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
2020-12-26 11:06:25 +0100 | o1lo01ol1o | (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 240 seconds) |
2020-12-26 11:06:50 +0100 | axeman- | (~axeman_@2a09:bac0:203::814:7f75) (Ping timeout: 268 seconds) |
2020-12-26 11:07:16 +0100 | Anthaas | (~Anthaas@unaffiliated/anthaas) (Ping timeout: 240 seconds) |
2020-12-26 11:07:32 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:297e:ae1e:be80:43d2) (Ping timeout: 260 seconds) |
2020-12-26 11:09:16 +0100 | t3xp4t | (~texinwien@213162073014.public.t-mobile.at) |
2020-12-26 11:09:37 +0100 | Anthaas | (~Anthaas@unaffiliated/anthaas) |
2020-12-26 11:11:55 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2020-12-26 11:14:01 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
2020-12-26 11:14:24 +0100 | axeman-_ | (~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2020-12-26 11:16:00 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:5586:18f1:336f:2fd6) |
2020-12-26 11:16:49 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
2020-12-26 11:17:29 +0100 | heatsink_ | (~heatsink@2600:1700:bef1:5e10:5807:a709:b1bc:a0b0) |
2020-12-26 11:18:15 +0100 | jneira | (5127adb4@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.173.180) |
2020-12-26 11:20:26 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:5586:18f1:336f:2fd6) (Ping timeout: 264 seconds) |
2020-12-26 11:22:50 +0100 | heatsink_ | (~heatsink@2600:1700:bef1:5e10:5807:a709:b1bc:a0b0) (Ping timeout: 264 seconds) |
2020-12-26 11:25:36 +0100 | son0p | (~son0p@181.58.39.182) |
2020-12-26 11:25:54 +0100 | t3xp4t | (~texinwien@213162073014.public.t-mobile.at) (Remote host closed the connection) |
2020-12-26 11:31:56 +0100 | jamm | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
2020-12-26 11:31:59 +0100 | hackage | hasbolt-extras 0.0.1.6 - Extras for hasbolt library https://hackage.haskell.org/package/hasbolt-extras-0.0.1.6 (ozzzzz) |
2020-12-26 11:32:53 +0100 | p-core | (~Thunderbi@koleje-wifi-0045.koleje.cuni.cz) (Ping timeout: 256 seconds) |
2020-12-26 11:34:48 +0100 | olligobber | (~olligobbe@unaffiliated/olligobber) (Remote host closed the connection) |
2020-12-26 11:35:49 +0100 | cads | (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 260 seconds) |
2020-12-26 11:36:07 +0100 | cads2 | (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 260 seconds) |
2020-12-26 11:37:41 +0100 | hnOsmium0001 | (uid453710@gateway/web/irccloud.com/x-lfotxvknswkvlalm) (Quit: Connection closed for inactivity) |
2020-12-26 11:39:37 +0100 | Wraul[m] | (wraulmatri@gateway/shell/matrix.org/x-wdqkshwdwvsinbjy) (Ping timeout: 260 seconds) |
2020-12-26 11:39:37 +0100 | Noughtmare[m] | (naughtmare@gateway/shell/matrix.org/x-abqpqrdkbpmkfyoz) (Ping timeout: 260 seconds) |
2020-12-26 11:40:12 +0100 | floatingpoint[m] | (floating_5@gateway/shell/matrix.org/x-eqanwdurxqdczuqa) (Ping timeout: 260 seconds) |
2020-12-26 11:40:12 +0100 | psamim | (samimpmatr@gateway/shell/matrix.org/x-xinpaqzihytdlwuc) (Ping timeout: 260 seconds) |
2020-12-26 11:41:16 +0100 | acidjnk_new | (~acidjnk@p200300d0c704e714e5ab7a2f7255b0f1.dip0.t-ipconnect.de) |
2020-12-26 11:41:32 +0100 | fendor | (~fendor@77.119.130.68.wireless.dyn.drei.com) |
2020-12-26 11:41:54 +0100 | hiroaki_ | (~hiroaki@ip4d16fa3b.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
2020-12-26 11:43:51 +0100 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
2020-12-26 11:44:00 +0100 | hackage | hiedb 0.1.0.0 - Generates a references DB from .hie files https://hackage.haskell.org/package/hiedb-0.1.0.0 (wz1000) |
2020-12-26 11:46:36 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2020-12-26 11:48:31 +0100 | plutoniix | (~q@184.82.194.117) (Quit: Leaving) |
2020-12-26 11:48:49 +0100 | axeman- | (~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) |
2020-12-26 11:50:36 +0100 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
2020-12-26 11:50:48 +0100 | olligobber1 | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
2020-12-26 11:51:05 +0100 | fcortesi | (~fcortesi@78-66-245-190.fibertel.com.ar) |
2020-12-26 11:51:34 +0100 | olligobber1 | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Client Quit) |
2020-12-26 11:51:36 +0100 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Client Quit) |
2020-12-26 11:51:48 +0100 | jedws | (~jedws@121.209.189.201) |
2020-12-26 11:51:57 +0100 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
2020-12-26 11:52:01 +0100 | Wraul[m] | (wraulmatri@gateway/shell/matrix.org/x-bchiszgwyekwoten) |
2020-12-26 11:52:09 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) |
2020-12-26 11:52:12 +0100 | Noughtmare[m] | (naughtmare@gateway/shell/matrix.org/x-ctsspavkhlmrbjtt) |
2020-12-26 11:52:14 +0100 | jedws | (~jedws@121.209.189.201) (Client Quit) |
2020-12-26 11:52:27 +0100 | psamim | (samimpmatr@gateway/shell/matrix.org/x-gsdaohmlsisctzxu) |
2020-12-26 11:52:31 +0100 | floatingpoint[m] | (floating5@gateway/shell/matrix.org/x-zlmdmugtshzmdqro) |
2020-12-26 11:53:47 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) (Remote host closed the connection) |
2020-12-26 11:54:12 +0100 | berberman_ | (~berberman@unaffiliated/berberman) |
2020-12-26 11:54:19 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) |
2020-12-26 11:54:47 +0100 | berberman | (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
2020-12-26 11:54:59 +0100 | axeman- | (~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2020-12-26 11:55:43 +0100 | hiroaki_ | (~hiroaki@ip4d168e73.dynamic.kabel-deutschland.de) |
2020-12-26 11:55:59 +0100 | fcortesi_ | (~fcortesi@78-66-245-190.fibertel.com.ar) |
2020-12-26 11:56:14 +0100 | fcortesi | (~fcortesi@78-66-245-190.fibertel.com.ar) (Ping timeout: 260 seconds) |
2020-12-26 11:57:02 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Ping timeout: 264 seconds) |
2020-12-26 11:57:06 +0100 | fcortesi_ | (~fcortesi@78-66-245-190.fibertel.com.ar) (Client Quit) |
2020-12-26 11:57:26 +0100 | axeman- | (~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) |
2020-12-26 11:58:50 +0100 | fcortesi | (~fcortesi@78-66-245-190.fibertel.com.ar) |
2020-12-26 12:04:04 +0100 | fcortesi | (~fcortesi@78-66-245-190.fibertel.com.ar) (Quit: Lost terminal) |
2020-12-26 12:05:12 +0100 | cads2 | (~cads@ip-64-72-99-232.lasvegas.net) |
2020-12-26 12:05:12 +0100 | cads | (~cads@ip-64-72-99-232.lasvegas.net) |
2020-12-26 12:05:23 +0100 | fcortesi | (~fcortesi@78-66-245-190.fibertel.com.ar) |
2020-12-26 12:05:33 +0100 | xff0x_ | (~fox@2001:1a81:5288:9200:a05f:5494:f2ef:47d3) (Ping timeout: 260 seconds) |
2020-12-26 12:06:21 +0100 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
2020-12-26 12:06:22 +0100 | xff0x_ | (~fox@2001:1a81:5288:9200:af96:f1ad:8021:ee30) |
2020-12-26 12:06:56 +0100 | olligobber | (~olligobbe@unaffiliated/olligobber) |
2020-12-26 12:07:58 +0100 | MidAutumnHotaru3 | (~MidAutumn@154.91.197.93) |
2020-12-26 12:08:50 +0100 | DataComputist | (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) |
2020-12-26 12:09:40 +0100 | MidAutumnHotaru | (~MidAutumn@154.91.197.93) (Ping timeout: 246 seconds) |
2020-12-26 12:09:40 +0100 | MidAutumnHotaru3 | MidAutumnHotaru |
2020-12-26 12:09:57 +0100 | fcortesi | (~fcortesi@78-66-245-190.fibertel.com.ar) (Remote host closed the connection) |
2020-12-26 12:10:24 +0100 | pavonia | (~user@unaffiliated/siracusa) (Quit: Bye!) |
2020-12-26 12:11:23 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds) |
2020-12-26 12:12:31 +0100 | fcortesi | (~fcortesi@78-66-245-190.fibertel.com.ar) |
2020-12-26 12:14:04 +0100 | t3xp4t | (~texinwien@213162073014.public.t-mobile.at) |
2020-12-26 12:14:47 +0100 | fcortesi | (~fcortesi@78-66-245-190.fibertel.com.ar) (Remote host closed the connection) |
2020-12-26 12:15:02 +0100 | neiluj | (~jco@91-167-203-101.subs.proxad.net) (Remote host closed the connection) |
2020-12-26 12:17:53 +0100 | fcortesi | (~fcortesi@78-66-245-190.fibertel.com.ar) |
2020-12-26 12:18:10 +0100 | t3xp4t | (~texinwien@213162073014.public.t-mobile.at) (Remote host closed the connection) |
2020-12-26 12:18:13 +0100 | DataComputist | (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Ping timeout: 264 seconds) |
2020-12-26 12:18:37 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:5807:a709:b1bc:a0b0) |
2020-12-26 12:18:57 +0100 | DataComputist | (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) |
2020-12-26 12:18:59 +0100 | thebnq | (~bnq@herrokitty.com) (Ping timeout: 260 seconds) |
2020-12-26 12:19:10 +0100 | thebnq | (~bnq@herrokitty.com) |
2020-12-26 12:19:24 +0100 | cheater | (~user@unaffiliated/cheater) (Ping timeout: 272 seconds) |
2020-12-26 12:21:02 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
2020-12-26 12:22:35 +0100 | fcortesi | (~fcortesi@78-66-245-190.fibertel.com.ar) (Remote host closed the connection) |
2020-12-26 12:23:22 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:5807:a709:b1bc:a0b0) (Ping timeout: 260 seconds) |
2020-12-26 12:26:31 +0100 | __monty__ | (~toonn@unaffiliated/toonn) |
2020-12-26 12:28:56 +0100 | olligobber | (~olligobbe@unaffiliated/olligobber) (Ping timeout: 240 seconds) |
2020-12-26 12:32:37 +0100 | fcortesi | (~fcortesi@78-66-245-190.fibertel.com.ar) |
2020-12-26 12:34:36 +0100 | DataComputist | (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Ping timeout: 272 seconds) |
2020-12-26 12:36:50 +0100 | cosimone | (~cosimone@93-47-228-249.ip115.fastwebnet.it) |
2020-12-26 12:37:16 +0100 | DataComputist | (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) |
2020-12-26 12:37:16 +0100 | cads2 | (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 240 seconds) |
2020-12-26 12:37:16 +0100 | cads | (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 240 seconds) |
2020-12-26 12:40:16 +0100 | olligobber | (~olligobbe@unaffiliated/olligobber) |
2020-12-26 12:42:12 +0100 | kritzefitz | (~kritzefit@212.86.56.80) (Ping timeout: 272 seconds) |
2020-12-26 12:50:06 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2020-12-26 12:50:45 +0100 | Franciman | (~francesco@host-82-49-79-73.retail.telecomitalia.it) |
2020-12-26 12:50:59 +0100 | hackage | hmidi 0.2.3.1 - Binding to the OS level MIDI services https://hackage.haskell.org/package/hmidi-0.2.3.1 (BalazsKomuves) |
2020-12-26 12:51:38 +0100 | xff0x_ | (~fox@2001:1a81:5288:9200:af96:f1ad:8021:ee30) (Ping timeout: 260 seconds) |
2020-12-26 12:52:13 +0100 | xff0x_ | (~fox@2001:1a81:5288:9200:14b3:dfc8:26af:c37e) |
2020-12-26 12:55:00 +0100 | son0p | (~son0p@181.58.39.182) (Quit: leaving) |
2020-12-26 12:55:27 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
2020-12-26 12:55:40 +0100 | dandart | (~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2) |
2020-12-26 12:57:03 +0100 | <nf> | i'm wondering about the example at https://hackage.haskell.org/package/vector-0.12.1.2/docs/Data-Vector-Unboxed.html#v:indexM |
2020-12-26 12:57:26 +0100 | <nf> | how is that different from just doing write mv i $! v ! i ? |
2020-12-26 12:57:45 +0100 | fcortesi | (~fcortesi@78-66-245-190.fibertel.com.ar) (Remote host closed the connection) |
2020-12-26 12:58:42 +0100 | <nf> | especially considering the implementation https://hackage.haskell.org/package/vector-0.12.1.2/docs/src/Data.Vector.Primitive.html#line-234 |
2020-12-26 12:59:09 +0100 | <nf> | does return change anything there rather than id? |
2020-12-26 13:00:12 +0100 | <nf> | (if the difference is that $! v ! i would be strict in the element as well, how is it not the case with basicUnsafeIndexM ?) |
2020-12-26 13:03:22 +0100 | jmchael | (~jmchael@81.174.205.210) |
2020-12-26 13:05:07 +0100 | jedws | (~jedws@121.209.189.201) |
2020-12-26 13:08:35 +0100 | axeman- | (~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2020-12-26 13:12:48 +0100 | ChaiTRex | (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection) |
2020-12-26 13:12:55 +0100 | axeman- | (~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) |
2020-12-26 13:15:41 +0100 | kini | (~kini@unaffiliated/kini) |
2020-12-26 13:22:26 +0100 | mapperr | (~mapperr@vmi389916.contaboserver.net) (Remote host closed the connection) |
2020-12-26 13:23:30 +0100 | mapperr | (~mapperr@vmi389916.contaboserver.net) |
2020-12-26 13:26:13 +0100 | wei2912 | (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
2020-12-26 13:27:43 +0100 | philopsos | (~caecilius@gateway/tor-sasl/caecilius) (Ping timeout: 240 seconds) |
2020-12-26 13:28:36 +0100 | ChaiTRex | (~ChaiTRex@gateway/tor-sasl/chaitrex) |
2020-12-26 13:28:38 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2020-12-26 13:30:20 +0100 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
2020-12-26 13:31:31 +0100 | geekosaur | (ac3a8c4f@172.58.140.79) |
2020-12-26 13:35:50 +0100 | erolm_a | (~erolm_a@82.24.185.133) |
2020-12-26 13:36:16 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:5ed:a53b:7efb:1300) |
2020-12-26 13:40:07 +0100 | bitmagie | (~Thunderbi@200116b8069f51006cd1f289aa9319d9.dip.versatel-1u1.de) |
2020-12-26 13:40:57 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:5ed:a53b:7efb:1300) (Ping timeout: 260 seconds) |
2020-12-26 13:41:29 +0100 | bitmagie | (~Thunderbi@200116b8069f51006cd1f289aa9319d9.dip.versatel-1u1.de) (Client Quit) |
2020-12-26 13:44:08 +0100 | iqubic` | (~user@2601:602:9500:4870:b714:410c:c6da:d9b1) |
2020-12-26 13:47:57 +0100 | avdb | (~avdb@gateway/tor-sasl/avdb) |
2020-12-26 13:48:32 +0100 | iqubic | (~user@2601:602:9500:4870:476:63ba:6a51:3c04) (Ping timeout: 260 seconds) |
2020-12-26 13:49:05 +0100 | knupfer | (~Thunderbi@87.123.206.19) (Ping timeout: 240 seconds) |
2020-12-26 13:50:52 +0100 | avdb | (~avdb@gateway/tor-sasl/avdb) (Remote host closed the connection) |
2020-12-26 13:51:12 +0100 | avdb | (~avdb@gateway/tor-sasl/avdb) |
2020-12-26 14:00:53 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) |
2020-12-26 14:02:49 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
2020-12-26 14:08:07 +0100 | axeman- | (~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2020-12-26 14:10:20 +0100 | axeman- | (~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) |
2020-12-26 14:12:01 +0100 | dandart | (~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2) (Ping timeout: 272 seconds) |
2020-12-26 14:13:52 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) |
2020-12-26 14:15:13 +0100 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 264 seconds) |
2020-12-26 14:18:17 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Ping timeout: 260 seconds) |
2020-12-26 14:20:34 +0100 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
2020-12-26 14:30:59 +0100 | plutoniix | (~q@ppp-223-24-162-232.revip6.asianet.co.th) |
2020-12-26 14:31:41 +0100 | <Orbstheorem> | I'm trying to type a function running an operation on a database using Beam. |
2020-12-26 14:32:10 +0100 | solonarv | (~solonarv@astrasbourg-653-1-157-135.w90-6.abo.wanadoo.fr) |
2020-12-26 14:32:25 +0100 | <Orbstheorem> | I want to polymorphic on the backend, so I can to either `runBeamSqlite` or `runBeamPostgres` with the same function. |
2020-12-26 14:32:29 +0100 | <Uniaika> | Orbstheorem: all my condolences |
2020-12-26 14:32:34 +0100 | <Orbstheorem> | :( |
2020-12-26 14:32:44 +0100 | <Orbstheorem> | Been over it for 2 hours :( |
2020-12-26 14:32:44 +0100 | <Uniaika> | being polymorphic on the backend is a pipe dream |
2020-12-26 14:33:18 +0100 | <Orbstheorem> | There's a note on a changelog about it, but it doesn't work :D |
2020-12-26 14:33:30 +0100 | <Uniaika> | you will have to deal with the particularities of *two* backends, rather than 0 as you wanted |
2020-12-26 14:33:36 +0100 | <Rembane> | Orbstheorem: Why do you need that? And how much is it worth to you? |
2020-12-26 14:33:41 +0100 | <Uniaika> | pick one and stick to it |
2020-12-26 14:35:26 +0100 | <Orbstheorem> | I'm constrained to use MySQL (from the project brief), but testing with sqlite is so much easier. |
2020-12-26 14:35:46 +0100 | <Orbstheorem> | My database is trivial and the operations are too. |
2020-12-26 14:36:01 +0100 | <Orbstheorem> | So, I was hoping I could get away with being as minimal as possible. |
2020-12-26 14:36:23 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2020-12-26 14:36:51 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:5ed:a53b:7efb:1300) |
2020-12-26 14:36:55 +0100 | kish` | fdemocracy |
2020-12-26 14:37:22 +0100 | dandart | (~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2) |
2020-12-26 14:40:29 +0100 | <Rembane> | Orbstheorem: I would go for fixing as many parameters as possible between dev. and prod just to save cognitive overhead, like Uniaika said. |
2020-12-26 14:40:49 +0100 | <Orbstheorem> | :( |
2020-12-26 14:41:16 +0100 | Orbstheorem | likes the idea of IsSql92Syntax |
2020-12-26 14:41:37 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:5ed:a53b:7efb:1300) (Ping timeout: 260 seconds) |
2020-12-26 14:41:42 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
2020-12-26 14:41:47 +0100 | <geekosaur> | wonderful idea with about 0 actual applicability |
2020-12-26 14:41:55 +0100 | <Orbstheorem> | I'll probably end up fixing MySQL and forcing everyone to install a local instance. |
2020-12-26 14:42:00 +0100 | <Orbstheorem> | But... but... |
2020-12-26 14:42:06 +0100 | coot | (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) |
2020-12-26 14:42:07 +0100 | <Orbstheorem> | grmb... |
2020-12-26 14:43:03 +0100 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:b05d:6d6f:5196:856c) |
2020-12-26 14:43:13 +0100 | son0p | (~son0p@181.136.122.143) |
2020-12-26 14:43:31 +0100 | fdemocracy | kish` |
2020-12-26 14:49:01 +0100 | <Orbstheorem> | Hum, I got it to typecheck |
2020-12-26 14:49:15 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
2020-12-26 14:49:19 +0100 | <Rembane> | If it typechecks, ship it! :D |
2020-12-26 14:49:24 +0100 | <Orbstheorem> | Oh, I got it working :D |
2020-12-26 14:49:32 +0100 | <Orbstheorem> | Rembane: I'm doing haskell, not Idris :( |
2020-12-26 14:49:37 +0100 | <Orbstheorem> | Well, I'm doing haskell :D |
2020-12-26 14:49:41 +0100 | <Orbstheorem> | Hey! |
2020-12-26 14:49:45 +0100 | <Orbstheorem> | It works xDD |
2020-12-26 14:50:02 +0100 | Orbstheorem | feels he's shooting himself in the foot and he might regret it later. |
2020-12-26 14:50:04 +0100 | puffnfresh | (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 260 seconds) |
2020-12-26 14:50:16 +0100 | <Orbstheorem> | But I got my `DbM be m` constraint :D |
2020-12-26 14:50:38 +0100 | puffnfresh | (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) |
2020-12-26 14:50:39 +0100 | olligobber | (~olligobbe@unaffiliated/olligobber) (Ping timeout: 260 seconds) |
2020-12-26 14:50:53 +0100 | <Rembane> | Orbstheorem: ^^ good luck! |
2020-12-26 14:52:30 +0100 | <Orbstheorem> | For the curious: `type DbM be m = ( BeamSqlBackend be , HasSqlValueSyntax (Sql92ValueSyntax (BeamSqlBackendSyntax be)) Text , MonadBeam be m)` |
2020-12-26 14:53:09 +0100 | dandart | (~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2) (Ping timeout: 268 seconds) |
2020-12-26 14:56:43 +0100 | avdb | (~avdb@gateway/tor-sasl/avdb) (Quit: avdb) |
2020-12-26 14:56:58 +0100 | avdb | (~avdb@gateway/tor-sasl/avdb) |
2020-12-26 14:56:59 +0100 | <Uniaika> | * Orbstheorem feels he's shooting himself in the foot and he might regret it later. // not gonna lie, you will |
2020-12-26 14:57:12 +0100 | <Uniaika> | if you want to hear some war stories about Beam, I recommend you wait for the kiwis to wake up |
2020-12-26 14:57:16 +0100 | <Uniaika> | :P |
2020-12-26 14:57:21 +0100 | <Orbstheorem> | xDD |
2020-12-26 14:57:35 +0100 | <Orbstheorem> | Hey, at least I'll have my own warstories :D |
2020-12-26 14:59:03 +0100 | <Uniaika> | yup' :) |
2020-12-26 14:59:55 +0100 | <Orbstheorem> | btw, would you put models (like UserT) in a `Foo.Database` module, or would you name it differently? |
2020-12-26 15:00:09 +0100 | <Orbstheorem> | I've seen a couple of projects put it in `Foo.Database.Schema`. |
2020-12-26 15:01:07 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) |
2020-12-26 15:01:30 +0100 | DavidEichmann | (~david@2a01:4b00:ea36:d800:1147:d85f:e158:35e6) |
2020-12-26 15:02:46 +0100 | jedws | (~jedws@121.209.189.201) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2020-12-26 15:03:25 +0100 | olligobber | (~olligobbe@unaffiliated/olligobber) |
2020-12-26 15:05:29 +0100 | dandart | (~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2) |
2020-12-26 15:06:29 +0100 | xff0x_ | (~fox@2001:1a81:5288:9200:14b3:dfc8:26af:c37e) (Ping timeout: 272 seconds) |
2020-12-26 15:07:00 +0100 | hackage | quote-quot 0.1.0.0 - Divide without division https://hackage.haskell.org/package/quote-quot-0.1.0.0 (Bodigrim) |
2020-12-26 15:07:10 +0100 | xff0x_ | (~fox@2001:1a81:5288:9200:8623:e02a:974b:33d8) |
2020-12-26 15:08:41 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2020-12-26 15:09:45 +0100 | Deide | (~Deide@217.155.19.23) |
2020-12-26 15:11:03 +0100 | axeman- | (~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2020-12-26 15:18:56 +0100 | kam1 | (~kam1@24.231.108.143) (Ping timeout: 240 seconds) |
2020-12-26 15:21:38 +0100 | olligobber | (~olligobbe@unaffiliated/olligobber) (Remote host closed the connection) |
2020-12-26 15:21:56 +0100 | qwerty | (~tema@217.118.92.215) (Ping timeout: 240 seconds) |
2020-12-26 15:22:00 +0100 | hackage | MIP 0.1.1.0 - Library for using Mixed Integer Programming (MIP) https://hackage.haskell.org/package/MIP-0.1.1.0 (MasahiroSakai) |
2020-12-26 15:22:59 +0100 | hackage | MIP-glpk 0.1.1.0 - A GLPK backend to the MIP library. https://hackage.haskell.org/package/MIP-glpk-0.1.1.0 (MasahiroSakai) |
2020-12-26 15:23:06 +0100 | jamm | (~jamm@unaffiliated/jamm) |
2020-12-26 15:26:04 +0100 | kam1 | (~kam1@24.231.108.143) |
2020-12-26 15:29:21 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Remote host closed the connection) |
2020-12-26 15:29:22 +0100 | Vulfe_ | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) |
2020-12-26 15:31:42 +0100 | axeman- | (~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) |
2020-12-26 15:32:24 +0100 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
2020-12-26 15:33:40 +0100 | cads2 | (~cads@ip-64-72-99-232.lasvegas.net) |
2020-12-26 15:33:40 +0100 | cads | (~cads@ip-64-72-99-232.lasvegas.net) |
2020-12-26 15:36:09 +0100 | axeman- | (~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
2020-12-26 15:40:07 +0100 | <exarkun> | I'm trying to work out why https://gist.github.com/exarkun/0d30f7161552449bf33294fa06f5ad57 never terminates. It's a trimmed down version of the same problem from a larger program (which is why, eg, it is using IORef). I think in this simplified form I begin to see why but I'm not sure. |
2020-12-26 15:41:27 +0100 | <xensky> | for anyone using VSCod/ium with the haskell extension, how do you disable autocompletion? ex: i type `putStrLn ` and on the space it immediately types `String` that i have to delete. it's more annoying for more complicated types |
2020-12-26 15:41:56 +0100 | <exarkun> | I think it's because `shares` on line 24 gets evaluated over and over again but instead of progressing through the actions it defines, each evaluation starts again at the beginning |
2020-12-26 15:42:04 +0100 | <geekosaur> | exarkun, I consider tha reuse of shares suspicious |
2020-12-26 15:42:18 +0100 | <geekosaur> | it's aparameter in the one case and a function in the other |
2020-12-26 15:42:41 +0100 | <exarkun> | well, okay, bad naming maybe, I think that's just an artifact of my effort to simplify it |
2020-12-26 15:43:00 +0100 | <geekosaur> | the parameter never changes, so how could it progress? |
2020-12-26 15:43:09 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
2020-12-26 15:43:46 +0100 | plumenator[m] | (plumenator@gateway/shell/matrix.org/x-wqtlrogjrykbhyan) |
2020-12-26 15:44:02 +0100 | <exarkun> | I assume there is _some_ way, since `whileJust_` is presumably not broken/useless |
2020-12-26 15:44:09 +0100 | Entertainment | (~entertain@104.246.132.210) |
2020-12-26 15:44:22 +0100 | Guest_79 | (4429521d@c-68-41-82-29.hsd1.mi.comcast.net) |
2020-12-26 15:44:25 +0100 | <exarkun> | (since it is someone else's code, not mine :) |
2020-12-26 15:44:35 +0100 | <Guest_79> | hey everyone |
2020-12-26 15:45:09 +0100 | <exarkun> | I updated the gist to rename the function `make_shares` fwiw |
2020-12-26 15:45:24 +0100 | <Guest_79> | can i ask a question here? |
2020-12-26 15:45:48 +0100 | <geekosaur> | youu can ask; not sure who's around to answer today |
2020-12-26 15:46:23 +0100 | <exarkun> | Would changing `make_shares` to return ... `IO (IO (Maybe String))` ... help? That is, resolve the `newIORef` first so that the remaining `IO (Maybe String)` is only concerned with working on the state in the IORef? |
2020-12-26 15:46:41 +0100 | <exarkun> | `IO (IO ...)` seem like it might be a mistake though |
2020-12-26 15:48:24 +0100 | Guest_79 | (4429521d@c-68-41-82-29.hsd1.mi.comcast.net) (Remote host closed the connection) |
2020-12-26 15:48:36 +0100 | <geekosaur> | you still have the same fundamental problem, shares is never updated so it'll just keep looping forever. seems like that wants to be make_shares to me, perhaps? |
2020-12-26 15:49:09 +0100 | <exarkun> | make_shares needs an IORef though |
2020-12-26 15:49:23 +0100 | <exarkun> | I think another way to phrase my question would be ... who should make the IORef |
2020-12-26 15:52:16 +0100 | <exarkun> | Ah, so I just edited it again (rev 3) to try the `IO (IO ...)` thing and it causes it to terminate |
2020-12-26 15:52:20 +0100 | <xsperry> | I used IO (IO ..) in the past like that. outter IO creates IORef, then inner block (which I returned) captures the reference |
2020-12-26 15:52:23 +0100 | <exarkun> | but it still feels like a weird thing |
2020-12-26 15:52:46 +0100 | Tario | (~Tario@201.192.165.173) |
2020-12-26 15:53:22 +0100 | <xsperry> | this way you can create multiple actions, and each one will have its own IORef |
2020-12-26 15:53:27 +0100 | exarkun | nods |
2020-12-26 15:54:25 +0100 | geekosaur | (ac3a8c4f@172.58.140.79) (Remote host closed the connection) |
2020-12-26 15:55:05 +0100 | <exarkun> | when I search hoogle for things with `IO (IO a)` not much comes up. not sure if I should try to conclude anything from that though. |
2020-12-26 15:55:50 +0100 | <exarkun> | I don't have any good explanation for why I'm worried about this, I guess |
2020-12-26 15:56:47 +0100 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
2020-12-26 15:57:29 +0100 | mikail_ | (~mikail@90.216.6.50) |
2020-12-26 15:57:53 +0100 | mikail_ | (~mikail@90.216.6.50) (Quit: Leaving) |
2020-12-26 16:06:48 +0100 | <xsperry> | it is not something one needs very often, and many google hits for "IO (IO ())" are likely about people new to haskell getting nested IO by mistake. without any more contex I dont see anything wrong with what youbare trying to do |
2020-12-26 16:07:07 +0100 | <xsperry> | you are* |
2020-12-26 16:09:42 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
2020-12-26 16:12:14 +0100 | toorevitimirp | (~tooreviti@117.182.181.108) (Remote host closed the connection) |
2020-12-26 16:13:06 +0100 | amiri | (~amiri@cpe-76-91-154-9.socal.res.rr.com) (Remote host closed the connection) |
2020-12-26 16:13:56 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 256 seconds) |
2020-12-26 16:15:32 +0100 | larryba | (~bc815220@199.204.85.195) |
2020-12-26 16:16:42 +0100 | <larryba> | hi. my haskell process can only use 2GB on windows. would upgrading to 64 bit ghc would allow me to use more memory? |
2020-12-26 16:16:52 +0100 | amiri | (~amiri@cpe-76-91-154-9.socal.res.rr.com) |
2020-12-26 16:17:45 +0100 | <hpc> | are you on a 32-bit processor? |
2020-12-26 16:18:04 +0100 | <larryba> | it is 64 bit, as are windows |
2020-12-26 16:18:11 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2020-12-26 16:18:11 +0100 | urodna | (~urodna@unaffiliated/urodna) |
2020-12-26 16:18:22 +0100 | cheater | (~user@unaffiliated/cheater) |
2020-12-26 16:18:45 +0100 | <hpc> | you should be using 64-bit ghc anyway then :P |
2020-12-26 16:19:20 +0100 | t3xp4t | (~texinwien@213162073014.public.t-mobile.at) |
2020-12-26 16:19:47 +0100 | <larryba> | I recall people recommending against it several years ago, and I never bothered to upgrade, or had the need to. I could really use more than 2GB for this program though |
2020-12-26 16:20:18 +0100 | <hpc> | weird |
2020-12-26 16:20:27 +0100 | <hpc> | in any event, haskell.org doesn't even have 32-bit builds anymore |
2020-12-26 16:20:32 +0100 | <hpc> | so you might as well just update |
2020-12-26 16:21:03 +0100 | <exarkun> | xsperry: Thanks |
2020-12-26 16:22:08 +0100 | <larryba> | hpc, ok good to know. but just to make sure, it will fix 2GB limitation? |
2020-12-26 16:22:23 +0100 | <hpc> | yes |
2020-12-26 16:22:47 +0100 | fendor_ | (~fendor@178.165.131.209.wireless.dyn.drei.com) |
2020-12-26 16:23:05 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2020-12-26 16:25:10 +0100 | fendor | (~fendor@77.119.130.68.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
2020-12-26 16:27:56 +0100 | dandart | (~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2) (Remote host closed the connection) |
2020-12-26 16:28:17 +0100 | dandart | (~Thunderbi@2a00:23c7:f5a6:d001:e847:506b:5204:fefb) |
2020-12-26 16:32:07 +0100 | <larryba> | ok nice |
2020-12-26 16:32:25 +0100 | <larryba> | it works |
2020-12-26 16:32:26 +0100 | acidjnk_new | (~acidjnk@p200300d0c704e714e5ab7a2f7255b0f1.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2020-12-26 16:37:17 +0100 | bitmagie | (~Thunderbi@200116b8069f51006cd1f289aa9319d9.dip.versatel-1u1.de) |
2020-12-26 16:38:12 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:5ed:a53b:7efb:1300) |
2020-12-26 16:38:15 +0100 | Varis | (~Tadas@unaffiliated/varis) |
2020-12-26 16:42:14 +0100 | shatriff | (~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection) |
2020-12-26 16:42:28 +0100 | shatriff | (~vitaliish@176-52-216-242.irishtelecom.com) |
2020-12-26 16:42:57 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:5ed:a53b:7efb:1300) (Ping timeout: 260 seconds) |
2020-12-26 16:44:56 +0100 | kam1 | (~kam1@24.231.108.143) (Ping timeout: 240 seconds) |
2020-12-26 16:47:38 +0100 | usr25 | (~usr25@unaffiliated/usr25) |
2020-12-26 16:53:59 +0100 | matryoshka | (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Quit: ZNC 1.8.2 - https://znc.in) |
2020-12-26 16:55:47 +0100 | cads2 | (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 260 seconds) |
2020-12-26 16:55:47 +0100 | cads | (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 260 seconds) |
2020-12-26 16:56:08 +0100 | plutoniix | (~q@ppp-223-24-162-232.revip6.asianet.co.th) (Read error: Connection reset by peer) |
2020-12-26 16:56:54 +0100 | matryoshka | (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
2020-12-26 16:57:57 +0100 | DavidEichmann | (~david@2a01:4b00:ea36:d800:1147:d85f:e158:35e6) (Ping timeout: 272 seconds) |
2020-12-26 16:58:50 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2020-12-26 16:59:47 +0100 | <larryba> | I want to access webcam, ideally package should be crossplatform (linux, windows, OS X). most google hits point to Graphics.Webcam.Linux, which is probably linux only, and hasn't been updated since 2012 |
2020-12-26 17:01:08 +0100 | <larryba> | any recommendations? |
2020-12-26 17:01:19 +0100 | nbloomf | (~nbloomf@2601:285:401:7490:e120:c87e:122e:3113) |
2020-12-26 17:02:35 +0100 | nbloomf | (~nbloomf@2601:285:401:7490:e120:c87e:122e:3113) (Client Quit) |
2020-12-26 17:02:56 +0100 | jamm | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
2020-12-26 17:03:22 +0100 | HarveyPwca | (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving) |
2020-12-26 17:05:35 +0100 | nbloomf | (~nbloomf@2601:285:401:7490:e120:c87e:122e:3113) |
2020-12-26 17:11:18 +0100 | plutoniix | (~q@node-uln.pool-125-24.dynamic.totinternet.net) |
2020-12-26 17:11:42 +0100 | kam1 | (~kam1@24.231.108.143) |
2020-12-26 17:11:44 +0100 | cads | (~cads@ip-64-72-99-232.lasvegas.net) |
2020-12-26 17:11:45 +0100 | cads2 | (~cads@ip-64-72-99-232.lasvegas.net) |
2020-12-26 17:12:21 +0100 | codeAlways | (uid272474@gateway/web/irccloud.com/x-moxhgbxrwxcxksfh) |
2020-12-26 17:15:45 +0100 | acidjnk_new | (~acidjnk@pd9e0b8fb.dip0.t-ipconnect.de) |
2020-12-26 17:16:03 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds) |
2020-12-26 17:16:21 +0100 | wwwww | (~wwwww@unaffiliated/wwwww) |
2020-12-26 17:16:53 +0100 | g-belmonte | (~g-belmont@2804:14c:8786:9576:8453:7874:d18c:94e0) |
2020-12-26 17:17:02 +0100 | [Kalisto] | (~Kalisto]@190.192.40.233) |
2020-12-26 17:17:07 +0100 | [Kalisto] | (~Kalisto]@190.192.40.233) ("The Lounge - https://thelounge.chat") |
2020-12-26 17:19:03 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) |
2020-12-26 17:21:04 +0100 | SpyEye | (~SpyEye@2a0d:5600:13:bb1::1d) |
2020-12-26 17:21:10 +0100 | son0p | (~son0p@181.136.122.143) (Remote host closed the connection) |
2020-12-26 17:21:13 +0100 | SpyEye | (~SpyEye@2a0d:5600:13:bb1::1d) ("Leaving") |
2020-12-26 17:22:13 +0100 | coot | (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
2020-12-26 17:25:57 +0100 | danso | (~dan@69-165-210-185.cable.teksavvy.com) |
2020-12-26 17:26:40 +0100 | knupfer | (~Thunderbi@200116b824f7fc00e8be29fffed109b5.dip.versatel-1u1.de) |
2020-12-26 17:26:41 +0100 | knupfer | (~Thunderbi@200116b824f7fc00e8be29fffed109b5.dip.versatel-1u1.de) (Client Quit) |
2020-12-26 17:26:52 +0100 | knupfer | (~Thunderbi@87.123.206.19) |
2020-12-26 17:32:22 +0100 | axeman- | (~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) |
2020-12-26 17:32:45 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2020-12-26 17:34:58 +0100 | HarveyPwca | (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) |
2020-12-26 17:38:35 +0100 | Vulfe_ | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Remote host closed the connection) |
2020-12-26 17:39:06 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) |
2020-12-26 17:39:46 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:5ed:a53b:7efb:1300) |
2020-12-26 17:40:50 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Remote host closed the connection) |
2020-12-26 17:40:56 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) |
2020-12-26 17:41:02 +0100 | hekkaidekapus} | (~tchouri@gateway/tor-sasl/hekkaidekapus) |
2020-12-26 17:42:23 +0100 | hekkaidekapus{ | (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds) |
2020-12-26 17:44:12 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:5ed:a53b:7efb:1300) (Ping timeout: 260 seconds) |
2020-12-26 17:44:32 +0100 | p-core | (~Thunderbi@koleje-wifi-0045.koleje.cuni.cz) |
2020-12-26 17:48:06 +0100 | kam1 | (~kam1@24.231.108.143) (Ping timeout: 272 seconds) |
2020-12-26 17:48:35 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
2020-12-26 17:50:57 +0100 | geekosaur | (ac3a8cbd@172.58.140.189) |
2020-12-26 17:51:19 +0100 | jamm | (~jamm@unaffiliated/jamm) |
2020-12-26 17:55:02 +0100 | p-core | (~Thunderbi@koleje-wifi-0045.koleje.cuni.cz) (Quit: p-core) |
2020-12-26 17:55:13 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Remote host closed the connection) |
2020-12-26 17:55:21 +0100 | p-core | (~Thunderbi@koleje-wifi-0045.koleje.cuni.cz) |
2020-12-26 17:56:22 +0100 | jamm | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
2020-12-26 17:57:07 +0100 | jamm | (~jamm@unaffiliated/jamm) |
2020-12-26 17:58:16 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
2020-12-26 17:58:23 +0100 | nbloomf | (~nbloomf@2601:285:401:7490:e120:c87e:122e:3113) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2020-12-26 17:59:38 +0100 | xff0x_ | (~fox@2001:1a81:5288:9200:8623:e02a:974b:33d8) (Ping timeout: 260 seconds) |
2020-12-26 17:59:59 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2020-12-26 18:00:08 +0100 | xff0x_ | (~fox@2001:1a81:5288:9200:2cbe:5ec5:9083:6f95) |
2020-12-26 18:00:14 +0100 | kderme | (2eb0d7c7@ppp046176215199.access.hol.gr) |
2020-12-26 18:01:42 +0100 | jamm | (~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds) |
2020-12-26 18:02:34 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 260 seconds) |
2020-12-26 18:03:43 +0100 | p-core | (~Thunderbi@koleje-wifi-0045.koleje.cuni.cz) (Remote host closed the connection) |
2020-12-26 18:03:49 +0100 | jamm | (~jamm@unaffiliated/jamm) |
2020-12-26 18:04:16 +0100 | jamm | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
2020-12-26 18:04:25 +0100 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
2020-12-26 18:05:01 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2020-12-26 18:07:16 +0100 | earthy | (~arthurvl@deban2.xs4all.space) (Ping timeout: 240 seconds) |
2020-12-26 18:08:37 +0100 | jamm | (~jamm@unaffiliated/jamm) |
2020-12-26 18:08:41 +0100 | <wz1000> | larryba: v4l2 |
2020-12-26 18:08:53 +0100 | juuandyy | (~juuandyy@90.166.144.65) |
2020-12-26 18:09:07 +0100 | urodna | (~urodna@unaffiliated/urodna) (Read error: Connection reset by peer) |
2020-12-26 18:09:20 +0100 | <wz1000> | but this is linux only |
2020-12-26 18:10:45 +0100 | <wz1000> | for cross platform your best bet would be using some browser api |
2020-12-26 18:12:10 +0100 | <wz1000> | or opencv might work as well |
2020-12-26 18:13:04 +0100 | <ij> | how does this know when to copy? https://hackage.haskell.org/package/vector-0.12.1.2/docs/Data-Vector.html#v:modify if I modify it and no other references are around, will no copies be indeed made? |
2020-12-26 18:13:22 +0100 | jamm | (~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds) |
2020-12-26 18:13:24 +0100 | cads2 | (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 265 seconds) |
2020-12-26 18:13:25 +0100 | cads | (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 264 seconds) |
2020-12-26 18:15:42 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) |
2020-12-26 18:15:50 +0100 | kam1 | (~kam1@24.231.108.143) |
2020-12-26 18:16:08 +0100 | <dolio> | ij: It doesn't have to do with references. |
2020-12-26 18:16:09 +0100 | <ij> | or is that not what will happen/ |
2020-12-26 18:18:52 +0100 | <dolio> | It's kind of complicated to explain. But one of the ways of building a vector is 'freeze the result of this `ST s (MVector s e)` computation.' |
2020-12-26 18:19:30 +0100 | <dolio> | If you `modify` something built that way, it will fuse into just freezing a different MVector. |
2020-12-26 18:19:55 +0100 | <dolio> | Or rather, the 'same' MVector, but with an additional operation run on it. |
2020-12-26 18:20:22 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Ping timeout: 260 seconds) |
2020-12-26 18:20:32 +0100 | <dolio> | If you have applied some operation to the vector that no longer makes it obviously of that form, then it must copy. |
2020-12-26 18:21:00 +0100 | <ij> | ah, so only if op is noop will I have no copy? |
2020-12-26 18:21:44 +0100 | <dolio> | No. But for instance, if you do `modify f (modify g v)`, then it won't make two copies. |
2020-12-26 18:21:48 +0100 | xff0x_ | (~fox@2001:1a81:5288:9200:2cbe:5ec5:9083:6f95) (Ping timeout: 260 seconds) |
2020-12-26 18:22:36 +0100 | xff0x_ | (~fox@2001:1a81:5288:9200:b813:b6df:62e3:3362) |
2020-12-26 18:24:13 +0100 | <ij> | I'm not sure that explains it for me. :( I can't relate that to how much/less memory will actually be used |
2020-12-26 18:25:13 +0100 | <koz_> | maerwald: Still getting that DigestError when trying to compile 8.10.3 with ghcup. |
2020-12-26 18:25:28 +0100 | <ij> | It sonuds interesting, though! I wouldn't mind making a SO post, so someone can proved a more elaborate answer for the less initiated... |
2020-12-26 18:25:51 +0100 | <koz_> | ij: The fusion framework for Vector is fairly complex. |
2020-12-26 18:26:04 +0100 | <koz_> | I would argue that if you _truly truly care_, then just work with MVector and freeze when done. |
2020-12-26 18:26:13 +0100 | <dolio> | ij: Another relevant thing is `create`. |
2020-12-26 18:26:14 +0100 | <koz_> | If you don't _truly truly care_, I wouldn't worry about it. |
2020-12-26 18:26:44 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2020-12-26 18:27:08 +0100 | <dolio> | If you do `modify f (create st)`, then it won't make a copy. It will become like `create (st >>= \mv -> mv <$ f mv)`. |
2020-12-26 18:27:24 +0100 | <ij> | dolio, that makes sense |
2020-12-26 18:28:07 +0100 | <ij> | then it will make a copy for my case, because it's already been used |
2020-12-26 18:28:15 +0100 | jjong | (~user@221.139.177.108) |
2020-12-26 18:28:22 +0100 | <dolio> | So you can eliminate a bunch of modify calls if they're inlined enough to statically figure that out. |
2020-12-26 18:30:48 +0100 | xelxebar | (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection) |
2020-12-26 18:31:04 +0100 | <ij> | makes sense, because I've used ST once and have a little of intuition |
2020-12-26 18:31:17 +0100 | xelxebar | (~xelxebar@gateway/tor-sasl/xelxebar) |
2020-12-26 18:32:58 +0100 | <dolio> | There are other ways of things fusing in vector, too. It's pretty complicated. |
2020-12-26 18:33:38 +0100 | <ij> | Why do you know!? |
2020-12-26 18:33:45 +0100 | <ij> | research paper? |
2020-12-26 18:34:04 +0100 | <dolio> | I used to be the official maintainer of vector. |
2020-12-26 18:34:20 +0100 | <ij> | ha! :) that beats everything |
2020-12-26 18:34:23 +0100 | <dolio> | So I had to read the research papers. |
2020-12-26 18:34:55 +0100 | <koz_> | dolio: Ooof, that's quite the job you used to have. |
2020-12-26 18:35:00 +0100 | <koz_> | Thank you for your service. |
2020-12-26 18:35:21 +0100 | <ij> | dolio, Do the ideas translate to something else you're doing now? How do you value the experience? |
2020-12-26 18:35:48 +0100 | <Uniaika> | dolio: thanks for your service! o7 |
2020-12-26 18:35:53 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2020-12-26 18:35:56 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
2020-12-26 18:37:40 +0100 | tomsmeding | (~tomsmedin@tomsmeding.com) (Quit: ZNC 1.7.5 - https://znc.in) |
2020-12-26 18:37:53 +0100 | Vulfe | (~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) |
2020-12-26 18:38:02 +0100 | <dolio> | I don't think rewrite rules are something you'd design most systems around. The stuff in vector is interesting, though. |
2020-12-26 18:39:50 +0100 | <dolio> | I've seen people take the ideas and use them as runtime representations, so that you can do similar tricks dynamically. Not sure how well that works out. |
2020-12-26 18:40:44 +0100 | tomsmeding | (~tomsmedin@tomsmeding.com) |
2020-12-26 18:47:21 +0100 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
2020-12-26 18:47:52 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2020-12-26 18:51:50 +0100 | erisco | (~erisco@104-195-141-253.cpe.teksavvy.com) |
2020-12-26 18:52:13 +0100 | coot | (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) |
2020-12-26 18:52:23 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
2020-12-26 18:52:24 +0100 | ddellacosta | (dd@gateway/vpn/mullvad/ddellacosta) |
2020-12-26 18:57:07 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 260 seconds) |
2020-12-26 18:57:51 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
2020-12-26 18:58:36 +0100 | mp___ | (~mp@hell.cx) (Ping timeout: 240 seconds) |
2020-12-26 19:01:17 +0100 | axeman-_ | (~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) |
2020-12-26 19:02:16 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
2020-12-26 19:03:49 +0100 | axeman- | (~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
2020-12-26 19:04:06 +0100 | sphalerite | (~sphalerit@NixOS/user/lheckemann) (Quit: 'tis the season to be rebooting) |
2020-12-26 19:06:30 +0100 | sphalerite | (~sphalerit@NixOS/user/lheckemann) |
2020-12-26 19:07:19 +0100 | Kaiepi | (~Kaiepi@47.54.252.148) (Ping timeout: 260 seconds) |
2020-12-26 19:07:35 +0100 | kderme | (2eb0d7c7@ppp046176215199.access.hol.gr) (Ping timeout: 245 seconds) |
2020-12-26 19:08:59 +0100 | bitmapper | (uid464869@gateway/web/irccloud.com/x-gokyrjifrpvajgow) (Quit: Connection closed for inactivity) |
2020-12-26 19:09:45 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2020-12-26 19:11:27 +0100 | agentofuser | (agentofuse@gateway/shell/matrix.org/x-dufldhasjoocycnn) |
2020-12-26 19:12:11 +0100 | netsoundW1 | (~netsoundW@185.204.1.185) |
2020-12-26 19:19:12 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2020-12-26 19:24:25 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
2020-12-26 19:29:26 +0100 | heatsink | (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
2020-12-26 19:30:48 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:d66:2904:6201:20dc) |
2020-12-26 19:35:49 +0100 | axeman-_ | (~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2020-12-26 19:36:14 +0100 | juuandyy | (~juuandyy@90.166.144.65) (Ping timeout: 256 seconds) |
2020-12-26 19:36:40 +0100 | erolm_a | (~erolm_a@82.24.185.133) (Read error: Connection reset by peer) |
2020-12-26 19:39:10 +0100 | juuandyy | (~juuandyy@90.166.144.65) |
2020-12-26 19:41:10 +0100 | kam1 | (~kam1@24.231.108.143) (Ping timeout: 246 seconds) |
2020-12-26 19:41:41 +0100 | averell | (~averell@unaffiliated/averell) (Quit: .) |
2020-12-26 19:43:27 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2020-12-26 19:43:56 +0100 | Lord_of_Life_ | (~Lord@unaffiliated/lord-of-life/x-0885362) |
2020-12-26 19:44:38 +0100 | xff0x_ | (~fox@2001:1a81:5288:9200:b813:b6df:62e3:3362) (Ping timeout: 260 seconds) |
2020-12-26 19:44:51 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2020-12-26 19:45:04 +0100 | xff0x_ | (~fox@2001:1a81:5288:9200:20a5:5657:38a6:e5de) |
2020-12-26 19:46:22 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
2020-12-26 19:46:25 +0100 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 246 seconds) |
2020-12-26 19:46:47 +0100 | Lord_of_Life_ | Lord_of_Life |
2020-12-26 19:50:21 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2020-12-26 19:51:13 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 264 seconds) |
2020-12-26 19:53:36 +0100 | erolm_a | (~erolm_a@82.24.185.133) |
2020-12-26 19:54:05 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
2020-12-26 19:54:17 +0100 | sand_dull | (~theuser@c-73-149-95-105.hsd1.ct.comcast.net) |
2020-12-26 19:55:52 +0100 | Guest_69 | (577a47f1@87.122.71.241) |
2020-12-26 19:56:02 +0100 | cheater | (~user@unaffiliated/cheater) (Ping timeout: 272 seconds) |
2020-12-26 19:56:47 +0100 | axeman- | (~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) |
2020-12-26 20:00:22 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-38.cust.tzulo.com) |
2020-12-26 20:01:34 +0100 | axeman- | (~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
2020-12-26 20:03:30 +0100 | berberman | (~berberman@unaffiliated/berberman) |
2020-12-26 20:04:19 +0100 | Guest_69 | (577a47f1@87.122.71.241) (Remote host closed the connection) |
2020-12-26 20:04:45 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2020-12-26 20:04:47 +0100 | berberman_ | (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
2020-12-26 20:05:26 +0100 | <gentauro> | is there any `gain` by replacing `mapM` with `mapConcurrently` from the `async` package when all the IO is strict (`readFileStrict`)? |
2020-12-26 20:05:43 +0100 | <gentauro> | it looks like it doesn't get any faster nor slower … |
2020-12-26 20:06:29 +0100 | <merijn> | gentauro: Well, reading files is almost certainly bottlenecked by your actual disk, not so much concurrency |
2020-12-26 20:06:33 +0100 | <gentauro> | already building with the with the `GHC` flags `-threaded` and `-with-rtsopts=-N` |
2020-12-26 20:06:41 +0100 | <merijn> | eh |
2020-12-26 20:06:56 +0100 | <merijn> | -with-rtsopts=-N is probably bad anyway |
2020-12-26 20:07:02 +0100 | <gentauro> | merijn: why? |
2020-12-26 20:07:34 +0100 | <merijn> | Because by default -threaded uses the parallel GC (for now, until the default gets changed) which combined with -N wreaks havoc upon performance |
2020-12-26 20:07:49 +0100 | <merijn> | You need -qg (or -gq?) to disable parallel GC |
2020-12-26 20:08:01 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
2020-12-26 20:08:02 +0100 | <tomsmeding> | -qg |
2020-12-26 20:08:34 +0100 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.0) |
2020-12-26 20:08:58 +0100 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
2020-12-26 20:10:01 +0100 | tomsmeding | wonders what the letters 'q' 'g' even stand for |
2020-12-26 20:10:16 +0100 | <gentauro> | merijn: in my .cabal file I have the following `ghc-options:` for binaries: [-O2, -threaded, -rtsopts, -with-rtsopts=-N] |
2020-12-26 20:10:24 +0100 | <gentauro> | should I just remove any of them? |
2020-12-26 20:10:44 +0100 | <gentauro> | wouldn't that be easier? |
2020-12-26 20:10:49 +0100 | <tomsmeding> | no -Wall ? |
2020-12-26 20:10:56 +0100 | <gentauro> | tomsmeding: yes |
2020-12-26 20:11:08 +0100 | <gentauro> | that's get inherited from the `base options` |
2020-12-26 20:11:45 +0100 | geekosaur | (ac3a8cbd@172.58.140.189) (Ping timeout: 245 seconds) |
2020-12-26 20:11:48 +0100 | tomsmeding | approves |
2020-12-26 20:11:50 +0100 | <merijn> | You probably want, like: -with-rtsopts="-N -qg" although even then -N is questionable |
2020-12-26 20:12:14 +0100 | cheater | (~user@unaffiliated/cheater) |
2020-12-26 20:12:17 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2020-12-26 20:13:11 +0100 | <gentauro> | tomsmeding: and outdated version of my `base` for .cabal files -> https://gitlab.com/spisemisu/pcx-utils/-/blob/master/pcx-utils.cabal#L35-85 |
2020-12-26 20:13:32 +0100 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
2020-12-26 20:13:59 +0100 | <gentauro> | merijn: should I remove `-threaded`? |
2020-12-26 20:14:12 +0100 | <gentauro> | or does the `-qg` just "overrule" it? |
2020-12-26 20:14:23 +0100 | <merijn> | gentauro: Those do different things |
2020-12-26 20:14:30 +0100 | <gentauro> | and if yes, why even add it in the first place (avoid confusion) |
2020-12-26 20:14:51 +0100 | <merijn> | gentauro: -threaded uses the multi-threaded RTS (which is fine), but currently the multi-threaded RTS *also* enables parallel GC by default |
2020-12-26 20:15:12 +0100 | <dminuoso> | The weird question is why non-threaded is even the default, given that it's not even officially supported... :p |
2020-12-26 20:15:27 +0100 | <merijn> | Which is bad, because for most (like, 70-80%) of programs the parallel GC is dramatically worse than normal |
2020-12-26 20:15:31 +0100 | averell | (~averell@unaffiliated/averell) |
2020-12-26 20:15:41 +0100 | whoawhoawhoa | (~egp_@128-71-4-8.broadband.corbina.ru) |
2020-12-26 20:15:42 +0100 | <merijn> | dminuoso: THere's an accepted proposal to change that, which includes disabling parallel GC for -threaded |
2020-12-26 20:15:43 +0100 | <gentauro> | merijn: `ghc: unrecognised flag: -qg` :| |
2020-12-26 20:15:45 +0100 | <tomsmeding> | gentauro: that's some nice customisation right there :P |
2020-12-26 20:15:54 +0100 | <gentauro> | I'm on GHC.8.8.4 |
2020-12-26 20:15:58 +0100 | <merijn> | gentauro: It's an rtsopt, not GHC option |
2020-12-26 20:16:03 +0100 | <tomsmeding> | -with-rtsopts=-N -with-rtsopts=-qg |
2020-12-26 20:16:07 +0100 | <merijn> | tomsmeding: Nope |
2020-12-26 20:16:21 +0100 | notzmv | (~user@unaffiliated/zmv) (Remote host closed the connection) |
2020-12-26 20:16:23 +0100 | <merijn> | tomsmeding: The last -with-rtsopts clobbers the preceding one |
2020-12-26 20:16:30 +0100 | <tomsmeding> | wat |
2020-12-26 20:16:33 +0100 | <merijn> | You need -with-rtsopts="-N -qg" |
2020-12-26 20:16:38 +0100 | <merijn> | tomsmeding: I already have an open ticket about that |
2020-12-26 20:16:40 +0100 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
2020-12-26 20:16:42 +0100 | <tomsmeding> | that is some toxic behaviour |
2020-12-26 20:16:43 +0100 | <tomsmeding> | thank you |
2020-12-26 20:16:59 +0100 | <tomsmeding> | merijn++ |
2020-12-26 20:17:05 +0100 | <merijn> | tomsmeding: But I won't have any time to address it until...I dunno...end 2021 or something |
2020-12-26 20:17:10 +0100 | notzmv | (~user@unaffiliated/zmv) |
2020-12-26 20:17:11 +0100 | whoawhoawhoa | egp8 |
2020-12-26 20:17:13 +0100 | <merijn> | So, uh, if you want it, you gotta implement it :p |
2020-12-26 20:17:27 +0100 | <tomsmeding> | it being known and acknowledged as a bug is step 1 |
2020-12-26 20:17:29 +0100 | hackage | fast-arithmetic 0.6.5.1 - Fast functions on integers. https://hackage.haskell.org/package/fast-arithmetic-0.6.5.1 (vmchale) |
2020-12-26 20:17:38 +0100 | <gentauro> | 20:16 < merijn> You need -with-rtsopts="-N -qg" |
2020-12-26 20:17:41 +0100 | <egp8> | what is ==# ? where do i get its definition? |
2020-12-26 20:17:48 +0100 | <gentauro> | merijn: adding that to my .cabal file, breaks the build :| |
2020-12-26 20:17:57 +0100 | <dminuoso> | egp8: https://hoogle.haskell.org/?hoogle=%28%3D%3D%23%29 |
2020-12-26 20:18:09 +0100 | <merijn> | egp8: Probably builtin primitive? Although I'm not sure |
2020-12-26 20:18:16 +0100 | leafiest | (~leafiest@c-73-118-152-9.hsd1.wa.comcast.net) |
2020-12-26 20:18:19 +0100 | <gentauro> | 20:16 < tomsmeding> -with-rtsopts=-N -with-rtsopts=-qg |
2020-12-26 20:18:22 +0100 | <gentauro> | that works though |
2020-12-26 20:18:28 +0100 | <merijn> | gentauro: Eh, it doesn't |
2020-12-26 20:18:33 +0100 | <merijn> | That doesn't set -N |
2020-12-26 20:18:35 +0100 | <tomsmeding> | though see merijn's comments about "works" |
2020-12-26 20:18:58 +0100 | <egp8> | merijn, dminuoso answered okay |
2020-12-26 20:19:15 +0100 | <gentauro> | `-with-rtsopts="-N -qg"` => ghc: unrecognised flag: -qg" :| |
2020-12-26 20:19:27 +0100 | <merijn> | gentauro: Are you using hpack? |
2020-12-26 20:19:52 +0100 | <merijn> | egp8: That result has no actual implementation/definition, though ;) |
2020-12-26 20:20:16 +0100 | <gentauro> | merijn: I don't think so |
2020-12-26 20:20:24 +0100 | <gentauro> | how do I know if I use `hpack`? |
2020-12-26 20:20:31 +0100 | kam1 | (~kam1@24.231.108.143) |
2020-12-26 20:20:33 +0100 | <merijn> | gentauro: Ok, then probably not |
2020-12-26 20:20:35 +0100 | <merijn> | hmm |
2020-12-26 20:20:41 +0100 | <tomsmeding> | "do I use hpack" == "do I have package.yaml" |
2020-12-26 20:20:45 +0100 | <merijn> | Sounds like something is messing up the quoting |
2020-12-26 20:20:59 +0100 | <gentauro> | 20:20 < tomsmeding> "do I use hpack" == "do I have package.yaml" |
2020-12-26 20:21:04 +0100 | <gentauro> | can confirm that I don't have that file :) |
2020-12-26 20:21:05 +0100 | <merijn> | "are you using anything that's not directly editing a .cabal file" |
2020-12-26 20:21:08 +0100 | <tomsmeding> | I would try spamming backslashes everywhere, before " and before the space |
2020-12-26 20:21:19 +0100 | <gentauro> | merijn: I edit the .cabal file |
2020-12-26 20:21:20 +0100 | <tomsmeding> | apart from stack.yaml |
2020-12-26 20:21:24 +0100 | <tomsmeding> | :p |
2020-12-26 20:21:42 +0100 | <merijn> | gentauro: oh, maybe your cabal-install is ancient? Which version do you have? |
2020-12-26 20:22:06 +0100 | <merijn> | oh, my bad |
2020-12-26 20:22:13 +0100 | <gentauro> | `cabal-version: 2.2` |
2020-12-26 20:22:14 +0100 | <gentauro> | :) |
2020-12-26 20:22:18 +0100 | <merijn> | You need to quote outside the flag |
2020-12-26 20:22:19 +0100 | <merijn> | https://github.com/merijn/Belewitte/blob/master/benchmark-analysis/benchmark-analysis.cabal#L65 |
2020-12-26 20:22:20 +0100 | <gentauro> | that's the header of my file :) |
2020-12-26 20:22:28 +0100 | <merijn> | So "-with-rtsopts=-N -qg" |
2020-12-26 20:23:07 +0100 | electricityZZZZ | (~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net) |
2020-12-26 20:23:25 +0100 | sand_dull | (~theuser@c-73-149-95-105.hsd1.ct.comcast.net) (Ping timeout: 265 seconds) |
2020-12-26 20:23:27 +0100 | <gentauro> | 20:22 < merijn> So "-with-rtsopts=-N -qg" |
2020-12-26 20:23:29 +0100 | <gentauro> | that worked !!! |
2020-12-26 20:23:31 +0100 | <gentauro> | thx !!! |
2020-12-26 20:23:54 +0100 | <tomsmeding> | merijn: am I correctly seeing that people vote for option 2.1 on your issue? https://gitlab.haskell.org/ghc/ghc/-/issues/18117 |
2020-12-26 20:24:15 +0100 | <gentauro> | merijn: in the line above, you don't use -N -> https://github.com/merijn/Belewitte/blob/master/benchmark-analysis/benchmark-analysis.cabal#L64 |
2020-12-26 20:24:25 +0100 | <gentauro> | wouldn't it be easier if I just remove -N? |
2020-12-26 20:24:44 +0100 | <merijn> | tomsmeding: Seems like it |
2020-12-26 20:24:47 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2020-12-26 20:24:55 +0100 | <merijn> | gentauro: I set the number of capabilities in code |
2020-12-26 20:25:00 +0100 | <merijn> | via setNumCapabilities |
2020-12-26 20:25:06 +0100 | <gentauro> | merijn: roger that |
2020-12-26 20:25:12 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
2020-12-26 20:25:18 +0100 | <merijn> | So you can just specify the number of threads at runtime instead |
2020-12-26 20:25:28 +0100 | <tomsmeding> | I agree with you merijn that option 1 is the most reasonable, with 2.3 in second place |
2020-12-26 20:25:40 +0100 | <gentauro> | merijn: from 24 seconds to 8 seconds :o |
2020-12-26 20:25:49 +0100 | chang | (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) |
2020-12-26 20:25:56 +0100 | <gentauro> | WTH, that was kind of a nice performance optimization :o |
2020-12-26 20:26:11 +0100 | <merijn> | :) |
2020-12-26 20:26:34 +0100 | <merijn> | Like I said, parallel GC is bad for most programs (especially if you're not manually tuning) |
2020-12-26 20:26:52 +0100 | <merijn> | It's *especially* bad with high numbers of capabilities like -N makes |
2020-12-26 20:27:38 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
2020-12-26 20:27:51 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
2020-12-26 20:28:42 +0100 | geekosaur | (ac3a8c92@172.58.140.146) |
2020-12-26 20:29:18 +0100 | <gentauro> | this is why I <3 #haskell on freenode. So many clever peeps that always help !!! |
2020-12-26 20:30:00 +0100 | <gentauro> | merijn: I have updated my `template.cabal` file with your comments, so when the project goes "open source" everybody will know the source of the optimization ;) |
2020-12-26 20:30:09 +0100 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
2020-12-26 20:30:29 +0100 | chang | (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Client Quit) |
2020-12-26 20:32:01 +0100 | codeAlways | (uid272474@gateway/web/irccloud.com/x-moxhgbxrwxcxksfh) (Quit: Connection closed for inactivity) |
2020-12-26 20:33:28 +0100 | <egp8> | merijn, via the GHCi error message, I came onto https://wiki.haskell.org/Lifting and https://stackoverflow.com/questions/35318562/what-is-levity-polymorphism/35320729#35320729 |
2020-12-26 20:33:36 +0100 | jamm | (~jamm@unaffiliated/jamm) |
2020-12-26 20:34:54 +0100 | <tomsmeding> | gentauro: is there a specific reason why you enabled -fpedantic-bottoms in your common flags? |
2020-12-26 20:35:07 +0100 | <koz_> | TIL that was even a flag, and lol. |
2020-12-26 20:35:07 +0100 | juuandyy | (~juuandyy@90.166.144.65) (Ping timeout: 260 seconds) |
2020-12-26 20:35:21 +0100 | <tomsmeding> | koz_: https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/bugs.html#expressions-and-patterns |
2020-12-26 20:36:12 +0100 | axeman- | (~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) |
2020-12-26 20:37:51 +0100 | xcmw | (~textual@c-76-120-183-86.hsd1.pa.comcast.net) |
2020-12-26 20:38:03 +0100 | <Uniaika> | koz_: LOL indeed |
2020-12-26 20:38:14 +0100 | <koz_> | I am easily amused. |
2020-12-26 20:38:26 +0100 | jamm | (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
2020-12-26 20:38:54 +0100 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 260 seconds) |
2020-12-26 20:39:45 +0100 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
2020-12-26 20:42:29 +0100 | hackage | ghcide 0.6.0.2 - The core of an IDE https://hackage.haskell.org/package/ghcide-0.6.0.2 (PepeIborra) |
2020-12-26 20:44:52 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2020-12-26 20:45:37 +0100 | p-core | (~Thunderbi@koleje-wifi-0049.koleje.cuni.cz) |
2020-12-26 20:46:29 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-38.cust.tzulo.com) (Ping timeout: 260 seconds) |
2020-12-26 20:46:36 +0100 | <gentauro> | tomsmeding: once I broke GHC -> http://blog.stermon.com/articles/2020/05/22/haskell-data-array-log256-safe-idiomatic-and-bottom.html |
2020-12-26 20:46:39 +0100 | <gentauro> | :( |
2020-12-26 20:47:07 +0100 | <gentauro> | tomsmeding: GHC doesn't like if you use `bottom` to much (`undefined`) |
2020-12-26 20:47:24 +0100 | <merijn> | Why do you need so much undefined? |
2020-12-26 20:47:57 +0100 | <koz_> | merijn: gentauro is Sir Mix-A-Lot? |
2020-12-26 20:48:45 +0100 | <MarcelineVQ> | are you even old enough for that refence :> |
2020-12-26 20:49:03 +0100 | <merijn> | >.> |
2020-12-26 20:49:15 +0100 | <koz_> | Lol. |
2020-12-26 20:49:22 +0100 | usr25 | (~usr25@unaffiliated/usr25) (Quit: Leaving) |
2020-12-26 20:49:39 +0100 | <gentauro> | koz_: hmmm, who? |
2020-12-26 20:49:48 +0100 | mp___ | (~mp@hell.cx) |
2020-12-26 20:49:56 +0100 | <koz_> | gentauro: This guy: https://www.youtube.com/watch?v=X53ZSxkQ3Ho |
2020-12-26 20:50:48 +0100 | bitmapper | (uid464869@gateway/web/irccloud.com/x-rpdhzkafohuoilye) |
2020-12-26 20:50:52 +0100 | dandart | (~Thunderbi@2a00:23c7:f5a6:d001:e847:506b:5204:fefb) (Ping timeout: 260 seconds) |
2020-12-26 20:51:06 +0100 | <gentauro> | koz_: I still don't get the ref … |
2020-12-26 20:51:16 +0100 | <gentauro> | (good to know that it's this guy who made that song though) |
2020-12-26 20:51:17 +0100 | <koz_> | Key line: "I like big butts and I cannot lie". |
2020-12-26 20:51:31 +0100 | <koz_> | Then draw logical chain of 'butt' -> 'bottom' |
2020-12-26 20:51:39 +0100 | avdb | (~avdb@gateway/tor-sasl/avdb) (Remote host closed the connection) |
2020-12-26 20:51:43 +0100 | <koz_> | Then fail to laugh at koz_'s poor humour attempt. |
2020-12-26 20:52:20 +0100 | <gentauro> | koz_: ahh, fair enough |
2020-12-26 20:52:25 +0100 | avdb | (~avdb@gateway/tor-sasl/avdb) |
2020-12-26 20:52:43 +0100 | <koz_> | tomsmeding: I'm making sure my policy of not making jokes more than 3 people get continues! |
2020-12-26 20:52:53 +0100 | <gentauro> | btw, speaking of `bottom` "jokes", why isn't the GHC `merge-bot` on GitLab not called `bot-Tom` instead of `marge-bot`? |
2020-12-26 20:53:08 +0100 | <koz_> | .... |
2020-12-26 20:53:21 +0100 | <Rembane> | :D |
2020-12-26 20:55:00 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2020-12-26 20:55:16 +0100 | Varis | (~Tadas@unaffiliated/varis) |
2020-12-26 20:56:07 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2020-12-26 20:56:59 +0100 | hackage | crdt 10.6 - Conflict-free replicated data types https://hackage.haskell.org/package/crdt-10.6 (cblp) |
2020-12-26 20:57:19 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit) |
2020-12-26 20:57:22 +0100 | <Uniaika> | woop woop CRDTs! |
2020-12-26 20:57:27 +0100 | <Uniaika> | they are -> super fun! |
2020-12-26 20:57:37 +0100 | nitrix-mas | nitrix |
2020-12-26 20:57:41 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2020-12-26 20:58:59 +0100 | mp___ | (~mp@hell.cx) (Ping timeout: 256 seconds) |
2020-12-26 20:58:59 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2020-12-26 21:01:10 +0100 | leafiest0 | (~leafiest@165.227.53.12) |
2020-12-26 21:02:24 +0100 | leafiest0 | (~leafiest@165.227.53.12) (Client Quit) |
2020-12-26 21:02:44 +0100 | leafiest0 | (~leafiest@165.227.53.12) |
2020-12-26 21:02:49 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
2020-12-26 21:03:12 +0100 | avdb | (~avdb@gateway/tor-sasl/avdb) (Remote host closed the connection) |
2020-12-26 21:04:01 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
2020-12-26 21:08:11 +0100 | avdb | (~avdb@gateway/tor-sasl/avdb) |
2020-12-26 21:08:52 +0100 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
2020-12-26 21:11:00 +0100 | iekfkk | (~username@117.200.7.201) |
2020-12-26 21:12:17 +0100 | Mikagami | (~MOSCOS@122.54.107.175) (Remote host closed the connection) |
2020-12-26 21:12:45 +0100 | Mikagami | (~MOSCOS@122.54.107.175) |
2020-12-26 21:13:28 +0100 | avdb | (~avdb@gateway/tor-sasl/avdb) (Remote host closed the connection) |
2020-12-26 21:14:45 +0100 | bisickcor | (~username@117.200.1.158) (Ping timeout: 240 seconds) |
2020-12-26 21:15:11 +0100 | avdb | (~avdb@gateway/tor-sasl/avdb) |
2020-12-26 21:15:53 +0100 | juuandyy | (~juuandyy@90.166.144.65) |
2020-12-26 21:24:59 +0100 | kam1 | (~kam1@24.231.108.143) (Ping timeout: 260 seconds) |
2020-12-26 21:30:56 +0100 | dandart | (~Thunderbi@2a00:23c7:f5a6:d001:e847:506b:5204:fefb) |
2020-12-26 21:32:04 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Remote host closed the connection) |
2020-12-26 21:32:15 +0100 | kam1 | (~kam1@24.231.108.143) |
2020-12-26 21:33:11 +0100 | kritzefitz | (~kritzefit@212.86.56.80) |
2020-12-26 21:34:29 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
2020-12-26 21:35:56 +0100 | xcmw | (~textual@c-76-120-183-86.hsd1.pa.comcast.net) (Read error: Connection reset by peer) |
2020-12-26 21:36:10 +0100 | hexfive | (~hexfive@50-47-142-195.evrt.wa.frontiernet.net) |
2020-12-26 21:36:31 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2020-12-26 21:36:55 +0100 | xcmw | (~textual@c-76-120-183-86.hsd1.pa.comcast.net) |
2020-12-26 21:37:34 +0100 | juuandyy | (~juuandyy@90.166.144.65) (Quit: Konversation terminated!) |
2020-12-26 21:38:37 +0100 | leafiest0 | (~leafiest@165.227.53.12) (Quit: The Lounge - https://thelounge.chat) |
2020-12-26 21:39:13 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 264 seconds) |
2020-12-26 21:39:27 +0100 | leafiest0 | (~leafiest@165.227.53.12) |
2020-12-26 21:39:32 +0100 | hnOsmium0001 | (uid453710@gateway/web/irccloud.com/x-yqhkburhkutpkobh) |
2020-12-26 21:41:31 +0100 | leafiest0 | (~leafiest@165.227.53.12) (Client Quit) |
2020-12-26 21:41:48 +0100 | leafiest0 | (~leafiest@165.227.53.12) |
2020-12-26 21:41:54 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
2020-12-26 21:43:00 +0100 | p-core1 | (~Thunderbi@koleje-wifi-0043.koleje.cuni.cz) |
2020-12-26 21:44:12 +0100 | cheater | (~user@unaffiliated/cheater) (Ping timeout: 260 seconds) |
2020-12-26 21:46:14 +0100 | p-core | (~Thunderbi@koleje-wifi-0049.koleje.cuni.cz) (Ping timeout: 272 seconds) |
2020-12-26 21:46:45 +0100 | dandart | (~Thunderbi@2a00:23c7:f5a6:d001:e847:506b:5204:fefb) (Ping timeout: 272 seconds) |
2020-12-26 21:47:27 +0100 | p-core1 | (~Thunderbi@koleje-wifi-0043.koleje.cuni.cz) (Ping timeout: 260 seconds) |
2020-12-26 21:47:33 +0100 | p-core | (~Thunderbi@koleje-wifi-0047.koleje.cuni.cz) |
2020-12-26 21:49:43 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds) |
2020-12-26 21:50:03 +0100 | ryjm | (sid383513@gateway/web/irccloud.com/x-tmudtbhecwyiwuwc) (Ping timeout: 260 seconds) |
2020-12-26 21:50:04 +0100 | p-core1 | (~Thunderbi@koleje-wifi-0049.koleje.cuni.cz) |
2020-12-26 21:50:22 +0100 | davetapley | (sid666@gateway/web/irccloud.com/x-ionovhqqpktzqpxd) (Ping timeout: 260 seconds) |
2020-12-26 21:50:26 +0100 | gOOgler | (uid125351@gateway/web/irccloud.com/x-vundpllovrkdofsh) (Ping timeout: 264 seconds) |
2020-12-26 21:50:38 +0100 | eruditass | (uid248673@gateway/web/irccloud.com/x-zzmifhezrdakvmqp) (Ping timeout: 268 seconds) |
2020-12-26 21:50:38 +0100 | aristid | (sid1599@gateway/web/irccloud.com/x-vqhscgijsuqmrlbi) (Ping timeout: 268 seconds) |
2020-12-26 21:50:38 +0100 | liquorice | (sid267884@gateway/web/irccloud.com/x-qcgjboopanduravj) (Ping timeout: 268 seconds) |
2020-12-26 21:50:38 +0100 | jyri-matti | (uid479350@gateway/web/irccloud.com/x-fwuqtestthcnxxuz) (Ping timeout: 268 seconds) |
2020-12-26 21:50:39 +0100 | iekfkk | (~username@117.200.7.201) (Read error: Connection reset by peer) |
2020-12-26 21:50:43 +0100 | d0liver | (sid363046@gateway/web/irccloud.com/x-phekeutgegrqsmdc) (Read error: Connection reset by peer) |
2020-12-26 21:50:58 +0100 | dandart | (~Thunderbi@2a00:23c7:f5a6:d001:e847:506b:5204:fefb) |
2020-12-26 21:51:03 +0100 | d0liver | (sid363046@gateway/web/irccloud.com/x-jbrqqdcqtnzurjyt) |
2020-12-26 21:51:08 +0100 | ryjm | (sid383513@gateway/web/irccloud.com/x-fozezseyqmozmxjk) |
2020-12-26 21:51:13 +0100 | lally | (sid388228@gateway/web/irccloud.com/x-tfnobvqpeuxjovei) (Ping timeout: 260 seconds) |
2020-12-26 21:51:15 +0100 | bradparker | (sid262931@gateway/web/irccloud.com/x-hkmwjhwvnriiibwj) (Ping timeout: 268 seconds) |
2020-12-26 21:51:19 +0100 | natim87 | (sid286962@gateway/web/irccloud.com/x-ryjfgihdwvppjeie) (Ping timeout: 258 seconds) |
2020-12-26 21:51:27 +0100 | leafiest0 | (~leafiest@165.227.53.12) (Quit: The Lounge - https://thelounge.chat) |
2020-12-26 21:51:37 +0100 | iekfkk | (~username@117.200.0.141) |
2020-12-26 21:51:41 +0100 | eruditass | (uid248673@gateway/web/irccloud.com/x-ruenpoidfyfhvubb) |
2020-12-26 21:51:43 +0100 | gOOgler | (uid125351@gateway/web/irccloud.com/x-rizvueflwypynars) |
2020-12-26 21:51:52 +0100 | alanz | (sid110616@gateway/web/irccloud.com/x-jeruqluhqrtgyent) (Ping timeout: 268 seconds) |
2020-12-26 21:52:03 +0100 | lally | (sid388228@gateway/web/irccloud.com/x-uafhjcwbcypcfxrm) |
2020-12-26 21:52:15 +0100 | natim87 | (sid286962@gateway/web/irccloud.com/x-dhthcfdaholuyfwt) |
2020-12-26 21:52:21 +0100 | p-core | (~Thunderbi@koleje-wifi-0047.koleje.cuni.cz) (Ping timeout: 265 seconds) |
2020-12-26 21:52:32 +0100 | leafiest0 | (~leafiest@165.227.53.12) |
2020-12-26 21:52:41 +0100 | aristid | (sid1599@gateway/web/irccloud.com/x-vhzcsflfsbgrllrm) |
2020-12-26 21:53:05 +0100 | liquorice | (sid267884@gateway/web/irccloud.com/x-rkupxuhqqgpmvbqv) |
2020-12-26 21:53:11 +0100 | davetapley | (sid666@gateway/web/irccloud.com/x-grrqllwpjuypfeja) |
2020-12-26 21:53:12 +0100 | bradparker | (sid262931@gateway/web/irccloud.com/x-ccluxzrskgjvclod) |
2020-12-26 21:53:15 +0100 | jyri-matti | (uid479350@gateway/web/irccloud.com/x-sahqhoxyiermzqtr) |
2020-12-26 21:53:18 +0100 | alanz | (sid110616@gateway/web/irccloud.com/x-tooahcfpyawpixxr) |
2020-12-26 21:54:15 +0100 | p-core | (~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) |
2020-12-26 21:54:40 +0100 | p-core1 | (~Thunderbi@koleje-wifi-0049.koleje.cuni.cz) (Ping timeout: 256 seconds) |
2020-12-26 21:57:17 +0100 | usr25 | (~usr25@unaffiliated/usr25) |
2020-12-26 21:58:30 +0100 | avdb | (~avdb@gateway/tor-sasl/avdb) (Remote host closed the connection) |
2020-12-26 21:58:55 +0100 | <egp8> | cool my tweaks work. and they are sane =)) |
2020-12-26 22:00:25 +0100 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
2020-12-26 22:01:35 +0100 | larryba | (~bc815220@199.204.85.195) (Quit: CGI:IRC (Session timeout)) |
2020-12-26 22:02:24 +0100 | xcmw | (~textual@c-76-120-183-86.hsd1.pa.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2020-12-26 22:02:44 +0100 | olligobber | (~olligobbe@unaffiliated/olligobber) |
2020-12-26 22:03:19 +0100 | leafiest0 | (~leafiest@165.227.53.12) (Quit: The Lounge - https://thelounge.chat) |
2020-12-26 22:03:54 +0100 | leafiest0 | (~leafiest@165.227.53.12) |
2020-12-26 22:05:07 +0100 | leafiest0 | (~leafiest@165.227.53.12) (Client Quit) |
2020-12-26 22:06:03 +0100 | leafiest0 | (~leafiest@165.227.53.12) |
2020-12-26 22:06:09 +0100 | kam1 | (~kam1@24.231.108.143) (Read error: Connection reset by peer) |
2020-12-26 22:06:39 +0100 | kam1 | (~kam1@24.231.108.143) |
2020-12-26 22:06:48 +0100 | o1lo01ol1o | (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
2020-12-26 22:07:57 +0100 | leafiest0 | (~leafiest@165.227.53.12) (Client Quit) |
2020-12-26 22:08:28 +0100 | leafiest0 | (~leafiest@165.227.53.12) |
2020-12-26 22:10:04 +0100 | leafiest0 | (~leafiest@165.227.53.12) (Client Quit) |
2020-12-26 22:10:34 +0100 | leafiest0 | (~leafiest@165.227.53.12) |
2020-12-26 22:11:58 +0100 | srk | (~sorki@gateway/tor-sasl/sorki) (Remote host closed the connection) |
2020-12-26 22:12:55 +0100 | srk | (~sorki@gateway/tor-sasl/sorki) |
2020-12-26 22:14:38 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2020-12-26 22:14:41 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2020-12-26 22:15:22 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:d66:2904:6201:20dc) (Remote host closed the connection) |
2020-12-26 22:16:23 +0100 | ransom | (~c4264035@2a09:bac0:72::82f:c34) |
2020-12-26 22:18:57 +0100 | infinity0 | (~infinity0@freenet/developer/infinity0) |
2020-12-26 22:20:01 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds) |
2020-12-26 22:22:48 +0100 | leafiest0 | (~leafiest@165.227.53.12) (Quit: The Lounge - https://thelounge.chat) |
2020-12-26 22:24:52 +0100 | gproto23 | (~gproto23@unaffiliated/gproto23) |
2020-12-26 22:26:11 +0100 | runawayfive | (~nope@unaffiliated/runawayfive) (Ping timeout: 265 seconds) |
2020-12-26 22:26:11 +0100 | gproto23 | (~gproto23@unaffiliated/gproto23) (Client Quit) |
2020-12-26 22:29:42 +0100 | <orion> | I like sum types. I hate how sum types are represented in SQL by libraries such as persistent. I could use acid-state, but then I'd have to keep the entire database in memory, as well as write my own logic for doing "WHERE", "ORDER BY", etc. Are there any better options? |
2020-12-26 22:30:11 +0100 | runawayfive | (~nope@unaffiliated/runawayfive) |
2020-12-26 22:30:30 +0100 | p-core | (~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) (Remote host closed the connection) |
2020-12-26 22:30:39 +0100 | <MarcelineVQ> | You could be the hero |
2020-12-26 22:31:27 +0100 | <orion> | Is such a library really something people would enjoy? |
2020-12-26 22:32:11 +0100 | <Rembane> | I don't recall if Selda handles it in a nice way. |
2020-12-26 22:32:42 +0100 | jb55 | (~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection) |
2020-12-26 22:32:42 +0100 | denisse | (~spaceCat@gateway/tor-sasl/alephzer0) (Read error: Connection reset by peer) |
2020-12-26 22:32:42 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Write error: Connection reset by peer) |
2020-12-26 22:32:42 +0100 | andreas303 | (~andreas@gateway/tor-sasl/andreas303) (Write error: Connection reset by peer) |
2020-12-26 22:32:42 +0100 | Unhammer | (~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection) |
2020-12-26 22:32:48 +0100 | <orion> | I looked at https://github.com/agentm/project-m36 but it seems to be abandoned. |
2020-12-26 22:33:07 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
2020-12-26 22:33:08 +0100 | jb55 | (~jb55@gateway/tor-sasl/jb55) |
2020-12-26 22:33:23 +0100 | orzo | (joe@lasker.childrenofmay.org) |
2020-12-26 22:33:30 +0100 | denisse | (~spaceCat@gateway/tor-sasl/alephzer0) |
2020-12-26 22:33:45 +0100 | Unhammer | (~Unhammer@gateway/tor-sasl/unhammer) |
2020-12-26 22:34:09 +0100 | <orion> | It also relies on Cloud Haskell, which I believe is also an abandoned process. |
2020-12-26 22:34:13 +0100 | <orion> | project* |
2020-12-26 22:34:30 +0100 | son0p | (~son0p@181.136.122.143) |
2020-12-26 22:34:44 +0100 | <MarcelineVQ> | '66f4d99 on Nov 22' depends what abandoned means to you |
2020-12-26 22:34:46 +0100 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 246 seconds) |
2020-12-26 22:35:50 +0100 | andreas303 | (~andreas@gateway/tor-sasl/andreas303) |
2020-12-26 22:35:53 +0100 | axeman- | (~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2020-12-26 22:38:02 +0100 | axeman- | (~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) |
2020-12-26 22:39:03 +0100 | axeman- | (~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2020-12-26 22:39:17 +0100 | axeman- | (~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) |
2020-12-26 22:40:15 +0100 | <merijn> | orion: You forgot the whole "acid-state is misnamed and not actually acid", part :p |
2020-12-26 22:40:15 +0100 | Kronic | (~Kronic___@84.203.96.46) (Read error: Connection reset by peer) |
2020-12-26 22:40:22 +0100 | Sheilong | (uid293653@gateway/web/irccloud.com/x-zpekbjdaicilgtst) |
2020-12-26 22:40:54 +0100 | <merijn> | orion: Crazy idea, just use SQL directly and define/store them however you like? :p |
2020-12-26 22:41:59 +0100 | runawayfive | (~nope@unaffiliated/runawayfive) (Ping timeout: 260 seconds) |
2020-12-26 22:42:07 +0100 | kam1 | (~kam1@24.231.108.143) (Remote host closed the connection) |
2020-12-26 22:42:38 +0100 | kam1 | (~kam1@24.231.108.143) |
2020-12-26 22:43:32 +0100 | <toppler> | I'm playing with pipes. Is there a derivable function of type Functor m => (a -> Proxy x' x a b m r) -> (b -> Proxy x' x b c m r) -> a -> Proxy x' x a c m r? The idea is that it appends on the upstream interface, and matches opposite ends of the downstream, giving another category with identity in "p = respond x >=> p". I can't figure out how to derive it, or see otherwise why it doesn't make sense in the library. |
2020-12-26 22:44:52 +0100 | iqubic` | (~user@2601:602:9500:4870:b714:410c:c6da:d9b1) (Quit: ERC (IRC client for Emacs 28.0.50)) |
2020-12-26 22:45:07 +0100 | iqubic | (~user@2601:602:9500:4870:b714:410c:c6da:d9b1) |
2020-12-26 22:45:32 +0100 | runawayfive | (~nope@unaffiliated/runawayfive) |
2020-12-26 22:47:24 +0100 | <orion> | merijn: In what aspects is acid-state not ACID? |
2020-12-26 22:48:04 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2020-12-26 22:48:18 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:d66:2904:6201:20dc) |
2020-12-26 22:49:45 +0100 | <merijn> | orion: https://github.com/acid-state/acid-state/issues/79 |
2020-12-26 22:50:01 +0100 | <orion> | Thanks. |
2020-12-26 22:50:28 +0100 | <merijn> | Also, relying on fsync and generally trusting the posix file API means the odds of it actually being correct are, basically, 0 |
2020-12-26 22:51:19 +0100 | <merijn> | fsync on linux is busted to the point of being unusable for actual durability/safety and the posix file API makes it a Herculean task to do anything remotely close to safe/atomic |
2020-12-26 22:52:39 +0100 | kritzefitz | (~kritzefit@212.86.56.80) (Remote host closed the connection) |
2020-12-26 22:53:02 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds) |
2020-12-26 22:54:46 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2020-12-26 22:55:26 +0100 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
2020-12-26 22:55:43 +0100 | geekosaur | (ac3a8c92@172.58.140.146) (Remote host closed the connection) |
2020-12-26 22:56:20 +0100 | philopsos | (~caecilius@gateway/tor-sasl/caecilius) |
2020-12-26 22:57:14 +0100 | sweater | (~sweater@206.81.18.26) (Quit: WeeChat 2.8) |
2020-12-26 22:57:26 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Remote host closed the connection) |
2020-12-26 22:57:55 +0100 | sand_dull | (~theuser@c-73-149-95-105.hsd1.ct.comcast.net) |
2020-12-26 22:58:02 +0100 | Entertainment | (~entertain@104.246.132.210) (Ping timeout: 260 seconds) |
2020-12-26 22:58:30 +0100 | Franciman | (~francesco@host-82-49-79-73.retail.telecomitalia.it) (Quit: Leaving) |
2020-12-26 22:58:51 +0100 | ADG1089__ | (~aditya@223.235.213.117) |
2020-12-26 22:59:22 +0100 | ADG1089__ | (~aditya@223.235.213.117) (Remote host closed the connection) |
2020-12-26 23:04:31 +0100 | ddellacosta | (dd@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
2020-12-26 23:04:34 +0100 | shatriff | (~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection) |
2020-12-26 23:04:57 +0100 | <madnight> | merijn: fsync is just the POSIX API for a POSIX filesystem, so it depends about which filesystem we are talking |
2020-12-26 23:05:04 +0100 | shatriff | (~vitaliish@176-52-216-242.irishtelecom.com) |
2020-12-26 23:05:19 +0100 | cosimone | (~cosimone@93-47-228-249.ip115.fastwebnet.it) (Quit: cosimone) |
2020-12-26 23:05:22 +0100 | <madnight> | merijn: fsync on ext4? |
2020-12-26 23:05:36 +0100 | axeman- | (~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2020-12-26 23:05:37 +0100 | shatriff | (~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection) |
2020-12-26 23:05:54 +0100 | shatriff | (~vitaliish@176-52-216-242.irishtelecom.com) |
2020-12-26 23:06:25 +0100 | shatriff | (~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection) |
2020-12-26 23:06:41 +0100 | shatriff | (~vitaliish@176-52-216-242.irishtelecom.com) |
2020-12-26 23:07:00 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2020-12-26 23:07:13 +0100 | shatriff | (~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection) |
2020-12-26 23:07:27 +0100 | shatriff | (~vitaliish@176-52-216-242.irishtelecom.com) |
2020-12-26 23:08:00 +0100 | shatriff | (~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection) |
2020-12-26 23:12:48 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:d66:2904:6201:20dc) (Remote host closed the connection) |
2020-12-26 23:17:13 +0100 | isovector | (~isovector@172.103.216.166) |
2020-12-26 23:20:21 +0100 | axeman- | (~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) |
2020-12-26 23:25:26 +0100 | vicfred | (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
2020-12-26 23:28:05 +0100 | chang | (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) |
2020-12-26 23:28:53 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
2020-12-26 23:29:16 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
2020-12-26 23:30:26 +0100 | al3x27 | (~plovs@85.254.74.40) (Ping timeout: 256 seconds) |
2020-12-26 23:32:08 +0100 | dandart | (~Thunderbi@2a00:23c7:f5a6:d001:e847:506b:5204:fefb) (Ping timeout: 260 seconds) |
2020-12-26 23:32:22 +0100 | __monty__ | (~toonn@unaffiliated/toonn) (Quit: leaving) |
2020-12-26 23:33:30 +0100 | hackage | fadno-xml 1.2 - XML/XSD combinators/schemas/codegen https://hackage.haskell.org/package/fadno-xml-1.2 (spopejoy) |
2020-12-26 23:34:09 +0100 | isovector | (~isovector@172.103.216.166) ("WeeChat 2.9") |
2020-12-26 23:34:25 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds) |
2020-12-26 23:36:14 +0100 | aweinstock | (~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com) (Ping timeout: 260 seconds) |
2020-12-26 23:36:18 +0100 | machinedgod | (~machinedg@24.105.81.50) |
2020-12-26 23:36:27 +0100 | dandart | (~Thunderbi@2a00:23c7:f5a6:d001:e847:506b:5204:fefb) |
2020-12-26 23:38:02 +0100 | aweinstock | (~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com) |
2020-12-26 23:39:52 +0100 | chang | (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2020-12-26 23:40:26 +0100 | xcmw | (~textual@2601:541:4404:bb5c:da1:4077:f440:d41d) |
2020-12-26 23:41:00 +0100 | hackage | markdown-unlit 0.5.1 - Literate Haskell support for Markdown https://hackage.haskell.org/package/markdown-unlit-0.5.1 (SimonHengel) |
2020-12-26 23:41:23 +0100 | zv | (~zv@unaffiliated/zv) |
2020-12-26 23:41:55 +0100 | axeman- | (~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2020-12-26 23:45:30 +0100 | hackage | fadno 1.1.4 - Minimal library for music generation and notation https://hackage.haskell.org/package/fadno-1.1.4 (spopejoy) |
2020-12-26 23:47:18 +0100 | ransom | (~c4264035@2a09:bac0:72::82f:c34) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2020-12-26 23:48:19 +0100 | christo | (~chris@81.96.113.213) |
2020-12-26 23:48:32 +0100 | pavonia | (~user@unaffiliated/siracusa) |
2020-12-26 23:50:29 +0100 | hackage | binary-io 0.5.0 - Read and write values of types that implement Binary https://hackage.haskell.org/package/binary-io-0.5.0 (vapourismo) |
2020-12-26 23:51:32 +0100 | verement | (~anonymous@cpe-76-167-229-223.san.res.rr.com) (Quit: verement) |
2020-12-26 23:52:34 +0100 | vicfred | (~vicfred@unaffiliated/vicfred) |
2020-12-26 23:52:56 +0100 | christo | (~chris@81.96.113.213) (Ping timeout: 256 seconds) |
2020-12-26 23:54:51 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2020-12-26 23:55:05 +0100 | verement | (~anonymous@cpe-76-167-229-223.san.res.rr.com) |
2020-12-26 23:57:13 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
2020-12-26 23:57:41 +0100 | egp8 | (~egp_@128-71-4-8.broadband.corbina.ru) (Quit: EXIT) |
2020-12-26 23:58:49 +0100 | cheater | (~user@unaffiliated/cheater) |
2020-12-26 23:59:28 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
2020-12-26 23:59:56 +0100 | sand_dull | (~theuser@c-73-149-95-105.hsd1.ct.comcast.net) (Ping timeout: 240 seconds) |