IRCBrowse

2021/11/12

2021-11-12 00:00:43 +0100cheater(~Username@user/cheater)
2021-11-12 00:02:47 +0100 <maerwald> but it's surprising that forM_ is not `void . forM`
2021-11-12 00:04:07 +0100 <monochrom> Using IO for example, "forM [0..] print" takes infinite memory, and void does not save it, void comes in too late.
2021-11-12 00:04:17 +0100severen(~severen@202.36.179.72)
2021-11-12 00:04:46 +0100 <monochrom> forM_ is carefully crafted to solve that.
2021-11-12 00:05:41 +0100 <monochrom> Since this is IO's >>=, yes tail recursion matters in this case.
2021-11-12 00:07:21 +0100 <monochrom> "forM_ (x:xs) f = f x >>= \_ -> forM_ xs f" is a tail recursion, "forM (x:xs) f = f x >>= \y -> forM xs f >>= oh now I have to return something" is a non-tail recursion.
2021-11-12 00:07:54 +0100 <monochrom> OK, except that modern forM uses <*> instead of >>=
2021-11-12 00:08:48 +0100 <maerwald> sequenceA
2021-11-12 00:12:11 +0100mimmy(~mimmy@72.142.88.18) (Quit: WeeChat 3.3)
2021-11-12 00:12:35 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2021-11-12 00:13:06 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2021-11-12 00:13:54 +0100 <maerwald> meh... sequence default impl is sequenceA
2021-11-12 00:14:02 +0100 <monochrom> :)
2021-11-12 00:14:04 +0100 <maerwald> trying to dive around this bug isn't that easy
2021-11-12 00:14:11 +0100falafel_(~falafel@2603-8000-d800-688c-2092-0e6f-020e-f136.res6.spectrum.com) (Ping timeout: 264 seconds)
2021-11-12 00:14:23 +0100 <monochrom> Roll your own forM :)
2021-11-12 00:15:28 +0100_xor(~xor@72.49.199.147) (Quit: WeeChat 3.3)
2021-11-12 00:16:37 +0100sudden(~cat@user/sudden) (Ping timeout: 268 seconds)
2021-11-12 00:17:22 +0100hippoid(~idris@c-98-220-13-8.hsd1.il.comcast.net)
2021-11-12 00:17:33 +0100 <int-e> /lastlog ddb 3
2021-11-12 00:17:46 +0100 <int-e> (darn space bar)
2021-11-12 00:23:25 +0100sudden(~cat@h-98-128-128-173.A351.priv.bahnhof.se)
2021-11-12 00:23:50 +0100suddenGuest6295
2021-11-12 00:28:04 +0100AlexNoo_(~AlexNoo@178.34.163.122)
2021-11-12 00:28:13 +0100Cale(~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com)
2021-11-12 00:29:13 +0100Guest6295(~cat@h-98-128-128-173.A351.priv.bahnhof.se) (Ping timeout: 256 seconds)
2021-11-12 00:30:01 +0100teddyc(theodorc@cassarossa.samfundet.no)
2021-11-12 00:30:18 +0100deadmarshal(~deadmarsh@95.38.228.222)
2021-11-12 00:30:42 +0100Alex_test(~al_test@178.34.163.82) (Ping timeout: 260 seconds)
2021-11-12 00:30:42 +0100AlexZenon(~alzenon@178.34.163.82) (Ping timeout: 260 seconds)
2021-11-12 00:31:39 +0100AlexNoo(~AlexNoo@178.34.163.82) (Ping timeout: 250 seconds)
2021-11-12 00:34:25 +0100AlexZenon(~alzenon@178.34.163.122)
2021-11-12 00:34:25 +0100Alex_test(~al_test@178.34.163.122)
2021-11-12 00:34:53 +0100deadmarshal(~deadmarsh@95.38.228.222) (Ping timeout: 256 seconds)
2021-11-12 00:34:53 +0100mcgroin(~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 256 seconds)
2021-11-12 00:35:02 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-11-12 00:35:11 +0100Pickchea(~private@user/pickchea) (Quit: Leaving)
2021-11-12 00:36:11 +0100sudden(~cat@h-98-128-128-173.A351.priv.bahnhof.se)
2021-11-12 00:36:36 +0100suddenGuest4609
2021-11-12 00:37:11 +0100Guest4609(~cat@h-98-128-128-173.A351.priv.bahnhof.se) (Changing host)
2021-11-12 00:37:11 +0100Guest4609(~cat@user/sudden)
2021-11-12 00:41:34 +0100kupi(uid212005@hampstead.irccloud.com)
2021-11-12 00:43:11 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2021-11-12 00:43:35 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2021-11-12 00:49:52 +0100lbseale(~lbseale@user/ep1ctetus)
2021-11-12 00:50:28 +0100lbseale(~lbseale@user/ep1ctetus) (Client Quit)
2021-11-12 00:50:51 +0100MasseR5(~MasseR@51.15.143.128)
2021-11-12 00:51:27 +0100orcus(~orcus@user/brprice) (Quit: ZNC 1.8.1 - https://znc.in)
2021-11-12 00:51:32 +0100defanor(~defanor@tart.uberspace.net) (Quit: .)
2021-11-12 00:51:46 +0100orcus(~orcus@user/brprice)
2021-11-12 00:51:47 +0100defanor(~defanor@tart.uberspace.net)
2021-11-12 00:52:48 +0100MasseR(~MasseR@51.15.143.128) (Ping timeout: 260 seconds)
2021-11-12 00:52:48 +0100MasseR5MasseR
2021-11-12 00:55:37 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-11-12 00:55:38 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-11-12 00:55:38 +0100wroathe(~wroathe@user/wroathe)
2021-11-12 01:01:24 +0100johnny_sitar(~artur@078088015209.bialystok.vectranet.pl) (Remote host closed the connection)
2021-11-12 01:03:19 +0100brainfreeze(~brainfree@2a03:1b20:4:f011::20d)
2021-11-12 01:04:35 +0100acidjnk_new3(~acidjnk@p200300d0c721b739c4928bd7ecc09c55.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-11-12 01:06:12 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-11-12 01:11:02 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-12 01:15:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds)
2021-11-12 01:17:42 +0100rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com)
2021-11-12 01:19:10 +0100Topsi2(~Tobias@dyndsl-091-249-082-100.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2021-11-12 01:26:44 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds)
2021-11-12 01:27:59 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2021-11-12 01:33:32 +0100jgeerds(~jgeerds@55d41b94.access.ecotel.net) (Ping timeout: 240 seconds)
2021-11-12 01:38:56 +0100acidjnk_new3(~acidjnk@p200300d0c721b725a4c2c29d62041356.dip0.t-ipconnect.de)
2021-11-12 01:39:27 +0100Tuplanolla(~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.)
2021-11-12 01:39:43 +0100jmorris(uid433911@hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-11-12 01:55:12 +0100vysn(~vysn@user/vysn)
2021-11-12 02:00:25 +0100_xor(~xor@72.49.199.147)
2021-11-12 02:03:15 +0100DNH(~DNH@8.43.122.53) (Quit: Textual IRC Client: www.textualapp.com)
2021-11-12 02:03:57 +0100rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 250 seconds)
2021-11-12 02:04:44 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3)
2021-11-12 02:05:19 +0100benin6(~benin@106.198.92.35)
2021-11-12 02:07:15 +0100benin(~benin@183.82.178.244) (Ping timeout: 256 seconds)
2021-11-12 02:07:16 +0100benin6benin
2021-11-12 02:09:20 +0100fluffyballoon(~user@131.93.208.196)
2021-11-12 02:11:08 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-11-12 02:15:59 +0100Midjak(~Midjak@82-65-111-221.subs.proxad.net) (Quit: This computer has gone to sleep)
2021-11-12 02:17:15 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-11-12 02:17:47 +0100mark__(~a@p200300ef973db1b24086f0a6a24fc4dd.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2021-11-12 02:18:15 +0100 <ddb> int-e: I was able to get all of what you said, and it works as far as I can tell! Even got djinn working with your patch instructions.
2021-11-12 02:18:41 +0100cheater(~Username@user/cheater) (Ping timeout: 250 seconds)
2021-11-12 02:21:06 +0100acidjnk_new3(~acidjnk@p200300d0c721b725a4c2c29d62041356.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2021-11-12 02:25:19 +0100acco[m](~accotedom@2001:470:69fc:105::1:3236)
2021-11-12 02:27:12 +0100severen(~severen@202.36.179.72) (Quit: WeeChat 3.3)
2021-11-12 02:29:12 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2021-11-12 02:30:00 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-11-12 02:32:59 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds)
2021-11-12 02:34:13 +0100mmhat(~mmh@55d4bd26.access.ecotel.net) (Quit: WeeChat 3.3)
2021-11-12 02:37:07 +0100max22-(~maxime@2a01cb08833598008a48d8a24ae7f102.ipv6.abo.wanadoo.fr) (Quit: Leaving)
2021-11-12 02:40:58 +0100Vajb(~Vajb@2001:999:51:5bc5:881:a4da:a7db:528d)
2021-11-12 02:41:02 +0100fluffyballoon(~user@131.93.208.196) (Ping timeout: 240 seconds)
2021-11-12 02:42:59 +0100wei2912(~wei2912@138.75.71.147)
2021-11-12 02:50:49 +0100burnsidesLlama(~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection)
2021-11-12 02:52:46 +0100wei2912(~wei2912@138.75.71.147) (Quit: leaving)
2021-11-12 02:54:14 +0100vysn(~vysn@user/vysn) (Ping timeout: 246 seconds)
2021-11-12 02:58:03 +0100asen(~asen@2408:821b:618:2ef0:ab85:814b:bf8f:a143)
2021-11-12 02:58:04 +0100unit73e(~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Quit: Leaving)
2021-11-12 02:58:56 +0100acidsys(~LSD@2.lsd.systems) (Excess Flood)
2021-11-12 02:59:30 +0100acidsys(~LSD@2.lsd.systems)
2021-11-12 03:01:54 +0100lavaman(~lavaman@98.38.249.169)
2021-11-12 03:06:11 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2021-11-12 03:14:43 +0100roconnor(~roconnor@host-45-58-217-8.dyn.295.ca) (Read error: Connection reset by peer)
2021-11-12 03:22:35 +0100jkaye(~jkaye@2601:281:8300:7530:abba:ebaf:fffa:714f) (Ping timeout: 264 seconds)
2021-11-12 03:23:18 +0100dajoer(~david@user/gvx)
2021-11-12 03:25:42 +0100cheater(~Username@user/cheater)
2021-11-12 03:28:44 +0100renzhi(~xp@2607:fa49:6500:b100::6e7f)
2021-11-12 03:28:45 +0100Vajb(~Vajb@2001:999:51:5bc5:881:a4da:a7db:528d) (Read error: Connection reset by peer)
2021-11-12 03:31:35 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2021-11-12 03:40:32 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2021-11-12 03:47:41 +0100zzzonion
2021-11-12 03:49:15 +0100benin(~benin@106.198.92.35) (Ping timeout: 256 seconds)
2021-11-12 03:52:58 +0100 <hololeap> I want to reference a whole pattern match in a type family. is there any way to do this or some other way to make this snippet work? http://sprunge.us/9fimdF
2021-11-12 03:53:42 +0100xkuru(~xkuru@user/xkuru) (Read error: Connection reset by peer)
2021-11-12 03:55:17 +0100xff0x(~xff0x@2001:1a81:53e8:a400:4be3:10c9:a6eb:9cd9) (Ping timeout: 264 seconds)
2021-11-12 03:55:19 +0100 <awpr> can do some workaround like `type ActualTypeFamily a0 a1 where ...` and `type Wrapper a = ActualTypeFamily a a`
2021-11-12 03:55:42 +0100 <awpr> things are just less convenient in type family land, pretty frequently
2021-11-12 03:56:39 +0100xff0x(~xff0x@2001:1a81:522c:6200:1a00:c61c:e1e7:955f)
2021-11-12 04:00:37 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net)
2021-11-12 04:01:06 +0100kupi(uid212005@hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-11-12 04:01:30 +0100ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 276 seconds)
2021-11-12 04:04:48 +0100falafel(~falafel@2603-8000-d800-688c-2092-0e6f-020e-f136.res6.spectrum.com)
2021-11-12 04:08:23 +0100asen(~asen@2408:821b:618:2ef0:ab85:814b:bf8f:a143) (Quit: Leaving)
2021-11-12 04:15:02 +0100alx741(~alx741@186.178.109.114) (Quit: alx741)
2021-11-12 04:26:29 +0100shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 264 seconds)
2021-11-12 04:28:39 +0100Guest42(~Guest42@eth-west-pareq2-46-193-4-100.wb.wifirst.net)
2021-11-12 04:29:53 +0100alzgh(~alzgh@user/alzgh) (Remote host closed the connection)
2021-11-12 04:30:14 +0100alzgh(~alzgh@user/alzgh)
2021-11-12 04:33:58 +0100onionyin
2021-11-12 04:34:02 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2021-11-12 04:34:02 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2021-11-12 04:34:02 +0100finn_elijaFinnElija
2021-11-12 04:35:57 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-11-12 04:40:13 +0100santiagopim[m](~santiagop@2001:470:69fc:105::e57d) (Quit: Client limit exceeded: 20000)
2021-11-12 04:41:34 +0100hippoid(~idris@c-98-220-13-8.hsd1.il.comcast.net) (Remote host closed the connection)
2021-11-12 04:41:45 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2021-11-12 04:44:31 +0100mbuf(~Shakthi@122.178.204.176)
2021-11-12 04:47:11 +0100falafel(~falafel@2603-8000-d800-688c-2092-0e6f-020e-f136.res6.spectrum.com) (Ping timeout: 245 seconds)
2021-11-12 04:49:41 +0100 <hololeap> awpr: I cannot seem to get it to let me specify at the top of a recursive datakind that the root and all ancestors satisfy some constraints: http://dpaste.com/D63462PXP
2021-11-12 04:50:03 +0100santiagopim[m](~santiagop@2001:470:69fc:105::e57d)
2021-11-12 04:56:12 +0100 <awpr> so for one, I think this will be hard to work with, since even knowing what the constraint is requires knowing which constructor of Tree/Root the parameter is
2021-11-12 04:56:47 +0100 <awpr> in particular `KnownTreeR t` doesn't imply `KnownTree t` until _after_ you prove which case it is
2021-11-12 04:57:59 +0100 <awpr> the way it's written is a bit like `case t of Node x y -> knownTree t; Leaf -> knownTree t`, in that it has to "force" the present node before making any progress
2021-11-12 04:58:59 +0100 <awpr> probably more useful to compare against `case t of Node x y -> (knownTree t, otherStuff x y); Leaf -> (knownTree t, ())` actually
2021-11-12 04:59:16 +0100emf(~emf@2620:10d:c090:400::5:538d) (Ping timeout: 245 seconds)
2021-11-12 04:59:16 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-12 05:00:26 +0100deadmarshal(~deadmarsh@95.38.228.222)
2021-11-12 05:00:30 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net) (Read error: Connection reset by peer)
2021-11-12 05:00:58 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net)
2021-11-12 05:01:08 +0100 <awpr> refactoring that to `(knownTree t, case t of Node x y -> otherStuff x y; Leaf -> ())` means you can immediately find `knownTree t`, and only the recursive stuff depends on which constructor it is
2021-11-12 05:01:31 +0100td_(~td@94.134.91.245) (Ping timeout: 268 seconds)
2021-11-12 05:02:46 +0100td_(~td@94.134.91.243)
2021-11-12 05:03:44 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-11-12 05:04:12 +0100jkaye(~jkaye@2601:281:8300:7530:866a:9967:5f85:58dd)
2021-11-12 05:05:29 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net) (Ping timeout: 246 seconds)
2021-11-12 05:07:20 +0100 <awpr> the other side of this is: with the `singTree` method, `KnownTree` already provides knowledge about the shape of the entire tree, it's just not convenient to get the subtrees back into the form of `KnownTree` instances. so instead of recursing on `KnownTree` instances, you can recurse on `SingTree` values, and use `KnownTree` only as a convenient way of supplying `SingTree` arguments automatically
2021-11-12 05:07:26 +0100fresheyeball(~fresheyeb@c-76-25-93-164.hsd1.co.comcast.net) (Quit: WeeChat 2.9)
2021-11-12 05:08:18 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 268 seconds)
2021-11-12 05:08:47 +0100jkaye(~jkaye@2601:281:8300:7530:866a:9967:5f85:58dd) (Ping timeout: 264 seconds)
2021-11-12 05:10:14 +0100 <awpr> a third, somewhat weirder angle: `data SingTree t where SingNode :: (KnownTree tl, KnownTree tr) => SingTree (Node tl tr); ...`, so that matching `SingNode` inherently brings the instances into scope, and you regain the ability to recurse on instances. I've never tried this style of recursive singletons, though, so I'm not sure whether it will go smoothly
2021-11-12 05:12:37 +0100renzhi(~xp@2607:fa49:6500:b100::6e7f) (Ping timeout: 268 seconds)
2021-11-12 05:24:53 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-11-12 05:24:53 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-11-12 05:24:53 +0100wroathe(~wroathe@user/wroathe)
2021-11-12 05:28:21 +0100hololeap(~hololeap@user/hololeap) (Remote host closed the connection)
2021-11-12 05:29:21 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 250 seconds)
2021-11-12 05:29:47 +0100hololeap(~hololeap@user/hololeap)
2021-11-12 05:32:53 +0100aidy(~aidy@2001:470:69fc:105::c7b4) (Quit: Client limit exceeded: 20000)
2021-11-12 05:34:55 +0100rkrishnan(~user@122.167.19.65)
2021-11-12 05:36:21 +0100Philonous_(~Philonous@user/philonous)
2021-11-12 05:38:43 +0100fryguybo1(~fryguybob@cpe-74-67-169-145.rochester.res.rr.com)
2021-11-12 05:39:27 +0100kosmikus_(~kosmikus@nullzig.kosmikus.org)
2021-11-12 05:39:44 +0100lavaman(~lavaman@98.38.249.169)
2021-11-12 05:39:47 +0100hololeap(~hololeap@user/hololeap) (Remote host closed the connection)
2021-11-12 05:39:59 +0100v01d4lph4(~v01d4lph4@223.190.93.72)
2021-11-12 05:39:59 +0100v01d4lph4(~v01d4lph4@223.190.93.72) (Changing host)
2021-11-12 05:39:59 +0100v01d4lph4(~v01d4lph4@user/v01d4lph4)
2021-11-12 05:40:19 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Ping timeout: 256 seconds)
2021-11-12 05:40:46 +0100benin(~benin@106.198.85.27)
2021-11-12 05:41:06 +0100hololeap(~hololeap@user/hololeap)
2021-11-12 05:43:51 +0100Codaraxis(~Codaraxis@user/codaraxis) (*.net *.split)
2021-11-12 05:43:51 +0100fryguybob(~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) (*.net *.split)
2021-11-12 05:43:51 +0100infinity0(~infinity0@occupy.ecodis.net) (*.net *.split)
2021-11-12 05:43:51 +0100edwtjo(~edwtjo@user/edwtjo) (*.net *.split)
2021-11-12 05:43:51 +0100niko(~niko@libera/staff/niko) (*.net *.split)
2021-11-12 05:43:51 +0100Philonous(~Philonous@user/philonous) (*.net *.split)
2021-11-12 05:43:51 +0100kosmikus(~kosmikus@nullzig.kosmikus.org) (*.net *.split)
2021-11-12 05:43:51 +0100duckonomy(~duckonomy@177.ip-144-217-84.net) (*.net *.split)
2021-11-12 05:43:51 +0100marienz(~marienz@libera/staff/marienz) (*.net *.split)
2021-11-12 05:43:51 +0100chronon(~chronon@user/chronon) (*.net *.split)
2021-11-12 05:43:51 +0100Inoperable(~PLAYER_1@fancydata.science) (*.net *.split)
2021-11-12 05:43:51 +0100dkeohane2(~dkeohane@ec2-18-189-29-140.us-east-2.compute.amazonaws.com) (*.net *.split)
2021-11-12 05:43:51 +0100glguy(x@libera/staff/glguy) (*.net *.split)
2021-11-12 05:44:42 +0100jmorris(uid433911@hampstead.irccloud.com)
2021-11-12 05:45:02 +0100niko(~niko@libera/staff/niko)
2021-11-12 05:48:24 +0100Codaraxis(~Codaraxis@user/codaraxis)
2021-11-12 05:48:24 +0100infinity0(~infinity0@occupy.ecodis.net)
2021-11-12 05:48:24 +0100Inoperable(~PLAYER_1@fancydata.science)
2021-11-12 05:48:24 +0100duckonomy(~duckonomy@177.ip-144-217-84.net)
2021-11-12 05:48:24 +0100chronon(~chronon@user/chronon)
2021-11-12 05:48:24 +0100marienz(~marienz@libera/staff/marienz)
2021-11-12 05:48:24 +0100dkeohane2(~dkeohane@ec2-18-189-29-140.us-east-2.compute.amazonaws.com)
2021-11-12 05:48:24 +0100glguy(x@libera/staff/glguy)
2021-11-12 05:49:21 +0100 <dsal> Is there a less repetitive way to do `liftA3 c (f a) (f b) (f c)` ?
2021-11-12 05:49:27 +0100edwtjo(~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se)
2021-11-12 05:49:27 +0100edwtjo(~edwtjo@h-109-228-137-133.A213.priv.bahnhof.se) (Changing host)
2021-11-12 05:49:27 +0100edwtjo(~edwtjo@user/edwtjo)
2021-11-12 05:49:41 +0100 <dsal> Er, those aren't the same c...
2021-11-12 05:49:48 +0100aidy(~aidy@2001:470:69fc:105::c7b4)
2021-11-12 05:50:59 +0100Vajb(~Vajb@2001:999:51:5bc5:881:a4da:a7db:528d)
2021-11-12 05:58:39 +0100mud(~mud@user/kadoban) (Quit: quit)
2021-11-12 05:58:39 +0100Vajb(~Vajb@2001:999:51:5bc5:881:a4da:a7db:528d) (Read error: Connection reset by peer)
2021-11-12 05:58:58 +0100 <koz> dsal: c <$> f a <*> f b <*> f c?
2021-11-12 05:59:55 +0100 <dsal> Heh I was hoping mainly to avoid writing `f` three times in this case.
2021-11-12 06:00:04 +0100 <dsal> That's more obvious on my screen.
2021-11-12 06:01:36 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2021-11-12 06:04:07 +0100deadmarshal(~deadmarsh@95.38.228.222) (Ping timeout: 256 seconds)
2021-11-12 06:04:39 +0100ec(~ec@gateway/tor-sasl/ec)
2021-11-12 06:06:48 +0100shidima(~shidima@84-104-108-90.cable.dynamic.v4.ziggo.nl)
2021-11-12 06:15:02 +0100 <kronicmage> @pl g f = liftA3 c (f a) (f b) (f c)
2021-11-12 06:15:02 +0100 <lambdabot> g = ap (ap (liftA3 c . ($ a)) ($ b)) ($ c)
2021-11-12 06:15:10 +0100falafel(~falafel@cpe-76-168-195-162.socal.res.rr.com)
2021-11-12 06:15:43 +0100 <kronicmage> Sometimes repetition is more readable lol
2021-11-12 06:19:02 +0100 <Axman6> @pl g f = c <$> f a <*> f b <*> f c -- this is not going to be better...
2021-11-12 06:19:02 +0100 <lambdabot> g = (c <$>) . ap ((<*>) . liftM2 (<*>) ($ a) ($ b)) ($ c)
2021-11-12 06:19:03 +0100 <awpr> @let on3 f g x y z = f (g x) (g y) (g z)
2021-11-12 06:19:04 +0100 <lambdabot> Defined.
2021-11-12 06:19:32 +0100 <Axman6> :t on3
2021-11-12 06:19:33 +0100 <lambdabot> (t1 -> t1 -> t1 -> t2) -> (t3 -> t1) -> t3 -> t3 -> t3 -> t2
2021-11-12 06:19:38 +0100 <awpr> (liftA3 f `on` c) x y z
2021-11-12 06:19:58 +0100 <awpr> :t on -- for comparison
2021-11-12 06:19:59 +0100 <lambdabot> (b -> b -> c) -> (a -> b) -> a -> a -> c
2021-11-12 06:28:19 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net)
2021-11-12 06:39:02 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-11-12 06:39:55 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net)
2021-11-12 06:44:21 +0100falafel(~falafel@cpe-76-168-195-162.socal.res.rr.com) (Ping timeout: 256 seconds)
2021-11-12 06:44:45 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net) (Ping timeout: 250 seconds)
2021-11-12 06:53:02 +0100falafel(~falafel@cpe-76-168-195-162.socal.res.rr.com)
2021-11-12 06:54:35 +0100alzgh(~alzgh@user/alzgh) (Remote host closed the connection)
2021-11-12 06:54:55 +0100alzgh(~alzgh@user/alzgh)
2021-11-12 06:55:52 +0100dagit(~dagit@2001:558:6025:38:6476:a063:d05a:44da) (Read error: Connection reset by peer)
2021-11-12 06:56:01 +0100dagit(~dagit@2001:558:6025:38:6476:a063:d05a:44da)
2021-11-12 06:57:45 +0100falafel(~falafel@cpe-76-168-195-162.socal.res.rr.com) (Ping timeout: 250 seconds)
2021-11-12 07:06:36 +0100falafel(~falafel@2603-8000-d800-688c-34f9-26f3-71b0-5b78.res6.spectrum.com)
2021-11-12 07:08:15 +0100Axman6(~Axman6@user/axman6) ()
2021-11-12 07:09:19 +0100kmein_(~weechat@user/kmein)
2021-11-12 07:10:56 +0100kmein(~weechat@user/kmein) (Ping timeout: 245 seconds)
2021-11-12 07:16:46 +0100vysn(~vysn@user/vysn)
2021-11-12 07:16:57 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-11-12 07:17:02 +0100Axman6(~Axman6@user/axman6)
2021-11-12 07:19:08 +0100 <DemiMarieObenour> Anyone else wished that GHC had a concurrent compacting garbage collector?
2021-11-12 07:20:10 +0100img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-11-12 07:23:35 +0100zebrag(~chris@user/zebrag) (Remote host closed the connection)
2021-11-12 07:23:58 +0100 <sm> sure!
2021-11-12 07:24:29 +0100 <sm> and sub second program compile times
2021-11-12 07:27:42 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-11-12 07:29:16 +0100 <Axman6> doesn't it have both those things? not at the same time? I haven't looked at the state of the art in GHC garbage collection
2021-11-12 07:29:30 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2021-11-12 07:29:35 +0100 <dolio> I don't think it has a compacting collector.
2021-11-12 07:30:21 +0100 <Axman6> copying totally does compacting :P
2021-11-12 07:30:31 +0100 <dolio> Well, that's true.
2021-11-12 07:32:33 +0100img(~img@user/img)
2021-11-12 07:35:50 +0100benin6(~benin@183.82.176.36)
2021-11-12 07:36:02 +0100lavaman(~lavaman@98.38.249.169)
2021-11-12 07:37:23 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Ping timeout: 246 seconds)
2021-11-12 07:37:37 +0100benin(~benin@106.198.85.27) (Ping timeout: 256 seconds)
2021-11-12 07:37:37 +0100benin6benin
2021-11-12 07:37:52 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2021-11-12 07:40:36 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-11-12 07:43:53 +0100Guest42(~Guest42@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Ping timeout: 256 seconds)
2021-11-12 07:44:34 +0100 <DemiMarieObenour> yes, but it is stop-the-world
2021-11-12 07:44:44 +0100shidima(~shidima@84-104-108-90.cable.dynamic.v4.ziggo.nl) (Ping timeout: 246 seconds)
2021-11-12 07:44:50 +0100 <DemiMarieObenour> looks at Java ZGC
2021-11-12 07:46:00 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-11-12 07:46:29 +0100 <opqdonut> DemiMarieObenour: how about https://well-typed.com/blog/2019/10/nonmoving-gc-merge/ ?
2021-11-12 07:46:30 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2021-11-12 07:47:21 +0100waleee(~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Quit: WeeChat 3.3)
2021-11-12 07:47:45 +0100 <DemiMarieObenour> opqdonut: yes, but a non-moving GC still may run into heap fragmentation problems. A concurrent compacting collector is the holy grail of GC technology, but is a massive amount of work.
2021-11-12 07:48:59 +0100falafel(~falafel@2603-8000-d800-688c-34f9-26f3-71b0-5b78.res6.spectrum.com) (Ping timeout: 264 seconds)
2021-11-12 07:52:00 +0100waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-11-12 07:53:48 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-11-12 07:56:50 +0100slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-11-12 07:58:02 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Ping timeout: 240 seconds)
2021-11-12 08:02:35 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-11-12 08:03:06 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2021-11-12 08:04:16 +0100v01d4lph4(~v01d4lph4@user/v01d4lph4) (Remote host closed the connection)
2021-11-12 08:05:31 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net)
2021-11-12 08:09:24 +0100alzgh(~alzgh@user/alzgh) (Ping timeout: 256 seconds)
2021-11-12 08:09:54 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net) (Ping timeout: 260 seconds)
2021-11-12 08:11:07 +0100lavaman(~lavaman@98.38.249.169)
2021-11-12 08:11:12 +0100retroid_(~retro@2e41e9c8.skybroadband.com)
2021-11-12 08:12:24 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-11-12 08:14:32 +0100retro_(~retro@2e41e9c8.skybroadband.com) (Ping timeout: 268 seconds)
2021-11-12 08:15:03 +0100brainfreeze(~brainfree@2a03:1b20:4:f011::20d) (Remote host closed the connection)
2021-11-12 08:15:31 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 245 seconds)
2021-11-12 08:16:04 +0100alzgh(alzgh@user/alzgh)
2021-11-12 08:20:14 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-11-12 08:30:34 +0100 <int-e> ddb: nice :)
2021-11-12 08:32:49 +0100deadmarshal(~deadmarsh@95.38.228.222)
2021-11-12 08:32:51 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2021-11-12 08:33:48 +0100mcgroin(~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-11-12 08:37:26 +0100deadmarshal(~deadmarsh@95.38.228.222) (Ping timeout: 260 seconds)
2021-11-12 08:43:36 +0100kupi(uid212005@hampstead.irccloud.com)
2021-11-12 08:44:48 +0100deadmarshal(~deadmarsh@95.38.228.222)
2021-11-12 08:45:46 +0100lavaman(~lavaman@98.38.249.169)
2021-11-12 08:50:18 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 268 seconds)
2021-11-12 08:50:36 +0100shidima(~shidima@46.44.183.25)
2021-11-12 08:55:06 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:906e:b8e3:dc89:8d11)
2021-11-12 08:58:01 +0100cfricke(~cfricke@user/cfricke)
2021-11-12 08:58:09 +0100michalz(~michalz@185.246.204.37)
2021-11-12 09:02:10 +0100shriekingnoise(~shrieking@186.137.144.80) (Quit: Quit)
2021-11-12 09:07:29 +0100fendor(~fendor@77.119.192.182.wireless.dyn.drei.com) (Read error: Connection reset by peer)
2021-11-12 09:12:18 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-12 09:12:19 +0100chomwitt(~chomwitt@2a02:587:dc0f:7c00:12c3:7bff:fe6d:d374)
2021-11-12 09:18:23 +0100deadmarshal(~deadmarsh@95.38.228.222) (Ping timeout: 264 seconds)
2021-11-12 09:20:16 +0100hololeap_(~hololeap@user/hololeap)
2021-11-12 09:20:42 +0100hololeap(~hololeap@user/hololeap) (Remote host closed the connection)
2021-11-12 09:21:30 +0100acidjnk(~acidjnk@p200300d0c721b72570e3bb829407e876.dip0.t-ipconnect.de)
2021-11-12 09:23:22 +0100jakalx(~jakalx@base.jakalx.net) (Disconnected: Replaced by new connection)
2021-11-12 09:23:28 +0100jakalx(~jakalx@base.jakalx.net)
2021-11-12 09:30:19 +0100vpan(~0@212.117.1.172)
2021-11-12 09:30:32 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net)
2021-11-12 09:34:59 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net) (Ping timeout: 246 seconds)
2021-11-12 09:37:28 +0100deadmarshal(~deadmarsh@95.38.228.222)
2021-11-12 09:37:52 +0100CiaoSen(~Jura@p200300c95730dd002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2021-11-12 09:39:07 +0100hololeap_(~hololeap@user/hololeap) (Remote host closed the connection)
2021-11-12 09:40:31 +0100hololeap_(~hololeap@user/hololeap)
2021-11-12 09:40:52 +0100aliosablack(~chomwitt@2a02:587:dc0f:7c00:12c3:7bff:fe6d:d374)
2021-11-12 09:41:36 +0100chomwitt(~chomwitt@2a02:587:dc0f:7c00:12c3:7bff:fe6d:d374) (Read error: Connection reset by peer)
2021-11-12 09:44:01 +0100oxide(~lambda@user/oxide)
2021-11-12 09:48:13 +0100dhruvasagar(~dhruvasag@49.207.218.36)
2021-11-12 09:50:39 +0100AlexNoo_AlexNoo
2021-11-12 09:52:12 +0100chele(~chele@user/chele)
2021-11-12 09:53:18 +0100v01d4lph4(~v01d4lph4@user/v01d4lph4)
2021-11-12 09:56:13 +0100econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-11-12 09:56:46 +0100aliosablack(~chomwitt@2a02:587:dc0f:7c00:12c3:7bff:fe6d:d374) (Ping timeout: 245 seconds)
2021-11-12 09:59:17 +0100mcgroin(~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 256 seconds)
2021-11-12 10:01:04 +0100mcgroin(~mcgroin@2a04:cec0:117a:2bdc:138b:9371:fd4b:83f7)
2021-11-12 10:01:31 +0100cosimone(~user@93-47-231-139.ip115.fastwebnet.it)
2021-11-12 10:02:27 +0100bitmapper(uid464869@lymington.irccloud.com) (Quit: Connection closed for inactivity)
2021-11-12 10:02:41 +0100deadmarshal(~deadmarsh@95.38.228.222) (Ping timeout: 256 seconds)
2021-11-12 10:05:31 +0100jlamothe(~jlamothe@198.251.61.229) (Ping timeout: 256 seconds)
2021-11-12 10:06:02 +0100chomwitt(~chomwitt@2a02:587:dc0f:7c00:12c3:7bff:fe6d:d374)
2021-11-12 10:06:27 +0100gehmehgeh(~user@user/gehmehgeh)
2021-11-12 10:08:22 +0100jgeerds(~jgeerds@55d41b94.access.ecotel.net)
2021-11-12 10:10:26 +0100max22-(~maxime@2a01cb08833598005dabd5498813ae20.ipv6.abo.wanadoo.fr)
2021-11-12 10:16:02 +0100mcgroin(~mcgroin@2a04:cec0:117a:2bdc:138b:9371:fd4b:83f7) (Ping timeout: 240 seconds)
2021-11-12 10:16:35 +0100vysn(~vysn@user/vysn) (Ping timeout: 264 seconds)
2021-11-12 10:17:33 +0100allbery_b(~geekosaur@xmonad/geekosaur)
2021-11-12 10:17:33 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-11-12 10:17:36 +0100allbery_bgeekosaur
2021-11-12 10:18:01 +0100vysn(~vysn@user/vysn)
2021-11-12 10:18:23 +0100mcgroin(~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-11-12 10:20:35 +0100johnny_sitar(~artur@078088015209.bialystok.vectranet.pl)
2021-11-12 10:22:01 +0100Guest13(~Guest13@44.51-174-234.customer.lyse.net)
2021-11-12 10:22:58 +0100Guest13(~Guest13@44.51-174-234.customer.lyse.net) (Client Quit)
2021-11-12 10:26:58 +0100kadir(~kadir@78.178.105.36)
2021-11-12 10:27:20 +0100phma(phma@2001:5b0:210d:9d18:7608:a226:de13:2590) (Read error: Connection reset by peer)
2021-11-12 10:27:59 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Ping timeout: 264 seconds)
2021-11-12 10:28:35 +0100phma(phma@2001:5b0:211f:3178:45a8:8496:3ea1:a73a)
2021-11-12 10:29:37 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-11-12 10:32:25 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:c075:f6f7:f2c7:7314) (Remote host closed the connection)
2021-11-12 10:34:30 +0100deadmarshal(~deadmarsh@95.38.228.222)
2021-11-12 10:36:11 +0100tengu1(~tengu1@cpe-70-121-244-14.neb.res.rr.com)
2021-11-12 10:38:55 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net)
2021-11-12 10:45:03 +0100jakalx(~jakalx@base.jakalx.net) ()
2021-11-12 10:45:52 +0100jakalx(~jakalx@base.jakalx.net)
2021-11-12 10:48:32 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-11-12 10:51:06 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net)
2021-11-12 10:51:19 +0100jgeerds(~jgeerds@55d41b94.access.ecotel.net) (Ping timeout: 250 seconds)
2021-11-12 10:54:47 +0100chomwitt(~chomwitt@2a02:587:dc0f:7c00:12c3:7bff:fe6d:d374) (Ping timeout: 246 seconds)
2021-11-12 10:55:03 +0100aegon(~mike@174.127.249.180) (Remote host closed the connection)
2021-11-12 10:55:13 +0100v01d4lph4(~v01d4lph4@user/v01d4lph4) (Remote host closed the connection)
2021-11-12 10:55:13 +0100chomwitt(~chomwitt@2a02:587:dc0f:7c00:12c3:7bff:fe6d:d374)
2021-11-12 10:56:02 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net) (Ping timeout: 260 seconds)
2021-11-12 10:57:35 +0100deadmarshal(~deadmarsh@95.38.228.222) (Ping timeout: 246 seconds)
2021-11-12 10:57:42 +0100lavaman(~lavaman@98.38.249.169)
2021-11-12 11:00:09 +0100cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.3)
2021-11-12 11:01:38 +0100deadmarshal(~deadmarsh@95.38.228.222)
2021-11-12 11:02:11 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2021-11-12 11:04:24 +0100tengu1(~tengu1@cpe-70-121-244-14.neb.res.rr.com) (Quit: Client closed)
2021-11-12 11:06:11 +0100alzgh(alzgh@user/alzgh) (Ping timeout: 256 seconds)
2021-11-12 11:09:25 +0100benin2(~benin@106.198.85.27)
2021-11-12 11:10:56 +0100benin(~benin@183.82.176.36) (Ping timeout: 245 seconds)
2021-11-12 11:12:59 +0100benin(~benin@183.82.176.36)
2021-11-12 11:15:05 +0100benin2(~benin@106.198.85.27) (Ping timeout: 246 seconds)
2021-11-12 11:18:09 +0100benin3(~benin@106.198.85.27)
2021-11-12 11:18:56 +0100benin(~benin@183.82.176.36) (Ping timeout: 246 seconds)
2021-11-12 11:18:56 +0100benin3benin
2021-11-12 11:20:39 +0100gehmehgeh(~user@user/gehmehgeh) (Remote host closed the connection)
2021-11-12 11:21:23 +0100gehmehgeh(~user@user/gehmehgeh)
2021-11-12 11:30:03 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net)
2021-11-12 11:30:30 +0100cheater(~Username@user/cheater) (Remote host closed the connection)
2021-11-12 11:31:14 +0100Midjak(~Midjak@82-65-111-221.subs.proxad.net)
2021-11-12 11:32:38 +0100benin7(~benin@183.82.176.36)
2021-11-12 11:32:47 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:c075:f6f7:f2c7:7314)
2021-11-12 11:32:56 +0100xff0x(~xff0x@2001:1a81:522c:6200:1a00:c61c:e1e7:955f) (Ping timeout: 246 seconds)
2021-11-12 11:33:52 +0100xff0x(~xff0x@2001:1a81:522c:6200:54c8:e05a:349a:7362)
2021-11-12 11:34:20 +0100benin(~benin@106.198.85.27) (Ping timeout: 246 seconds)
2021-11-12 11:34:20 +0100benin7benin
2021-11-12 11:34:20 +0100CiaoSen(~Jura@p200300c95730dd002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2021-11-12 11:34:57 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net) (Ping timeout: 268 seconds)
2021-11-12 11:37:35 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:c075:f6f7:f2c7:7314) (Ping timeout: 264 seconds)
2021-11-12 11:37:52 +0100cheater(~Username@user/cheater)
2021-11-12 11:48:57 +0100deadmarshal(~deadmarsh@95.38.228.222) (Ping timeout: 250 seconds)
2021-11-12 11:49:03 +0100kadir(~kadir@78.178.105.36) (WeeChat 3.3)
2021-11-12 11:52:30 +0100kadir(~kadir@78.178.105.36)
2021-11-12 11:53:02 +0100waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 240 seconds)
2021-11-12 11:53:10 +0100mei3(~mei@user/mei) (Read error: Connection reset by peer)
2021-11-12 11:53:23 +0100kupi(uid212005@hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-11-12 11:53:26 +0100waleee(~waleee@h-98-128-228-119.NA.cust.bahnhof.se)
2021-11-12 11:54:17 +0100deadmarshal(~deadmarsh@95.38.228.222)
2021-11-12 11:54:37 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2021-11-12 11:54:37 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2021-11-12 11:54:37 +0100finn_elijaFinnElija
2021-11-12 11:55:50 +0100mmhat(~mmh@55d4bb38.access.ecotel.net)
2021-11-12 11:57:30 +0100Midjak(~Midjak@82-65-111-221.subs.proxad.net) (Quit: Leaving)
2021-11-12 11:58:10 +0100vysn(~vysn@user/vysn) (Quit: WeeChat 3.2)
2021-11-12 11:58:45 +0100Midjak(~Midjak@82-65-111-221.subs.proxad.net)
2021-11-12 11:59:02 +0100loonycyborg_(~loonycybo@chat.chantal.wesnoth.org) (Quit: ZNC - http://znc.sourceforge.net)
2021-11-12 12:00:11 +0100loonycyborg(~loonycybo@wesnoth/developer/loonycyborg)
2021-11-12 12:00:51 +0100alx741(~alx741@186.178.109.114)
2021-11-12 12:01:55 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2021-11-12 12:03:05 +0100DNH(~DNH@8.43.122.53)
2021-11-12 12:03:42 +0100whatsupdoc(uid509081@hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-11-12 12:03:55 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net)
2021-11-12 12:04:09 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-11-12 12:06:42 +0100jakalx(~jakalx@base.jakalx.net) ()
2021-11-12 12:08:32 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2021-11-12 12:09:45 +0100acidjnk(~acidjnk@p200300d0c721b72570e3bb829407e876.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-11-12 12:12:43 +0100zava(~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de)
2021-11-12 12:13:04 +0100cfricke(~cfricke@user/cfricke)
2021-11-12 12:14:07 +0100benin6(~benin@106.198.85.27)
2021-11-12 12:14:35 +0100benin(~benin@183.82.176.36) (Ping timeout: 246 seconds)
2021-11-12 12:15:40 +0100Pickchea(~private@user/pickchea)
2021-11-12 12:16:28 +0100benin(~benin@183.82.176.36)
2021-11-12 12:18:26 +0100benin6(~benin@106.198.85.27) (Ping timeout: 246 seconds)
2021-11-12 12:19:14 +0100__monty__(~toonn@user/toonn)
2021-11-12 12:25:05 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-11-12 12:26:16 +0100zer0bitz(~zer0bitz@dsl-hkibng31-54fae3-116.dhcp.inet.fi)
2021-11-12 12:27:05 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds)
2021-11-12 12:30:29 +0100mark___(~a@p200300ef973db1b24086f0a6a24fc4dd.dip0.t-ipconnect.de)
2021-11-12 12:30:40 +0100rookie101(~rookie@207.154.204.166) (Quit: WeeChat 1.9.1)
2021-11-12 12:31:17 +0100f-a(f2a@f2a.jujube.ircnow.org)
2021-11-12 12:32:54 +0100 <f-a> hello, one some linux machines my compiled program fails with «error while loading shared libraries: libffi.so.7: cannot open shared object file: No such file or directory»
2021-11-12 12:33:14 +0100 <f-a> reasonably enough, since I use ForeignFunctionInterface in a module
2021-11-12 12:33:57 +0100 <f-a> question is: if I somehow remove that module, will I still need libffi? In general, is there a way to check which module/import necessitases libxyz?
2021-11-12 12:34:27 +0100 <f-a> and second question: is there a way I can pack libffi.so.7 in the same executable (or at least in the same zip)?
2021-11-12 12:35:32 +0100cosimone(~user@93-47-231-139.ip115.fastwebnet.it) (Remote host closed the connection)
2021-11-12 12:35:53 +0100 <[exa]> f-a: "pack in the same executable" is basically "link it statically", so yes
2021-11-12 12:36:30 +0100 <[exa]> otoh it is kinda preferable that the library is supplied by the target system
2021-11-12 12:37:11 +0100 <f-a> it is such a basic library, but when I have a friend try it it complains about the wrong number (API?) at the end?
2021-11-12 12:37:25 +0100 <f-a> makes me wonder if it could somehow choose a different one and pray
2021-11-12 12:37:35 +0100chomwitt(~chomwitt@2a02:587:dc0f:7c00:12c3:7bff:fe6d:d374) (Ping timeout: 264 seconds)
2021-11-12 12:37:55 +0100 <[exa]> usually if you're distributing a binary package you need to properly list dependencies, and the target site needs to install these right
2021-11-12 12:38:19 +0100 <[exa]> depending on what you're trying to do I'd just advice for static linking :D
2021-11-12 12:38:21 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds)
2021-11-12 12:38:50 +0100chomwitt(~chomwitt@2a02:587:dc0f:7c00:12c3:7bff:fe6d:d374)
2021-11-12 12:39:23 +0100 <f-a> thanks, I will try
2021-11-12 12:39:57 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-11-12 12:40:19 +0100 <[exa]> f-a: in any case, what are you precisely trying to achieve? move the software without recompilation?
2021-11-12 12:41:05 +0100 <f-a> distribute a binary without people having to fetch a library
2021-11-12 12:41:32 +0100 <f-a> since it is a frigging console app and not anything complex
2021-11-12 12:51:33 +0100Pickchea(~private@user/pickchea) (Ping timeout: 256 seconds)
2021-11-12 12:51:52 +0100jakalx(~jakalx@base.jakalx.net)
2021-11-12 12:52:27 +0100 <[exa]> f-a: in that case the static build is the way to go :]
2021-11-12 12:52:39 +0100deadmarshal(~deadmarsh@95.38.228.222) (Ping timeout: 250 seconds)
2021-11-12 12:53:05 +0100 <f-a> I am tryig executable-static, wonder why I did not think about it before…
2021-11-12 12:53:29 +0100jrm2(~jrm@156.34.187.65)
2021-11-12 12:53:31 +0100jrm(~jrm@156.34.187.65) (Read error: Connection reset by peer)
2021-11-12 12:54:12 +0100jrm2jrm
2021-11-12 12:56:24 +0100burnsidesLlama(~burnsides@dhcp168-014.wadham.ox.ac.uk)
2021-11-12 12:59:37 +0100lavaman(~lavaman@98.38.249.169)
2021-11-12 13:05:11 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 264 seconds)
2021-11-12 13:06:21 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds)
2021-11-12 13:07:23 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-12 13:10:03 +0100hiredman(~hiredman@frontier1.downey.family) (Ping timeout: 265 seconds)
2021-11-12 13:10:17 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-11-12 13:10:34 +0100siraben(~siraben@user/siraben) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:34 +0100sm(~sm@plaintextaccounting/sm) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:34 +0100peddie(~peddie@2001:470:69fc:105::25d) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:34 +0100ongy[m](~ongymatri@2001:470:69fc:105::5018) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:35 +0100jophish(~jophish@2001:470:69fc:105::670) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:35 +0100Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:35 +0100vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:35 +0100jmcantrell(~jmcantrel@user/jmcantrell) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:35 +0100Ollie[m](~ollieocha@2001:470:69fc:105::41a5) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:35 +0100amesgen[m](~amesgenm]@2001:470:69fc:105::82b) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:35 +0100jinsun_(~jinsun@user/jinsun) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:35 +0100smichel17[m](~smichel17@2001:470:69fc:105::2d32) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:35 +0100maralorn(~maralorn@2001:470:69fc:105::251) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:35 +0100Magnus[m](~magthetch@2001:470:69fc:105::d1a7) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:35 +0100SawyerBergeron[m(~sawyerber@2001:470:69fc:105::3036) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:35 +0100maerwald[m](~maerwaldm@2001:470:69fc:105::1ee) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:35 +0100hughjfchen[m](~hughjfche@2001:470:69fc:105::c29d) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:35 +0100asdofindia-m(~akshaymat@2001:470:69fc:105::831) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:36 +0100reza[m](~rezaphone@2001:470:69fc:105::3eda) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:36 +0100xosdy[m](~xosdyalet@2001:470:69fc:105::31f7) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:37 +0100oak-(~oakuniver@2001:470:69fc:105::fcd) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:37 +0100iammrinal0[m](~iammrinal@2001:470:69fc:105::1:2248) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:37 +0100ru0mad[m](~ru0madmat@2001:470:69fc:105::9b2) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:37 +0100hsiktas[m](~hsiktasma@2001:470:69fc:105::30d4) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:37 +0100srid[m](~sridmatri@2001:470:69fc:105::1c2) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:37 +0100Deewiant(~deewiant@2001:470:69fc:105::2fd3) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:37 +0100unrooted(~unrooted@2001:470:69fc:105::a4a) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:37 +0100sky_lounge[m](~skylounge@2001:470:69fc:105::efa6) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:37 +0100soft(~soft@2001:470:69fc:105::c75) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:37 +0100anotherbruce[m](~anotherbr@2001:470:69fc:105::1:2548) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:37 +0100dexmad[m](~dexmadmat@2001:470:69fc:105::e056) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:38 +0100carmysilna(~brightly-@2001:470:69fc:105::2190) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:38 +0100Morrow[m](~morrowmma@2001:470:69fc:105::1d0) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:38 +0100schuelermine[m](~schuelerm@user/schuelermine) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:38 +0100surgeon[m](~surge9nma@2001:470:69fc:105::f585) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:38 +0100kevin[m]1(~pnotequal@2001:470:69fc:105::a54) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:38 +0100TomWesterhout[m](~twesterho@2001:470:69fc:105::1:2918) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:39 +0100Arathorn(~arathorn@2001:470:69fc:105::1f) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:39 +0100moats(~oats@user/oats) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:39 +0100Domino[m](~dominothe@2001:470:69fc:105::1:271b) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:39 +0100thomasjm[m](~thomasjmm@2001:470:69fc:105::c6d9) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:39 +0100afotgkmnzj7asv3r(~afotgkmnz@2001:470:69fc:105::c24b) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:39 +0100ilkecan[m](~ilkecanma@2001:470:69fc:105::1:79b) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:39 +0100ericson2314(~ericson23@2001:470:69fc:105::70c) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:39 +0100unclechu(~unclechu@2001:470:69fc:105::354) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:39 +0100justosophy[m](~justosoph@2001:470:69fc:105::572f) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:40 +0100wysteriary[m](~wysteriar@2001:470:69fc:105::a42e) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:40 +0100jesser[m](~jessermat@2001:470:69fc:105::d5ae) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:40 +0100bb010g(~bb010g@2001:470:69fc:105::9a5) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:40 +0100MatrixTravelerbo(~voyagert2@2001:470:69fc:105::22) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:40 +0100codygman[m](~codygman@2001:470:69fc:105::b4ba) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:40 +0100Drew[m](~drewefenw@2001:470:69fc:105::c8c4) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:40 +0100wildsebastian(~wildsebas@2001:470:69fc:105::1:14b1) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:40 +0100rednaZ[m](~r3dnazmat@2001:470:69fc:105::ba70) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:40 +0100RosarioPulella[m(~rosariopu@2001:470:69fc:105::a57) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:40 +0100psydroid(~psydroid@user/psydroid) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:41 +0100cdsmith(~cdsmithma@2001:470:69fc:105::284) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:41 +0100PotatoHatsue(~berberman@2001:470:69fc:105::b488) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:41 +0100fakehacker[m](~fakehacke@2001:470:69fc:105::b5f0) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:41 +0100Topik[m](~topikmatr@2001:470:69fc:105::a082) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:41 +0100jchia[m](~jchiamatr@2001:470:69fc:105::c50b) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:41 +0100zwro[m](~zwromatri@2001:470:69fc:105::1d4) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:41 +0100fcortesi(~fcortesi@2001:470:69fc:105::f3a9) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:41 +0100zfnmxt(~zfnmxtzfn@user/zfnmxt) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:41 +0100mekeor[m](~mekeormat@2001:470:69fc:105::17e4) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:41 +0100Tisoxin(~ikosit@user/ikosit) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:41 +0100Artem[m](~artemtype@2001:470:69fc:105::75b) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:41 +0100ppseafield[m](~elementpp@2001:470:69fc:105::1:250a) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:42 +0100puffnfresh[m](~puffnfres@2001:470:69fc:105::1:22da) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:42 +0100Tavi[m](~factoidde@2001:470:69fc:105::1:819) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:43 +0100alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:43 +0100kadoban(~kadoban@user/kadoban) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:43 +0100gdhffd[m](~gdhffdmat@2001:470:69fc:105::1:799) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:43 +0100fgaz(~fgaz@2001:470:69fc:105::842) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:43 +0100jneira[m](~jneiramat@2001:470:69fc:105::d729) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:43 +0100conphiz[m](~conphizma@2001:470:69fc:105::c052) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:43 +0100ManofLetters[m](~manoflett@2001:470:69fc:105::3be) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:43 +0100Deide(~deide@user/deide) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:43 +0100stoicswe[m](~deadlette@2001:470:69fc:105::d277) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:43 +0100Orbstheorem(~orbstheor@2001:470:69fc:105::a56) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:44 +0100InternetManaging(~imjmatrix@2001:470:69fc:105::1:2ea5) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:44 +0100OndejSkup[m](~mimivxmat@2001:470:69fc:105::c300) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:44 +0100JoelMcCracken[m](~joelmccra@2001:470:69fc:105::8405) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:44 +0100tomku[m](~tomkumozi@2001:470:69fc:105::1:2fcb) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:45 +0100utk(~utk@2001:470:69fc:105::1:2fe0) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:45 +0100thedward[m](~thedwardm@2001:470:69fc:105::f79) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:45 +0100lambdandy[m](~lambdandy@2001:470:69fc:105::1:3045) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:45 +0100quantum(~quantum@user/quantum/x-8556232) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:45 +0100alex[m]1231(~alexchete@2001:470:69fc:105::1:1001) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:45 +0100denbrahe[m](~denbrahem@2001:470:69fc:105::19c0) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:45 +0100bitonic(~bitonic@2001:470:69fc:105::1812) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:45 +0100fendor[m](~fendormat@2001:470:69fc:105::fcbd) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:45 +0100DemiMarieObenour(~alwayscur@2001:470:69fc:105::4886) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:45 +0100marinelli[m](~marinelli@2001:470:69fc:105::2d8) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:45 +0100TomasJakl[m](~jaklttchn@2001:470:69fc:105::a42) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:45 +0100craige[m](~craigemcw@2001:470:69fc:105::35f1) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:45 +0100kosmikus[m](~andresloe@2001:470:69fc:105::95d) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:45 +0100the-coot[m](~the-cootm@2001:470:69fc:105::95f) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:45 +0100ServerStatsDisco(~serversta@2001:470:69fc:105::1a) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:46 +0100xddq[m](~xddqmatri@2001:470:69fc:105::bfd8) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:46 +0100jkachmar(~jkachmar@2001:470:69fc:105::c72d) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:46 +0100acco[m](~accotedom@2001:470:69fc:105::1:3236) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:46 +0100santiagopim[m](~santiagop@2001:470:69fc:105::e57d) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:46 +0100aidy(~aidy@2001:470:69fc:105::c7b4) (Quit: Bridge terminating on SIGTERM)
2021-11-12 13:10:56 +0100unmanbearpig(~unmanbear@user/unmanbearpig) (Ping timeout: 245 seconds)
2021-11-12 13:11:33 +0100hiredman(~hiredman@frontier1.downey.family)
2021-11-12 13:11:43 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds)
2021-11-12 13:12:57 +0100unmanbearpig(~unmanbear@user/unmanbearpig)
2021-11-12 13:13:08 +0100 <dminuoso> Mmm, I really miss: fromListEff :: Applicative f => (k -> a -> f ()) -> [(k, a)] -> f (Map k a)
2021-11-12 13:13:11 +0100 <dminuoso> This would be so useful :(
2021-11-12 13:13:26 +0100 <yin> do we have linear types yet?
2021-11-12 13:13:48 +0100 <dminuoso> I mean I can build something similar with alterF, but definitely not with the same asymptotics
2021-11-12 13:22:13 +0100deadmarshal(~deadmarsh@95.38.228.222)
2021-11-12 13:27:07 +0100 <tomsmeding> yin: {-# LANGUAGE LinearTypes #-} works on ghc 9.0 :)
2021-11-12 13:27:12 +0100deadmarshal(~deadmarsh@95.38.228.222) (Ping timeout: 268 seconds)
2021-11-12 13:28:34 +0100 <hpc> my dream of an automatic type-safe rust ffi are inching ever closer to reality :D
2021-11-12 13:28:35 +0100jchia[m](~jchiamatr@2001:470:69fc:105::c50b)
2021-11-12 13:28:52 +0100 <tomsmeding> dminuoso: I assume that's not just fromListEff f l = Map.fromList l <$ traverse (uncurry f) l
2021-11-12 13:28:55 +0100MatrixTravelerbo(~voyagert2@2001:470:69fc:105::22)
2021-11-12 13:28:55 +0100fgaz(~fgaz@2001:470:69fc:105::842)
2021-11-12 13:28:55 +0100peddie(~peddie@2001:470:69fc:105::25d)
2021-11-12 13:28:55 +0100cdsmith(~cdsmithma@2001:470:69fc:105::284)
2021-11-12 13:28:56 +0100Morrow[m](~morrowmma@2001:470:69fc:105::1d0)
2021-11-12 13:29:08 +0100thomasjm[m](~thomasjmm@2001:470:69fc:105::c6d9)
2021-11-12 13:29:22 +0100ru0mad[m](~ru0madmat@2001:470:69fc:105::9b2)
2021-11-12 13:29:34 +0100gdhffd[m](~gdhffdmat@2001:470:69fc:105::1:799)
2021-11-12 13:29:48 +0100bb010g(~bb010g@2001:470:69fc:105::9a5)
2021-11-12 13:29:48 +0100ServerStatsDisco(~serversta@2001:470:69fc:105::1a)
2021-11-12 13:29:49 +0100amesgen[m](~amesgenm]@2001:470:69fc:105::82b)
2021-11-12 13:29:49 +0100the-coot[m](~the-cootm@2001:470:69fc:105::95f)
2021-11-12 13:29:49 +0100moats(~oats@user/oats)
2021-11-12 13:30:01 +0100soft(~soft@2001:470:69fc:105::c75)
2021-11-12 13:30:02 +0100zfnmxt(~zfnmxtzfn@2001:470:69fc:105::2b32)
2021-11-12 13:30:15 +0100oak-(~oakuniver@2001:470:69fc:105::fcd)
2021-11-12 13:30:15 +0100kadoban(~kadoban@user/kadoban)
2021-11-12 13:30:15 +0100bitonic(~bitonic@2001:470:69fc:105::1812)
2021-11-12 13:30:15 +0100jophish(~jophish@2001:470:69fc:105::670)
2021-11-12 13:30:15 +0100ericson2314(~ericson23@2001:470:69fc:105::70c)
2021-11-12 13:30:15 +0100Arathorn(~arathorn@2001:470:69fc:105::1f)
2021-11-12 13:30:15 +0100Ollie[m](~ollieocha@2001:470:69fc:105::41a5)
2021-11-12 13:30:15 +0100PotatoHatsue(~berberman@2001:470:69fc:105::b488)
2021-11-12 13:30:16 +0100unclechu(~unclechu@2001:470:69fc:105::354)
2021-11-12 13:30:29 +0100Deewiant(~deewiant@2001:470:69fc:105::2fd3)
2021-11-12 13:30:29 +0100unrooted(~unrooted@2001:470:69fc:105::a4a)
2021-11-12 13:30:29 +0100rednaZ[m](~r3dnazmat@2001:470:69fc:105::ba70)
2021-11-12 13:30:42 +0100xddq[m](~xddqmatri@2001:470:69fc:105::bfd8)
2021-11-12 13:30:42 +0100maralorn(~maralorn@2001:470:69fc:105::251)
2021-11-12 13:30:42 +0100denbrahe[m](~denbrahem@2001:470:69fc:105::19c0)
2021-11-12 13:30:54 +0100jesser[m](~jessermat@2001:470:69fc:105::d5ae)
2021-11-12 13:31:06 +0100reza[m](~rezaphone@2001:470:69fc:105::3eda)
2021-11-12 13:31:06 +0100quantum(~quantum@user/quantum/x-8556232)
2021-11-12 13:31:06 +0100marinelli[m](~marinelli@2001:470:69fc:105::2d8)
2021-11-12 13:31:06 +0100hsiktas[m](~hsiktasma@2001:470:69fc:105::30d4)
2021-11-12 13:31:22 +0100Orbstheorem(~orbstheor@2001:470:69fc:105::a56)
2021-11-12 13:31:22 +0100craige[m](~craigemcw@2001:470:69fc:105::35f1)
2021-11-12 13:31:39 +0100afotgkmnzj7asv3r(~afotgkmnz@2001:470:69fc:105::c24b)
2021-11-12 13:31:39 +0100schuelermine[m](~schuelerm@user/schuelermine)
2021-11-12 13:31:39 +0100sm(~sm@plaintextaccounting/sm)
2021-11-12 13:31:54 +0100justosophy[m](~justosoph@2001:470:69fc:105::572f)
2021-11-12 13:31:58 +0100kevin[m]1(~pnotequal@2001:470:69fc:105::a54)
2021-11-12 13:32:16 +0100ppseafield[m](~elementpp@2001:470:69fc:105::1:250a)
2021-11-12 13:32:20 +0100Deide(~deide@user/deide)
2021-11-12 13:32:34 +0100fakehacker[m](~fakehacke@2001:470:69fc:105::b5f0)
2021-11-12 13:32:34 +0100hughjfchen[m](~hughjfche@2001:470:69fc:105::c29d)
2021-11-12 13:32:34 +0100Artem[m](~artemtype@2001:470:69fc:105::75b)
2021-11-12 13:32:35 +0100psydroid(~psydroid@user/psydroid)
2021-11-12 13:32:35 +0100Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8)
2021-11-12 13:32:58 +0100wysteriary[m](~wysteriar@2001:470:69fc:105::a42e)
2021-11-12 13:33:02 +0100zwro[m](~zwromatri@2001:470:69fc:105::1d4)
2021-11-12 13:33:14 +0100stoicswe[m](~deadlette@2001:470:69fc:105::d277)
2021-11-12 13:33:14 +0100Topik[m](~topikmatr@2001:470:69fc:105::a082)
2021-11-12 13:33:14 +0100ongy[m](~ongymatri@2001:470:69fc:105::5018)
2021-11-12 13:33:14 +0100alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba)
2021-11-12 13:33:29 +0100asdofindia-m(~akshaymat@2001:470:69fc:105::831)
2021-11-12 13:33:29 +0100Drew[m](~drewefenw@2001:470:69fc:105::c8c4)
2021-11-12 13:33:29 +0100jneira[m](~jneiramat@2001:470:69fc:105::d729)
2021-11-12 13:33:29 +0100Magnus[m](~magthetch@2001:470:69fc:105::d1a7)
2021-11-12 13:33:29 +0100siraben(~siraben@user/siraben)
2021-11-12 13:33:42 +0100dexmad[m](~dexmadmat@2001:470:69fc:105::e056)
2021-11-12 13:33:42 +0100Movedtosridoneem(~sridmatri@2001:470:69fc:105::1c2)
2021-11-12 13:33:42 +0100smichel17[m](~smichel17@2001:470:69fc:105::2d32)
2021-11-12 13:33:42 +0100alex[m](~alexchete@2001:470:69fc:105::1:1001)
2021-11-12 13:33:42 +0100SawyerBergeron[m(~sawyerber@2001:470:69fc:105::3036)
2021-11-12 13:33:54 +0100anotherbruce[m](~anotherbr@2001:470:69fc:105::1:2548)
2021-11-12 13:33:54 +0100ManofLetters[m](~manoflett@2001:470:69fc:105::3be)
2021-11-12 13:33:54 +0100Tisoxin(~ikosit@user/ikosit)
2021-11-12 13:33:54 +0100carmysilna(~brightly-@2001:470:69fc:105::2190)
2021-11-12 13:33:54 +0100fendor[m](~fendormat@2001:470:69fc:105::fcbd)
2021-11-12 13:33:54 +0100aidy(~aidy@2001:470:69fc:105::c7b4)
2021-11-12 13:33:55 +0100DemiMarieObenour(~alwayscur@2001:470:69fc:105::4886)
2021-11-12 13:34:07 +0100iammrinal0[m](~iammrinal@2001:470:69fc:105::1:2248)
2021-11-12 13:34:20 +0100TomasJakl[m](~jaklttchn@2001:470:69fc:105::a42)
2021-11-12 13:34:20 +0100OndejSkup[m](~mimivxmat@2001:470:69fc:105::c300)
2021-11-12 13:34:20 +0100InternetManaging(~imjmatrix@2001:470:69fc:105::1:2ea5)
2021-11-12 13:34:32 +0100kosmikus[m](~andresloe@2001:470:69fc:105::95d)
2021-11-12 13:34:32 +0100ilkecan[m](~ilkecanma@2001:470:69fc:105::1:79b)
2021-11-12 13:34:46 +0100codygman[m](~codygman@2001:470:69fc:105::b4ba)
2021-11-12 13:34:51 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:c075:f6f7:f2c7:7314)
2021-11-12 13:34:58 +0100xosdy[m](~xosdyalet@2001:470:69fc:105::31f7)
2021-11-12 13:34:58 +0100vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe)
2021-11-12 13:34:58 +0100santiagopim[m](~santiagop@2001:470:69fc:105::e57d)
2021-11-12 13:35:11 +0100Tavi[m](~factoidde@2001:470:69fc:105::1:819)
2021-11-12 13:35:11 +0100jmcantrell(~jmcantrel@user/jmcantrell)
2021-11-12 13:35:11 +0100maerwald[m](~maerwaldm@2001:470:69fc:105::1ee)
2021-11-12 13:35:25 +0100jkachmar(~jkachmar@2001:470:69fc:105::c72d)
2021-11-12 13:35:38 +0100Kaipi(~Kaiepi@156.34.44.192) (Remote host closed the connection)
2021-11-12 13:35:39 +0100JoelMcCracken[m](~joelmccra@2001:470:69fc:105::8405)
2021-11-12 13:35:50 +0100RosarioPulella[m(~rosariopu@2001:470:69fc:105::a57)
2021-11-12 13:35:50 +0100puffnfresh[m](~puffnfres@2001:470:69fc:105::1:22da)
2021-11-12 13:35:52 +0100 <dminuoso> tomsmeding: Yeah.
2021-11-12 13:35:59 +0100 <dminuoso> I want that to be called on conflict.
2021-11-12 13:36:02 +0100Kaipi(~Kaiepi@156.34.44.192)
2021-11-12 13:36:02 +0100TomWesterhout[m](~twesterho@2001:470:69fc:105::1:2918)
2021-11-12 13:36:05 +0100 <dminuoso> Oh
2021-11-12 13:36:07 +0100 <dminuoso> It should rather be:
2021-11-12 13:36:14 +0100sky_lounge[m](~skylounge@2001:470:69fc:105::efa6)
2021-11-12 13:36:14 +0100wildsebastian(~wildsebas@2001:470:69fc:105::1:14b1)
2021-11-12 13:36:14 +0100jinsun_(~jinsun@user/jinsun)
2021-11-12 13:36:16 +0100 <dminuoso> fromListEff :: Applicative f => (k -> k -> a -> f ()) -> [(k, a)] -> f (Map k a)
2021-11-12 13:36:18 +0100 <dminuoso> Obviously
2021-11-12 13:36:26 +0100conphiz[m](~conphizma@2001:470:69fc:105::c052)
2021-11-12 13:36:29 +0100 <dminuoso> That would have avoided the ambiguity here I think
2021-11-12 13:36:39 +0100acco[m](~accotedom@2001:470:69fc:105::1:3236)
2021-11-12 13:36:39 +0100surgeon[m](~surge9nma@2001:470:69fc:105::f585)
2021-11-12 13:36:51 +0100Domino[m](~dominothe@2001:470:69fc:105::1:271b)
2021-11-12 13:36:52 +0100tomku[m](~tomkumozi@2001:470:69fc:105::1:2fcb)
2021-11-12 13:36:52 +0100fcortesi(~fcortesi@2001:470:69fc:105::f3a9)
2021-11-12 13:36:56 +0100utk(~utk@2001:470:69fc:105::1:2fe0)
2021-11-12 13:36:59 +0100rkrishnan(~user@122.167.19.65) (Ping timeout: 264 seconds)
2021-11-12 13:37:08 +0100thedward[m](~thedwardm@2001:470:69fc:105::f79)
2021-11-12 13:37:20 +0100lambdandy[m](~lambdandy@2001:470:69fc:105::1:3045)
2021-11-12 13:38:27 +0100zer0bitz_(~zer0bitz@2001:2003:f6e3:7400:d8e7:a6fa:245:fafa)
2021-11-12 13:39:32 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:c075:f6f7:f2c7:7314) (Ping timeout: 265 seconds)
2021-11-12 13:41:14 +0100zer0bitz(~zer0bitz@dsl-hkibng31-54fae3-116.dhcp.inet.fi) (Ping timeout: 260 seconds)
2021-11-12 13:41:53 +0100cosimone(~user@93-47-231-139.ip115.fastwebnet.it)
2021-11-12 13:42:42 +0100machinedgod(~machinedg@24.105.81.50)
2021-11-12 13:43:35 +0100 <tomsmeding> ah right
2021-11-12 13:44:25 +0100 <tomsmeding> if you want the right asymptotics without much hassle, but perhaps non-optimal constant factor: sort on key first, then groupBy ((==) `on` fst), do the deduplication yourself, and then Map.fromListAsc
2021-11-12 13:44:30 +0100 <tomsmeding> but yeah
2021-11-12 13:45:06 +0100wennefer0(~wennefer0@c-73-69-143-60.hsd1.ma.comcast.net)
2021-11-12 13:45:42 +0100wennefer0(~wennefer0@c-73-69-143-60.hsd1.ma.comcast.net) (Remote host closed the connection)
2021-11-12 13:46:10 +0100DNH(~DNH@8.43.122.53) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-11-12 13:47:50 +0100 <dminuoso> tomsmeding: Id probably just write something custom as opposed to groupBy
2021-11-12 13:50:00 +0100ericson2314(~ericson23@2001:470:69fc:105::70c) (Quit: Client limit exceeded: 20000)
2021-11-12 13:50:00 +0100Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8) (Quit: Client limit exceeded: 20000)
2021-11-12 13:50:00 +0100siraben(~siraben@user/siraben) (Quit: Client limit exceeded: 20000)
2021-11-12 13:50:01 +0100max22-(~maxime@2a01cb08833598005dabd5498813ae20.ipv6.abo.wanadoo.fr) (Ping timeout: 268 seconds)
2021-11-12 13:50:02 +0100MatrixTravelerbo(~voyagert2@2001:470:69fc:105::22) (Quit: Client limit exceeded: 20000)
2021-11-12 13:50:11 +0100ServerStatsDisco(~serversta@2001:470:69fc:105::1a) (Quit: Client limit exceeded: 20000)
2021-11-12 13:50:31 +0100puffnfresh[m](~puffnfres@2001:470:69fc:105::1:22da) (Quit: Client limit exceeded: 20000)
2021-11-12 13:50:43 +0100peddie(~peddie@2001:470:69fc:105::25d) (Quit: Client limit exceeded: 20000)
2021-11-12 13:50:43 +0100kadoban(~kadoban@user/kadoban) (Quit: Client limit exceeded: 20000)
2021-11-12 13:50:46 +0100fgaz(~fgaz@2001:470:69fc:105::842) (Quit: Client limit exceeded: 20000)
2021-11-12 13:50:47 +0100unrooted(~unrooted@2001:470:69fc:105::a4a) (Quit: Client limit exceeded: 20000)
2021-11-12 13:50:48 +0100sm(~sm@plaintextaccounting/sm) (Quit: Client limit exceeded: 20000)
2021-11-12 13:50:51 +0100Arathorn(~arathorn@2001:470:69fc:105::1f) (Quit: Client limit exceeded: 20000)
2021-11-12 13:50:54 +0100wildsebastian(~wildsebas@2001:470:69fc:105::1:14b1) (Quit: Client limit exceeded: 20000)
2021-11-12 13:50:54 +0100psydroid(~psydroid@user/psydroid) (Quit: Client limit exceeded: 20000)
2021-11-12 13:50:58 +0100hsiktas[m](~hsiktasma@2001:470:69fc:105::30d4) (Quit: Client limit exceeded: 20000)
2021-11-12 13:51:01 +0100cdsmith(~cdsmithma@2001:470:69fc:105::284) (Quit: Client limit exceeded: 20000)
2021-11-12 13:51:09 +0100quantum(~quantum@user/quantum/x-8556232) (Quit: Client limit exceeded: 20000)
2021-11-12 13:51:10 +0100Tisoxin(~ikosit@user/ikosit) (Quit: Client limit exceeded: 20000)
2021-11-12 13:51:15 +0100Deide(~deide@user/deide) (Quit: Client limit exceeded: 20000)
2021-11-12 13:51:16 +0100denbrahe[m](~denbrahem@2001:470:69fc:105::19c0) (Quit: Client limit exceeded: 20000)
2021-11-12 13:51:16 +0100rednaZ[m](~r3dnazmat@2001:470:69fc:105::ba70) (Quit: Client limit exceeded: 20000)
2021-11-12 13:51:16 +0100InternetManaging(~imjmatrix@2001:470:69fc:105::1:2ea5) (Quit: Client limit exceeded: 20000)
2021-11-12 13:51:16 +0100amesgen[m](~amesgenm]@2001:470:69fc:105::82b) (Quit: Client limit exceeded: 20000)
2021-11-12 13:51:23 +0100the-coot[m](~the-cootm@2001:470:69fc:105::95f) (Quit: Client limit exceeded: 20000)
2021-11-12 13:51:23 +0100jophish(~jophish@2001:470:69fc:105::670) (Quit: Client limit exceeded: 20000)
2021-11-12 13:51:24 +0100PotatoHatsue(~berberman@2001:470:69fc:105::b488) (Quit: Client limit exceeded: 20000)
2021-11-12 13:51:25 +0100unclechu(~unclechu@2001:470:69fc:105::354) (Quit: Client limit exceeded: 20000)
2021-11-12 13:51:50 +0100maralorn(~maralorn@2001:470:69fc:105::251) (Quit: Client limit exceeded: 20000)
2021-11-12 13:51:50 +0100vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe) (Quit: Client limit exceeded: 20000)
2021-11-12 13:52:04 +0100Topik[m](~topikmatr@2001:470:69fc:105::a082) (Quit: Client limit exceeded: 20000)
2021-11-12 13:52:06 +0100carmysilna(~brightly-@2001:470:69fc:105::2190) (Quit: Client limit exceeded: 20000)
2021-11-12 13:52:08 +0100zfnmxt(~zfnmxtzfn@2001:470:69fc:105::2b32) (Quit: Client limit exceeded: 20000)
2021-11-12 13:52:26 +0100MatrixTravelerbo(~voyagert2@2001:470:69fc:105::22)
2021-11-12 13:52:26 +0100fgaz(~fgaz@2001:470:69fc:105::842)
2021-11-12 13:52:26 +0100ServerStatsDisco(~serversta@2001:470:69fc:105::1a)
2021-11-12 13:52:26 +0100amesgen[m](~amesgenm]@2001:470:69fc:105::82b)
2021-11-12 13:52:26 +0100the-coot[m](~the-cootm@2001:470:69fc:105::95f)
2021-11-12 13:52:26 +0100kadoban(~kadoban@user/kadoban)
2021-11-12 13:52:26 +0100ericson2314(~ericson23@2001:470:69fc:105::70c)
2021-11-12 13:52:26 +0100PotatoHatsue(~berberman@2001:470:69fc:105::b488)
2021-11-12 13:52:27 +0100hsiktas[m](~hsiktasma@2001:470:69fc:105::30d4)
2021-11-12 13:52:27 +0100sm(~sm@plaintextaccounting/sm)
2021-11-12 13:52:27 +0100Deide(~deide@user/deide)
2021-11-12 13:52:27 +0100Christoph[m](~hpotsirhc@2001:470:69fc:105::2ff8)
2021-11-12 13:52:27 +0100psydroid(~psydroid@user/psydroid)
2021-11-12 13:52:27 +0100siraben(~siraben@user/siraben)
2021-11-12 13:52:28 +0100Tisoxin(~ikosit@user/ikosit)
2021-11-12 13:52:28 +0100wildsebastian(~wildsebas@2001:470:69fc:105::1:14b1)
2021-11-12 13:52:30 +0100zfnmxt(~zfnmxtzfn@2001:470:69fc:105::2b32)
2021-11-12 13:52:39 +0100Topik[m](~topikmatr@2001:470:69fc:105::a082)
2021-11-12 13:52:39 +0100rednaZ[m](~r3dnazmat@2001:470:69fc:105::ba70)
2021-11-12 13:52:39 +0100InternetManaging(~imjmatrix@2001:470:69fc:105::1:2ea5)
2021-11-12 13:52:40 +0100unrooted(~unrooted@2001:470:69fc:105::a4a)
2021-11-12 13:52:40 +0100denbrahe[m](~denbrahem@2001:470:69fc:105::19c0)
2021-11-12 13:52:40 +0100jophish(~jophish@2001:470:69fc:105::670)
2021-11-12 13:52:40 +0100unclechu(~unclechu@2001:470:69fc:105::354)
2021-11-12 13:52:40 +0100puffnfresh[m](~puffnfres@2001:470:69fc:105::1:22da)
2021-11-12 13:52:40 +0100peddie(~peddie@2001:470:69fc:105::25d)
2021-11-12 13:52:40 +0100cdsmith(~cdsmithma@2001:470:69fc:105::284)
2021-11-12 13:52:40 +0100Arathorn(~arathorn@2001:470:69fc:105::1f)
2021-11-12 13:52:41 +0100carmysilna(~brightly-@2001:470:69fc:105::2190)
2021-11-12 13:52:41 +0100quantum(~quantum@user/quantum/x-8556232)
2021-11-12 13:52:43 +0100vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe)
2021-11-12 13:52:43 +0100maralorn(~maralorn@2001:470:69fc:105::251)
2021-11-12 13:53:47 +0100shidima(~shidima@46.44.183.25) (Ping timeout: 264 seconds)
2021-11-12 13:54:42 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-11-12 13:56:23 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2021-11-12 13:56:42 +0100sunarch(uid526836@user/sunarch)
2021-11-12 14:00:41 +0100unmanbearpig(~unmanbear@user/unmanbearpig) (Ping timeout: 256 seconds)
2021-11-12 14:00:41 +0100mcgroin(~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 250 seconds)
2021-11-12 14:02:25 +0100unmanbearpig(~unmanbear@user/unmanbearpig)
2021-11-12 14:03:21 +0100DNH(~DNH@8.43.122.53)
2021-11-12 14:04:50 +0100[Kalisto](~nico@user/kalisto/x-8968079) (Ping timeout: 246 seconds)
2021-11-12 14:07:20 +0100desantra(~skykanin@user/skykanin)
2021-11-12 14:12:19 +0100[Kalisto](~nico@user/kalisto/x-8968079)
2021-11-12 14:14:42 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2021-11-12 14:17:42 +0100whatif(~user@114.250.136.140)
2021-11-12 14:18:22 +0100 <whatif> list comprehension is really fun, map f alist = [ f(i) | i <- alist ]
2021-11-12 14:18:45 +0100 <Hecate> yes
2021-11-12 14:19:35 +0100dsrt^(~dsrt@h50.174.139.63.static.ip.windstream.net) (Remote host closed the connection)
2021-11-12 14:20:47 +0100 <yushyin> i don't use it that often in haskell, but fun nevertheless, yes.
2021-11-12 14:21:35 +0100deadmarshal(~deadmarsh@95.38.228.222)
2021-11-12 14:22:45 +0100wei2912(~wei2912@138.75.71.147)
2021-11-12 14:23:09 +0100 <whatif> how to express a list that current one element to end, like in [1..10] but I want [3..10]
2021-11-12 14:23:50 +0100mcgroin(~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-11-12 14:24:41 +0100 <whatif> in python, [ alist[i::] for i in range(len(alist)) if i == 3 ]
2021-11-12 14:25:44 +0100 <whatif> emm, for example, there's an element 3 in alist, I'd like to get the rest, start from 3
2021-11-12 14:26:30 +0100 <whatif> normal way is splitOn or splitAt stuff... I'd like to know the list comprehension way
2021-11-12 14:26:58 +0100 <whatif> [ alist[i::] for i in range(len(alist)) if alist[i] == 3 ]
2021-11-12 14:28:22 +0100zava(~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2021-11-12 14:29:56 +0100 <hpc> [f x | x <- list, some boolean expression that contains x]
2021-11-12 14:30:01 +0100 <whatif> haskell no list slice, but has `drop`
2021-11-12 14:30:15 +0100 <tromp> there is no list comprehension equivalent of dropWhile (/= 3)
2021-11-12 14:30:23 +0100 <hpc> (which outside a list comprehension is guard)
2021-11-12 14:30:27 +0100 <hpc> :t guard
2021-11-12 14:30:28 +0100 <lambdabot> Alternative f => Bool -> f ()
2021-11-12 14:30:31 +0100 <hpc> there's also filter
2021-11-12 14:30:32 +0100 <hpc> :t filter
2021-11-12 14:30:33 +0100 <lambdabot> (a -> Bool) -> [a] -> [a]
2021-11-12 14:30:43 +0100 <xddq[m]> * I think you look for "break"?
2021-11-12 14:30:43 +0100 <xddq[m]> `snd $ break (==3) [1..10]`
2021-11-12 14:30:43 +0100 <xddq[m]> nvm. I should read the full post :D
2021-11-12 14:30:44 +0100 <xddq[m]> whatif: I think you look for "break"?
2021-11-12 14:30:44 +0100 <xddq[m]> ```snd $ break (==3) xs```
2021-11-12 14:30:44 +0100 <xddq[m]> > <@whatif:libera.chat> how to express a list that current one element to end, like in [1..10] but I want [3..10]
2021-11-12 14:30:44 +0100 <xddq[m]> * I think you look for "break"?
2021-11-12 14:30:45 +0100 <xddq[m]> `snd $ break (==3) [1..10]`
2021-11-12 14:30:45 +0100 <lambdabot> <hint>:1:1: error: parse error on input ‘<@’
2021-11-12 14:30:50 +0100sagax(~sagax_nb@user/sagax) (Quit: Konversation terminated!)
2021-11-12 14:31:23 +0100 <whatif> xddq[m]: I wonder the list comprehension way
2021-11-12 14:31:56 +0100 <whatif> I found that list comprehension and list slice are very useful in python
2021-11-12 14:32:02 +0100 <whatif> and fun
2021-11-12 14:32:30 +0100jmorris(uid433911@hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-11-12 14:32:39 +0100 <yushyin> your python example returns a list in list
2021-11-12 14:33:10 +0100 <yushyin> it's not really a slice, i would argue
2021-11-12 14:34:32 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2021-11-12 14:34:33 +0100 <whatif> for example, get the a digit string from a string's end, "abc12" -> "12", "ab12c3" -> "3", with python, [ alist[i::] for i in range(len(alist)) if alist[i::].isdigit() ]
2021-11-12 14:34:34 +0100 <yushyin> i can translate your example `[ alist[i::] for i in range(len(alist)) if alist[i] == 3 ]' directly to haskell and it would look like this `let alist = [1..10] in [[i .. (length alist)] | i <- alist, i == 3]'
2021-11-12 14:36:13 +0100 <whatif> yushyin: what if the list is [1,3,2,7,9]
2021-11-12 14:36:28 +0100cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.3)
2021-11-12 14:36:52 +0100 <whatif> python code still return [3,2,7,9], the right one
2021-11-12 14:37:36 +0100 <yushyin> we would use dropWhile/takeWhile or so
2021-11-12 14:38:43 +0100 <whatif> yushyin: get the a digit string from a string's end, "abc12" -> "12", "ab12c3" -> "3", what's the haskell list comprehension way?
2021-11-12 14:38:45 +0100 <yushyin> or at least I wouldn't use list comprehension for such things
2021-11-12 14:39:58 +0100 <whatif> python lack Data.List, toolz module lack lots of function than Data.List
2021-11-12 14:47:07 +0100jlamothe(~jlamothe@198.251.61.229)
2021-11-12 14:48:12 +0100 <whatif> [ if (isDigit (drop n alist)) then (drop n alist) else [] | n <- [0.. (length alist)] ]
2021-11-12 14:48:24 +0100Kaipi(~Kaiepi@156.34.44.192) (Remote host closed the connection)
2021-11-12 14:48:47 +0100Kaipi(~Kaiepi@156.34.44.192)
2021-11-12 14:49:56 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net)
2021-11-12 14:52:16 +0100Flonk(~Flonk@ec2-52-40-29-25.us-west-2.compute.amazonaws.com) (Quit: The Lounge - https://thelounge.chat)
2021-11-12 14:53:57 +0100Flonk(~Flonk@ec2-52-40-29-25.us-west-2.compute.amazonaws.com)
2021-11-12 14:54:58 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net) (Ping timeout: 260 seconds)
2021-11-12 14:56:52 +0100Flonk(~Flonk@ec2-52-40-29-25.us-west-2.compute.amazonaws.com) (Client Quit)
2021-11-12 14:58:31 +0100Flonk(~Flonk@ec2-52-40-29-25.us-west-2.compute.amazonaws.com)
2021-11-12 14:58:35 +0100xff0x(~xff0x@2001:1a81:522c:6200:54c8:e05a:349a:7362) (Ping timeout: 264 seconds)
2021-11-12 14:59:00 +0100kadir(~kadir@78.178.105.36) (WeeChat 3.3)
2021-11-12 14:59:18 +0100ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 276 seconds)
2021-11-12 14:59:29 +0100ubert1(~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233)
2021-11-12 15:01:07 +0100Flonk(~Flonk@ec2-52-40-29-25.us-west-2.compute.amazonaws.com) (Client Quit)
2021-11-12 15:03:46 +0100desantra(~skykanin@user/skykanin) (Quit: WeeChat 3.3)
2021-11-12 15:04:57 +0100hololeap_hololeap
2021-11-12 15:05:24 +0100desantra(~skykanin@user/skykanin)
2021-11-12 15:06:49 +0100shriekingnoise(~shrieking@186.137.144.80)
2021-11-12 15:07:50 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-12 15:08:31 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2021-11-12 15:08:51 +0100mcgroin(~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 245 seconds)
2021-11-12 15:09:07 +0100Flonk(~Flonk@ec2-52-40-29-25.us-west-2.compute.amazonaws.com)
2021-11-12 15:10:23 +0100 <whatif> > let alist = "ab12c36" in [ drop n alist | n <- [0..((length alist) -1)], all isDigit (drop n alist) ]
2021-11-12 15:10:24 +0100 <lambdabot> ["36","6"]
2021-11-12 15:11:07 +0100 <_________> > let alist = "abc12c3" in [ alist !! idx | idx <- map fst $ reverse.takeWhile (Data.Char.isDigit.snd).reverse $ zip [0..] alist ]
2021-11-12 15:11:08 +0100 <lambdabot> "3"
2021-11-12 15:11:38 +0100 <_________> list comprehension is ugly :p
2021-11-12 15:12:23 +0100vpan(~0@212.117.1.172) (Ping timeout: 246 seconds)
2021-11-12 15:12:57 +0100stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 276 seconds)
2021-11-12 15:13:23 +0100stiell(~stiell@gateway/tor-sasl/stiell)
2021-11-12 15:13:27 +0100 <whatif> _________: you should use it like that...
2021-11-12 15:13:31 +0100Pickchea(~private@user/pickchea)
2021-11-12 15:14:08 +0100ubert1(~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Remote host closed the connection)
2021-11-12 15:14:10 +0100 <whatif> what's the point? if you use split to split list and zip to address the index
2021-11-12 15:16:47 +0100 <_________> you wanted to translate python code using list comprehensions into haskell code using list comprehensions, right ? that's how it would look in haskell - without indexing it wouldn't be python equivalent ;)
2021-11-12 15:16:56 +0100Flonk(~Flonk@ec2-52-40-29-25.us-west-2.compute.amazonaws.com) (Quit: The Lounge - https://thelounge.chat)
2021-11-12 15:18:07 +0100 <_________> without list comprehension it would be something like this in haskell: reverse.takeWhile Data.Char.isDigit $ reverse "abc12c3"
2021-11-12 15:18:35 +0100Flonk(~Flonk@ec2-52-40-29-25.us-west-2.compute.amazonaws.com)
2021-11-12 15:18:47 +0100f-a(f2a@f2a.jujube.ircnow.org) ()
2021-11-12 15:20:03 +0100CiaoSen(~Jura@p5dcc1a24.dip0.t-ipconnect.de)
2021-11-12 15:20:43 +0100xff0x(~xff0x@2001:1a81:522c:6200:54c8:e05a:349a:7362)
2021-11-12 15:22:01 +0100desantra(~skykanin@user/skykanin) (Quit: WeeChat 3.3)
2021-11-12 15:22:58 +0100max22-(~maxime@2a01cb08833598004449f124191f767f.ipv6.abo.wanadoo.fr)
2021-11-12 15:23:19 +0100 <dminuoso> What does alist[i::] do in python?
2021-11-12 15:23:35 +0100 <whatif> dminuoso: drop i alist
2021-11-12 15:23:36 +0100 <yushyin> a slice from the index i to the end
2021-11-12 15:23:45 +0100 <dminuoso> Including i?
2021-11-12 15:23:53 +0100 <whatif> including
2021-11-12 15:23:55 +0100 <yushyin> i think so, yes.
2021-11-12 15:24:02 +0100desantra(~skykanin@user/skykanin)
2021-11-12 15:24:41 +0100 <whatif> dminuoso: it's fancy to express something with that list slice
2021-11-12 15:26:00 +0100 <whatif> for example, remove the duplicate element, [ alist[i] for i in range(len(alist)) if alist[i] not in alist[i+1::] ]
2021-11-12 15:26:29 +0100 <whatif> so [1,1,2,3,2] would be [1,3,2]
2021-11-12 15:26:50 +0100 <dminuoso> let s = "ab12c3" in reverse . takeWhile isDigit . reverse $ s
2021-11-12 15:26:55 +0100 <dminuoso> % let s = "ab12" in reverse . takeWhile isDigit . reverse $ s
2021-11-12 15:26:55 +0100 <yahb> dminuoso: "12"
2021-11-12 15:26:58 +0100 <dminuoso> % let s = "ab12" in reverse . takeWhile isDigit . reverse $ s
2021-11-12 15:26:58 +0100 <yahb> dminuoso: "12"
2021-11-12 15:27:40 +0100 <yushyin> but they want it to be list comprehension
2021-11-12 15:27:45 +0100 <dminuoso> The answer is: dont?
2021-11-12 15:28:28 +0100 <dminuoso> I dont understand why you'd insist on using a list comprehension in the first place, both Haskell or Python
2021-11-12 15:30:35 +0100 <dminuoso> 14:34:33 whatif | for example, get the a digit string from a string's end, "abc12" -> "12", "ab12c3" -> "3", with python, [ alist[i::] for i in range(len(alist)) if alist[i::].isdigit() ]
2021-11-12 15:30:39 +0100 <yushyin> me neither, i find it ugly in haskell as well in python. there are a few situations in which it is halfway nice
2021-11-12 15:30:44 +0100 <geekosaur> it might be the easiest way to do it in python, but that doesn't necessarily carry over to haskell
2021-11-12 15:30:46 +0100 <dminuoso> This is *very* unidiomatic python code to begin with
2021-11-12 15:30:59 +0100 <dminuoso> And terribly inefficient ontop
2021-11-12 15:31:09 +0100desantra(~skykanin@user/skykanin) (Quit: WeeChat 3.3)
2021-11-12 15:33:10 +0100 <dminuoso> The pythonista way would probably be: re.match('.*?([0-9]+)$', str).group(1)
2021-11-12 15:34:00 +0100 <whatif> > let alist = [1,1,2,3,2] in [ alist !! n | n <- [0..(lenght(alist) - 1)], (alist !! n) `notElem` (drop (n+1) alist) ]
2021-11-12 15:34:02 +0100 <lambdabot> error:
2021-11-12 15:34:02 +0100 <lambdabot> • Variable not in scope: lenght :: [a0] -> Int
2021-11-12 15:34:02 +0100 <lambdabot> • Perhaps you meant one of these:
2021-11-12 15:34:18 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2021-11-12 15:34:25 +0100 <dminuoso> Anyway. Not sure what the point of translating poor python code into poor Haskell is.
2021-11-12 15:34:27 +0100 <whatif> > let alist = [1,1,2,3,2] in [ alist !! n | n <- [0..(lengh(alist) - 1)], (alist !! n) `notElem` (drop (n+1) alist) ]
2021-11-12 15:34:29 +0100 <lambdabot> error:
2021-11-12 15:34:29 +0100 <lambdabot> • Variable not in scope: lengh :: [a0] -> Int
2021-11-12 15:34:29 +0100 <lambdabot> • Perhaps you meant one of these:
2021-11-12 15:34:39 +0100 <dminuoso> It's certainly not insightful or helpful
2021-11-12 15:34:41 +0100Flonk(~Flonk@ec2-52-40-29-25.us-west-2.compute.amazonaws.com) (Ping timeout: 245 seconds)
2021-11-12 15:35:11 +0100 <dminuoso> Let me give you a direct translation:
2021-11-12 15:35:48 +0100 <whatif> let alist = [1,1,2,3,2] in [ alist !! n | n <- [0..(length(alist) - 1)], (alist !! n) `notElem` (drop (n+1) alist) ]
2021-11-12 15:36:02 +0100 <whatif> > let alist = [1,1,2,3,2] in [ alist !! n | n <- [0..(length(alist) - 1)], (alist !! n) `notElem` (drop (n+1) alist) ]
2021-11-12 15:36:04 +0100 <lambdabot> [1,3,2]
2021-11-12 15:36:47 +0100 <whatif> the list comprehension, express the question with list comprehension, and the anwser it is
2021-11-12 15:37:12 +0100 <yushyin> indexing haskell linked lists is usually not a good idea
2021-11-12 15:37:17 +0100 <[exa]> whatif: I always kinda guessed that the !! operator is named like that so that people know it should not be used very often :]
2021-11-12 15:37:41 +0100 <dminuoso> whatif: Even the python code is very poor already.
2021-11-12 15:37:46 +0100 <[exa]> whatif: what should the code do btw? (in human words)
2021-11-12 15:37:47 +0100 <yushyin> [exa]: lol, maybe your are right
2021-11-12 15:38:01 +0100 <[exa]> yushyin: you can literally read it as BANG BANG MAAN
2021-11-12 15:38:26 +0100 <dminuoso> % let xs = "foo123" in [ drop i xs | i <- [0..length xs], all isDigit (drop i xs) ] -- whatif
2021-11-12 15:38:26 +0100 <yahb> dminuoso: ["123","23","3",""]
2021-11-12 15:38:34 +0100 <dminuoso> whatif: ^- that is a direct translation of what your python code does.
2021-11-12 15:38:45 +0100 <whatif> [exa]: remove the duplicate element in alist, so if element is not show up in the rest, then it is single
2021-11-12 15:38:47 +0100 <dminuoso> Without random access
2021-11-12 15:38:58 +0100 <dminuoso> Let me rewrite with a let binding
2021-11-12 15:39:17 +0100 <dminuoso> % let xs = "foo123" in [ xs' | i <- [0..length xs], let xs' = drop i xs, all isDigit xs' ]
2021-11-12 15:39:18 +0100 <yahb> dminuoso: ["123","23","3",""]
2021-11-12 15:39:35 +0100max22-(~maxime@2a01cb08833598004449f124191f767f.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2021-11-12 15:39:41 +0100 <yushyin> looks like tails with filter all isDigit
2021-11-12 15:39:51 +0100 <dminuoso> Yeah
2021-11-12 15:40:23 +0100 <[exa]> whatif: what about: alist input = [x | (x:xs) <- tails input, x `notElem` xs]
2021-11-12 15:40:58 +0100 <dminuoso> Why are we discussing *poor* translations of *poor* python code anyway?
2021-11-12 15:41:31 +0100 <dminuoso> The real answer is: In python nobody sane would have written that, and in Python you'd just have used `reverse . takeWhile isDigit . reverse`
2021-11-12 15:41:41 +0100 <dminuoso> Both would have ended up with better readable code with better asymptotics
2021-11-12 15:41:49 +0100 <dminuoso> And better cache behavior ontop
2021-11-12 15:42:02 +0100 <whatif> python doesn't have Data.List
2021-11-12 15:42:09 +0100 <dminuoso> Yes, in Python you would have used a regex.
2021-11-12 15:42:18 +0100zer0bitz_(~zer0bitz@2001:2003:f6e3:7400:d8e7:a6fa:245:fafa) (Read error: Connection reset by peer)
2021-11-12 15:42:20 +0100 <dminuoso> re.match('.*?([0-9]+)$', str).group(1)
2021-11-12 15:42:23 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-11-12 15:43:27 +0100 <[exa]> whatif: well if that was the only thing Python would be missing... :]
2021-11-12 15:43:29 +0100xkuru(~xkuru@user/xkuru)
2021-11-12 15:43:35 +0100zer0bitz(~zer0bitz@2001:2003:f6e3:7400:d8e7:a6fa:245:fafa)
2021-11-12 15:43:50 +0100 <dminuoso> Side note of interest, String being a list is not always a good thing either.
2021-11-12 15:46:52 +0100shidima(~shidima@84-104-108-90.cable.dynamic.v4.ziggo.nl)
2021-11-12 15:49:16 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-11-12 15:49:16 +0100gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2021-11-12 15:49:17 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-11-12 15:49:17 +0100wroathe(~wroathe@user/wroathe)
2021-11-12 15:49:33 +0100 <whatif> re.match('.*?([0-9]+)$', str).group(1) I think regex is not good readable
2021-11-12 15:49:52 +0100 <dminuoso> If you have any regex experience, it's very readable.
2021-11-12 15:50:07 +0100 <dminuoso> And since regex are very common and idiomatic in Python, Im going to suggest that any pythonista can make quick sense of it
2021-11-12 15:50:09 +0100 <whatif> I know BRE
2021-11-12 15:50:13 +0100 <dminuoso> Much quicker than with a list comprehension
2021-11-12 15:51:20 +0100 <whatif> since then, why list comprehension is created at the first?
2021-11-12 15:51:46 +0100 <whatif> 70s'? first apperance in which language?
2021-11-12 15:52:20 +0100 <dminuoso> Python burrowed them from Haskell
2021-11-12 15:52:41 +0100 <whatif> python burrowed a lot of things from others
2021-11-12 15:52:45 +0100 <dminuoso> And whether Haskelled burrowed them from another language Im not sure, but the syntax/semantics was inspired by set builder notation in mathematics
2021-11-12 15:53:18 +0100 <dminuoso> That is, <- is an ascii approximation of a ∈ A
2021-11-12 15:55:23 +0100gentauro(~gentauro@user/gentauro)
2021-11-12 15:58:15 +0100zebrag(~chris@user/zebrag)
2021-11-12 16:00:04 +0100bitmapper(uid464869@lymington.irccloud.com)
2021-11-12 16:00:09 +0100lavaman(~lavaman@98.38.249.169)
2021-11-12 16:00:21 +0100 <janus> what, i thought it was supposed to be an arrow
2021-11-12 16:00:55 +0100 <janus> never even considered that it would be a ∈
2021-11-12 16:01:12 +0100 <janus> and even the fancy haskell typesetting contracts them to an arrow, i thought
2021-11-12 16:01:46 +0100 <dminuoso> \ is an ASCII approximatino of λ
2021-11-12 16:01:51 +0100 <dminuoso> :)
2021-11-12 16:02:20 +0100 <yushyin> whatif: with re.search the regex kann be even simpler. re.search('[0-9]+$', str).group(0) # i think this is readable enough
2021-11-12 16:02:48 +0100 <dminuoso> janus: Consider in Math you might write [ x * 2 | x ∈ ℕ ]
2021-11-12 16:03:12 +0100mark___(~a@p200300ef973db1b24086f0a6a24fc4dd.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2021-11-12 16:03:26 +0100 <whatif> > let alist=["ab","ef","ij"], blist = ["cd","gh","kl"] in [ (alist !! n) <> (blist !! n) | n <- [0..(length alist)-1] ]
2021-11-12 16:03:28 +0100 <lambdabot> <hint>:1:27: error: parse error on input ‘,’
2021-11-12 16:03:34 +0100mark___(~a@p200300ef973db1754086f0a6a24fc4dd.dip0.t-ipconnect.de)
2021-11-12 16:04:47 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2021-11-12 16:05:44 +0100justsomeguy(~justsomeg@user/justsomeguy)
2021-11-12 16:06:06 +0100 <[exa]> whatif: you mean `zip` right?
2021-11-12 16:06:34 +0100 <whatif> or get the sequence of x * y < 10, x and y <- [0..10], use list comprehension is readable
2021-11-12 16:06:44 +0100jkaye(~jkaye@2601:281:8300:7530:eb77:89f5:e0e9:4928)
2021-11-12 16:06:49 +0100 <janus> dminuoso: but just because it has one origin in the list comprehension syntax, it could have another origin in monadic syntax
2021-11-12 16:07:43 +0100 <janus> i mean, if '<-' is used to set an MVar, it doesn't seem similar to "is a member of"
2021-11-12 16:08:16 +0100CiaoSen(~Jura@p5dcc1a24.dip0.t-ipconnect.de) (Quit: CiaoSen)
2021-11-12 16:08:55 +0100 <whatif> [exa]: yes, zip
2021-11-12 16:09:36 +0100 <whatif> I forget how to use two variable in let
2021-11-12 16:09:54 +0100 <whatif> not let a=..., b=... in ?
2021-11-12 16:11:04 +0100 <_________> let a = 1; b = 2 in [a, b]
2021-11-12 16:11:06 +0100 <_________> > let a = 1; b = 2 in [a, b]
2021-11-12 16:11:07 +0100 <lambdabot> [1,2]
2021-11-12 16:11:09 +0100 <whatif> I hate people add 's in English if it's not one, in my mother language, no such thing
2021-11-12 16:11:32 +0100 <whatif> one apple, two apple, three apple
2021-11-12 16:11:38 +0100max22-(~maxime@2a01cb0883359800c4fcd1c1f62060a2.ipv6.abo.wanadoo.fr)
2021-11-12 16:11:44 +0100max22-(~maxime@2a01cb0883359800c4fcd1c1f62060a2.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2021-11-12 16:12:22 +0100 <whatif> _________: yes
2021-11-12 16:15:29 +0100cosimone(~user@93-47-231-139.ip115.fastwebnet.it) (Remote host closed the connection)
2021-11-12 16:15:42 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Ping timeout: 260 seconds)
2021-11-12 16:18:05 +0100WhateverRabbit(~rabbit@206.81.18.26)
2021-11-12 16:18:33 +0100 <WhateverRabbit> hi all
2021-11-12 16:20:22 +0100 <whatif> what's function name that fmap take two lists?
2021-11-12 16:20:45 +0100slowButPresent(~slowButPr@user/slowbutpresent)
2021-11-12 16:20:46 +0100 <whatif> fmap (+) alist blist, I forget the name
2021-11-12 16:20:49 +0100Guest42(~Guest42@eth-west-pareq2-46-193-4-100.wb.wifirst.net)
2021-11-12 16:20:55 +0100 <_________> zipWith ?
2021-11-12 16:21:03 +0100 <WhateverRabbit> +
2021-11-12 16:24:13 +0100 <whatif> _________: right
2021-11-12 16:24:27 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-11-12 16:24:32 +0100 <_________> you can also use hoogle to find them by type signature
2021-11-12 16:24:33 +0100allbery_b(~geekosaur@xmonad/geekosaur)
2021-11-12 16:24:36 +0100allbery_bgeekosaur
2021-11-12 16:25:01 +0100 <whatif> _________: then hoogle will tell me liftM2
2021-11-12 16:25:17 +0100 <_________> https://hoogle.haskell.org/?hoogle=(a%20-%3E%20b%20-%3E%20c)%20-%3E%20%5Ba%5D%20-%3E%20%5Bb%5D%20-%3E%20%5Bc%5D - it tells me it's zipWith
2021-11-12 16:26:41 +0100cosimone(~user@93-47-231-139.ip115.fastwebnet.it)
2021-11-12 16:27:27 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2021-11-12 16:28:31 +0100jurjen(~jurjen@188-206-102-198.mobile.kpn.net)
2021-11-12 16:37:27 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:c075:f6f7:f2c7:7314)
2021-11-12 16:42:00 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2021-11-12 16:42:23 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:c075:f6f7:f2c7:7314) (Ping timeout: 264 seconds)
2021-11-12 16:44:34 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-11-12 16:44:34 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-11-12 16:44:34 +0100wroathe(~wroathe@user/wroathe)
2021-11-12 16:44:47 +0100johnny_sitar(~artur@078088015209.bialystok.vectranet.pl) (Ping timeout: 246 seconds)
2021-11-12 16:48:59 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2021-11-12 16:50:12 +0100mcgroin(~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-11-12 16:50:27 +0100mimmy(~mimmy@72.142.88.18)
2021-11-12 16:50:32 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2021-11-12 16:51:36 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2021-11-12 16:52:35 +0100Pickchea(~private@user/pickchea) (Ping timeout: 264 seconds)
2021-11-12 16:56:26 +0100dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2021-11-12 16:56:46 +0100mimmy(~mimmy@72.142.88.18) (Ping timeout: 245 seconds)
2021-11-12 16:58:07 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net)
2021-11-12 16:59:13 +0100 <hololeap> awpr: I figured out a (the?) trick, which is to add constraints to the singleton GADT constructors, that way the compiler is assured that they will be satisfied at each layer of the tree
2021-11-12 16:59:50 +0100 <hololeap> I threw out the type family constraint thing as it was not working
2021-11-12 17:01:07 +0100johnny_sitar(~artur@078088015209.bialystok.vectranet.pl)
2021-11-12 17:02:35 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2021-11-12 17:04:55 +0100smhbvd^(~smhbvd@h50.174.139.63.static.ip.windstream.net)
2021-11-12 17:06:05 +0100mimmy(~mimmy@72.142.88.18)
2021-11-12 17:09:46 +0100max22-(~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr)
2021-11-12 17:10:59 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:c075:f6f7:f2c7:7314)
2021-11-12 17:11:02 +0100unmanbearpig(~unmanbear@user/unmanbearpig) (Ping timeout: 268 seconds)
2021-11-12 17:12:28 +0100unmanbearpig(~unmanbear@user/unmanbearpig)
2021-11-12 17:12:56 +0100wei2912(~wei2912@138.75.71.147) (Quit: Lost terminal)
2021-11-12 17:15:47 +0100smhbvd^(~smhbvd@h50.174.139.63.static.ip.windstream.net) (Remote host closed the connection)
2021-11-12 17:18:03 +0100dajoer(~david@user/gvx) (Quit: leaving)
2021-11-12 17:20:04 +0100Flonk(~Flonk@ec2-34-221-56-110.us-west-2.compute.amazonaws.com)
2021-11-12 17:20:20 +0100max22-(~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Remote host closed the connection)
2021-11-12 17:20:57 +0100whatif(~user@114.250.136.140) (Quit: ERC (IRC client for Emacs 26.3))
2021-11-12 17:21:13 +0100servytor(uid525486@hampstead.irccloud.com)
2021-11-12 17:21:18 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:906e:b8e3:dc89:8d11) (Quit: WeeChat 2.8)
2021-11-12 17:24:06 +0100DNH(~DNH@8.43.122.53) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-11-12 17:26:21 +0100xstill-(xstill@fimu/xstill)
2021-11-12 17:29:47 +0100mimmy(~mimmy@72.142.88.18) (Ping timeout: 264 seconds)
2021-11-12 17:30:13 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:c075:f6f7:f2c7:7314) (Remote host closed the connection)
2021-11-12 17:31:12 +0100justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2)
2021-11-12 17:33:27 +0100a6a45081-2b83(~aditya@2601:249:4300:1296:88ec:cc73:84d4:1507)
2021-11-12 17:33:31 +0100a6a45081-2b83(~aditya@2601:249:4300:1296:88ec:cc73:84d4:1507) (Remote host closed the connection)
2021-11-12 17:35:50 +0100shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-11-12 17:37:18 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:c075:f6f7:f2c7:7314)
2021-11-12 17:37:37 +0100max22-(~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr)
2021-11-12 17:38:34 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-12 17:43:57 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds)
2021-11-12 17:44:29 +0100max22-(~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Remote host closed the connection)
2021-11-12 17:44:36 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net)
2021-11-12 17:44:57 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2021-11-12 17:45:34 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-11-12 17:46:06 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net)
2021-11-12 17:46:17 +0100max22-(~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr)
2021-11-12 17:47:28 +0100Flonk(~Flonk@ec2-34-221-56-110.us-west-2.compute.amazonaws.com) (Quit: The Lounge - https://thelounge.chat)
2021-11-12 17:47:55 +0100johnjay(~pi@192.142.100.50)
2021-11-12 17:48:22 +0100 <johnjay> i tried installing something with cabal and it says error couldn't find opt from llvm. but i have llvm. is llvm required for haskell packages?
2021-11-12 17:48:48 +0100 <monochrom> No.
2021-11-12 17:49:13 +0100 <geekosaur> er, that depends. if you are on an m1 mac and you are using 8.10.7 to build natively, you need llvm
2021-11-12 17:49:38 +0100 <monochrom> Sorry.
2021-11-12 17:49:49 +0100 <geekosaur> 9.2.1 has direct-to-asm compilation, but recently it was found to be broken
2021-11-12 17:49:59 +0100 <johnjay> i don't know what i want to do. i just typed 'cabal install -j <name>' because it said to
2021-11-12 17:50:08 +0100 <johnjay> do i have to build natively?
2021-11-12 17:50:32 +0100 <johnjay> and yes this is an m1 mac. XD
2021-11-12 17:50:50 +0100 <johnjay> seems to have a few bugs. scikit-learn doesn't install for instance
2021-11-12 17:51:00 +0100 <johnjay> although somehow i got numpy
2021-11-12 17:51:12 +0100 <geekosaur> if you install an x86 cabal you can use: arch x86 cabal install -j whatever
2021-11-12 17:51:50 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 260 seconds)
2021-11-12 17:51:53 +0100 <johnjay> ah so that's how you run one of the parts in a universal binary
2021-11-12 17:51:55 +0100 <geekosaur> but you'll have to install x86 versions of any C library dependencies, and if you're using e.g. brew to install such dependencies it will *relaly* want to install native versions instead of x86
2021-11-12 17:52:10 +0100 <johnjay> yes i'm using brew. it's like you know my life story
2021-11-12 17:52:27 +0100 <geekosaur> pretty much everyone on a kmac does these days
2021-11-12 17:52:43 +0100mimmy(~mimmy@72.142.88.18)
2021-11-12 17:52:50 +0100 <geekosaur> and ghc would only look for llc/opt when using -fllvm, which is only default on m1 macs
2021-11-12 17:53:05 +0100 <geekosaur> so it's not that hard to work out :)
2021-11-12 17:53:57 +0100 <johnjay> i see
2021-11-12 17:54:26 +0100 <johnjay> i tried briefly to install things from the app store. but quickly gave that up
2021-11-12 17:54:38 +0100 <johnjay> brew and macports are the only alternatives i know of. not even sure if there's a native llvm you can get
2021-11-12 17:54:49 +0100 <johnjay> although clang is installed by default but pretends to be gcc for some reason
2021-11-12 17:55:49 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-11-12 17:56:22 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net)
2021-11-12 17:57:23 +0100 <geekosaur> yeh, apple does that. it's really confusing
2021-11-12 17:57:44 +0100 <geekosaur> and you have to install a full llvm via brew or macports because apple only provides part of it
2021-11-12 17:58:46 +0100Flonk(~Flonk@ec2-34-221-56-110.us-west-2.compute.amazonaws.com)
2021-11-12 17:58:56 +0100 <sm> what's the package failing to install ?
2021-11-12 17:59:31 +0100 <johnjay> some haskell project i wanted to look at with cabal
2021-11-12 17:59:38 +0100 <johnjay> never installed with cabal before
2021-11-12 17:59:58 +0100 <johnjay> and the readme doesn't say how to build it. should i read the stack manual to build it myself? or how do i do that
2021-11-12 18:01:04 +0100Flonk(~Flonk@ec2-34-221-56-110.us-west-2.compute.amazonaws.com) (Client Quit)
2021-11-12 18:01:10 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net) (Ping timeout: 260 seconds)
2021-11-12 18:02:34 +0100Flonk(~Flonk@ec2-34-221-56-110.us-west-2.compute.amazonaws.com)
2021-11-12 18:07:06 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net)
2021-11-12 18:07:33 +0100 <sm> if you tell us more, I'd be willing to look at it a little more
2021-11-12 18:07:38 +0100leah2(~leah@vuxu.org) (Remote host closed the connection)
2021-11-12 18:07:44 +0100 <sm> otherwise it's hard to say
2021-11-12 18:08:53 +0100deadmarshal(~deadmarsh@95.38.228.222) (Ping timeout: 256 seconds)
2021-11-12 18:09:29 +0100turlando(~turlando@user/turlando) (Ping timeout: 246 seconds)
2021-11-12 18:09:34 +0100leah2(~leah@vuxu.org)
2021-11-12 18:10:29 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-12 18:13:02 +0100turlando(~turlando@93-42-250-112.ip89.fastwebnet.it)
2021-11-12 18:13:02 +0100turlando(~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host)
2021-11-12 18:13:02 +0100turlando(~turlando@user/turlando)
2021-11-12 18:13:21 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-11-12 18:13:53 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net)
2021-11-12 18:15:40 +0100urdh(~urdh@user/urdh) (Remote host closed the connection)
2021-11-12 18:16:09 +0100 <maerwald> johnjay: llvm isn't added to path by default
2021-11-12 18:16:49 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-11-12 18:17:20 +0100max22-(~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Remote host closed the connection)
2021-11-12 18:17:23 +0100mimmy(~mimmy@72.142.88.18) (Ping timeout: 256 seconds)
2021-11-12 18:17:26 +0100 <maerwald> on M1 it should be in /opt/llvm/bin or so
2021-11-12 18:18:15 +0100zincy_(~zincy@2a00:23c8:970c:4801:350f:7ee:191a:6f65)
2021-11-12 18:18:26 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net) (Ping timeout: 260 seconds)
2021-11-12 18:19:51 +0100 <sm> I have a homebrew `llvm` package installed, which provides `clang*` and `llvm*` binaries, don't know if that's normal
2021-11-12 18:20:13 +0100deadmarshal(~deadmarsh@95.38.228.222)
2021-11-12 18:20:23 +0100max22-(~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr)
2021-11-12 18:24:15 +0100justsomeguy(~justsomeg@user/justsomeguy)
2021-11-12 18:26:21 +0100notzmv(~zmv@user/notzmv)
2021-11-12 18:26:55 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net)
2021-11-12 18:27:05 +0100zava(~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de)
2021-11-12 18:27:10 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-11-12 18:27:12 +0100 <johnjay> yes i recompiled with llvm in the path and it seemed to work
2021-11-12 18:27:27 +0100 <johnjay> what i meant is i thought ghc was the compiler so why is it using llvm
2021-11-12 18:27:42 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net)
2021-11-12 18:27:52 +0100 <johnjay> also i can link you the project when i'm back on my m1
2021-11-12 18:28:03 +0100 <johnjay> it had some .yaml and a .cabal or something file
2021-11-12 18:28:23 +0100 <johnjay> (meaning in the cloned git repo)
2021-11-12 18:29:56 +0100Flonk(~Flonk@ec2-34-221-56-110.us-west-2.compute.amazonaws.com) (Quit: The Lounge - https://thelounge.chat)
2021-11-12 18:30:44 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-11-12 18:31:16 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net)
2021-11-12 18:31:22 +0100max22-(~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Remote host closed the connection)
2021-11-12 18:32:16 +0100econo(uid147250@user/econo)
2021-11-12 18:33:05 +0100 <maerwald> johnjay: native codegen for aarch64 M1 isn't in 8.10.7 yet, so it uses the llvm backend
2021-11-12 18:34:28 +0100 <johnjay> oh ok. i assume this is somehow plugging into the llvm framework then
2021-11-12 18:34:54 +0100deadmarshal(~deadmarsh@95.38.228.222) (Ping timeout: 268 seconds)
2021-11-12 18:34:54 +0100 <johnjay> should i be using stack or cabal for something cloned directly from github?
2021-11-12 18:35:22 +0100 <WhateverRabbit> you can use it
2021-11-12 18:35:28 +0100Flonk(~Flonk@vps-zap441517-1.zap-srv.com)
2021-11-12 18:35:47 +0100Flonk(~Flonk@vps-zap441517-1.zap-srv.com) ()
2021-11-12 18:35:57 +0100Flonk(~Flonk@vps-zap441517-1.zap-srv.com)
2021-11-12 18:36:02 +0100 <maerwald> johnjay: depends on the project
2021-11-12 18:36:04 +0100 <sclv> ghc has a llvm backend to the compiler, and that's the only way you will be able to compile for M1 in the short term
2021-11-12 18:36:05 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2021-11-12 18:36:17 +0100 <johnjay> it had a stack.yaml if i recall and also a somethingsomething.cabal
2021-11-12 18:36:21 +0100mimmy(~mimmy@72.142.88.18)
2021-11-12 18:36:25 +0100 <sclv> both stack and cabal can drive ghc in llvm mode, so it doesn't really matter
2021-11-12 18:36:37 +0100 <maerwald> there's no native stack M1 binary yet, though
2021-11-12 18:36:40 +0100 <johnjay> ok
2021-11-12 18:36:50 +0100 <maerwald> so it may pick x86 arch and so weird stuff
2021-11-12 18:36:52 +0100 <sclv> for native compilation you'll want to stick to cabal/ghcup since that supports M1 properly -- but again, that native compilation is busted until the next ghc patch release
2021-11-12 18:37:29 +0100mikoto-c1(~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Quit: mikoto-c1)
2021-11-12 18:37:36 +0100mikoto-chan(~mikoto-ch@esm-84-240-99-143.netplaza.fi)
2021-11-12 18:37:37 +0100 <johnjay> i think i have ghc8 something
2021-11-12 18:37:38 +0100max22-(~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr)
2021-11-12 18:37:44 +0100 <johnjay> you said it needs a patch update for M1 aarch64?
2021-11-12 18:37:46 +0100 <johnjay> ghc that is
2021-11-12 18:37:54 +0100 <maerwald> only if you want to use native codegen
2021-11-12 18:38:20 +0100 <geekosaur> I said that earlier, 8.10.7 uses llvm and works, 9.2.1 has native codegen but is broken
2021-11-12 18:38:27 +0100 <geekosaur> bugs they only found after release
2021-11-12 18:38:42 +0100 <johnjay> ah ok. so if I did have 9.2.1 would it try to native codegen and fail?
2021-11-12 18:38:49 +0100 <johnjay> yeah 8.10
2021-11-12 18:38:49 +0100Flonk(~Flonk@vps-zap441517-1.zap-srv.com) (Read error: Connection reset by peer)
2021-11-12 18:38:51 +0100 <johnjay> whatever brew has
2021-11-12 18:39:01 +0100 <geekosaur> it would produce a binary that would probably crash
2021-11-12 18:39:08 +0100 <johnjay> oof
2021-11-12 18:39:44 +0100 <maerwald> https://discourse.haskell.org/t/psa-9-2-1-aarch64-miscompilation/3638/2
2021-11-12 18:41:01 +0100Flonk(~Flonk@vps-zap441517-1.zap-srv.com)
2021-11-12 18:42:52 +0100zincy_(~zincy@2a00:23c8:970c:4801:350f:7ee:191a:6f65) (Remote host closed the connection)
2021-11-12 18:45:03 +0100zincy_(~zincy@2a00:23c8:970c:4801:350f:7ee:191a:6f65)
2021-11-12 18:47:27 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-12 18:47:40 +0100desantra(~skykanin@user/skykanin)
2021-11-12 18:49:13 +0100desantra(~skykanin@user/skykanin) (Client Quit)
2021-11-12 18:49:22 +0100desantra(~skykanin@user/skykanin)
2021-11-12 18:50:32 +0100oxide(~lambda@user/oxide) (Quit: oxide)
2021-11-12 18:52:15 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-11-12 18:53:17 +0100zincy_(~zincy@2a00:23c8:970c:4801:350f:7ee:191a:6f65) (Remote host closed the connection)
2021-11-12 18:55:18 +0100johnny_sitar(~artur@078088015209.bialystok.vectranet.pl) (Ping timeout: 260 seconds)
2021-11-12 18:56:47 +0100jurjen(~jurjen@188-206-102-198.mobile.kpn.net) (Ping timeout: 264 seconds)
2021-11-12 18:58:14 +0100mbuf(~Shakthi@122.178.204.176) (Quit: Leaving)
2021-11-12 18:58:48 +0100justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2)
2021-11-12 18:59:30 +0100waleee(~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 260 seconds)
2021-11-12 19:00:51 +0100whatsupdoc(uid509081@hampstead.irccloud.com)
2021-11-12 19:01:22 +0100f-a(f2a@f2a.jujube.ircnow.org)
2021-11-12 19:01:51 +0100waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-11-12 19:02:20 +0100 <f-a> hello, I am asking a friend to test something on his win machine with the new io manager (-with-rtsopts=--io-manager=native). I am getting a series of errors like this: {handle: <stdout>}: handleToHANDLE: inappropriate type (not a file HANDLE)
2021-11-12 19:02:34 +0100 <f-a> any idea where I should start to debug this?
2021-11-12 19:02:55 +0100bitmapper(uid464869@lymington.irccloud.com) (Quit: Connection closed for inactivity)
2021-11-12 19:04:11 +0100 <geekosaur> not sure you'll find any windows experts in here, reddit or the discourse may be better
2021-11-12 19:04:51 +0100 <f-a> sensible idea, also I should of course read carefully the release notes
2021-11-12 19:04:58 +0100zincy_(~zincy@2a00:23c8:970c:4801:350f:7ee:191a:6f65)
2021-11-12 19:05:16 +0100 <geekosaur> but it being stdout makes me wonder… is this a gui program by any chance? it won't have proper stdin/stdout/stderr in that case
2021-11-12 19:05:20 +0100anduril1(~anduril1@167-248-67-166.oa01.lnk02.ne.dynamic.allophone.net)
2021-11-12 19:05:29 +0100 <f-a> this is a terminal application geekosaur
2021-11-12 19:05:49 +0100desantra(~skykanin@user/skykanin) (Quit: WeeChat 3.3)
2021-11-12 19:05:53 +0100 <f-a> https://hackage.haskell.org/package/ansi-terminal-game using this
2021-11-12 19:07:25 +0100 <maerwald> ghc version?
2021-11-12 19:07:33 +0100sydddddd(~syd@cpc91646-hart11-2-0-cust432.11-3.cable.virginm.net)
2021-11-12 19:07:36 +0100 <f-a> x86_64-mingw32 ghc-Version {versionBranch = [9,2], versionTags = []}
2021-11-12 19:07:50 +0100 <f-a> (the one my friend is using to test this)
2021-11-12 19:08:35 +0100mc47(~mc47@xmonad/TheMC47)
2021-11-12 19:08:46 +0100 <f-a> 9.2.1 precisely
2021-11-12 19:16:16 +0100zincy_(~zincy@2a00:23c8:970c:4801:350f:7ee:191a:6f65) (Remote host closed the connection)
2021-11-12 19:21:18 +0100jollygood2(~bc8165b6@217.29.117.252)
2021-11-12 19:21:21 +0100 <dsal> "Woah, you can't put a comment here! There's already a word on this line!" -- ormolu
2021-11-12 19:21:23 +0100mark___(~a@p200300ef973db1754086f0a6a24fc4dd.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2021-11-12 19:25:29 +0100zaquest(~notzaques@5.128.210.178) (Quit: Leaving)
2021-11-12 19:26:22 +0100acertain_acertain
2021-11-12 19:26:50 +0100chomwitt(~chomwitt@2a02:587:dc0f:7c00:12c3:7bff:fe6d:d374) (Ping timeout: 246 seconds)
2021-11-12 19:27:15 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2021-11-12 19:27:42 +0100anduril1(~anduril1@167-248-67-166.oa01.lnk02.ne.dynamic.allophone.net) (Ping timeout: 256 seconds)
2021-11-12 19:28:14 +0100zincy_(~zincy@host86-181-60-139.range86-181.btcentralplus.com)
2021-11-12 19:28:43 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 250 seconds)
2021-11-12 19:28:53 +0100chomwitt(~chomwitt@2a02:587:dc0f:7c00:12c3:7bff:fe6d:d374)
2021-11-12 19:30:01 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:c075:f6f7:f2c7:7314) (Remote host closed the connection)
2021-11-12 19:30:03 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-11-12 19:30:16 +0100acertain(sid470584@hampstead.irccloud.com) ()
2021-11-12 19:30:27 +0100acertain(sid470584@hampstead.irccloud.com)
2021-11-12 19:30:43 +0100deadmarshal(~deadmarsh@95.38.228.222)
2021-11-12 19:30:56 +0100johnny_sitar(~artur@078088015209.bialystok.vectranet.pl)
2021-11-12 19:31:23 +0100fvr(uid503686@uxbridge.irccloud.com)
2021-11-12 19:34:41 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 245 seconds)
2021-11-12 19:38:21 +0100ec(~ec@gateway/tor-sasl/ec)
2021-11-12 19:40:11 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-11-12 19:41:04 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-11-12 19:43:21 +0100DNH(~DNH@8.43.122.53)
2021-11-12 19:45:30 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-11-12 19:45:38 +0100Sgeo(~Sgeo@user/sgeo)
2021-11-12 19:46:27 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit)
2021-11-12 19:46:33 +0100urdh(~urdh@user/urdh)
2021-11-12 19:47:20 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-11-12 19:48:27 +0100gdown(~gavin@h69-11-248-109.kndrid.broadband.dynamic.tds.net)
2021-11-12 19:52:01 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds)
2021-11-12 19:52:15 +0100chele(~chele@user/chele) (Remote host closed the connection)
2021-11-12 19:53:54 +0100zincy_(~zincy@host86-181-60-139.range86-181.btcentralplus.com) (Remote host closed the connection)
2021-11-12 19:54:19 +0100max22-(~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Remote host closed the connection)
2021-11-12 19:58:15 +0100cosimone(~user@93-47-231-139.ip115.fastwebnet.it) (Ping timeout: 256 seconds)
2021-11-12 19:59:04 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:c075:f6f7:f2c7:7314)
2021-11-12 19:59:07 +0100mark___(~a@p200300ef973db1754086f0a6a24fc4dd.dip0.t-ipconnect.de)
2021-11-12 20:00:55 +0100myShoggoth(~myShoggot@97-120-85-195.ptld.qwest.net)
2021-11-12 20:01:42 +0100stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2021-11-12 20:02:02 +0100unit73e(~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291)
2021-11-12 20:02:06 +0100stiell(~stiell@gateway/tor-sasl/stiell)
2021-11-12 20:03:04 +0100mc47(~mc47@xmonad/TheMC47)
2021-11-12 20:03:14 +0100lavaman(~lavaman@98.38.249.169)
2021-11-12 20:11:09 +0100emf(~emf@2620:10d:c090:400::5:6b1)
2021-11-12 20:16:53 +0100bontaq(~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 246 seconds)
2021-11-12 20:16:57 +0100 <f-a> geekosaur: in case you care, http://www.ariis.it/link/t/paste1132317-0 this very minimal example fails with the same error, I will file a bug against ansi-terminal
2021-11-12 20:17:10 +0100bontaq(~user@ool-45779fe5.dyn.optonline.net)
2021-11-12 20:17:57 +0100 <f-a> although it is a bit puzzling that all it takes to fail is a simple `clearScreen`
2021-11-12 20:19:41 +0100jurjen(~jurjen@31-161-184-96.mobile.kpn.net)
2021-11-12 20:19:51 +0100papa(~papa@user/papa) (Quit: connection reset again by peer.)
2021-11-12 20:21:36 +0100glider(~glider@user/glider) (Quit: ZNC 1.9.x-git-111-f2cdc3db - https://znc.in)
2021-11-12 20:22:32 +0100neurocyte0132889(~neurocyte@94.46.73.137)
2021-11-12 20:22:32 +0100neurocyte0132889(~neurocyte@94.46.73.137) (Changing host)
2021-11-12 20:22:32 +0100neurocyte0132889(~neurocyte@user/neurocyte)
2021-11-12 20:23:11 +0100anderson(~ande@user/anderson) (Quit: bye)
2021-11-12 20:23:11 +0100eldritch(~eldritch@user/eldritch/x-9272577) (Quit: bye)
2021-11-12 20:24:02 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-11-12 20:27:24 +0100eldritch_(~eldritch@user/eldritch/x-9272577)
2021-11-12 20:28:51 +0100mimmy(~mimmy@72.142.88.18) (Ping timeout: 256 seconds)
2021-11-12 20:30:03 +0100mimmy(~mimmy@72.142.88.18)
2021-11-12 20:32:03 +0100glider(~glider@user/glider)
2021-11-12 20:32:33 +0100AlexZenon(~alzenon@178.34.163.122) (Read error: Connection reset by peer)
2021-11-12 20:34:08 +0100AlexZenon(~alzenon@178.34.163.122)
2021-11-12 20:36:20 +0100anderson(~ande@user/anderson)
2021-11-12 20:38:12 +0100brandonh(brandonh@gateway/vpn/protonvpn/brandonh)
2021-11-12 20:38:27 +0100deadmarshal(~deadmarsh@95.38.228.222) (Quit: ZNC 1.8.2 - https://znc.in)
2021-11-12 20:38:47 +0100AlexZenon(~alzenon@178.34.163.122) (Ping timeout: 264 seconds)
2021-11-12 20:38:51 +0100deadmarshal(~deadmarsh@95.38.228.222)
2021-11-12 20:39:33 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 265 seconds)
2021-11-12 20:41:19 +0100xff0x(~xff0x@2001:1a81:522c:6200:54c8:e05a:349a:7362) (Ping timeout: 268 seconds)
2021-11-12 20:42:56 +0100xff0x(~xff0x@2001:1a81:5251:b200:1b67:fb84:b521:2e46)
2021-11-12 20:46:12 +0100AlexZenon(~alzenon@178.34.163.122)
2021-11-12 20:47:03 +0100hololeap(~hololeap@user/hololeap) (Excess Flood)
2021-11-12 20:47:26 +0100viole(~viole@user/viole)
2021-11-12 20:48:33 +0100hololeap(~hololeap@user/hololeap)
2021-11-12 20:48:59 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-12 20:49:52 +0100 <int-e> f-a: Hmm the error comes from here, https://gitlab.haskell.org/ghc/ghc/-/blob/master/libraries/base/GHC/IO/Handle/Windows.hs#L216-226 ...so part of the story is that GHC distinguishes between console handles and native handles, both of which embed a HANDLE (See https://gitlab.haskell.org/ghc/ghc/-/blob/master/libraries/base/GHC/IO/Windows/Handle.hsc#L106 ) but that code only supports the...
2021-11-12 20:49:58 +0100 <int-e> ...NativeHandle case.
2021-11-12 20:50:41 +0100brandonh(brandonh@gateway/vpn/protonvpn/brandonh) (Quit: brandonh)
2021-11-12 20:50:45 +0100 <int-e> I don't know whether that's an oversight or a conscious decision; however, given the lack of comments about it I assume the former.
2021-11-12 20:50:58 +0100 <geekosaur> that sounds kinda pointless when part of the intent is to be able to use 16-bit functions for console I/O
2021-11-12 20:51:15 +0100 <geekosaur> instead of the chcp hack
2021-11-12 20:51:15 +0100 <int-e> disclaimer: I'm just reading code, not running anything
2021-11-12 20:51:39 +0100 <viole> I have a function validate :: ByteString -> Either String Address, Address constructor not exported, and I want to declare a couple of costant addresses in top level. I could do case validate bs of Right x -> x, but I'd like to avoid such thing. I agree this is bad practice but only for external data; for stuff defined literally that are known to be ok, I should be able to do it partially and
2021-11-12 20:51:42 +0100 <viole> in case something's not right, it shouldn't compile. What's the recommended way to do this?
2021-11-12 20:53:02 +0100 <int-e> the whole logic was introduced in this commit two years ago, so it's relatively new: https://gitlab.haskell.org/ghc/ghc/-/commit/356dc3feae967b1c361130f1f356ef9ad6a693e4
2021-11-12 20:54:23 +0100jess(~jess@libera/staff/jess) (Quit: I try to be an optimist / but my glass is always bone dry)
2021-11-12 20:55:00 +0100 <maerwald> viole: should be possible with TH
2021-11-12 21:00:23 +0100DNH(~DNH@8.43.122.53) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-11-12 21:03:23 +0100jkaye(~jkaye@2601:281:8300:7530:eb77:89f5:e0e9:4928) (Ping timeout: 264 seconds)
2021-11-12 21:04:08 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 268 seconds)
2021-11-12 21:05:41 +0100juhp(~juhp@128.106.188.220) (Ping timeout: 256 seconds)
2021-11-12 21:08:15 +0100juhp(~juhp@128.106.188.220)
2021-11-12 21:10:44 +0100zmt01(~zmt00@user/zmt00) (Quit: Gone.)
2021-11-12 21:11:51 +0100DNH(~DNH@8.44.0.72)
2021-11-12 21:14:14 +0100zmt00(~zmt00@user/zmt00)
2021-11-12 21:15:51 +0100deadmarshal(~deadmarsh@95.38.228.222) (Ping timeout: 268 seconds)
2021-11-12 21:19:35 +0100alx741(~alx741@186.178.109.114) (Ping timeout: 264 seconds)
2021-11-12 21:22:35 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Ping timeout: 264 seconds)
2021-11-12 21:22:38 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-11-12 21:24:57 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net)
2021-11-12 21:30:55 +0100jkaye(~jkaye@2601:281:8300:7530:25cb:799d:2790:e606)
2021-11-12 21:32:27 +0100pavonia(~user@user/siracusa)
2021-11-12 21:33:33 +0100alx741(~alx741@181.196.68.187)
2021-11-12 21:34:35 +0100lortabac(~lortabac@88.125.6.227)
2021-11-12 21:41:23 +0100yauhsien(~yauhsien@118-167-47-187.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2021-11-12 21:44:57 +0100neurocyte0132889(~neurocyte@user/neurocyte) (Quit: The Lounge - https://thelounge.chat)
2021-11-12 21:45:45 +0100anduril1(~anduril1@167-248-67-166.oa01.lnk02.ne.dynamic.allophone.net)
2021-11-12 21:47:30 +0100mimmy(~mimmy@72.142.88.18) (Ping timeout: 260 seconds)
2021-11-12 21:48:15 +0100Alex_test(~al_test@178.34.163.122) (Ping timeout: 250 seconds)
2021-11-12 21:48:31 +0100neurocyte0132889(~neurocyte@94.46.73.137)
2021-11-12 21:48:31 +0100johnny_sitar(~artur@078088015209.bialystok.vectranet.pl) (Read error: Connection reset by peer)
2021-11-12 21:48:31 +0100neurocyte0132889(~neurocyte@94.46.73.137) (Changing host)
2021-11-12 21:48:31 +0100neurocyte0132889(~neurocyte@user/neurocyte)
2021-11-12 21:51:16 +0100phma(phma@2001:5b0:211f:3178:45a8:8496:3ea1:a73a) (Read error: Connection reset by peer)
2021-11-12 21:51:43 +0100AlexZenon(~alzenon@178.34.163.122) (Ping timeout: 250 seconds)
2021-11-12 21:52:06 +0100phma(phma@2001:5b0:2144:33f8:194f:6c28:dad5:4e86)
2021-11-12 21:53:28 +0100neurocyte0132889(~neurocyte@user/neurocyte) (Ping timeout: 268 seconds)
2021-11-12 21:54:09 +0100neurocyte0132889(~neurocyte@94.46.73.137)
2021-11-12 21:54:09 +0100neurocyte0132889(~neurocyte@94.46.73.137) (Changing host)
2021-11-12 21:54:09 +0100neurocyte0132889(~neurocyte@user/neurocyte)
2021-11-12 21:56:16 +0100Alex_test(~al_test@178.34.163.122)
2021-11-12 21:56:33 +0100zava(~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds)
2021-11-12 21:57:04 +0100mimmy(~mimmy@72.142.88.18)
2021-11-12 21:57:59 +0100chomwitt(~chomwitt@2a02:587:dc0f:7c00:12c3:7bff:fe6d:d374) (Ping timeout: 264 seconds)
2021-11-12 21:58:49 +0100AlexZenon(~alzenon@178.34.163.122)
2021-11-12 21:58:57 +0100mcgroin(~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 256 seconds)
2021-11-12 22:00:49 +0100jurjen(~jurjen@31-161-184-96.mobile.kpn.net) (Read error: Connection reset by peer)
2021-11-12 22:06:10 +0100jurjen(~jurjen@31-161-184-96.mobile.kpn.net)
2021-11-12 22:07:35 +0100shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 264 seconds)
2021-11-12 22:07:40 +0100johnny_sitar(~artur@078088015209.bialystok.vectranet.pl)
2021-11-12 22:12:23 +0100Flonk(~Flonk@vps-zap441517-1.zap-srv.com) (Quit: The Lounge - https://thelounge.chat)
2021-11-12 22:12:39 +0100Flonk(~Flonk@vps-zap441517-1.zap-srv.com)
2021-11-12 22:15:10 +0100aegon(~mike@174.127.249.180)
2021-11-12 22:17:39 +0100 <energizer> is there a way to pattern match a concatenation into left++right | left++mid:right ? maybe there's some package that supports this?
2021-11-12 22:19:43 +0100 <dsal> It's not super clear what you're trying to do. Are you wanting a snoc list? You can't pattern match infinite lists, but you can do some guarding.
2021-11-12 22:20:05 +0100acidjnk(~acidjnk@p200300d0c721b72570e3bb829407e876.dip0.t-ipconnect.de)
2021-11-12 22:20:12 +0100mcgroin(~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-11-12 22:20:14 +0100 <energizer> in this case i have a finite list
2021-11-12 22:20:28 +0100 <dsal> Sure, but you can't tell the compiler that.
2021-11-12 22:21:00 +0100 <dsal> You can make specific patterns for the cardinalities you expect, but I think you're doing something else, but I don't know what it is. :)
2021-11-12 22:21:10 +0100acidjnk_new(~acidjnk@p200300d0c725147020cf3de033c5d4d3.dip0.t-ipconnect.de)
2021-11-12 22:21:26 +0100 <energizer> i want it to work for any finite size
2021-11-12 22:21:53 +0100deadmarshal(~deadmarsh@95.38.228.222)
2021-11-12 22:21:54 +0100 <dsal> Sure, just define `it` a bit better. 2^32 is a finite size, but you probably don't want to pattern match it.
2021-11-12 22:22:05 +0100 <energizer> why not?
2021-11-12 22:22:27 +0100 <energizer> i can take the left and right halves of that, no?
2021-11-12 22:23:31 +0100 <dsal> As long as you don't mind allocating 2^31 new elements, I guess. But you're definitely using the wrong data structure for whatever you're trying to do.
2021-11-12 22:24:22 +0100mimmy(~mimmy@72.142.88.18) (Ping timeout: 260 seconds)
2021-11-12 22:24:32 +0100 <dsal> ViewPatterns will kind of get you part of the way there, but it'd be easier if you stated your problem a bit better and used the right tools to solve it. :)
2021-11-12 22:24:55 +0100acidjnk(~acidjnk@p200300d0c721b72570e3bb829407e876.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2021-11-12 22:25:37 +0100anduril1(~anduril1@167-248-67-166.oa01.lnk02.ne.dynamic.allophone.net) (Ping timeout: 256 seconds)
2021-11-12 22:26:40 +0100Flonk(~Flonk@vps-zap441517-1.zap-srv.com) (Quit: The Lounge - https://thelounge.chat)
2021-11-12 22:26:51 +0100farn(~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (Ping timeout: 260 seconds)
2021-11-12 22:27:00 +0100mimmy(~mimmy@72.142.88.18)
2021-11-12 22:27:12 +0100farn(~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505)
2021-11-12 22:27:50 +0100jgeerds(~jgeerds@55d41b94.access.ecotel.net)
2021-11-12 22:30:16 +0100Flonk(~Flonk@vps-zap441517-1.zap-srv.com)
2021-11-12 22:30:34 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:c075:f6f7:f2c7:7314) (Remote host closed the connection)
2021-11-12 22:30:52 +0100brainfreeze(~brainfree@2a03:1b20:4:f011::20d)
2021-11-12 22:31:24 +0100 <energizer> say i have a tuple of 1000 and i want to define leftHalfView
2021-11-12 22:32:58 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:c075:f6f7:f2c7:7314)
2021-11-12 22:34:06 +0100 <energizer> i guess it's not allowed to say (1,2)++(3,4) anyway
2021-11-12 22:34:16 +0100 <geekosaur> tuples are not lists
2021-11-12 22:34:23 +0100alzgh(~alzgh@user/alzgh)
2021-11-12 22:34:57 +0100lortabac(~lortabac@88.125.6.227) (Quit: WeeChat 2.8)
2021-11-12 22:34:58 +0100 <geekosaur> and the maximum number of elements in a tuple is 63, not that you can do much with such tuples
2021-11-12 22:35:50 +0100Pickchea(~private@user/pickchea)
2021-11-12 22:36:08 +0100 <energizer> maybe fixed-vector is better for this conversation?
2021-11-12 22:36:53 +0100 <geekosaur> it's still not clear what you are actually trying to do.l or what problem you are trying to solve
2021-11-12 22:37:33 +0100shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-11-12 22:38:24 +0100 <dsal> I keep guessing, but if my guesses are wrong, it's just going to be more confusing. Can you describe your goal, energizer?
2021-11-12 22:39:17 +0100 <energizer> pattern matching is useful for decomposing a collection of data and i want to decompose a finite-length sequence into a its left and right halves. the goal seems straightfoward, no?
2021-11-12 22:40:03 +0100falafel(~falafel@2603-8000-d800-688c-34f9-26f3-71b0-5b78.res6.spectrum.com)
2021-11-12 22:40:07 +0100 <geekosaur> only if it is specifically constructed as left and right halves
2021-11-12 22:40:09 +0100 <dsal> Screwdrivers are useful for adjusting screws. If you clamp two of them together with vice grips, you can use them to loosen bolts.
2021-11-12 22:40:48 +0100 <dsal> Things like Set and Map can be chopped in ~half because that's how the data structure was defined.
2021-11-12 22:41:07 +0100 <dsal> If you do that with something like a list, the left half is going to be super expensive to construct, but the right half will be cheap once you get there.
2021-11-12 22:41:19 +0100 <energizer> [1,2]++[3]++[4] isn't constructed from left and right halves but we still know what it means to decompose it into left and right halves
2021-11-12 22:41:34 +0100 <geekosaur> "we" do but the compiler doesn't
2021-11-12 22:41:50 +0100 <geekosaur> and it's a list so it will be expensive regardless
2021-11-12 22:42:25 +0100 <geekosaur> lists are not *designed* to be split into halves
2021-11-12 22:42:35 +0100 <dsal> Data.Sequence might be a better starting point.
2021-11-12 22:42:59 +0100mcgroin(~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection)
2021-11-12 22:43:17 +0100 <dsal> 𝑂(log(min(𝑖,𝑛−𝑖))) split isn't too bad.
2021-11-12 22:47:04 +0100 <[exa]> energizer: a bit more generally, "half of some sequence" isn't a constant-looking pattern, right?
2021-11-12 22:47:39 +0100 <energizer> [exa]: constant-looking?
2021-11-12 22:48:49 +0100 <[exa]> like, "everytime the same"
2021-11-12 22:51:20 +0100jmorris(uid433911@hampstead.irccloud.com)
2021-11-12 22:51:24 +0100 <[exa]> moreover, no matter how cool the patternmatching looks, it's basically a precise deconstruction of the constructed datastructure. If you didn't construct the sequence explicitly by joining 2 halves with a special half-and-half constructor, you can't match it because it's not going to magically appear there
2021-11-12 22:53:25 +0100 <[exa]> anyway -- more practically -- Vectors support creating any kind of slices (incl. halves) in O(1), so I'd advise trying these. :]
2021-11-12 22:54:12 +0100max22-(~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr)
2021-11-12 22:55:38 +0100falafel(~falafel@2603-8000-d800-688c-34f9-26f3-71b0-5b78.res6.spectrum.com) (Read error: Connection reset by peer)
2021-11-12 22:55:44 +0100falafel_(~falafel@2603-8000-d800-688c-34f9-26f3-71b0-5b78.res6.spectrum.com)
2021-11-12 22:56:49 +0100 <hololeap> data SomeX = forall t. SomeX (X t)
2021-11-12 22:57:02 +0100 <hololeap> data SomeY = forall t. SomeY (Y t)
2021-11-12 22:57:55 +0100 <hololeap> how do I write a function that will handle X and Y given any t, where it is the same t for both types
2021-11-12 22:58:45 +0100 <dsal> That sounds like a type class.
2021-11-12 22:59:08 +0100 <dsal> Otherwise, "how do I write a function that works on any type that contains an Int"
2021-11-12 23:00:33 +0100 <monochrom> You will never be told that you have two values of the same t type. In fact existential typing decrees that you have two different t's.
2021-11-12 23:02:37 +0100 <monochrom> The solution is to completely redesign your design based on to what extent you actually need this.
2021-11-12 23:02:53 +0100 <dsal> Good general advice.
2021-11-12 23:02:59 +0100 <geekosaur> I call xy problem. what problem are you actually trying to solve?
2021-11-12 23:03:34 +0100 <monochrom> Heh I avoided saying "xy" because this one literally has an X and a Y >:)
2021-11-12 23:03:41 +0100 <hololeap> ok, I think I see how I might do this
2021-11-12 23:03:44 +0100 <dsal> Yeah, it's got both X, Y, and SomeX, SomeY
2021-11-12 23:03:53 +0100 <hololeap> I can try to explain...
2021-11-12 23:04:41 +0100 <hololeap> problem involves a binary tree which is parsed from input, and a path (also parsed from input) which serves as a key to locate a single node
2021-11-12 23:06:21 +0100 <monochrom> That doesn't sound like needing any polymorphism in the first place.
2021-11-12 23:06:45 +0100 <hololeap> I made a skeleton tree type Tree, which just stores the shape of the tree, and I'm using DataKinds to prevent a path being constructed that would be out-of-bounds
2021-11-12 23:07:00 +0100fvr(uid503686@uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2021-11-12 23:07:07 +0100 <hololeap> I already wrote my entire program using this and now I hit the part where I write the parser...
2021-11-12 23:08:17 +0100 <hololeap> but I think I see how I can do it, still. 1) parse the tree as SomeTree 2) parse the path within the `withSomeTree` function
2021-11-12 23:09:15 +0100falafel__(~falafel@2603-8000-d800-688c-34f9-26f3-71b0-5b78.res6.spectrum.com)
2021-11-12 23:11:20 +0100Flonk(~Flonk@vps-zap441517-1.zap-srv.com) (Quit: The Lounge - https://thelounge.chat)
2021-11-12 23:11:50 +0100seanparsons(~seanparso@cpc158525-gill21-2-0-cust151.20-1.cable.virginm.net)
2021-11-12 23:11:52 +0100Flonk(~Flonk@vps-zap441517-1.zap-srv.com)
2021-11-12 23:12:11 +0100falafel_(~falafel@2603-8000-d800-688c-34f9-26f3-71b0-5b78.res6.spectrum.com) (Ping timeout: 245 seconds)
2021-11-12 23:12:39 +0100 <seanparsons> Hmmm, looks like Hackage has done a dead to me...
2021-11-12 23:13:50 +0100brainfreeze(~brainfree@2a03:1b20:4:f011::20d) (Quit: Leaving)
2021-11-12 23:14:23 +0100 <dolio> Yeah, 503.
2021-11-12 23:17:18 +0100 <ddb> int-e: ok, so I have lambdabot running famously, but when I try to connect to irc I get the following error
2021-11-12 23:17:20 +0100 <ddb> lambdabot> irc-connect tilde club.tilde.chat 6697 lambdabot
2021-11-12 23:17:22 +0100 <ddb> [ERROR] : <socket: 12>: hGetLine: end of file
2021-11-12 23:17:54 +0100 <int-e> 6697? it doesn't do TLS
2021-11-12 23:18:24 +0100 <ddb> ah gotcha
2021-11-12 23:18:46 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-12 23:18:53 +0100 <int-e> I'm using this for lambdabot here: socat TCP4-LISTEN:6667,bind=127.0.0.1,reuseaddr,fork,forever OPENSSL:irc.libera.chat:6697
2021-11-12 23:19:10 +0100 <int-e> (and the bot connects to 127.0.0.1:6667)
2021-11-12 23:20:38 +0100 <int-e> I've also heard of people using a bouncer (znc?)
2021-11-12 23:21:00 +0100dustee(~dustee@n2-77-150.dhcp.drexel.edu)
2021-11-12 23:21:21 +0100shidima(~shidima@84-104-108-90.cable.dynamic.v4.ziggo.nl) (Ping timeout: 245 seconds)
2021-11-12 23:21:47 +0100dustee(~dustee@n2-77-150.dhcp.drexel.edu) (Remote host closed the connection)
2021-11-12 23:22:36 +0100burnsidesLlama(~burnsides@dhcp168-014.wadham.ox.ac.uk) (Remote host closed the connection)
2021-11-12 23:23:11 +0100falafel__(~falafel@2603-8000-d800-688c-34f9-26f3-71b0-5b78.res6.spectrum.com) (Ping timeout: 264 seconds)
2021-11-12 23:24:52 +0100 <ddb> I'm not familiar with socat, but I think I can do plaintext on localhost in my situation
2021-11-12 23:24:59 +0100johnny_sitar(~artur@078088015209.bialystok.vectranet.pl) (Ping timeout: 264 seconds)
2021-11-12 23:25:23 +0100jurjen(~jurjen@31-161-184-96.mobile.kpn.net) (Read error: Connection reset by peer)
2021-11-12 23:26:43 +0100 <statusbot> Status update: Hackage and many www services are down due to host connectivity issues. We hope this will be resolved shortly. -- http://status.haskell.org/pages/incident/537c07b0cf1fad5830000093/618eea229604e60540fd03ad
2021-11-12 23:28:35 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds)
2021-11-12 23:29:31 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2021-11-12 23:37:56 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:c075:f6f7:f2c7:7314) (Remote host closed the connection)
2021-11-12 23:39:08 +0100 <statusbot> Status update: Connectivity at our host appears to have been restored. -- http://status.haskell.org/pages/incident/537c07b0cf1fad5830000093/618eea229604e60540fd03ad
2021-11-12 23:39:56 +0100johnny_sitar(~artur@078088015209.bialystok.vectranet.pl)
2021-11-12 23:42:55 +0100Codaraxis(~Codaraxis@user/codaraxis) (Quit: Leaving)
2021-11-12 23:44:10 +0100unmanbearpig(~unmanbear@user/unmanbearpig) (Ping timeout: 260 seconds)
2021-11-12 23:44:45 +0100gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2021-11-12 23:46:05 +0100 <ddb> alright, getting close now, it's connected, but how do I get it to join a room?
2021-11-12 23:46:24 +0100 <ddb> I tried /invite, but that did not seem to work
2021-11-12 23:47:06 +0100Flonk(~Flonk@vps-zap441517-1.zap-srv.com) (Quit: The Lounge - https://thelounge.chat)
2021-11-12 23:47:19 +0100 <geekosaur> http://users.ece.cmu.edu/~allbery/lambdabot/COMMANDS.more
2021-11-12 23:47:37 +0100 <geekosaur> I think that's still the only reference to lambdabot admin commands
2021-11-12 23:47:40 +0100Flonk(~Flonk@vps-zap441517-1.zap-srv.com)
2021-11-12 23:48:29 +0100 <dsal> heh. I spent a while trying to parse that as CoMonads, no wait, it's spelled wrong. CommaNDS? What's NDS?
2021-11-12 23:48:38 +0100 <geekosaur> and no, I don't think lambdabot knows how to respond to an /invite
2021-11-12 23:49:29 +0100pwug(~pwug@user/pwug)
2021-11-12 23:50:06 +0100 <dsal> I'm having a bit of trouble understanding `review`. It seems strange and unnecessary.
2021-11-12 23:50:12 +0100 <dsal> > review _Just 3
2021-11-12 23:50:14 +0100 <lambdabot> Just 3
2021-11-12 23:50:38 +0100deadmarshal(~deadmarsh@95.38.228.222) (Ping timeout: 268 seconds)
2021-11-12 23:50:41 +0100mimmy(~mimmy@72.142.88.18) (Quit: WeeChat 3.3)
2021-11-12 23:51:02 +0100 <ddb> hmm now how to become an admin
2021-11-12 23:51:12 +0100 <energizer> (1+2)+(3+4) which side gets evaluated first?
2021-11-12 23:51:48 +0100 <geekosaur> undefined, since it's a pure expression
2021-11-12 23:52:04 +0100 <geekosaur> the compiler is free to pick any evaluation order
2021-11-12 23:52:06 +0100 <dsal> It's possible none of that gets evaluated.
2021-11-12 23:52:51 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-11-12 23:53:11 +0100benin(~benin@183.82.176.36) (Ping timeout: 246 seconds)
2021-11-12 23:54:05 +0100meatfeather[m](~meatfeath@2001:470:69fc:105::1:3311)
2021-11-12 23:54:07 +0100 <monochrom> dsal, a long time ago when I was learning unix, the textbook explained that uucp is acronym for "Unix-to-Unix CoPy". For a long long time I was splitting that camelcase CoPy into "co" "py" and wondering what would "py" mean such that it had a co- version called "co-py".
2021-11-12 23:54:48 +0100 <energizer> python
2021-11-12 23:54:58 +0100 <dsal> haha. And now we have a new python derivative that does everything backwards.
2021-11-12 23:55:19 +0100 <geekosaur> ddb, the console and config file are always run as admin. you can use that to add users to the admin acl, which should also be documented (@admin +, iirc, but it's been a decade)
2021-11-12 23:56:29 +0100 <geekosaur> note that lambdabot does not check user registrations, so for safety you should only add users who are registered with nickserv and have protected their accounts
2021-11-12 23:57:06 +0100benin(~benin@183.82.176.36)