IRCBrowse

2020/12/26

2020-12-26 00:00:37 +0100coot(~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-12-26 00:00:53 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius) (Remote host closed the connection)
2020-12-26 00:02:03 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2020-12-26 00:02:52 +0100o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-12-26 00:03:36 +0100jneira(5127adb4@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.173.180) (Ping timeout: 240 seconds)
2020-12-26 00:04:04 +0100olligobber(~olligobbe@unaffiliated/olligobber)
2020-12-26 00:04:40 +0100dandart(~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2)
2020-12-26 00:04:44 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius)
2020-12-26 00:05:31 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 256 seconds)
2020-12-26 00:05:53 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius) (Remote host closed the connection)
2020-12-26 00:06:48 +0100acarrico(~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 +0100Fractalis(~Fractalis@2601:987:280:8d40:45d0:942f:6e60:692f) (Ping timeout: 264 seconds)
2020-12-26 00:09:52 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius)
2020-12-26 00:10:12 +0100__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2020-12-26 00:10:52 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius) (Remote host closed the connection)
2020-12-26 00:11:11 +0100paintcan(~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 +0100kori(~kori@arrowheads/kori) (Ping timeout: 268 seconds)
2020-12-26 00:13:37 +0100o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Remote host closed the connection)
2020-12-26 00:14:52 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius)
2020-12-26 00:15:11 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-12-26 00:15:31 +0100sgibber2018(~arch-gibb@208.85.237.137) (Quit: WeeChat 3.0)
2020-12-26 00:15:49 +0100sand_dull(~theuser@c-73-149-95-105.hsd1.ct.comcast.net) (Ping timeout: 264 seconds)
2020-12-26 00:16:43 +0100xcmw(~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 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2020-12-26 00:18:53 +0100xcmw(~textual@2601:541:4404:bb5c:c568:d02b:e892:a15e)
2020-12-26 00:19:29 +0100fendor(~fendor@77.119.130.68.wireless.dyn.drei.com) (Remote host closed the connection)
2020-12-26 00:19:36 +0100cheater(~user@unaffiliated/cheater) (Ping timeout: 240 seconds)
2020-12-26 00:19:44 +0100tromp(~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 +0100heatsink(~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 +0100xcmw(~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 +0100cheater(~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 +0100son0p(~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 +0100dandart(~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2) (Remote host closed the connection)
2020-12-26 00:28:30 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2020-12-26 00:28:35 +0100dandart(~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 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 240 seconds)
2020-12-26 00:30:36 +0100kori(~kori@arrowheads/kori)
2020-12-26 00:31:46 +0100jmchael(~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 +0100dandart(~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2) (Ping timeout: 268 seconds)
2020-12-26 00:33:59 +0100fuzzypixelz(~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) ()
2020-12-26 00:36:15 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-12-26 00:38:16 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-prsljozdtcilczmu) (Quit: Connection closed for inactivity)
2020-12-26 00:38:38 +0100Lycurgus(~niemand@cpe-45-46-137-210.buffalo.res.rr.com)
2020-12-26 00:42:29 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-12-26 00:43:44 +0100jmchael(~jmchael@81.174.205.210)
2020-12-26 00:45:43 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-12-26 00:47:01 +0100ransom_(~c4264035@8.47.12.52) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-26 00:47:42 +0100knupfer(~Thunderbi@200116b8248ff600c4f4ca64117d4161.dip.versatel-1u1.de) (Ping timeout: 268 seconds)
2020-12-26 00:51:23 +0100perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2020-12-26 00:53:47 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-12-26 00:59:01 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-12-26 01:03:43 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
2020-12-26 01:04:55 +0100sandy-clawspoggers
2020-12-26 01:05:23 +0100viu(~viu@186.77.204.40)
2020-12-26 01:08:48 +0100viu(~viu@186.77.204.40) (Client Quit)
2020-12-26 01:11:30 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2020-12-26 01:14:40 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-12-26 01:15:43 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2020-12-26 01:19:56 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-12-26 01:20:35 +0100heatsink(~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 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2020-12-26 01:25:20 +0100heatsink(~heatsink@2600:1700:bef1:5e10:71b2:cc28:f79:2771)
2020-12-26 01:25:23 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-12-26 01:25:30 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2020-12-26 01:25:53 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2020-12-26 01:26:14 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 260 seconds)
2020-12-26 01:27:04 +0100perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Ping timeout: 246 seconds)
2020-12-26 01:27:06 +0100kam1(~kam1@24.231.108.143) (Ping timeout: 256 seconds)
2020-12-26 01:30:10 +0100Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-106.cust.tzulo.com)
2020-12-26 01:31:31 +0100ransom_(~c4264035@8.47.12.52)
2020-12-26 01:33:50 +0100Entertainment(~entertain@104.246.132.210) (Ping timeout: 256 seconds)
2020-12-26 01:33:58 +0100p8m_(p8m@gateway/vpn/protonvpn/p8m)
2020-12-26 01:34:28 +0100p8m(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 +0100dandart(~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2)
2020-12-26 01:41:20 +0100matryoshka(~matryoshk@184.75.223.227) (Quit: ZNC 1.8.2 - https://znc.in)
2020-12-26 01:41:42 +0100aarvar(~foewfoiew@2601:602:a080:fa0:ac47:8893:80c1:4f6c) (Ping timeout: 260 seconds)
2020-12-26 01:42:26 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-12-26 01:42:39 +0100machinedgod(~machinedg@24.105.81.50)
2020-12-26 01:43:02 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
2020-12-26 01:44:03 +0100sand_dull(~theuser@c-73-149-95-105.hsd1.ct.comcast.net)
2020-12-26 01:45:20 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2020-12-26 01:47:14 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds)
2020-12-26 01:48:58 +0100chang(~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com)
2020-12-26 01:49:47 +0100fcortesi(~fcortesi@78-66-245-190.fibertel.com.ar) (Quit: Lost terminal)
2020-12-26 01:49:47 +0100hiroaki_(~hiroaki@ip4d16fa3b.dynamic.kabel-deutschland.de)
2020-12-26 01:49:52 +0100GuerrillaMonkey(~Jeanne-Ka@static-198-54-134-106.cust.tzulo.com)
2020-12-26 01:49:59 +0100Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-106.cust.tzulo.com) (Read error: Connection reset by peer)
2020-12-26 01:51:49 +0100jmchael(~jmchael@81.174.205.210) (Ping timeout: 264 seconds)
2020-12-26 01:51:54 +0100hiroaki(~hiroaki@ip4d168e73.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2020-12-26 01:52:03 +0100fcortesi(~fcortesi@78-66-245-190.fibertel.com.ar)
2020-12-26 01:52:05 +0100o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-12-26 01:54:34 +0100olligobber(~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 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-12-26 01:55:22 +0100aarvar(~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 +0100dandart(~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 +0100o1lo01ol1o(~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 +0100p-core(~Thunderbi@koleje-wifi-0045.koleje.cuni.cz)
2020-12-26 02:00:00 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-12-26 02:01:32 +0100nbloomf(~nbloomf@2601:285:401:7490:d7f:b9c5:b06e:6a0b)
2020-12-26 02:01:38 +0100chang(~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-26 02:01:54 +0100gioyik_(gioyik@gateway/vpn/privateinternetaccess/gioyik)
2020-12-26 02:02:04 +0100cads2(~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 246 seconds)
2020-12-26 02:02:13 +0100acidjnk_new(~acidjnk@p200300d0c704e768e5ab7a2f7255b0f1.dip0.t-ipconnect.de) (Ping timeout: 258 seconds)
2020-12-26 02:02:23 +0100cads(~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 265 seconds)
2020-12-26 02:03:03 +0100Entertainment(~entertain@104.246.132.210)
2020-12-26 02:03:10 +0100xcmw(~textual@2601:541:4404:bb5c:c568:d02b:e892:a15e)
2020-12-26 02:04:17 +0100fcortesi(~fcortesi@78-66-245-190.fibertel.com.ar) (Quit: Lost terminal)
2020-12-26 02:04:55 +0100gioyik__(~gioyik@186.112.107.251)
2020-12-26 02:05:14 +0100gioyik(~gioyik@186.112.107.251) (Ping timeout: 256 seconds)
2020-12-26 02:05:39 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
2020-12-26 02:07:42 +0100gioyik_(gioyik@gateway/vpn/privateinternetaccess/gioyik) (Ping timeout: 265 seconds)
2020-12-26 02:08:00 +0100olligobber(~olligobbe@unaffiliated/olligobber)
2020-12-26 02:08:30 +0100fcortesi(~fcortesi@78-66-245-190.fibertel.com.ar)
2020-12-26 02:09:21 +0100dandart(~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2)
2020-12-26 02:10:15 +0100Mikagami(~MOSCOS@122.54.107.175) (Remote host closed the connection)
2020-12-26 02:10:40 +0100Mikagami(~MOSCOS@122.54.107.175)
2020-12-26 02:10:49 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 246 seconds)
2020-12-26 02:12:16 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
2020-12-26 02:15:12 +0100solonarv(~solonarv@astrasbourg-653-1-157-135.w90-6.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2020-12-26 02:16:15 +0100fcortesi(~fcortesi@78-66-245-190.fibertel.com.ar) (Remote host closed the connection)
2020-12-26 02:17:11 +0100Varis(~Tadas@unaffiliated/varis)
2020-12-26 02:17:16 +0100ddellacosta(dd@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2020-12-26 02:20:36 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Ping timeout: 240 seconds)
2020-12-26 02:21:19 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-gokyrjifrpvajgow)
2020-12-26 02:21:30 +0100hackagewide-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 +0100xcmw(~textual@2601:541:4404:bb5c:c568:d02b:e892:a15e) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-26 02:22:16 +0100Entertainment(~entertain@104.246.132.210) ()
2020-12-26 02:22:31 +0100Entertainment(~entertain@104.246.132.210)
2020-12-26 02:24:54 +0100paintcan(~user@cpe-69-206-241-99.nyc.res.rr.com)
2020-12-26 02:24:58 +0100CMCDragonkai1(~Thunderbi@120.18.70.194)
2020-12-26 02:26:38 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Remote host closed the connection)
2020-12-26 02:27:28 +0100Vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net)
2020-12-26 02:27:30 +0100merijn(~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 +0100Lycurgus(~niemand@cpe-45-46-137-210.buffalo.res.rr.com) (Quit: Exeunt)
2020-12-26 02:29:07 +0100GuerrillaMonkey(~Jeanne-Ka@static-198-54-134-106.cust.tzulo.com) (Quit: Leaving)
2020-12-26 02:29:19 +0100Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-106.cust.tzulo.com)
2020-12-26 02:31:18 +0100dandart(~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2) (Ping timeout: 268 seconds)
2020-12-26 02:32:09 +0100Vulfe(~vulfe@75-28-176-196.lightspeed.evtnil.sbcglobal.net) (Ping timeout: 260 seconds)
2020-12-26 02:32:36 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-12-26 02:34:53 +0100Fischmie1(~Fischmiep@149.224.60.139)
2020-12-26 02:35:02 +0100kam1(~kam1@24.231.108.143)
2020-12-26 02:37:56 +0100Fischmiep(~Fischmiep@149.224.226.211) (Ping timeout: 256 seconds)
2020-12-26 02:38:34 +0100nbloomf(~nbloomf@2601:285:401:7490:d7f:b9c5:b06e:6a0b) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-26 02:38:52 +0100poggersjess
2020-12-26 02:39:43 +0100 <mniip> I've been wondering for a while now
2020-12-26 02:39:44 +0100dandart(~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 +0100ransom_(~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 +0100dandart(~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2) (Ping timeout: 272 seconds)
2020-12-26 02:44:25 +0100columbarius(~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 +0100dandart(~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2)
2020-12-26 02:46:42 +0100columbarius(~columbari@i5E86B32A.versanet.de)
2020-12-26 02:49:00 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410)
2020-12-26 02:50:47 +0100dandart(~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2) (Ping timeout: 260 seconds)
2020-12-26 02:52:44 +0100wei2912(~wei2912@unaffiliated/wei2912)
2020-12-26 02:52:59 +0100aarvar(~foewfoiew@2601:602:a080:fa0:25f9:d0f9:fdbf:5fdc) ()
2020-12-26 02:54:59 +0100ddellacosta(~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 +0100matryoshka(~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 +0100matryoshka(~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 +0100fengh(~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 +0100al3x27(~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 +0100nbloomf(~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 +0100merijn(~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 +0100Entertainment(~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 +0100ddellacosta(~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 +0100ddellacosta(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 +0100cosimone(~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 +0100frdg(~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 +0100carthia(~carthia@gateway/tor-sasl/carthia) (Quit: carthia)
2020-12-26 03:15:26 +0100ericsagnes(~ericsagne@2405:6580:0:5100:ab2d:498c:8056:226d) (Ping timeout: 258 seconds)
2020-12-26 03:16:30 +0100t3xp4t(~texinwien@213162073014.public.t-mobile.at) (Remote host closed the connection)
2020-12-26 03:16:35 +0100DTZUZU(~DTZUZU@205.ip-149-56-132.net) (Read error: Connection reset by peer)
2020-12-26 03:17:18 +0100Entertainment(~entertain@104.246.132.210)
2020-12-26 03:19:25 +0100ddellacosta(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 +0100kam1(~kam1@24.231.108.143) (Read error: Connection reset by peer)
2020-12-26 03:26:12 +0100kam1(~kam1@24.231.108.143)
2020-12-26 03:26:32 +0100Kaiepi(~Kaiepi@47.54.252.148)
2020-12-26 03:27:41 +0100rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com)
2020-12-26 03:27:59 +0100ericsagnes(~ericsagne@2405:6580:0:5100:49a8:1a11:c128:7983)
2020-12-26 03:28:40 +0100nbloomf(~nbloomf@2601:285:401:7490:1cba:bcdf:ff5:37ee) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-26 03:30:01 +0100Guess59061(4e01b525@unaffiliated/guess59061) (Remote host closed the connection)
2020-12-26 03:30:33 +0100tromp(~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 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2020-12-26 03:35:31 +0100Entertainment(~entertain@104.246.132.210) (Ping timeout: 246 seconds)
2020-12-26 03:37:10 +0100toorevitimirp(~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 +0100cads(~cads@ip-64-72-99-232.lasvegas.net)
2020-12-26 03:39:45 +0100cads2(~cads@ip-64-72-99-232.lasvegas.net)
2020-12-26 03:39:49 +0100merijn(~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 +0100o1lo01ol1o(~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 +0100o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 264 seconds)
2020-12-26 03:52:24 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-12-26 03:53:06 +0100xff0x_(~fox@2001:1a81:5288:9200:2cb2:2af5:f28c:397b)
2020-12-26 03:56:12 +0100frdg(~user@pool-96-252-123-136.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.1)")
2020-12-26 03:56:37 +0100xff0x(~fox@port-92-195-52-121.dynamic.as20676.net) (Ping timeout: 264 seconds)
2020-12-26 03:57:36 +0100CMCDragonkai1(~Thunderbi@120.18.70.194) (Ping timeout: 240 seconds)
2020-12-26 03:57:40 +0100dandart(~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2)
2020-12-26 04:03:18 +0100locrian9(~mike@99-153-255-194.lightspeed.irvnca.sbcglobal.net)
2020-12-26 04:04:30 +0100fengh(~haskeller@ip72-205-40-121.dc.dc.cox.net) (Quit: WeeChat 3.0)
2020-12-26 04:10:52 +0100theDon(~td@94.134.91.122) (Ping timeout: 256 seconds)
2020-12-26 04:11:17 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-12-26 04:11:27 +0100heatsink(~heatsink@2600:1700:bef1:5e10:71b2:cc28:f79:2771) (Remote host closed the connection)
2020-12-26 04:12:24 +0100theDon(~td@94.134.91.197)
2020-12-26 04:16:11 +0100xirhtogal(~lagothrix@unaffiliated/lagothrix)
2020-12-26 04:16:11 +0100lagothrix(~lagothrix@unaffiliated/lagothrix) (Killed (verne.freenode.net (Nickname regained by services)))
2020-12-26 04:16:11 +0100xirhtogallagothrix
2020-12-26 04:16:52 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-12-26 04:19:40 +0100heatsink(~heatsink@2600:1700:bef1:5e10:71b2:cc28:f79:2771)
2020-12-26 04:21:41 +0100Codaraxis(Codaraxis@gateway/vpn/mullvad/codaraxis)
2020-12-26 04:24:16 +0100Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-106.cust.tzulo.com) (Quit: Leaving)
2020-12-26 04:24:24 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-12-26 04:25:40 +0100Codaraxis__(~Codaraxis@91.193.4.10) (Ping timeout: 272 seconds)
2020-12-26 04:28:13 +0100Codaraxis_(~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2020-12-26 04:28:16 +0100nbloomf(~nbloomf@2601:285:401:7490:88ec:6c11:e462:5e94)
2020-12-26 04:29:01 +0100Codaraxis(Codaraxis@gateway/vpn/mullvad/codaraxis) (Ping timeout: 264 seconds)
2020-12-26 04:29:37 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 264 seconds)
2020-12-26 04:35:27 +0100benjamingr__(uid23465@gateway/web/irccloud.com/x-ddxcndlvmkcaysph) (Quit: Connection closed for inactivity)
2020-12-26 04:39:03 +0100Codaraxis_(~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Quit: Leaving)
2020-12-26 04:40:48 +0100Ariakenom(~Ariakenom@2001:9b1:efb:fc00:79fd:8fd5:a80e:11e2) (Ping timeout: 268 seconds)
2020-12-26 04:46:53 +0100drbean(~drbean@TC210-63-209-23.static.apol.com.tw)
2020-12-26 04:50:23 +0100merijn(~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 +0100m0rphism(~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 +0100kini(~kini@unaffiliated/kini) (Remote host closed the connection)
2020-12-26 05:18:40 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-12-26 05:18:46 +0100Sheilong(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 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Remote host closed the connection)
2020-12-26 05:22:06 +0100nick1234(~nick1234@2405:201:3000:f0c5:981a:6e33:f4ed:da8e)
2020-12-26 05:22:35 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410)
2020-12-26 05:23:34 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds)
2020-12-26 05:24:16 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-12-26 05:27:07 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Ping timeout: 260 seconds)
2020-12-26 05:29:57 +0100locrian9(~mike@99-153-255-194.lightspeed.irvnca.sbcglobal.net) (Quit: leaving)
2020-12-26 05:30:47 +0100kam1(~kam1@24.231.108.143) (Ping timeout: 272 seconds)
2020-12-26 05:37:34 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410)
2020-12-26 05:38:46 +0100p8m_(p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 268 seconds)
2020-12-26 05:38:49 +0100p8m(p8m@gateway/vpn/protonvpn/p8m)
2020-12-26 05:41:00 +0100hackageparochial 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 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Remote host closed the connection)
2020-12-26 05:43:59 +0100dax(dax@bitbot/dax) (Quit: brb)
2020-12-26 05:44:23 +0100dax(dax@bitbot/dax)
2020-12-26 05:45:08 +0100pieguy128(~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 +0100pieguy128(~pieguy128@bras-base-mtrlpq5031w-grc-39-70-27-244-102.dsl.bell.ca)
2020-12-26 05:53:26 +0100ddellacosta(dd@gateway/vpn/mullvad/ddellacosta)
2020-12-26 05:54:36 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving)
2020-12-26 06:00:10 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-12-26 06:01:00 +0100chang(~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com)
2020-12-26 06:01:44 +0100nick1234(~nick1234@2405:201:3000:f0c5:981a:6e33:f4ed:da8e) (Quit: Leaving)
2020-12-26 06:03:52 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410)
2020-12-26 06:04:56 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-12-26 06:05:05 +0100mrchampion(~mrchampio@38.18.109.23) (Ping timeout: 240 seconds)
2020-12-26 06:07:19 +0100kam1(~kam1@24.231.108.143)
2020-12-26 06:07:36 +0100mrchampion(~mrchampio@38.18.109.23)
2020-12-26 06:08:47 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Ping timeout: 272 seconds)
2020-12-26 06:11:56 +0100puffnfresh(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Remote host closed the connection)
2020-12-26 06:12:44 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-12-26 06:15:16 +0100puffnfresh(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net)
2020-12-26 06:16:50 +0100cawfee(chiya@2406:3003:2077:2341::babe) (Ping timeout: 264 seconds)
2020-12-26 06:17:15 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds)
2020-12-26 06:17:15 +0100Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-12-26 06:17:21 +0100natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Quit: WeeChat 2.9)
2020-12-26 06:17:24 +0100wwwww(~wwwww@unaffiliated/wwwww) (Ping timeout: 256 seconds)
2020-12-26 06:17:29 +0100Tario(~Tario@201.192.165.173)
2020-12-26 06:17:55 +0100chang(~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-26 06:18:56 +0100albion3(~albion3@51.194.80.91) (Ping timeout: 240 seconds)
2020-12-26 06:21:16 +0100electricityZZZZ(~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-12-26 06:22:14 +0100cawfee(chiya@2406:3003:2077:2341::babe)
2020-12-26 06:23:19 +0100leothrix(~leothrix@elastic/staff/leothrix)
2020-12-26 06:24:02 +0100jamm(~jamm@unaffiliated/jamm)
2020-12-26 06:25:24 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410)
2020-12-26 06:29:57 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Ping timeout: 268 seconds)
2020-12-26 06:31:30 +0100natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2020-12-26 06:34:40 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-12-26 06:35:05 +0100Saukk(~Saukk@2001:998:ec:954:1c59:9bb5:b94c:3)
2020-12-26 06:37:15 +0100Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-90.cust.tzulo.com)
2020-12-26 06:38:19 +0100edwinb(sid69486@gateway/web/irccloud.com/x-ttfxxggsnhwcnlbe) (Ping timeout: 260 seconds)
2020-12-26 06:38:25 +0100mpickering(sid78412@gateway/web/irccloud.com/x-qzzyeuirciixjhoi) (Ping timeout: 240 seconds)
2020-12-26 06:38:38 +0100edwinb(sid69486@gateway/web/irccloud.com/x-vtbwkodqpgkvptre)
2020-12-26 06:38:55 +0100mpickering(sid78412@gateway/web/irccloud.com/x-dvjojogbwqwmlqqk)
2020-12-26 06:45:27 +0100LaGoon_(~LaGoon@51.194.80.91)
2020-12-26 06:46:12 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410)
2020-12-26 06:51:08 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Ping timeout: 260 seconds)
2020-12-26 06:53:06 +0100Fractalis(~Fractalis@2601:987:280:8d40:45d0:942f:6e60:692f)
2020-12-26 07:01:31 +0100jamm(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2020-12-26 07:02:22 +0100sand_dull(~theuser@c-73-149-95-105.hsd1.ct.comcast.net) (Ping timeout: 246 seconds)
2020-12-26 07:06:46 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-12-26 07:07:58 +0100vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-12-26 07:08:25 +0100jamm(~jamm@unaffiliated/jamm)
2020-12-26 07:09:13 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-12-26 07:10:24 +0100infinity0(~infinity0@freenet/developer/infinity0) (Ping timeout: 260 seconds)
2020-12-26 07:11:07 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds)
2020-12-26 07:13:02 +0100jamm(~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds)
2020-12-26 07:14:02 +0100plutoniix(~q@184.82.194.117)
2020-12-26 07:14:15 +0100dandart(~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2) (Ping timeout: 258 seconds)
2020-12-26 07:16:40 +0100o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-12-26 07:18:49 +0100coot(~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl)
2020-12-26 07:21:08 +0100Fractalis(~Fractalis@2601:987:280:8d40:45d0:942f:6e60:692f) (Ping timeout: 268 seconds)
2020-12-26 07:21:35 +0100Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-90.cust.tzulo.com) (Quit: Leaving)
2020-12-26 07:21:44 +0100o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 272 seconds)
2020-12-26 07:24:21 +0100vicfred(~vicfred@unaffiliated/vicfred)
2020-12-26 07:27:41 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410)
2020-12-26 07:32:14 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Ping timeout: 268 seconds)
2020-12-26 07:34:56 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 240 seconds)
2020-12-26 07:35:27 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz)
2020-12-26 07:40:44 +0100ddellacosta(dd@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 272 seconds)
2020-12-26 07:41:40 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-12-26 07:46:26 +0100orzo(joe@lasker.childrenofmay.org) (Ping timeout: 272 seconds)
2020-12-26 07:46:46 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-12-26 07:49:56 +0100cheater(~user@unaffiliated/cheater) (Ping timeout: 240 seconds)
2020-12-26 07:53:11 +0100tom__(~tom@host86-182-43-65.range86-182.btcentralplus.com) (Remote host closed the connection)
2020-12-26 08:00:09 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-12-26 08:01:25 +0100Saukk(~Saukk@2001:998:ec:954:1c59:9bb5:b94c:3) (Remote host closed the connection)
2020-12-26 08:02:36 +0100cheater(~user@unaffiliated/cheater)
2020-12-26 08:03:45 +0100Saukk(~Saukk@2001:998:ec:954:1c59:9bb5:b94c:3)
2020-12-26 08:05:30 +0100unfixpoint(1f0a965a@31-10-150-90.cgn.dynamic.upc.ch) (Ping timeout: 245 seconds)
2020-12-26 08:09:45 +0100rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 272 seconds)
2020-12-26 08:11:05 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2020-12-26 08:13:00 +0100knupfer(~Thunderbi@200116b824f7fc007cd505fffe7f45e1.dip.versatel-1u1.de)
2020-12-26 08:13:00 +0100knupfer(~Thunderbi@200116b824f7fc007cd505fffe7f45e1.dip.versatel-1u1.de) (Client Quit)
2020-12-26 08:13:17 +0100knupfer(~Thunderbi@87.123.206.19)
2020-12-26 08:21:12 +0100Kronic(~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 +0100cads2(~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 +0100cads(~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 +0100jedws(~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 +0100acowley(~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 +0100acowley(~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 +0100urodna(~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 +0100Kronic(~Kronic___@84.203.96.46) (Quit: Leaving)
2020-12-26 08:36:57 +0100berberman_(~berberman@unaffiliated/berberman)
2020-12-26 08:37:50 +0100berberman(~berberman@unaffiliated/berberman) (Ping timeout: 264 seconds)
2020-12-26 08:38:18 +0100sqrt2_(~ben@unaffiliated/sqrt2) (Quit: ZNC - http://znc.in)
2020-12-26 08:38:19 +0100aarvar(~foewfoiew@2601:602:a080:fa0:61bc:16a5:8f24:8421)
2020-12-26 08:38:34 +0100sqrt2(~ben@unaffiliated/sqrt2)
2020-12-26 08:38:40 +0100berberman_(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2020-12-26 08:39:31 +0100berberman(~berberman@unaffiliated/berberman)
2020-12-26 08:40:30 +0100lambda(~xiretza@mail.xiretza.xyz) (Ping timeout: 258 seconds)
2020-12-26 08:40:50 +0100berberman(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2020-12-26 08:41:23 +0100berberman(~berberman@unaffiliated/berberman)
2020-12-26 08:41:49 +0100lambda(~xiretza@mail.xiretza.xyz)
2020-12-26 08:42:42 +0100berberman(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2020-12-26 08:43:10 +0100berberman(~berberman@unaffiliated/berberman)
2020-12-26 08:49:44 +0100Saukk(~Saukk@2001:998:ec:954:1c59:9bb5:b94c:3) (Remote host closed the connection)
2020-12-26 08:51:17 +0100cads2(~cads@ip-64-72-99-232.lasvegas.net)
2020-12-26 08:51:18 +0100cads(~cads@ip-64-72-99-232.lasvegas.net)
2020-12-26 08:54:45 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-12-26 08:56:25 +0100nbloomf(~nbloomf@2601:285:401:7490:88ec:6c11:e462:5e94) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-26 08:58:02 +0100psamim(samimpmatr@gateway/shell/matrix.org/x-ykgbnwpnymsecdtt) (Ping timeout: 260 seconds)
2020-12-26 08:58:20 +0100psamim(samimpmatr@gateway/shell/matrix.org/x-xinpaqzihytdlwuc)
2020-12-26 08:59:16 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2020-12-26 09:03:36 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-12-26 09:05:30 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-12-26 09:06:12 +0100aarvar(~foewfoiew@2601:602:a080:fa0:61bc:16a5:8f24:8421) (Ping timeout: 260 seconds)
2020-12-26 09:06:34 +0100danso(~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 +0100Rudd0(~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 +0100aarvar(~foewfoiew@2601:602:a080:fa0:f81d:fabc:e502:4683)
2020-12-26 09:18:05 +0100aarvar(~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 +0100datajerk(~datajerk@sense.net) (Ping timeout: 265 seconds)
2020-12-26 09:22:22 +0100jedws(~jedws@121.209.189.201) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-26 09:26:20 +0100datajerk(~datajerk@sense.net)
2020-12-26 09:28:34 +0100Kronic(~Kronic___@84.203.96.46)
2020-12-26 09:30:08 +0100perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2020-12-26 09:31:08 +0100al3x27(~plovs@85.254.74.40)
2020-12-26 09:33:37 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-12-26 09:36:27 +0100lgedeon(~lgedeon@178.239.168.171) (Remote host closed the connection)
2020-12-26 09:39:08 +0100merijn(~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 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius) (Ping timeout: 240 seconds)
2020-12-26 09:42:16 +0100drbean(~drbean@TC210-63-209-23.static.apol.com.tw) (Ping timeout: 240 seconds)
2020-12-26 09:45:16 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius)
2020-12-26 09:45:46 +0100gioyik__(~gioyik@186.112.107.251) (Quit: WeeChat 3.0)
2020-12-26 09:45:52 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius) (Remote host closed the connection)
2020-12-26 09:46:22 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius)
2020-12-26 09:46:32 +0100floatingpoint[m](floating_5@gateway/shell/matrix.org/x-eqanwdurxqdczuqa)
2020-12-26 09:49:04 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410)
2020-12-26 09:50:52 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius) (Remote host closed the connection)
2020-12-26 09:51:26 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius)
2020-12-26 09:51:59 +0100coot(~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-12-26 09:54:37 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Ping timeout: 260 seconds)
2020-12-26 09:55:25 +0100ADG1089__(~aditya@223.235.213.117)
2020-12-26 09:55:31 +0100lambda(~xiretza@mail.xiretza.xyz) (Ping timeout: 272 seconds)
2020-12-26 09:55:52 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius) (Remote host closed the connection)
2020-12-26 09:56:32 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius)
2020-12-26 09:58:26 +0100lambda(~xiretza@mail.xiretza.xyz)
2020-12-26 10:05:50 +0100kini(~kini@unaffiliated/kini)
2020-12-26 10:07:08 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-12-26 10:07:58 +0100kupi(uid212005@gateway/web/irccloud.com/x-svbzcydmccffkyhg) (Quit: Connection closed for inactivity)
2020-12-26 10:10:33 +0100ADG1089__(~aditya@223.235.213.117) (Remote host closed the connection)
2020-12-26 10:11:16 +0100Mikagami(~MOSCOS@122.54.107.175) (Remote host closed the connection)
2020-12-26 10:11:28 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410)
2020-12-26 10:11:42 +0100Mikagami(~MOSCOS@122.54.107.175)
2020-12-26 10:14:18 +0100ADG1089__(~aditya@223.235.213.117)
2020-12-26 10:15:08 +0100axeman-(~axeman_@2a02:8109:86c0:1f98:4977:5f42:78d3:6431)
2020-12-26 10:16:14 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Ping timeout: 264 seconds)
2020-12-26 10:17:49 +0100axeman-(~axeman_@2a02:8109:86c0:1f98:4977:5f42:78d3:6431) (Remote host closed the connection)
2020-12-26 10:20:58 +0100axeman-(~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 +0100philopsos(~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 +0100hexfive(~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 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2020-12-26 10:24:45 +0100philopsos(~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 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius) (Remote host closed the connection)
2020-12-26 10:27:57 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius)
2020-12-26 10:30:52 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius) (Remote host closed the connection)
2020-12-26 10:31:48 +0100axeman-_(~axeman_@8.20.127.117)
2020-12-26 10:31:49 +0100cole-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 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius)
2020-12-26 10:33:14 +0100axeman-(~axeman_@2a02:8109:86c0:1f98:4977:5f42:78d3:6431) (Read error: Connection reset by peer)
2020-12-26 10:33:28 +0100axeman-(~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 +0100axeman-_(~axeman_@8.20.127.117) (Ping timeout: 264 seconds)
2020-12-26 10:41:19 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-12-26 10:43:02 +0100xff0x_(~fox@2001:1a81:5288:9200:2cb2:2af5:f28c:397b) (Ping timeout: 260 seconds)
2020-12-26 10:43:42 +0100axeman-_(~axeman_@2a09:bac0:203::814:7f75)
2020-12-26 10:43:56 +0100xff0x_(~fox@2001:1a81:5288:9200:a05f:5494:f2ef:47d3)
2020-12-26 10:44:52 +0100axeman-(~axeman_@2a02:8109:86c0:1f98:4977:5f42:78d3:6431) (Read error: Connection reset by peer)
2020-12-26 10:45:05 +0100iMast777(~iMast777@195.140.213.38)
2020-12-26 10:45:20 +0100axeman-(~axeman_@2a02:8109:86c0:1f98:4977:5f42:78d3:6431)
2020-12-26 10:47:46 +0100ADG1089__(~aditya@223.235.213.117) (Remote host closed the connection)
2020-12-26 10:48:21 +0100kini(~kini@unaffiliated/kini) (Remote host closed the connection)
2020-12-26 10:48:39 +0100axeman-__(~axeman_@8.20.127.117)
2020-12-26 10:49:27 +0100axeman-_(~axeman_@2a09:bac0:203::814:7f75) (Ping timeout: 260 seconds)
2020-12-26 10:51:06 +0100neiluj(~jco@unaffiliated/neiluj) (Ping timeout: 256 seconds)
2020-12-26 10:51:30 +0100neiluj(~jco@91-167-203-101.subs.proxad.net)
2020-12-26 10:52:00 +0100hackagesydtest 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 +0100axeman-(~axeman_@2a02:8109:86c0:1f98:4977:5f42:78d3:6431) (Ping timeout: 260 seconds)
2020-12-26 10:52:14 +0100heatsink(~heatsink@2600:1700:bef1:5e10:71b2:cc28:f79:2771) (Remote host closed the connection)
2020-12-26 10:52:44 +0100o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-12-26 10:52:52 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410)
2020-12-26 10:55:10 +0100iMast777(~iMast777@195.140.213.38) (Ping timeout: 272 seconds)
2020-12-26 10:55:31 +0100jamm(~jamm@unaffiliated/jamm)
2020-12-26 10:57:20 +0100o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 256 seconds)
2020-12-26 10:57:37 +0100Vulfe(~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 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-12-26 11:00:05 +0100salumu(~sMuNiX@vlnsm8-montreal02-142-122-8-233.internet.virginmobile.ca)
2020-12-26 11:00:10 +0100axeman-__(~axeman_@8.20.127.117) (Ping timeout: 256 seconds)
2020-12-26 11:01:55 +0100axeman-(~axeman_@2a09:bac0:203::814:7f75)
2020-12-26 11:02:05 +0100kritzefitz(~kritzefit@212.86.56.80)
2020-12-26 11:02:07 +0100o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-12-26 11:02:31 +0100axeman-_(~axeman_@ip5f5af023.dynamic.kabel-deutschland.de)
2020-12-26 11:02:36 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-12-26 11:03:09 +0100heatsink(~heatsink@2600:1700:bef1:5e10:297e:ae1e:be80:43d2)
2020-12-26 11:03:25 +0100sMuNiX(~sMuNiX@vlnsm8-montreal02-142-122-8-233.internet.virginmobile.ca) (Ping timeout: 256 seconds)
2020-12-26 11:04:37 +0100Rudd0(~Rudd0@185.189.115.103)
2020-12-26 11:04:51 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-12-26 11:06:25 +0100o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 240 seconds)
2020-12-26 11:06:50 +0100axeman-(~axeman_@2a09:bac0:203::814:7f75) (Ping timeout: 268 seconds)
2020-12-26 11:07:16 +0100Anthaas(~Anthaas@unaffiliated/anthaas) (Ping timeout: 240 seconds)
2020-12-26 11:07:32 +0100heatsink(~heatsink@2600:1700:bef1:5e10:297e:ae1e:be80:43d2) (Ping timeout: 260 seconds)
2020-12-26 11:09:16 +0100t3xp4t(~texinwien@213162073014.public.t-mobile.at)
2020-12-26 11:09:37 +0100Anthaas(~Anthaas@unaffiliated/anthaas)
2020-12-26 11:11:55 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-12-26 11:14:01 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-12-26 11:14:24 +0100axeman-_(~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2020-12-26 11:16:00 +0100heatsink(~heatsink@2600:1700:bef1:5e10:5586:18f1:336f:2fd6)
2020-12-26 11:16:49 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-12-26 11:17:29 +0100heatsink_(~heatsink@2600:1700:bef1:5e10:5807:a709:b1bc:a0b0)
2020-12-26 11:18:15 +0100jneira(5127adb4@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.173.180)
2020-12-26 11:20:26 +0100heatsink(~heatsink@2600:1700:bef1:5e10:5586:18f1:336f:2fd6) (Ping timeout: 264 seconds)
2020-12-26 11:22:50 +0100heatsink_(~heatsink@2600:1700:bef1:5e10:5807:a709:b1bc:a0b0) (Ping timeout: 264 seconds)
2020-12-26 11:25:36 +0100son0p(~son0p@181.58.39.182)
2020-12-26 11:25:54 +0100t3xp4t(~texinwien@213162073014.public.t-mobile.at) (Remote host closed the connection)
2020-12-26 11:31:56 +0100jamm(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2020-12-26 11:31:59 +0100hackagehasbolt-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 +0100p-core(~Thunderbi@koleje-wifi-0045.koleje.cuni.cz) (Ping timeout: 256 seconds)
2020-12-26 11:34:48 +0100olligobber(~olligobbe@unaffiliated/olligobber) (Remote host closed the connection)
2020-12-26 11:35:49 +0100cads(~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 260 seconds)
2020-12-26 11:36:07 +0100cads2(~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 260 seconds)
2020-12-26 11:37:41 +0100hnOsmium0001(uid453710@gateway/web/irccloud.com/x-lfotxvknswkvlalm) (Quit: Connection closed for inactivity)
2020-12-26 11:39:37 +0100Wraul[m](wraulmatri@gateway/shell/matrix.org/x-wdqkshwdwvsinbjy) (Ping timeout: 260 seconds)
2020-12-26 11:39:37 +0100Noughtmare[m](naughtmare@gateway/shell/matrix.org/x-abqpqrdkbpmkfyoz) (Ping timeout: 260 seconds)
2020-12-26 11:40:12 +0100floatingpoint[m](floating_5@gateway/shell/matrix.org/x-eqanwdurxqdczuqa) (Ping timeout: 260 seconds)
2020-12-26 11:40:12 +0100psamim(samimpmatr@gateway/shell/matrix.org/x-xinpaqzihytdlwuc) (Ping timeout: 260 seconds)
2020-12-26 11:41:16 +0100acidjnk_new(~acidjnk@p200300d0c704e714e5ab7a2f7255b0f1.dip0.t-ipconnect.de)
2020-12-26 11:41:32 +0100fendor(~fendor@77.119.130.68.wireless.dyn.drei.com)
2020-12-26 11:41:54 +0100hiroaki_(~hiroaki@ip4d16fa3b.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds)
2020-12-26 11:43:51 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
2020-12-26 11:44:00 +0100hackagehiedb 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 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-12-26 11:48:31 +0100plutoniix(~q@184.82.194.117) (Quit: Leaving)
2020-12-26 11:48:49 +0100axeman-(~axeman_@ip5f5af023.dynamic.kabel-deutschland.de)
2020-12-26 11:50:36 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-12-26 11:50:48 +0100olligobber1(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-12-26 11:51:05 +0100fcortesi(~fcortesi@78-66-245-190.fibertel.com.ar)
2020-12-26 11:51:34 +0100olligobber1(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Client Quit)
2020-12-26 11:51:36 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Client Quit)
2020-12-26 11:51:48 +0100jedws(~jedws@121.209.189.201)
2020-12-26 11:51:57 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-12-26 11:52:01 +0100Wraul[m](wraulmatri@gateway/shell/matrix.org/x-bchiszgwyekwoten)
2020-12-26 11:52:09 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410)
2020-12-26 11:52:12 +0100Noughtmare[m](naughtmare@gateway/shell/matrix.org/x-ctsspavkhlmrbjtt)
2020-12-26 11:52:14 +0100jedws(~jedws@121.209.189.201) (Client Quit)
2020-12-26 11:52:27 +0100psamim(samimpmatr@gateway/shell/matrix.org/x-gsdaohmlsisctzxu)
2020-12-26 11:52:31 +0100floatingpoint[m](floating5@gateway/shell/matrix.org/x-zlmdmugtshzmdqro)
2020-12-26 11:53:47 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz) (Remote host closed the connection)
2020-12-26 11:54:12 +0100berberman_(~berberman@unaffiliated/berberman)
2020-12-26 11:54:19 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz)
2020-12-26 11:54:47 +0100berberman(~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds)
2020-12-26 11:54:59 +0100axeman-(~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2020-12-26 11:55:43 +0100hiroaki_(~hiroaki@ip4d168e73.dynamic.kabel-deutschland.de)
2020-12-26 11:55:59 +0100fcortesi_(~fcortesi@78-66-245-190.fibertel.com.ar)
2020-12-26 11:56:14 +0100fcortesi(~fcortesi@78-66-245-190.fibertel.com.ar) (Ping timeout: 260 seconds)
2020-12-26 11:57:02 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Ping timeout: 264 seconds)
2020-12-26 11:57:06 +0100fcortesi_(~fcortesi@78-66-245-190.fibertel.com.ar) (Client Quit)
2020-12-26 11:57:26 +0100axeman-(~axeman_@ip5f5af023.dynamic.kabel-deutschland.de)
2020-12-26 11:58:50 +0100fcortesi(~fcortesi@78-66-245-190.fibertel.com.ar)
2020-12-26 12:04:04 +0100fcortesi(~fcortesi@78-66-245-190.fibertel.com.ar) (Quit: Lost terminal)
2020-12-26 12:05:12 +0100cads2(~cads@ip-64-72-99-232.lasvegas.net)
2020-12-26 12:05:12 +0100cads(~cads@ip-64-72-99-232.lasvegas.net)
2020-12-26 12:05:23 +0100fcortesi(~fcortesi@78-66-245-190.fibertel.com.ar)
2020-12-26 12:05:33 +0100xff0x_(~fox@2001:1a81:5288:9200:a05f:5494:f2ef:47d3) (Ping timeout: 260 seconds)
2020-12-26 12:06:21 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
2020-12-26 12:06:22 +0100xff0x_(~fox@2001:1a81:5288:9200:af96:f1ad:8021:ee30)
2020-12-26 12:06:56 +0100olligobber(~olligobbe@unaffiliated/olligobber)
2020-12-26 12:07:58 +0100MidAutumnHotaru3(~MidAutumn@154.91.197.93)
2020-12-26 12:08:50 +0100DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-12-26 12:09:40 +0100MidAutumnHotaru(~MidAutumn@154.91.197.93) (Ping timeout: 246 seconds)
2020-12-26 12:09:40 +0100MidAutumnHotaru3MidAutumnHotaru
2020-12-26 12:09:57 +0100fcortesi(~fcortesi@78-66-245-190.fibertel.com.ar) (Remote host closed the connection)
2020-12-26 12:10:24 +0100pavonia(~user@unaffiliated/siracusa) (Quit: Bye!)
2020-12-26 12:11:23 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds)
2020-12-26 12:12:31 +0100fcortesi(~fcortesi@78-66-245-190.fibertel.com.ar)
2020-12-26 12:14:04 +0100t3xp4t(~texinwien@213162073014.public.t-mobile.at)
2020-12-26 12:14:47 +0100fcortesi(~fcortesi@78-66-245-190.fibertel.com.ar) (Remote host closed the connection)
2020-12-26 12:15:02 +0100neiluj(~jco@91-167-203-101.subs.proxad.net) (Remote host closed the connection)
2020-12-26 12:17:53 +0100fcortesi(~fcortesi@78-66-245-190.fibertel.com.ar)
2020-12-26 12:18:10 +0100t3xp4t(~texinwien@213162073014.public.t-mobile.at) (Remote host closed the connection)
2020-12-26 12:18:13 +0100DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Ping timeout: 264 seconds)
2020-12-26 12:18:37 +0100heatsink(~heatsink@2600:1700:bef1:5e10:5807:a709:b1bc:a0b0)
2020-12-26 12:18:57 +0100DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-12-26 12:18:59 +0100thebnq(~bnq@herrokitty.com) (Ping timeout: 260 seconds)
2020-12-26 12:19:10 +0100thebnq(~bnq@herrokitty.com)
2020-12-26 12:19:24 +0100cheater(~user@unaffiliated/cheater) (Ping timeout: 272 seconds)
2020-12-26 12:21:02 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-12-26 12:22:35 +0100fcortesi(~fcortesi@78-66-245-190.fibertel.com.ar) (Remote host closed the connection)
2020-12-26 12:23:22 +0100heatsink(~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 +0100olligobber(~olligobbe@unaffiliated/olligobber) (Ping timeout: 240 seconds)
2020-12-26 12:32:37 +0100fcortesi(~fcortesi@78-66-245-190.fibertel.com.ar)
2020-12-26 12:34:36 +0100DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Ping timeout: 272 seconds)
2020-12-26 12:36:50 +0100cosimone(~cosimone@93-47-228-249.ip115.fastwebnet.it)
2020-12-26 12:37:16 +0100DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-12-26 12:37:16 +0100cads2(~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 240 seconds)
2020-12-26 12:37:16 +0100cads(~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 240 seconds)
2020-12-26 12:40:16 +0100olligobber(~olligobbe@unaffiliated/olligobber)
2020-12-26 12:42:12 +0100kritzefitz(~kritzefit@212.86.56.80) (Ping timeout: 272 seconds)
2020-12-26 12:50:06 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-12-26 12:50:45 +0100Franciman(~francesco@host-82-49-79-73.retail.telecomitalia.it)
2020-12-26 12:50:59 +0100hackagehmidi 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 +0100xff0x_(~fox@2001:1a81:5288:9200:af96:f1ad:8021:ee30) (Ping timeout: 260 seconds)
2020-12-26 12:52:13 +0100xff0x_(~fox@2001:1a81:5288:9200:14b3:dfc8:26af:c37e)
2020-12-26 12:55:00 +0100son0p(~son0p@181.58.39.182) (Quit: leaving)
2020-12-26 12:55:27 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-12-26 12:55:40 +0100dandart(~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 +0100fcortesi(~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 +0100jmchael(~jmchael@81.174.205.210)
2020-12-26 13:05:07 +0100jedws(~jedws@121.209.189.201)
2020-12-26 13:08:35 +0100axeman-(~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2020-12-26 13:12:48 +0100ChaiTRex(~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection)
2020-12-26 13:12:55 +0100axeman-(~axeman_@ip5f5af023.dynamic.kabel-deutschland.de)
2020-12-26 13:15:41 +0100kini(~kini@unaffiliated/kini)
2020-12-26 13:22:26 +0100mapperr(~mapperr@vmi389916.contaboserver.net) (Remote host closed the connection)
2020-12-26 13:23:30 +0100mapperr(~mapperr@vmi389916.contaboserver.net)
2020-12-26 13:26:13 +0100wei2912(~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2020-12-26 13:27:43 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius) (Ping timeout: 240 seconds)
2020-12-26 13:28:36 +0100ChaiTRex(~ChaiTRex@gateway/tor-sasl/chaitrex)
2020-12-26 13:28:38 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-12-26 13:30:20 +0100m0rphism(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
2020-12-26 13:31:31 +0100geekosaur(ac3a8c4f@172.58.140.79)
2020-12-26 13:35:50 +0100erolm_a(~erolm_a@82.24.185.133)
2020-12-26 13:36:16 +0100heatsink(~heatsink@2600:1700:bef1:5e10:5ed:a53b:7efb:1300)
2020-12-26 13:40:07 +0100bitmagie(~Thunderbi@200116b8069f51006cd1f289aa9319d9.dip.versatel-1u1.de)
2020-12-26 13:40:57 +0100heatsink(~heatsink@2600:1700:bef1:5e10:5ed:a53b:7efb:1300) (Ping timeout: 260 seconds)
2020-12-26 13:41:29 +0100bitmagie(~Thunderbi@200116b8069f51006cd1f289aa9319d9.dip.versatel-1u1.de) (Client Quit)
2020-12-26 13:44:08 +0100iqubic`(~user@2601:602:9500:4870:b714:410c:c6da:d9b1)
2020-12-26 13:47:57 +0100avdb(~avdb@gateway/tor-sasl/avdb)
2020-12-26 13:48:32 +0100iqubic(~user@2601:602:9500:4870:476:63ba:6a51:3c04) (Ping timeout: 260 seconds)
2020-12-26 13:49:05 +0100knupfer(~Thunderbi@87.123.206.19) (Ping timeout: 240 seconds)
2020-12-26 13:50:52 +0100avdb(~avdb@gateway/tor-sasl/avdb) (Remote host closed the connection)
2020-12-26 13:51:12 +0100avdb(~avdb@gateway/tor-sasl/avdb)
2020-12-26 14:00:53 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz)
2020-12-26 14:02:49 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-12-26 14:08:07 +0100axeman-(~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2020-12-26 14:10:20 +0100axeman-(~axeman_@ip5f5af023.dynamic.kabel-deutschland.de)
2020-12-26 14:12:01 +0100dandart(~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2) (Ping timeout: 272 seconds)
2020-12-26 14:13:52 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410)
2020-12-26 14:15:13 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 264 seconds)
2020-12-26 14:18:17 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Ping timeout: 260 seconds)
2020-12-26 14:20:34 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2020-12-26 14:30:59 +0100plutoniix(~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 +0100solonarv(~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 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-12-26 14:36:51 +0100heatsink(~heatsink@2600:1700:bef1:5e10:5ed:a53b:7efb:1300)
2020-12-26 14:36:55 +0100kish`fdemocracy
2020-12-26 14:37:22 +0100dandart(~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 +0100Orbstheoremlikes the idea of IsSql92Syntax
2020-12-26 14:41:37 +0100heatsink(~heatsink@2600:1700:bef1:5e10:5ed:a53b:7efb:1300) (Ping timeout: 260 seconds)
2020-12-26 14:41:42 +0100merijn(~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 +0100coot(~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 +0100Ariakenom(~Ariakenom@2001:9b1:efb:fc00:b05d:6d6f:5196:856c)
2020-12-26 14:43:13 +0100son0p(~son0p@181.136.122.143)
2020-12-26 14:43:31 +0100fdemocracykish`
2020-12-26 14:49:01 +0100 <Orbstheorem> Hum, I got it to typecheck
2020-12-26 14:49:15 +0100elfets(~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 +0100Orbstheoremfeels he's shooting himself in the foot and he might regret it later.
2020-12-26 14:50:04 +0100puffnfresh(~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 +0100puffnfresh(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net)
2020-12-26 14:50:39 +0100olligobber(~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 +0100dandart(~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2) (Ping timeout: 268 seconds)
2020-12-26 14:56:43 +0100avdb(~avdb@gateway/tor-sasl/avdb) (Quit: avdb)
2020-12-26 14:56:58 +0100avdb(~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 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410)
2020-12-26 15:01:30 +0100DavidEichmann(~david@2a01:4b00:ea36:d800:1147:d85f:e158:35e6)
2020-12-26 15:02:46 +0100jedws(~jedws@121.209.189.201) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-26 15:03:25 +0100olligobber(~olligobbe@unaffiliated/olligobber)
2020-12-26 15:05:29 +0100dandart(~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2)
2020-12-26 15:06:29 +0100xff0x_(~fox@2001:1a81:5288:9200:14b3:dfc8:26af:c37e) (Ping timeout: 272 seconds)
2020-12-26 15:07:00 +0100hackagequote-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 +0100xff0x_(~fox@2001:1a81:5288:9200:8623:e02a:974b:33d8)
2020-12-26 15:08:41 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-12-26 15:09:45 +0100Deide(~Deide@217.155.19.23)
2020-12-26 15:11:03 +0100axeman-(~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2020-12-26 15:18:56 +0100kam1(~kam1@24.231.108.143) (Ping timeout: 240 seconds)
2020-12-26 15:21:38 +0100olligobber(~olligobbe@unaffiliated/olligobber) (Remote host closed the connection)
2020-12-26 15:21:56 +0100qwerty(~tema@217.118.92.215) (Ping timeout: 240 seconds)
2020-12-26 15:22:00 +0100hackageMIP 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 +0100hackageMIP-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 +0100jamm(~jamm@unaffiliated/jamm)
2020-12-26 15:26:04 +0100kam1(~kam1@24.231.108.143)
2020-12-26 15:29:21 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Remote host closed the connection)
2020-12-26 15:29:22 +0100Vulfe_(~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410)
2020-12-26 15:31:42 +0100axeman-(~axeman_@ip5f5af023.dynamic.kabel-deutschland.de)
2020-12-26 15:32:24 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-12-26 15:33:40 +0100cads2(~cads@ip-64-72-99-232.lasvegas.net)
2020-12-26 15:33:40 +0100cads(~cads@ip-64-72-99-232.lasvegas.net)
2020-12-26 15:36:09 +0100axeman-(~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 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-12-26 15:43:46 +0100plumenator[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 +0100Entertainment(~entertain@104.246.132.210)
2020-12-26 15:44:22 +0100Guest_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 +0100Guest_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 +0100Tario(~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 +0100exarkunnods
2020-12-26 15:54:25 +0100geekosaur(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 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2020-12-26 15:57:29 +0100mikail_(~mikail@90.216.6.50)
2020-12-26 15:57:53 +0100mikail_(~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 +0100o1lo01ol1o(~o1lo01ol1@bl11-140-216.dsl.telepac.pt)
2020-12-26 16:12:14 +0100toorevitimirp(~tooreviti@117.182.181.108) (Remote host closed the connection)
2020-12-26 16:13:06 +0100amiri(~amiri@cpe-76-91-154-9.socal.res.rr.com) (Remote host closed the connection)
2020-12-26 16:13:56 +0100o1lo01ol1o(~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 256 seconds)
2020-12-26 16:15:32 +0100larryba(~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 +0100amiri(~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 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-12-26 16:18:11 +0100urodna(~urodna@unaffiliated/urodna)
2020-12-26 16:18:22 +0100cheater(~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 +0100t3xp4t(~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 +0100fendor_(~fendor@178.165.131.209.wireless.dyn.drei.com)
2020-12-26 16:23:05 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-12-26 16:25:10 +0100fendor(~fendor@77.119.130.68.wireless.dyn.drei.com) (Ping timeout: 246 seconds)
2020-12-26 16:27:56 +0100dandart(~Thunderbi@2a00:23c7:f5a6:d001:6056:da77:5ae:49a2) (Remote host closed the connection)
2020-12-26 16:28:17 +0100dandart(~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 +0100acidjnk_new(~acidjnk@p200300d0c704e714e5ab7a2f7255b0f1.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2020-12-26 16:37:17 +0100bitmagie(~Thunderbi@200116b8069f51006cd1f289aa9319d9.dip.versatel-1u1.de)
2020-12-26 16:38:12 +0100heatsink(~heatsink@2600:1700:bef1:5e10:5ed:a53b:7efb:1300)
2020-12-26 16:38:15 +0100Varis(~Tadas@unaffiliated/varis)
2020-12-26 16:42:14 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2020-12-26 16:42:28 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2020-12-26 16:42:57 +0100heatsink(~heatsink@2600:1700:bef1:5e10:5ed:a53b:7efb:1300) (Ping timeout: 260 seconds)
2020-12-26 16:44:56 +0100kam1(~kam1@24.231.108.143) (Ping timeout: 240 seconds)
2020-12-26 16:47:38 +0100usr25(~usr25@unaffiliated/usr25)
2020-12-26 16:53:59 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Quit: ZNC 1.8.2 - https://znc.in)
2020-12-26 16:55:47 +0100cads2(~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 260 seconds)
2020-12-26 16:55:47 +0100cads(~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 260 seconds)
2020-12-26 16:56:08 +0100plutoniix(~q@ppp-223-24-162-232.revip6.asianet.co.th) (Read error: Connection reset by peer)
2020-12-26 16:56:54 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
2020-12-26 16:57:57 +0100DavidEichmann(~david@2a01:4b00:ea36:d800:1147:d85f:e158:35e6) (Ping timeout: 272 seconds)
2020-12-26 16:58:50 +0100merijn(~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 +0100nbloomf(~nbloomf@2601:285:401:7490:e120:c87e:122e:3113)
2020-12-26 17:02:35 +0100nbloomf(~nbloomf@2601:285:401:7490:e120:c87e:122e:3113) (Client Quit)
2020-12-26 17:02:56 +0100jamm(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2020-12-26 17:03:22 +0100HarveyPwca(~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving)
2020-12-26 17:05:35 +0100nbloomf(~nbloomf@2601:285:401:7490:e120:c87e:122e:3113)
2020-12-26 17:11:18 +0100plutoniix(~q@node-uln.pool-125-24.dynamic.totinternet.net)
2020-12-26 17:11:42 +0100kam1(~kam1@24.231.108.143)
2020-12-26 17:11:44 +0100cads(~cads@ip-64-72-99-232.lasvegas.net)
2020-12-26 17:11:45 +0100cads2(~cads@ip-64-72-99-232.lasvegas.net)
2020-12-26 17:12:21 +0100codeAlways(uid272474@gateway/web/irccloud.com/x-moxhgbxrwxcxksfh)
2020-12-26 17:15:45 +0100acidjnk_new(~acidjnk@pd9e0b8fb.dip0.t-ipconnect.de)
2020-12-26 17:16:03 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds)
2020-12-26 17:16:21 +0100wwwww(~wwwww@unaffiliated/wwwww)
2020-12-26 17:16:53 +0100g-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 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz)
2020-12-26 17:21:04 +0100SpyEye(~SpyEye@2a0d:5600:13:bb1::1d)
2020-12-26 17:21:10 +0100son0p(~son0p@181.136.122.143) (Remote host closed the connection)
2020-12-26 17:21:13 +0100SpyEye(~SpyEye@2a0d:5600:13:bb1::1d) ("Leaving")
2020-12-26 17:22:13 +0100coot(~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-12-26 17:25:57 +0100danso(~dan@69-165-210-185.cable.teksavvy.com)
2020-12-26 17:26:40 +0100knupfer(~Thunderbi@200116b824f7fc00e8be29fffed109b5.dip.versatel-1u1.de)
2020-12-26 17:26:41 +0100knupfer(~Thunderbi@200116b824f7fc00e8be29fffed109b5.dip.versatel-1u1.de) (Client Quit)
2020-12-26 17:26:52 +0100knupfer(~Thunderbi@87.123.206.19)
2020-12-26 17:32:22 +0100axeman-(~axeman_@ip5f5af023.dynamic.kabel-deutschland.de)
2020-12-26 17:32:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-12-26 17:34:58 +0100HarveyPwca(~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net)
2020-12-26 17:38:35 +0100Vulfe_(~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Remote host closed the connection)
2020-12-26 17:39:06 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410)
2020-12-26 17:39:46 +0100heatsink(~heatsink@2600:1700:bef1:5e10:5ed:a53b:7efb:1300)
2020-12-26 17:40:50 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Remote host closed the connection)
2020-12-26 17:40:56 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410)
2020-12-26 17:41:02 +0100hekkaidekapus}(~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-12-26 17:42:23 +0100hekkaidekapus{(~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-12-26 17:44:12 +0100heatsink(~heatsink@2600:1700:bef1:5e10:5ed:a53b:7efb:1300) (Ping timeout: 260 seconds)
2020-12-26 17:44:32 +0100p-core(~Thunderbi@koleje-wifi-0045.koleje.cuni.cz)
2020-12-26 17:48:06 +0100kam1(~kam1@24.231.108.143) (Ping timeout: 272 seconds)
2020-12-26 17:48:35 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2020-12-26 17:50:57 +0100geekosaur(ac3a8cbd@172.58.140.189)
2020-12-26 17:51:19 +0100jamm(~jamm@unaffiliated/jamm)
2020-12-26 17:55:02 +0100p-core(~Thunderbi@koleje-wifi-0045.koleje.cuni.cz) (Quit: p-core)
2020-12-26 17:55:13 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410) (Remote host closed the connection)
2020-12-26 17:55:21 +0100p-core(~Thunderbi@koleje-wifi-0045.koleje.cuni.cz)
2020-12-26 17:56:22 +0100jamm(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2020-12-26 17:57:07 +0100jamm(~jamm@unaffiliated/jamm)
2020-12-26 17:58:16 +0100o1lo01ol1o(~o1lo01ol1@bl11-140-216.dsl.telepac.pt)
2020-12-26 17:58:23 +0100nbloomf(~nbloomf@2601:285:401:7490:e120:c87e:122e:3113) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-26 17:59:38 +0100xff0x_(~fox@2001:1a81:5288:9200:8623:e02a:974b:33d8) (Ping timeout: 260 seconds)
2020-12-26 17:59:59 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-12-26 18:00:08 +0100xff0x_(~fox@2001:1a81:5288:9200:2cbe:5ec5:9083:6f95)
2020-12-26 18:00:14 +0100kderme(2eb0d7c7@ppp046176215199.access.hol.gr)
2020-12-26 18:01:42 +0100jamm(~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds)
2020-12-26 18:02:34 +0100o1lo01ol1o(~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 260 seconds)
2020-12-26 18:03:43 +0100p-core(~Thunderbi@koleje-wifi-0045.koleje.cuni.cz) (Remote host closed the connection)
2020-12-26 18:03:49 +0100jamm(~jamm@unaffiliated/jamm)
2020-12-26 18:04:16 +0100jamm(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2020-12-26 18:04:25 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2020-12-26 18:05:01 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-12-26 18:07:16 +0100earthy(~arthurvl@deban2.xs4all.space) (Ping timeout: 240 seconds)
2020-12-26 18:08:37 +0100jamm(~jamm@unaffiliated/jamm)
2020-12-26 18:08:41 +0100 <wz1000> larryba: v4l2
2020-12-26 18:08:53 +0100juuandyy(~juuandyy@90.166.144.65)
2020-12-26 18:09:07 +0100urodna(~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 +0100jamm(~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds)
2020-12-26 18:13:24 +0100cads2(~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 265 seconds)
2020-12-26 18:13:25 +0100cads(~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 264 seconds)
2020-12-26 18:15:42 +0100Vulfe(~vulfe@2600:1702:31b0:34e0:f0ca:b34:ab31:1410)
2020-12-26 18:15:50 +0100kam1(~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 +0100Vulfe(~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 +0100xff0x_(~fox@2001:1a81:5288:9200:2cbe:5ec5:9083:6f95) (Ping timeout: 260 seconds)
2020-12-26 18:22:36 +0100xff0x_(~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 +0100wroathe(~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 +0100jjong(~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 +0100xelxebar(~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 +0100xelxebar(~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 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-12-26 18:35:56 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2020-12-26 18:37:40 +0100tomsmeding(~tomsmedin@tomsmeding.com) (Quit: ZNC 1.7.5 - https://znc.in)
2020-12-26 18:37:53 +0100Vulfe(~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 +0100tomsmeding(~tomsmedin@tomsmeding.com)
2020-12-26 18:47:21 +0100rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com)
2020-12-26 18:47:52 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-12-26 18:51:50 +0100erisco(~erisco@104-195-141-253.cpe.teksavvy.com)
2020-12-26 18:52:13 +0100coot(~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl)
2020-12-26 18:52:23 +0100o1lo01ol1o(~o1lo01ol1@bl11-140-216.dsl.telepac.pt)
2020-12-26 18:52:24 +0100ddellacosta(dd@gateway/vpn/mullvad/ddellacosta)
2020-12-26 18:57:07 +0100o1lo01ol1o(~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 260 seconds)
2020-12-26 18:57:51 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-12-26 18:58:36 +0100mp___(~mp@hell.cx) (Ping timeout: 240 seconds)
2020-12-26 19:01:17 +0100axeman-_(~axeman_@ip5f5af023.dynamic.kabel-deutschland.de)
2020-12-26 19:02:16 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2020-12-26 19:03:49 +0100axeman-(~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2020-12-26 19:04:06 +0100sphalerite(~sphalerit@NixOS/user/lheckemann) (Quit: 'tis the season to be rebooting)
2020-12-26 19:06:30 +0100sphalerite(~sphalerit@NixOS/user/lheckemann)
2020-12-26 19:07:19 +0100Kaiepi(~Kaiepi@47.54.252.148) (Ping timeout: 260 seconds)
2020-12-26 19:07:35 +0100kderme(2eb0d7c7@ppp046176215199.access.hol.gr) (Ping timeout: 245 seconds)
2020-12-26 19:08:59 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-gokyrjifrpvajgow) (Quit: Connection closed for inactivity)
2020-12-26 19:09:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-12-26 19:11:27 +0100agentofuser(agentofuse@gateway/shell/matrix.org/x-dufldhasjoocycnn)
2020-12-26 19:12:11 +0100netsoundW1(~netsoundW@185.204.1.185)
2020-12-26 19:19:12 +0100ADG1089__(~aditya@223.235.213.117)
2020-12-26 19:24:25 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-12-26 19:29:26 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-12-26 19:30:48 +0100heatsink(~heatsink@2600:1700:bef1:5e10:d66:2904:6201:20dc)
2020-12-26 19:35:49 +0100axeman-_(~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2020-12-26 19:36:14 +0100juuandyy(~juuandyy@90.166.144.65) (Ping timeout: 256 seconds)
2020-12-26 19:36:40 +0100erolm_a(~erolm_a@82.24.185.133) (Read error: Connection reset by peer)
2020-12-26 19:39:10 +0100juuandyy(~juuandyy@90.166.144.65)
2020-12-26 19:41:10 +0100kam1(~kam1@24.231.108.143) (Ping timeout: 246 seconds)
2020-12-26 19:41:41 +0100averell(~averell@unaffiliated/averell) (Quit: .)
2020-12-26 19:43:27 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-12-26 19:43:56 +0100Lord_of_Life_(~Lord@unaffiliated/lord-of-life/x-0885362)
2020-12-26 19:44:38 +0100xff0x_(~fox@2001:1a81:5288:9200:b813:b6df:62e3:3362) (Ping timeout: 260 seconds)
2020-12-26 19:44:51 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-12-26 19:45:04 +0100xff0x_(~fox@2001:1a81:5288:9200:20a5:5657:38a6:e5de)
2020-12-26 19:46:22 +0100o1lo01ol1o(~o1lo01ol1@bl11-140-216.dsl.telepac.pt)
2020-12-26 19:46:25 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 246 seconds)
2020-12-26 19:46:47 +0100Lord_of_Life_Lord_of_Life
2020-12-26 19:50:21 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-12-26 19:51:13 +0100o1lo01ol1o(~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 264 seconds)
2020-12-26 19:53:36 +0100erolm_a(~erolm_a@82.24.185.133)
2020-12-26 19:54:05 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2020-12-26 19:54:17 +0100sand_dull(~theuser@c-73-149-95-105.hsd1.ct.comcast.net)
2020-12-26 19:55:52 +0100Guest_69(577a47f1@87.122.71.241)
2020-12-26 19:56:02 +0100cheater(~user@unaffiliated/cheater) (Ping timeout: 272 seconds)
2020-12-26 19:56:47 +0100axeman-(~axeman_@ip5f5af023.dynamic.kabel-deutschland.de)
2020-12-26 20:00:22 +0100Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-134-38.cust.tzulo.com)
2020-12-26 20:01:34 +0100axeman-(~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2020-12-26 20:03:30 +0100berberman(~berberman@unaffiliated/berberman)
2020-12-26 20:04:19 +0100Guest_69(577a47f1@87.122.71.241) (Remote host closed the connection)
2020-12-26 20:04:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-12-26 20:04:47 +0100berberman_(~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 +0100wroathe(~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 +0100perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.0)
2020-12-26 20:08:58 +0100perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2020-12-26 20:10:01 +0100tomsmedingwonders 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 +0100geekosaur(ac3a8cbd@172.58.140.189) (Ping timeout: 245 seconds)
2020-12-26 20:11:48 +0100tomsmedingapproves
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 +0100cheater(~user@unaffiliated/cheater)
2020-12-26 20:12:17 +0100wroathe(~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 +0100justanotheruser(~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 +0100averell(~averell@unaffiliated/averell)
2020-12-26 20:15:41 +0100whoawhoawhoa(~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 +0100notzmv(~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 +0100Varis(~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 +0100notzmv(~user@unaffiliated/zmv)
2020-12-26 20:17:11 +0100whoawhoawhoaegp8
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 +0100hackagefast-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 +0100leafiest(~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 +0100kam1(~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 +0100electricityZZZZ(~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net)
2020-12-26 20:23:25 +0100sand_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 +0100tromp(~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 +0100wroathe(~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 +0100chang(~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 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2020-12-26 20:27:51 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-12-26 20:28:42 +0100geekosaur(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 +0100justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-12-26 20:30:29 +0100chang(~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Client Quit)
2020-12-26 20:32:01 +0100codeAlways(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 +0100jamm(~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 +0100juuandyy(~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 +0100axeman-(~axeman_@ip5f5af023.dynamic.kabel-deutschland.de)
2020-12-26 20:37:51 +0100xcmw(~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 +0100jamm(~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds)
2020-12-26 20:38:54 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 260 seconds)
2020-12-26 20:39:45 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2020-12-26 20:42:29 +0100hackageghcide 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 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-12-26 20:45:37 +0100p-core(~Thunderbi@koleje-wifi-0049.koleje.cuni.cz)
2020-12-26 20:46:29 +0100Jeanne-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 +0100usr25(~usr25@unaffiliated/usr25) (Quit: Leaving)
2020-12-26 20:49:39 +0100 <gentauro> koz_: hmmm, who?
2020-12-26 20:49:48 +0100mp___(~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 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-rpdhzkafohuoilye)
2020-12-26 20:50:52 +0100dandart(~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 +0100avdb(~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 +0100avdb(~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 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2020-12-26 20:55:16 +0100Varis(~Tadas@unaffiliated/varis)
2020-12-26 20:56:07 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-12-26 20:56:59 +0100hackagecrdt 10.6 - Conflict-free replicated data types https://hackage.haskell.org/package/crdt-10.6 (cblp)
2020-12-26 20:57:19 +0100royal_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 +0100nitrix-masnitrix
2020-12-26 20:57:41 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-12-26 20:58:59 +0100mp___(~mp@hell.cx) (Ping timeout: 256 seconds)
2020-12-26 20:58:59 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-12-26 21:01:10 +0100leafiest0(~leafiest@165.227.53.12)
2020-12-26 21:02:24 +0100leafiest0(~leafiest@165.227.53.12) (Client Quit)
2020-12-26 21:02:44 +0100leafiest0(~leafiest@165.227.53.12)
2020-12-26 21:02:49 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2020-12-26 21:03:12 +0100avdb(~avdb@gateway/tor-sasl/avdb) (Remote host closed the connection)
2020-12-26 21:04:01 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2020-12-26 21:08:11 +0100avdb(~avdb@gateway/tor-sasl/avdb)
2020-12-26 21:08:52 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2020-12-26 21:11:00 +0100iekfkk(~username@117.200.7.201)
2020-12-26 21:12:17 +0100Mikagami(~MOSCOS@122.54.107.175) (Remote host closed the connection)
2020-12-26 21:12:45 +0100Mikagami(~MOSCOS@122.54.107.175)
2020-12-26 21:13:28 +0100avdb(~avdb@gateway/tor-sasl/avdb) (Remote host closed the connection)
2020-12-26 21:14:45 +0100bisickcor(~username@117.200.1.158) (Ping timeout: 240 seconds)
2020-12-26 21:15:11 +0100avdb(~avdb@gateway/tor-sasl/avdb)
2020-12-26 21:15:53 +0100juuandyy(~juuandyy@90.166.144.65)
2020-12-26 21:24:59 +0100kam1(~kam1@24.231.108.143) (Ping timeout: 260 seconds)
2020-12-26 21:30:56 +0100dandart(~Thunderbi@2a00:23c7:f5a6:d001:e847:506b:5204:fefb)
2020-12-26 21:32:04 +0100ADG1089__(~aditya@223.235.213.117) (Remote host closed the connection)
2020-12-26 21:32:15 +0100kam1(~kam1@24.231.108.143)
2020-12-26 21:33:11 +0100kritzefitz(~kritzefit@212.86.56.80)
2020-12-26 21:34:29 +0100o1lo01ol1o(~o1lo01ol1@bl11-140-216.dsl.telepac.pt)
2020-12-26 21:35:56 +0100xcmw(~textual@c-76-120-183-86.hsd1.pa.comcast.net) (Read error: Connection reset by peer)
2020-12-26 21:36:10 +0100hexfive(~hexfive@50-47-142-195.evrt.wa.frontiernet.net)
2020-12-26 21:36:31 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-12-26 21:36:55 +0100xcmw(~textual@c-76-120-183-86.hsd1.pa.comcast.net)
2020-12-26 21:37:34 +0100juuandyy(~juuandyy@90.166.144.65) (Quit: Konversation terminated!)
2020-12-26 21:38:37 +0100leafiest0(~leafiest@165.227.53.12) (Quit: The Lounge - https://thelounge.chat)
2020-12-26 21:39:13 +0100o1lo01ol1o(~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Ping timeout: 264 seconds)
2020-12-26 21:39:27 +0100leafiest0(~leafiest@165.227.53.12)
2020-12-26 21:39:32 +0100hnOsmium0001(uid453710@gateway/web/irccloud.com/x-yqhkburhkutpkobh)
2020-12-26 21:41:31 +0100leafiest0(~leafiest@165.227.53.12) (Client Quit)
2020-12-26 21:41:48 +0100leafiest0(~leafiest@165.227.53.12)
2020-12-26 21:41:54 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2020-12-26 21:43:00 +0100p-core1(~Thunderbi@koleje-wifi-0043.koleje.cuni.cz)
2020-12-26 21:44:12 +0100cheater(~user@unaffiliated/cheater) (Ping timeout: 260 seconds)
2020-12-26 21:46:14 +0100p-core(~Thunderbi@koleje-wifi-0049.koleje.cuni.cz) (Ping timeout: 272 seconds)
2020-12-26 21:46:45 +0100dandart(~Thunderbi@2a00:23c7:f5a6:d001:e847:506b:5204:fefb) (Ping timeout: 272 seconds)
2020-12-26 21:47:27 +0100p-core1(~Thunderbi@koleje-wifi-0043.koleje.cuni.cz) (Ping timeout: 260 seconds)
2020-12-26 21:47:33 +0100p-core(~Thunderbi@koleje-wifi-0047.koleje.cuni.cz)
2020-12-26 21:49:43 +0100rayyyy(~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds)
2020-12-26 21:50:03 +0100ryjm(sid383513@gateway/web/irccloud.com/x-tmudtbhecwyiwuwc) (Ping timeout: 260 seconds)
2020-12-26 21:50:04 +0100p-core1(~Thunderbi@koleje-wifi-0049.koleje.cuni.cz)
2020-12-26 21:50:22 +0100davetapley(sid666@gateway/web/irccloud.com/x-ionovhqqpktzqpxd) (Ping timeout: 260 seconds)
2020-12-26 21:50:26 +0100gOOgler(uid125351@gateway/web/irccloud.com/x-vundpllovrkdofsh) (Ping timeout: 264 seconds)
2020-12-26 21:50:38 +0100eruditass(uid248673@gateway/web/irccloud.com/x-zzmifhezrdakvmqp) (Ping timeout: 268 seconds)
2020-12-26 21:50:38 +0100aristid(sid1599@gateway/web/irccloud.com/x-vqhscgijsuqmrlbi) (Ping timeout: 268 seconds)
2020-12-26 21:50:38 +0100liquorice(sid267884@gateway/web/irccloud.com/x-qcgjboopanduravj) (Ping timeout: 268 seconds)
2020-12-26 21:50:38 +0100jyri-matti(uid479350@gateway/web/irccloud.com/x-fwuqtestthcnxxuz) (Ping timeout: 268 seconds)
2020-12-26 21:50:39 +0100iekfkk(~username@117.200.7.201) (Read error: Connection reset by peer)
2020-12-26 21:50:43 +0100d0liver(sid363046@gateway/web/irccloud.com/x-phekeutgegrqsmdc) (Read error: Connection reset by peer)
2020-12-26 21:50:58 +0100dandart(~Thunderbi@2a00:23c7:f5a6:d001:e847:506b:5204:fefb)
2020-12-26 21:51:03 +0100d0liver(sid363046@gateway/web/irccloud.com/x-jbrqqdcqtnzurjyt)
2020-12-26 21:51:08 +0100ryjm(sid383513@gateway/web/irccloud.com/x-fozezseyqmozmxjk)
2020-12-26 21:51:13 +0100lally(sid388228@gateway/web/irccloud.com/x-tfnobvqpeuxjovei) (Ping timeout: 260 seconds)
2020-12-26 21:51:15 +0100bradparker(sid262931@gateway/web/irccloud.com/x-hkmwjhwvnriiibwj) (Ping timeout: 268 seconds)
2020-12-26 21:51:19 +0100natim87(sid286962@gateway/web/irccloud.com/x-ryjfgihdwvppjeie) (Ping timeout: 258 seconds)
2020-12-26 21:51:27 +0100leafiest0(~leafiest@165.227.53.12) (Quit: The Lounge - https://thelounge.chat)
2020-12-26 21:51:37 +0100iekfkk(~username@117.200.0.141)
2020-12-26 21:51:41 +0100eruditass(uid248673@gateway/web/irccloud.com/x-ruenpoidfyfhvubb)
2020-12-26 21:51:43 +0100gOOgler(uid125351@gateway/web/irccloud.com/x-rizvueflwypynars)
2020-12-26 21:51:52 +0100alanz(sid110616@gateway/web/irccloud.com/x-jeruqluhqrtgyent) (Ping timeout: 268 seconds)
2020-12-26 21:52:03 +0100lally(sid388228@gateway/web/irccloud.com/x-uafhjcwbcypcfxrm)
2020-12-26 21:52:15 +0100natim87(sid286962@gateway/web/irccloud.com/x-dhthcfdaholuyfwt)
2020-12-26 21:52:21 +0100p-core(~Thunderbi@koleje-wifi-0047.koleje.cuni.cz) (Ping timeout: 265 seconds)
2020-12-26 21:52:32 +0100leafiest0(~leafiest@165.227.53.12)
2020-12-26 21:52:41 +0100aristid(sid1599@gateway/web/irccloud.com/x-vhzcsflfsbgrllrm)
2020-12-26 21:53:05 +0100liquorice(sid267884@gateway/web/irccloud.com/x-rkupxuhqqgpmvbqv)
2020-12-26 21:53:11 +0100davetapley(sid666@gateway/web/irccloud.com/x-grrqllwpjuypfeja)
2020-12-26 21:53:12 +0100bradparker(sid262931@gateway/web/irccloud.com/x-ccluxzrskgjvclod)
2020-12-26 21:53:15 +0100jyri-matti(uid479350@gateway/web/irccloud.com/x-sahqhoxyiermzqtr)
2020-12-26 21:53:18 +0100alanz(sid110616@gateway/web/irccloud.com/x-tooahcfpyawpixxr)
2020-12-26 21:54:15 +0100p-core(~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56)
2020-12-26 21:54:40 +0100p-core1(~Thunderbi@koleje-wifi-0049.koleje.cuni.cz) (Ping timeout: 256 seconds)
2020-12-26 21:57:17 +0100usr25(~usr25@unaffiliated/usr25)
2020-12-26 21:58:30 +0100avdb(~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 +0100larryba(~bc815220@199.204.85.195) (Quit: CGI:IRC (Session timeout))
2020-12-26 22:02:24 +0100xcmw(~textual@c-76-120-183-86.hsd1.pa.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-26 22:02:44 +0100olligobber(~olligobbe@unaffiliated/olligobber)
2020-12-26 22:03:19 +0100leafiest0(~leafiest@165.227.53.12) (Quit: The Lounge - https://thelounge.chat)
2020-12-26 22:03:54 +0100leafiest0(~leafiest@165.227.53.12)
2020-12-26 22:05:07 +0100leafiest0(~leafiest@165.227.53.12) (Client Quit)
2020-12-26 22:06:03 +0100leafiest0(~leafiest@165.227.53.12)
2020-12-26 22:06:09 +0100kam1(~kam1@24.231.108.143) (Read error: Connection reset by peer)
2020-12-26 22:06:39 +0100kam1(~kam1@24.231.108.143)
2020-12-26 22:06:48 +0100o1lo01ol1o(~o1lo01ol1@bl11-140-216.dsl.telepac.pt)
2020-12-26 22:07:57 +0100leafiest0(~leafiest@165.227.53.12) (Client Quit)
2020-12-26 22:08:28 +0100leafiest0(~leafiest@165.227.53.12)
2020-12-26 22:10:04 +0100leafiest0(~leafiest@165.227.53.12) (Client Quit)
2020-12-26 22:10:34 +0100leafiest0(~leafiest@165.227.53.12)
2020-12-26 22:11:58 +0100srk(~sorki@gateway/tor-sasl/sorki) (Remote host closed the connection)
2020-12-26 22:12:55 +0100srk(~sorki@gateway/tor-sasl/sorki)
2020-12-26 22:14:38 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-12-26 22:14:41 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-12-26 22:15:22 +0100heatsink(~heatsink@2600:1700:bef1:5e10:d66:2904:6201:20dc) (Remote host closed the connection)
2020-12-26 22:16:23 +0100ransom(~c4264035@2a09:bac0:72::82f:c34)
2020-12-26 22:18:57 +0100infinity0(~infinity0@freenet/developer/infinity0)
2020-12-26 22:20:01 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds)
2020-12-26 22:22:48 +0100leafiest0(~leafiest@165.227.53.12) (Quit: The Lounge - https://thelounge.chat)
2020-12-26 22:24:52 +0100gproto23(~gproto23@unaffiliated/gproto23)
2020-12-26 22:26:11 +0100runawayfive(~nope@unaffiliated/runawayfive) (Ping timeout: 265 seconds)
2020-12-26 22:26:11 +0100gproto23(~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 +0100runawayfive(~nope@unaffiliated/runawayfive)
2020-12-26 22:30:30 +0100p-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 +0100jb55(~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection)
2020-12-26 22:32:42 +0100denisse(~spaceCat@gateway/tor-sasl/alephzer0) (Read error: Connection reset by peer)
2020-12-26 22:32:42 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Write error: Connection reset by peer)
2020-12-26 22:32:42 +0100andreas303(~andreas@gateway/tor-sasl/andreas303) (Write error: Connection reset by peer)
2020-12-26 22:32:42 +0100Unhammer(~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 +0100jpds(~jpds@gateway/tor-sasl/jpds)
2020-12-26 22:33:08 +0100jb55(~jb55@gateway/tor-sasl/jb55)
2020-12-26 22:33:23 +0100orzo(joe@lasker.childrenofmay.org)
2020-12-26 22:33:30 +0100denisse(~spaceCat@gateway/tor-sasl/alephzer0)
2020-12-26 22:33:45 +0100Unhammer(~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 +0100son0p(~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 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 246 seconds)
2020-12-26 22:35:50 +0100andreas303(~andreas@gateway/tor-sasl/andreas303)
2020-12-26 22:35:53 +0100axeman-(~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2020-12-26 22:38:02 +0100axeman-(~axeman_@ip5f5af023.dynamic.kabel-deutschland.de)
2020-12-26 22:39:03 +0100axeman-(~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2020-12-26 22:39:17 +0100axeman-(~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 +0100Kronic(~Kronic___@84.203.96.46) (Read error: Connection reset by peer)
2020-12-26 22:40:22 +0100Sheilong(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 +0100runawayfive(~nope@unaffiliated/runawayfive) (Ping timeout: 260 seconds)
2020-12-26 22:42:07 +0100kam1(~kam1@24.231.108.143) (Remote host closed the connection)
2020-12-26 22:42:38 +0100kam1(~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 +0100iqubic`(~user@2601:602:9500:4870:b714:410c:c6da:d9b1) (Quit: ERC (IRC client for Emacs 28.0.50))
2020-12-26 22:45:07 +0100iqubic(~user@2601:602:9500:4870:b714:410c:c6da:d9b1)
2020-12-26 22:45:32 +0100runawayfive(~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 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-12-26 22:48:18 +0100heatsink(~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 +0100kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-12-26 22:53:02 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds)
2020-12-26 22:54:46 +0100ADG1089__(~aditya@223.235.213.117)
2020-12-26 22:55:26 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-12-26 22:55:43 +0100geekosaur(ac3a8c92@172.58.140.146) (Remote host closed the connection)
2020-12-26 22:56:20 +0100philopsos(~caecilius@gateway/tor-sasl/caecilius)
2020-12-26 22:57:14 +0100sweater(~sweater@206.81.18.26) (Quit: WeeChat 2.8)
2020-12-26 22:57:26 +0100ADG1089__(~aditya@223.235.213.117) (Remote host closed the connection)
2020-12-26 22:57:55 +0100sand_dull(~theuser@c-73-149-95-105.hsd1.ct.comcast.net)
2020-12-26 22:58:02 +0100Entertainment(~entertain@104.246.132.210) (Ping timeout: 260 seconds)
2020-12-26 22:58:30 +0100Franciman(~francesco@host-82-49-79-73.retail.telecomitalia.it) (Quit: Leaving)
2020-12-26 22:58:51 +0100ADG1089__(~aditya@223.235.213.117)
2020-12-26 22:59:22 +0100ADG1089__(~aditya@223.235.213.117) (Remote host closed the connection)
2020-12-26 23:04:31 +0100ddellacosta(dd@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds)
2020-12-26 23:04:34 +0100shatriff(~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 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2020-12-26 23:05:19 +0100cosimone(~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 +0100axeman-(~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2020-12-26 23:05:37 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2020-12-26 23:05:54 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2020-12-26 23:06:25 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2020-12-26 23:06:41 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2020-12-26 23:07:00 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-12-26 23:07:13 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2020-12-26 23:07:27 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2020-12-26 23:08:00 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2020-12-26 23:12:48 +0100heatsink(~heatsink@2600:1700:bef1:5e10:d66:2904:6201:20dc) (Remote host closed the connection)
2020-12-26 23:17:13 +0100isovector(~isovector@172.103.216.166)
2020-12-26 23:20:21 +0100axeman-(~axeman_@ip5f5af023.dynamic.kabel-deutschland.de)
2020-12-26 23:25:26 +0100vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-12-26 23:28:05 +0100chang(~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com)
2020-12-26 23:28:53 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2020-12-26 23:29:16 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2020-12-26 23:30:26 +0100al3x27(~plovs@85.254.74.40) (Ping timeout: 256 seconds)
2020-12-26 23:32:08 +0100dandart(~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 +0100hackagefadno-xml 1.2 - XML/XSD combinators/schemas/codegen https://hackage.haskell.org/package/fadno-xml-1.2 (spopejoy)
2020-12-26 23:34:09 +0100isovector(~isovector@172.103.216.166) ("WeeChat 2.9")
2020-12-26 23:34:25 +0100royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds)
2020-12-26 23:36:14 +0100aweinstock(~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com) (Ping timeout: 260 seconds)
2020-12-26 23:36:18 +0100machinedgod(~machinedg@24.105.81.50)
2020-12-26 23:36:27 +0100dandart(~Thunderbi@2a00:23c7:f5a6:d001:e847:506b:5204:fefb)
2020-12-26 23:38:02 +0100aweinstock(~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com)
2020-12-26 23:39:52 +0100chang(~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-26 23:40:26 +0100xcmw(~textual@2601:541:4404:bb5c:da1:4077:f440:d41d)
2020-12-26 23:41:00 +0100hackagemarkdown-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 +0100zv(~zv@unaffiliated/zv)
2020-12-26 23:41:55 +0100axeman-(~axeman_@ip5f5af023.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2020-12-26 23:45:30 +0100hackagefadno 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 +0100ransom(~c4264035@2a09:bac0:72::82f:c34) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-12-26 23:48:19 +0100christo(~chris@81.96.113.213)
2020-12-26 23:48:32 +0100pavonia(~user@unaffiliated/siracusa)
2020-12-26 23:50:29 +0100hackagebinary-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 +0100verement(~anonymous@cpe-76-167-229-223.san.res.rr.com) (Quit: verement)
2020-12-26 23:52:34 +0100vicfred(~vicfred@unaffiliated/vicfred)
2020-12-26 23:52:56 +0100christo(~chris@81.96.113.213) (Ping timeout: 256 seconds)
2020-12-26 23:54:51 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-12-26 23:55:05 +0100verement(~anonymous@cpe-76-167-229-223.san.res.rr.com)
2020-12-26 23:57:13 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-12-26 23:57:41 +0100egp8(~egp_@128-71-4-8.broadband.corbina.ru) (Quit: EXIT)
2020-12-26 23:58:49 +0100cheater(~user@unaffiliated/cheater)
2020-12-26 23:59:28 +0100jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2020-12-26 23:59:56 +0100sand_dull(~theuser@c-73-149-95-105.hsd1.ct.comcast.net) (Ping timeout: 240 seconds)