2024/05/24

2024-05-24 00:01:23 +0200johnw_johnw
2024-05-24 00:02:44 +0200Square2(~Square4@user/square) (Read error: Connection reset by peer)
2024-05-24 00:03:01 +0200Square(~Square4@user/square)
2024-05-24 00:04:24 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 268 seconds)
2024-05-24 00:09:50 +0200pyooque(~puke@user/puke)
2024-05-24 00:09:50 +0200puke(~puke@user/puke) (Killed (tantalum.libera.chat (Nickname regained by services)))
2024-05-24 00:09:50 +0200pyooquepuke
2024-05-24 00:10:27 +0200off^(~cd@c-98-242-74-66.hsd1.ga.comcast.net)
2024-05-24 00:11:26 +0200AlexNoo_(~AlexNoo@5.139.233.209)
2024-05-24 00:13:48 +0200AlexZenon(~alzenon@178.34.163.203) (Ping timeout: 260 seconds)
2024-05-24 00:14:38 +0200puke(~puke@user/puke) (Ping timeout: 252 seconds)
2024-05-24 00:14:59 +0200AlexNoo(~AlexNoo@178.34.163.203) (Ping timeout: 264 seconds)
2024-05-24 00:15:19 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-24 00:15:22 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216)
2024-05-24 00:19:32 +0200michalz(~michalz@185.246.207.205) (Quit: ZNC 1.9.0 - https://znc.in)
2024-05-24 00:21:52 +0200AlexZenon(~alzenon@5.139.233.209)
2024-05-24 00:26:29 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 240 seconds)
2024-05-24 00:28:11 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-05-24 00:29:53 +0200fizbin__(~fizbin@user/fizbin)
2024-05-24 00:32:46 +0200acidjnk(~acidjnk@p200300d6e714dc452882c161da5c5dc1.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2024-05-24 00:33:20 +0200julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection)
2024-05-24 00:38:05 +0200fizbin__(~fizbin@user/fizbin) (Ping timeout: 240 seconds)
2024-05-24 00:42:24 +0200fizbin__(~fizbin@user/fizbin)
2024-05-24 00:43:57 +0200mailman(~mailman@192.210.255.35)
2024-05-24 00:47:33 +0200 <raehik> Hi folks. I'm writing a type-level string parser library. I want to compare my design before committing to writing lots of horrid singletons. Are there any super simple string parser combinator libs out there? Where the parser runner is extremely simple and conducive to reifying to type-level
2024-05-24 00:50:50 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-24 00:54:27 +0200 <raehik> oh my gosh it looks like I accidentally landed on Parsec's design. but the code isn't well documented at all :(
2024-05-24 00:55:17 +0200fizbin__(~fizbin@user/fizbin) (Ping timeout: 240 seconds)
2024-05-24 01:03:59 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-24 01:19:38 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds)
2024-05-24 01:20:11 +0200mailman(~mailman@192.210.255.35) (Killed (ozone (No Spam)))
2024-05-24 01:20:13 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-05-24 01:21:53 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com)
2024-05-24 01:22:46 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-05-24 01:28:50 +0200 <lisbeths> if this is a channel where it is against the rules to question the legitimacy of the University system then please ban me now
2024-05-24 01:32:07 +0200mei(~mei@user/mei) (Remote host closed the connection)
2024-05-24 01:34:31 +0200mei(~mei@user/mei)
2024-05-24 01:44:55 +0200xff0x(~xff0x@2405:6580:b080:900:a0c9:53ff:d03b:8aee) (Ping timeout: 268 seconds)
2024-05-24 01:53:23 +0200 <glguy> raehik: Super simple? there's https://hackage.haskell.org/package/yoctoparsec-0.1.0.0/docs/Control-Monad-Yoctoparsec.html
2024-05-24 01:53:57 +0200 <glguy> https://hackage.haskell.org/package/base-4.20.0.0/docs/Text-ParserCombinators-ReadP.html is simpler than parsec
2024-05-24 01:54:12 +0200 <geekosaur> lisbeths, it's not against the rules but it's probably a better fit for #haskell-offtopic
2024-05-24 01:54:24 +0200 <geekosaur> and you wouldn't be the first one to do so there
2024-05-24 01:54:33 +0200mailman(~mailman@116.71.182.98)
2024-05-24 01:55:26 +0200AlexNoo_(~AlexNoo@5.139.233.209) (Read error: Connection reset by peer)
2024-05-24 01:55:50 +0200AlexNoo_(~AlexNoo@5.139.233.209)
2024-05-24 01:57:46 +0200xff0x(~xff0x@2405:6580:b080:900:a0c9:53ff:d03b:8aee)
2024-05-24 02:06:03 +0200 <raehik> glguy: Thanks for those. ReadP is more complex than I thought, 5 different result constructors
2024-05-24 02:06:44 +0200tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 260 seconds)
2024-05-24 02:06:48 +0200 <raehik> yoctoparsec is a bit too abstract for me to consider how it would look type-level
2024-05-24 02:07:11 +0200shoggouth(uid607148@user/shoggouth) (Quit: Connection closed for inactivity)
2024-05-24 02:09:14 +0200 <glguy> If you're ready to do type-level parser combinators at the type-level, you're ready to inline some type definitions to see what a simple case of yoctoparsec expands to
2024-05-24 02:09:42 +0200 <glguy> (too many uses of type-level in that first fragment)
2024-05-24 02:10:47 +0200Square(~Square4@user/square) (Ping timeout: 264 seconds)
2024-05-24 02:10:58 +0200 <glguy> You could rip out ReadP's biased choice operator, which would make the whole thing simpler to implement; kind of depends on what you're trying to do
2024-05-24 02:11:52 +0200 <glguy> I did a version of ReadP a while back that had a nicer treatment of <++ that I think ReadP has https://github.com/glguy/breadth-first-parser-combinators/tree/master
2024-05-24 02:12:26 +0200mailman(~mailman@116.71.182.98) (Quit: Client closed)
2024-05-24 02:12:42 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds)
2024-05-24 02:13:09 +0200mailman(~mailman@116.71.182.98)
2024-05-24 02:17:36 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
2024-05-24 02:18:14 +0200mailman83(~mailman@116.71.182.98)
2024-05-24 02:19:04 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2024-05-24 02:19:09 +0200mailman83(~mailman@116.71.182.98) (Client Quit)
2024-05-24 02:20:05 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 240 seconds)
2024-05-24 02:20:16 +0200tomboy64(~tomboy64@user/tomboy64)
2024-05-24 02:22:15 +0200 <raehik> glguy: true enough on yoctoparsec. I am lazy and was looking for concrete [Char] parsers
2024-05-24 02:23:27 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-05-24 02:23:44 +0200 <raehik> I'm trying to design a nice simple type-level parser combinator lib. I think I want simple parsers to be very boring, and complex ones (like decision) I don't mind being slow
2024-05-24 02:23:48 +0200mailman(~mailman@116.71.182.98) (K-Lined)
2024-05-24 02:28:49 +0200 <raehik> to be clear this already all exists I'm just reconsidering things https://github.com/raehik/symparsec
2024-05-24 02:29:37 +0200 <raehik> set on this design with a small tweak to improve singling parser
2024-05-24 02:29:46 +0200 <raehik> singling parsers*
2024-05-24 02:32:47 +0200mud(~mud@user/kadoban) (Ping timeout: 272 seconds)
2024-05-24 02:33:37 +0200joeyadams(~joeyadams@2603:6010:5100:2ed:f314:a2aa:505f:509a)
2024-05-24 02:53:23 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds)
2024-05-24 03:01:54 +0200nickiminjaj(~nickiminj@user/laxhh) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2024-05-24 03:27:29 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer)
2024-05-24 03:31:26 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-05-24 03:41:41 +0200ystael(~ystael@user/ystael) (Ping timeout: 240 seconds)
2024-05-24 03:43:38 +0200nyc(~nyc@user/nyc) (Ping timeout: 252 seconds)
2024-05-24 03:47:17 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-24 03:48:03 +0200joeyadams(~joeyadams@2603:6010:5100:2ed:f314:a2aa:505f:509a) (Quit: Leaving)
2024-05-24 03:55:39 +0200xff0x(~xff0x@2405:6580:b080:900:a0c9:53ff:d03b:8aee) (Ping timeout: 268 seconds)
2024-05-24 03:56:41 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com)
2024-05-24 03:58:44 +0200otto_s(~user@p5b044390.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2024-05-24 04:00:02 +0200fliife(~fliife@user/fliife) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in)
2024-05-24 04:00:09 +0200otto_s(~user@p5de2f772.dip0.t-ipconnect.de)
2024-05-24 04:00:53 +0200fliife(~fliife@user/fliife)
2024-05-24 04:02:08 +0200apache2(apache2@anubis.0x90.dk)
2024-05-24 04:02:27 +0200quintasan_(~quassel@quintasan.pl) (Quit: No Ping reply in 180 seconds.)
2024-05-24 04:03:15 +0200philopsos1(~caecilius@user/philopsos)
2024-05-24 04:03:37 +0200quintasan(~quassel@quintasan.pl)
2024-05-24 04:04:37 +0200apache(apache2@anubis.0x90.dk) (Ping timeout: 272 seconds)
2024-05-24 04:06:49 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-24 04:36:53 +0200nyc(~nyc@user/nyc)
2024-05-24 04:43:39 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-05-24 04:51:47 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-05-24 04:54:59 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-24 04:59:52 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
2024-05-24 05:00:53 +0200td_(~td@i53870925.versanet.de) (Ping timeout: 240 seconds)
2024-05-24 05:01:37 +0200kaol(~kaol@94-237-42-30.nl-ams1.upcloud.host) (Ping timeout: 272 seconds)
2024-05-24 05:03:01 +0200td_(~td@i53870918.versanet.de)
2024-05-24 05:03:43 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-24 05:07:41 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 240 seconds)
2024-05-24 05:08:22 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
2024-05-24 05:11:00 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-24 05:16:11 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
2024-05-24 05:17:44 +0200aforemny_(~aforemny@i59F516E8.versanet.de)
2024-05-24 05:19:11 +0200aforemny(~aforemny@i59F516C7.versanet.de) (Ping timeout: 264 seconds)
2024-05-24 05:19:45 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-24 05:22:26 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection)
2024-05-24 05:23:03 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-24 05:29:58 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2024-05-24 05:30:32 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2024-05-24 05:59:17 +0200cattiesCatty
2024-05-24 06:01:08 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) (Quit: Lost terminal)
2024-05-24 06:06:49 +0200addfb3(~dante@user/addfb3)
2024-05-24 06:07:58 +0200Perl_Lang(~chatzilla@syn-074-128-212-200.res.spectrum.com)
2024-05-24 06:08:11 +0200robobub(uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2024-05-24 06:08:16 +0200 <Perl_Lang> why nobody use me? :(
2024-05-24 06:08:22 +0200michalz(~michalz@185.246.207.217)
2024-05-24 06:09:31 +0200addfb3(~dante@user/addfb3) (Client Quit)
2024-05-24 06:10:40 +0200 <monochrom> I think a lot of people use you, just not in this channel.
2024-05-24 06:11:41 +0200 <Perl_Lang> but nobody likes perl :'(
2024-05-24 06:11:59 +0200 <monochrom> Oh that's a tall order.
2024-05-24 06:12:09 +0200 <monochrom> Most programmers hate their jobs.
2024-05-24 06:13:40 +0200 <Perl_Lang> be an inde developer and retire if you hate it tham much
2024-05-24 06:14:20 +0200 <monochrom> Oh people hate not making enough money before retirement, too.
2024-05-24 06:14:31 +0200 <monochrom> Yes the human condition is completely broken.
2024-05-24 06:17:42 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds)
2024-05-24 06:17:50 +0200 <Perl_Lang> ever tried to use a block api like google blockly to simplify your development?
2024-05-24 06:19:08 +0200 <glguy> simplify how? the first example on https://developers.google.com/blockly is how much more complicated it is than the text version
2024-05-24 06:19:46 +0200 <monochrom> Perhaps s/simplify/glorify/
2024-05-24 06:19:49 +0200michalz(~michalz@185.246.207.217) (Quit: ZNC 1.9.0 - https://znc.in)
2024-05-24 06:19:57 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-05-24 06:20:15 +0200 <glguy> if it's on JavaScript by default you can further improve the example by switching it to Lua
2024-05-24 06:20:30 +0200 <Perl_Lang> the library where you can configure the blocks, not the test site
2024-05-24 06:22:27 +0200 <monochrom> I'm OK with positioning blocky as an education medium.
2024-05-24 06:22:32 +0200michalz(~michalz@185.246.207.215)
2024-05-24 06:23:10 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
2024-05-24 06:23:43 +0200Perl_Lang(~chatzilla@syn-074-128-212-200.res.spectrum.com) ()
2024-05-24 06:24:08 +0200 <glguy> My experience with a blocky programming language was the kids immediately asking me how to do stuff that the blocks made hard that would have been possible with a simpler language
2024-05-24 06:25:00 +0200 <monochrom> Yeah I would be less skeptical if the blocks stood for, say, FP constructs not imperative constructs. We already know that imperative programming doesn't work.
2024-05-24 06:26:42 +0200 <monochrom> But given that someone still has to learn imperative programming and then do it for jobs because the world is broken, an education medium for learning it is much appreciated.
2024-05-24 06:28:56 +0200 <probie> At the end of the day, _someone_ is always going to have to learn imperative programming, if only for doing codegen in the compiler (at least until our CPUs look very different)
2024-05-24 06:30:05 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2024-05-24 06:30:32 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-05-24 06:31:57 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-05-24 06:32:17 +0200mud(~mud@user/kadoban)
2024-05-24 06:36:12 +0200 <monochrom> For now I just have the dilemma of whether to inflict record sytnax on my students. :)
2024-05-24 06:37:17 +0200 <monochrom> I am going to give them AVL tree insert and rebalancing as homework. It's much nicer with record syntax. But I don't want to teach them record syntax. :)
2024-05-24 06:41:26 +0200 <c_wraith> just teach them lenses
2024-05-24 06:41:49 +0200 <monochrom> :( >D
2024-05-24 06:44:05 +0200qqq(~qqq@92.43.167.61)
2024-05-24 06:51:44 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-05-24 06:52:26 +0200euleritian(~euleritia@dynamic-176-006-189-111.176.6.pool.telefonica.de)
2024-05-24 06:52:54 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-05-24 06:53:56 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer)
2024-05-24 06:54:29 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-05-24 06:57:22 +0200misterfish(~misterfis@84.53.85.146)
2024-05-24 06:57:50 +0200euphores(~SASL_euph@user/euphores)
2024-05-24 07:02:48 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-05-24 07:05:05 +0200euleritian(~euleritia@dynamic-176-006-189-111.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-24 07:05:23 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-24 07:14:50 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds)
2024-05-24 07:18:01 +0200euleritian(~euleritia@77.22.252.56)
2024-05-24 07:20:47 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2024-05-24 07:27:17 +0200euleritian(~euleritia@77.22.252.56) (Read error: Connection reset by peer)
2024-05-24 07:27:39 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-24 07:30:12 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-05-24 07:33:37 +0200julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752)
2024-05-24 07:34:00 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2024-05-24 07:34:23 +0200euleritian(~euleritia@dynamic-176-006-189-111.176.6.pool.telefonica.de)
2024-05-24 07:39:00 +0200paddymahoney(~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 260 seconds)
2024-05-24 07:41:53 +0200paddymahoney(~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com)
2024-05-24 07:44:06 +0200euleritian(~euleritia@dynamic-176-006-189-111.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-24 07:44:24 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-24 07:46:27 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-24 07:52:07 +0200philopsos1(~caecilius@user/philopsos)
2024-05-24 07:58:55 +0200acidjnk(~acidjnk@p200300d6e714dc37e07d2cee841a38ab.dip0.t-ipconnect.de)
2024-05-24 08:00:27 +0200nickiminjaj(~nickiminj@user/laxhh)
2024-05-24 08:03:59 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-05-24 08:05:17 +0200nickiminjaj(~nickiminj@user/laxhh) (Ping timeout: 240 seconds)
2024-05-24 08:26:34 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2024-05-24 08:32:32 +0200Vajb(~Vajb@n4vou9ek39qavu5bn5s-1.v6.elisa-mobile.fi) (Ping timeout: 268 seconds)
2024-05-24 08:32:46 +0200 <Axman6> I remember there being a really nice way to express AVL(I think) tree rotations with a single function which took four arguments, and depending on which invariant you were fixing would determine which four arguments it needed... I wonder if I can find that again
2024-05-24 08:33:41 +0200Vajb(~Vajb@n2i1g4jtc1sbaz88wul-1.v6.elisa-mobile.fi)
2024-05-24 08:35:47 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-24 08:38:26 +0200hc(~hc@mail.hce.li) (Remote host closed the connection)
2024-05-24 08:40:39 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-05-24 08:43:38 +0200Vajb(~Vajb@n2i1g4jtc1sbaz88wul-1.v6.elisa-mobile.fi) (Ping timeout: 268 seconds)
2024-05-24 08:43:50 +0200Vajb(~Vajb@n2i1g4jtc1sbaz88wul-1.v6.elisa-mobile.fi)
2024-05-24 08:46:24 +0200 <Axman6> maybe it was red-black trees. Either way, I can't find it :'(
2024-05-24 08:46:40 +0200qqq(~qqq@92.43.167.61) (Quit: leaving)
2024-05-24 08:48:35 +0200edwtjo(~edwtjo@fsf/member/edwtjo) (Ping timeout: 264 seconds)
2024-05-24 08:48:39 +0200 <opqdonut> this? https://www.cs.tufts.edu/comp/150FP/archive/chris-okasaki/redblack99.pdf
2024-05-24 08:50:29 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2024-05-24 08:50:51 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-24 08:53:27 +0200julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection)
2024-05-24 08:59:50 +0200 <Axman6> Hmm, looks close, but I don't remember there being any use of or-patterns. But maybe I am just remembering `balance` on page 4
2024-05-24 09:00:27 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-05-24 09:00:58 +0200rvalue(~rvalue@user/rvalue)
2024-05-24 09:01:50 +0200edwtjo(~edwtjo@h-85-24-142-35.A213.priv.bahnhof.se)
2024-05-24 09:01:50 +0200edwtjo(~edwtjo@h-85-24-142-35.A213.priv.bahnhof.se) (Changing host)
2024-05-24 09:01:50 +0200edwtjo(~edwtjo@fsf/member/edwtjo)
2024-05-24 09:02:46 +0200 <[exa]> Axman6: left leaning red black trees?
2024-05-24 09:04:11 +0200 <[exa]> Anyway, I just spotted this here with "relative monads", apparently a little more general than arrows and seems to me very interpreter-related: https://link.springer.com/chapter/10.1007/978-3-642-12032-9_21
2024-05-24 09:04:36 +0200Vajb(~Vajb@n2i1g4jtc1sbaz88wul-1.v6.elisa-mobile.fi) (Ping timeout: 268 seconds)
2024-05-24 09:04:47 +0200 <[exa]> does anyone know if there are haskell libraries/examples of this kind of relative monads?
2024-05-24 09:05:05 +0200Vajb(~Vajb@n84f8idehd0ucclhxoj-1.v6.elisa-mobile.fi)
2024-05-24 09:08:57 +0200CiaoSen(~Jura@2a05:5800:2b2:2200:e6b9:7aff:fe80:3d03)
2024-05-24 09:11:31 +0200cfricke(~cfricke@user/cfricke)
2024-05-24 09:22:11 +0200edwtjo(~edwtjo@fsf/member/edwtjo) (Ping timeout: 264 seconds)
2024-05-24 09:25:10 +0200danse-nr3(~danse-nr3@151.37.240.28)
2024-05-24 09:34:34 +0200edwtjo(~edwtjo@h-85-24-142-35.A213.priv.bahnhof.se)
2024-05-24 09:34:34 +0200edwtjo(~edwtjo@h-85-24-142-35.A213.priv.bahnhof.se) (Changing host)
2024-05-24 09:34:34 +0200edwtjo(~edwtjo@fsf/member/edwtjo)
2024-05-24 09:34:49 +0200johnw(~johnw@69.62.242.138) (Ping timeout: 268 seconds)
2024-05-24 09:36:26 +0200off^(~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection)
2024-05-24 09:36:55 +0200johnw(~johnw@69.62.242.138)
2024-05-24 09:39:19 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2024-05-24 09:40:39 +0200ft(~ft@p508db8fc.dip0.t-ipconnect.de) (Quit: leaving)
2024-05-24 09:42:27 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 260 seconds)
2024-05-24 09:44:39 +0200mei(~mei@user/mei) (Remote host closed the connection)
2024-05-24 09:47:02 +0200mei(~mei@user/mei)
2024-05-24 09:50:08 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds)
2024-05-24 09:53:38 +0200 <lortabac> Is there a way to ask GHC how a particular instance is satisfied? Ideally I would like to have a -ddump-instance-resolution option, or -- even better -- a GHCI command that allows to query a specific instance. Since AFAIK GHC doesn't have these features, is there a trick/workaround to get at least some info?
2024-05-24 09:59:59 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 264 seconds)
2024-05-24 10:05:52 +0200julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752)
2024-05-24 10:06:50 +0200 <danse-nr3> sometimes i follow the #source links for instances in haddock, not sure whether that helps
2024-05-24 10:08:07 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-05-24 10:09:55 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2024-05-24 10:12:04 +0200 <danse-nr3> (i have local hoogle and local haddock for the project i am working on. Can do without HLS but this is really helpful)
2024-05-24 10:13:52 +0200CiaoSen(~Jura@2a05:5800:2b2:2200:e6b9:7aff:fe80:3d03) (Quit: CiaoSen)
2024-05-24 10:14:15 +0200chele(~chele@user/chele)
2024-05-24 10:15:10 +0200euphores(~SASL_euph@user/euphores)
2024-05-24 10:20:48 +0200CiaoSen(~Jura@2a05:5800:2b2:2200:e6b9:7aff:fe80:3d03)
2024-05-24 10:21:26 +0200noumenon(~noumenon@113.51-175-156.customer.lyse.net)
2024-05-24 10:21:34 +0200misterfish(~misterfis@178.229.59.89)
2024-05-24 10:22:17 +0200 <kuribas> I have used "set manager (Left $ defaultManagerSettings {managerModifyRequest = \req -> pure $ req { shouldStripHeaderOnRedirect = const True}})" in wreq, but it's still sending the bearer token in the redirect.
2024-05-24 10:24:10 +0200noumenon(~noumenon@113.51-175-156.customer.lyse.net) (Client Quit)
2024-05-24 10:24:47 +0200gmg(~user@user/gehmehgeh)
2024-05-24 10:26:01 +0200titibandit(~user@user/titibandit)
2024-05-24 10:30:45 +0200lxsameer(~lxsameer@Serene/lxsameer)
2024-05-24 10:37:24 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-05-24 10:37:47 +0200MironZ(~MironZ@nat-infra.ehlab.uk) (Quit: The Lounge - https://thelounge.chat)
2024-05-24 10:39:17 +0200MironZ3(~MironZ@nat-infra.ehlab.uk)
2024-05-24 10:48:37 +0200danse-nr3(~danse-nr3@151.37.240.28) (Remote host closed the connection)
2024-05-24 10:49:01 +0200danse-nr3(~danse-nr3@151.37.240.28)
2024-05-24 10:52:31 +0200jcarpenter2(~lol@2603:3016:1e01:b9a0:f567:9fc4:eb72:a51c) (Ping timeout: 268 seconds)
2024-05-24 10:53:21 +0200jcarpenter2(~lol@2603:3016:1e01:b9a0:7de1:bf61:a47e:b74f)
2024-05-24 10:53:55 +0200Midjak(~MarciZ@82.66.147.146)
2024-05-24 10:54:20 +0200mei(~mei@user/mei) (Remote host closed the connection)
2024-05-24 10:56:45 +0200mei(~mei@user/mei)
2024-05-24 10:58:04 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds)
2024-05-24 10:59:19 +0200lortabac(~lortabac@37.174.86.177)
2024-05-24 10:59:32 +0200lortabac(~lortabac@37.174.86.177) (Client Quit)
2024-05-24 10:59:51 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-05-24 11:00:04 +0200 <lortabac> danse-nr3: in this case the resolution is a little complex, so some help from the compiler would appreciated
2024-05-24 11:00:22 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-05-24 11:11:16 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds)
2024-05-24 11:26:50 +0200R3c5(~R3c5@145.94.194.106)
2024-05-24 11:27:12 +0200R3c5(~R3c5@145.94.194.106) ()
2024-05-24 11:28:05 +0200CiaoSen(~Jura@2a05:5800:2b2:2200:e6b9:7aff:fe80:3d03) (Ping timeout: 240 seconds)
2024-05-24 11:29:37 +0200sawilagar(~sawilagar@user/sawilagar)
2024-05-24 11:30:04 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-05-24 11:35:06 +0200julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection)
2024-05-24 11:35:29 +0200julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752)
2024-05-24 11:36:34 +0200julie_pilgrim(~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection)
2024-05-24 11:37:10 +0200mechap(~mechap@user/mechap)
2024-05-24 11:38:39 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds)
2024-05-24 11:40:15 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-05-24 11:45:01 +0200driib3(~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
2024-05-24 11:45:40 +0200driib3(~driib@vmi931078.contaboserver.net)
2024-05-24 11:52:08 +0200 <chiselfuse> i want to make a real time 3d physics simulator and i like haskell. is there anything library i can use to do this?
2024-05-24 11:52:55 +0200misterfish(~misterfis@178.229.59.89) (Ping timeout: 256 seconds)
2024-05-24 11:53:00 +0200 <chiselfuse> the simulations would consist mostly of 3d objects and vector fields and lines and colors
2024-05-24 11:55:04 +0200 <kuribas> chiselfuse: to do what? To render?
2024-05-24 11:56:39 +0200 <chiselfuse> kuribas: i'm not sure what you mean but i want to do rougly what you can do with libglut (draw spheres, do matrix transformations and pan and zoom around with a mouse interactively)
2024-05-24 11:58:52 +0200 <kuribas> chiselfuse: https://hackage.haskell.org/package/GLUT ?
2024-05-24 11:59:44 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds)
2024-05-24 12:00:32 +0200 <chiselfuse> i'm not sure how it works, i'll try this and see
2024-05-24 12:01:27 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-05-24 12:06:44 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.2.2)
2024-05-24 12:08:24 +0200 <kuribas> chiselfuse: I think it's just low level bindings to glut?
2024-05-24 12:08:40 +0200 <kuribas> idk, I never used it.
2024-05-24 12:09:24 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 256 seconds)
2024-05-24 12:10:08 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds)
2024-05-24 12:14:44 +0200alethkit(23bd17ddc6@sourcehut/user/alethkit)
2024-05-24 12:16:50 +0200 <alethkit> Does anyone happen to know who wrote the comment on https://wiki.haskell.org/Combinatory_logic#Illative_combinatory_logic? I wonder if they ever got anywhere with it.
2024-05-24 12:22:24 +0200cfricke(~cfricke@user/cfricke)
2024-05-24 12:24:39 +0200acidjnk(~acidjnk@p200300d6e714dc37e07d2cee841a38ab.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2024-05-24 12:29:59 +0200Square(~Square4@user/square)
2024-05-24 12:32:47 +0200Square(~Square4@user/square) (Client Quit)
2024-05-24 12:33:18 +0200Square(~Square4@user/square)
2024-05-24 12:33:57 +0200Square2(~Square@user/square)
2024-05-24 12:34:11 +0200danse-nr3(~danse-nr3@151.37.240.28) (Ping timeout: 260 seconds)
2024-05-24 12:34:53 +0200nyc(~nyc@user/nyc) (Ping timeout: 268 seconds)
2024-05-24 12:38:23 +0200Square(~Square4@user/square) (Ping timeout: 264 seconds)
2024-05-24 12:39:42 +0200misterfish(~misterfis@87.215.131.102)
2024-05-24 12:43:33 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-05-24 12:49:24 +0200phma(~phma@host-67-44-208-125.hnremote.net) (Read error: Connection reset by peer)
2024-05-24 12:50:18 +0200phma(phma@2001:5b0:2144:33c8:7323:dedf:ffc:f4d8)
2024-05-24 12:55:55 +0200kaol(~kaol@94-237-42-30.nl-ams1.upcloud.host)
2024-05-24 13:00:07 +0200danse-nr3(~danse-nr3@151.37.240.28)
2024-05-24 13:01:24 +0200xff0x(~xff0x@2405:6580:b080:900:18cf:170e:58a4:4739)
2024-05-24 13:03:35 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds)
2024-05-24 13:03:52 +0200puke(~puke@user/puke)
2024-05-24 13:04:12 +0200puke(~puke@user/puke) (Max SendQ exceeded)
2024-05-24 13:05:19 +0200puke(~puke@user/puke)
2024-05-24 13:05:50 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-05-24 13:06:22 +0200puke(~puke@user/puke) (Max SendQ exceeded)
2024-05-24 13:07:49 +0200puke(~puke@user/puke)
2024-05-24 13:08:52 +0200puke(~puke@user/puke) (Max SendQ exceeded)
2024-05-24 13:09:08 +0200mei(~mei@user/mei) (Remote host closed the connection)
2024-05-24 13:10:19 +0200puke(~puke@user/puke)
2024-05-24 13:10:19 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-05-24 13:11:08 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-24 13:11:32 +0200mei(~mei@user/mei)
2024-05-24 13:16:31 +0200Midjak(~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep)
2024-05-24 13:17:26 +0200danse-nr3(~danse-nr3@151.37.240.28) (Ping timeout: 268 seconds)
2024-05-24 13:17:42 +0200danse-nr3(~danse-nr3@151.57.248.171)
2024-05-24 13:28:10 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 256 seconds)
2024-05-24 13:28:47 +0200bontaq(~user@ool-45779c03.dyn.optonline.net)
2024-05-24 13:39:24 +0200Luj(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat)
2024-05-24 13:40:10 +0200Luj(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5)
2024-05-24 13:49:11 +0200euphores(~SASL_euph@user/euphores) (Ping timeout: 252 seconds)
2024-05-24 13:50:36 +0200tabemann(~tabemann@2600:1700:7990:24e0:17cd:a989:eef5:428c) (Remote host closed the connection)
2024-05-24 13:50:54 +0200tabemann(~tabemann@2600:1700:7990:24e0:1adf:6622:dda2:d177)
2024-05-24 13:53:24 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-05-24 13:53:39 +0200chele(~chele@user/chele) (Remote host closed the connection)
2024-05-24 13:55:36 +0200euphores(~SASL_euph@user/euphores)
2024-05-24 13:59:18 +0200Luj(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat)
2024-05-24 13:59:42 +0200rvalue-(~rvalue@user/rvalue)
2024-05-24 13:59:54 +0200Luj(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5)
2024-05-24 13:59:59 +0200Square2(~Square@user/square) (Ping timeout: 268 seconds)
2024-05-24 14:00:35 +0200rvalue(~rvalue@user/rvalue) (Ping timeout: 264 seconds)
2024-05-24 14:04:44 +0200fizbin__(~fizbin@user/fizbin)
2024-05-24 14:05:46 +0200rvalue-rvalue
2024-05-24 14:06:07 +0200rvalue(~rvalue@user/rvalue) (Remote host closed the connection)
2024-05-24 14:06:29 +0200rvalue(~rvalue@user/rvalue)
2024-05-24 14:07:14 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-05-24 14:11:00 +0200acidjnk(~acidjnk@p200300d6e714dc3791789ad6b7790594.dip0.t-ipconnect.de)
2024-05-24 14:11:54 +0200mei(~mei@user/mei) (Remote host closed the connection)
2024-05-24 14:14:17 +0200mei(~mei@user/mei)
2024-05-24 14:26:35 +0200Odys(~Odys@2a01:cb19:caa:2d00:a964:4330:1d77:e6c2)
2024-05-24 14:27:21 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-05-24 14:27:31 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Remote host closed the connection)
2024-05-24 14:29:03 +0200 <Odys> Hi ! I'm a new beginner in Haskell - and I often face that type of error message when compiling an hs file to test my code : nteract.hs:5:1: error:
2024-05-24 14:29:04 +0200 <Odys>     Could not load module `System.Directory'
2024-05-24 14:29:04 +0200 <Odys>     It is a member of the hidden package `directory-1.3.7.1'.
2024-05-24 14:29:05 +0200 <Odys>     You can run `:set -package directory' to expose it.
2024-05-24 14:29:05 +0200 <Odys>     (Note: this unloads all the modules in the current scope.)
2024-05-24 14:29:06 +0200 <Odys>     Use -v (or `:set -v` in ghci) to see a list of the files searched for.
2024-05-24 14:29:11 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-05-24 14:30:03 +0200 <Odys> I tried various way to solve this with ghc-pkg command line but I still face that error
2024-05-24 14:30:36 +0200 <Odys> Some advice to handle correctly that kind a issue?
2024-05-24 14:30:59 +0200fizbin__(~fizbin@user/fizbin) (Ping timeout: 272 seconds)
2024-05-24 14:43:43 +0200Odys(~Odys@2a01:cb19:caa:2d00:a964:4330:1d77:e6c2) (Quit: Client closed)
2024-05-24 14:45:38 +0200jstolarek(~jstolarek@staticline-31-183-165-14.toya.net.pl)
2024-05-24 14:52:53 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-05-24 14:53:48 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2024-05-24 15:04:33 +0200mechap(~mechap@user/mechap) (Quit: WeeChat 4.2.2)
2024-05-24 15:06:41 +0200ystael(~ystael@user/ystael)
2024-05-24 15:10:02 +0200zer0bitz_(~zer0bitz@user/zer0bitz)
2024-05-24 15:12:32 +0200AlexNoo_AlexNoo
2024-05-24 15:14:05 +0200zer0bitz(~zer0bitz@user/zer0bitz) (Ping timeout: 256 seconds)
2024-05-24 15:19:56 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-05-24 15:20:48 +0200euleritian(~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de)
2024-05-24 15:24:14 +0200euleritian(~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-24 15:24:42 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-24 15:25:16 +0200son0p(~ff@181.32.150.11)
2024-05-24 15:38:59 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2024-05-24 15:39:34 +0200euleritian(~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de)
2024-05-24 15:41:48 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2024-05-24 15:45:29 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2024-05-24 15:51:59 +0200causal(~eric@50.35.88.207) (Quit: WeeChat 4.1.1)
2024-05-24 16:02:17 +0200danse-nr3(~danse-nr3@151.57.248.171) (Ping timeout: 252 seconds)
2024-05-24 16:14:04 +0200euleritian(~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-24 16:14:12 +0200mvk(~mvk@2607:fea8:5c96:5800::8cbf)
2024-05-24 16:14:28 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-24 16:15:33 +0200mvk(~mvk@2607:fea8:5c96:5800::8cbf) (Client Quit)
2024-05-24 16:28:24 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1)
2024-05-24 16:30:24 +0200jstolarek(~jstolarek@staticline-31-183-165-14.toya.net.pl) (Quit: leaving)
2024-05-24 16:32:57 +0200killy(~killy@staticline-31-183-165-14.toya.net.pl)
2024-05-24 16:33:01 +0200killy(~killy@staticline-31-183-165-14.toya.net.pl) (Client Quit)
2024-05-24 16:33:07 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2024-05-24 16:33:48 +0200euleritian(~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de)
2024-05-24 16:34:06 +0200killy(~killy@staticline-31-183-165-14.toya.net.pl)
2024-05-24 16:34:29 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 240 seconds)
2024-05-24 16:35:36 +0200killy(~killy@staticline-31-183-165-14.toya.net.pl) (Client Quit)
2024-05-24 16:36:04 +0200killy(~killy@staticline-31-183-165-14.toya.net.pl)
2024-05-24 16:37:35 +0200killy(~killy@staticline-31-183-165-14.toya.net.pl) (Client Quit)
2024-05-24 16:37:49 +0200killy(~killy@staticline-31-183-165-14.toya.net.pl)
2024-05-24 16:39:41 +0200mvk(~mvk@2607:fea8:5c96:5800::8cbf)
2024-05-24 16:40:25 +0200danse-nr3(~danse-nr3@151.57.248.171)
2024-05-24 16:40:31 +0200mvk(~mvk@2607:fea8:5c96:5800::8cbf) (Client Quit)
2024-05-24 16:42:35 +0200killy(~killy@staticline-31-183-165-14.toya.net.pl) (Client Quit)
2024-05-24 16:42:49 +0200killy(~killy@staticline-31-183-165-14.toya.net.pl)
2024-05-24 16:43:23 +0200killy(~killy@staticline-31-183-165-14.toya.net.pl) (Client Quit)
2024-05-24 16:43:47 +0200killy(~killy@staticline-31-183-165-14.toya.net.pl)
2024-05-24 16:44:06 +0200remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!)
2024-05-24 16:55:15 +0200Sgeo(~Sgeo@user/sgeo)
2024-05-24 16:59:21 +0200ft(~ft@p508db8fc.dip0.t-ipconnect.de)
2024-05-24 17:03:08 +0200justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 268 seconds)
2024-05-24 17:07:09 +0200jespada_(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net)
2024-05-24 17:11:13 +0200jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 272 seconds)
2024-05-24 17:14:22 +0200danse-nr3(~danse-nr3@151.57.248.171) (Read error: Connection reset by peer)
2024-05-24 17:14:47 +0200danse-nr3(~danse-nr3@151.57.154.235)
2024-05-24 17:16:42 +0200euleritian(~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-24 17:18:25 +0200euleritian(~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de)
2024-05-24 17:21:59 +0200misterfish(~misterfis@87.215.131.102) (Ping timeout: 272 seconds)
2024-05-24 17:25:02 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-05-24 17:25:43 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-05-24 17:26:53 +0200danse-nr3(~danse-nr3@151.57.154.235) (Remote host closed the connection)
2024-05-24 17:29:59 +0200euleritian(~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) (Ping timeout: 264 seconds)
2024-05-24 17:30:45 +0200euleritian(~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de)
2024-05-24 17:31:54 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-05-24 17:38:27 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-05-24 17:38:32 +0200euleritian(~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-24 17:38:49 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-24 17:39:04 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2024-05-24 17:41:50 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-24 17:55:31 +0200johnw(~johnw@69.62.242.138) (Quit: ZNC - http://znc.in)
2024-05-24 17:55:59 +0200johnw(~johnw@69.62.242.138)
2024-05-24 18:00:44 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2024-05-24 18:00:54 +0200euleritian(~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de)
2024-05-24 18:01:14 +0200euleritian(~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-24 18:01:31 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-24 18:05:41 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2024-05-24 18:07:16 +0200killy(~killy@staticline-31-183-165-14.toya.net.pl) (Quit: leaving)
2024-05-24 18:09:02 +0200euleritian(~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de)
2024-05-24 18:12:44 +0200AlexNoo(~AlexNoo@5.139.233.209) (Read error: Connection reset by peer)
2024-05-24 18:13:08 +0200AlexNoo(~AlexNoo@5.139.233.209)
2024-05-24 18:19:27 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2024-05-24 18:23:12 +0200remedan(~remedan@ip-62-245-108-153.bb.vodafone.cz)
2024-05-24 18:35:07 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2024-05-24 18:39:17 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-05-24 18:40:57 +0200Midjak(~MarciZ@82.66.147.146)
2024-05-24 18:53:41 +0200misterfish(~misterfis@84.53.85.146)
2024-05-24 18:53:59 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds)
2024-05-24 18:59:40 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-05-24 19:00:57 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-05-24 19:03:41 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2024-05-24 19:08:31 +0200justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 260 seconds)
2024-05-24 19:09:52 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 256 seconds)
2024-05-24 19:09:55 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-24 19:10:23 +0200euleritian(~euleritia@dynamic-176-006-186-234.176.6.pool.telefonica.de) (Ping timeout: 256 seconds)
2024-05-24 19:12:39 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-24 19:22:58 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-24 19:24:14 +0200justsomeguy(~justsomeg@user/justsomeguy)
2024-05-24 19:25:15 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-24 19:29:30 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-05-24 19:30:16 +0200aforemny_(~aforemny@i59F516E8.versanet.de) (Ping timeout: 256 seconds)
2024-05-24 19:33:24 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6)
2024-05-24 19:38:19 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-05-24 19:46:18 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2024-05-24 19:50:38 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2024-05-24 19:55:04 +0200Square2(~Square@user/square)
2024-05-24 19:57:23 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2024-05-24 19:58:55 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-05-24 20:18:35 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds)
2024-05-24 20:19:56 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-05-24 20:29:15 +0200noumenon(~noumenon@113.51-175-156.customer.lyse.net)
2024-05-24 20:33:50 +0200phma(phma@2001:5b0:2144:33c8:7323:dedf:ffc:f4d8) (Read error: Connection reset by peer)
2024-05-24 20:34:47 +0200phma(~phma@host-67-44-208-130.hnremote.net)
2024-05-24 20:40:16 +0200rvalue-(~rvalue@user/rvalue)
2024-05-24 20:40:56 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-24 20:41:26 +0200rvalue(~rvalue@user/rvalue) (Ping timeout: 268 seconds)
2024-05-24 20:41:38 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2024-05-24 20:44:08 +0200rvalue-rvalue
2024-05-24 20:47:56 +0200zer0bitz_zer0bitz
2024-05-24 20:51:18 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 256 seconds)
2024-05-24 20:59:28 +0200troydm(~troydm@user/troydm)
2024-05-24 21:00:16 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 260 seconds)
2024-05-24 21:01:41 +0200sawilagar(~sawilagar@user/sawilagar) (Quit: Leaving)
2024-05-24 21:04:12 +0200cheater_(~Username@user/cheater)
2024-05-24 21:07:31 +0200cheater(~Username@user/cheater) (Ping timeout: 260 seconds)
2024-05-24 21:07:38 +0200cheater_cheater
2024-05-24 21:08:33 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-24 21:17:42 +0200misterfish(~misterfis@84.53.85.146)
2024-05-24 21:24:26 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Excess Flood)
2024-05-24 21:25:01 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-24 21:25:40 +0200andrei_n(~andrei.n@2a02:a03f:c091:a800:4ab0:e88:8e5a:2e2b)
2024-05-24 21:30:38 +0200SteelBlueSilk(~SteelBlue@user/SteelBlueSilk) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in)
2024-05-24 21:31:27 +0200SteelBlueSilk(~SteelBlue@c-98-42-249-36.hsd1.ca.comcast.net)
2024-05-24 21:31:27 +0200SteelBlueSilk(~SteelBlue@c-98-42-249-36.hsd1.ca.comcast.net) (Changing host)
2024-05-24 21:31:27 +0200SteelBlueSilk(~SteelBlue@user/SteelBlueSilk)
2024-05-24 21:44:54 +0200ph88(~ph88@2a02:8109:9e26:c800:4da2:4a66:3d2f:f69f)
2024-05-24 21:47:48 +0200 <ph88> can anyone shed some light on this type error i'm getting? https://play.haskell.org/saved/PXbKLQAK
2024-05-24 21:55:01 +0200 <Leary> ph88: The signature of `getDataID` does not mention `c` anywhere, so how is GHC supposed to infer what instance you want when you use it? GHC is warning you in advance that it can't.
2024-05-24 21:56:47 +0200 <Leary> Options, from best to worst: move it into a superclass; take a `proxy c` argument; enable AllowAmbiguousTypes and use TypeApplications.
2024-05-24 21:58:15 +0200 <ph88> what's a superclass ?
2024-05-24 21:58:53 +0200 <ph88> i will search for it
2024-05-24 21:59:34 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2024-05-24 22:01:18 +0200 <ph88> hmm not sure about superclass https://play.haskell.org/saved/cogMGbIx how can i pass in c ?
2024-05-24 22:04:29 +0200 <Leary> If `c` doesn't need to be part of the instance head, you may want to place the constraint `c a` on `getDependencies`.
2024-05-24 22:05:39 +0200noumenon(~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving)
2024-05-24 22:20:18 +0200 <ph88> Leary, how can i fill in in the c in that case? https://play.haskell.org/saved/bVH6p5Og
2024-05-24 22:22:43 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Quit: So long and thanks for all the fish)
2024-05-24 22:24:29 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-24 22:28:37 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Remote host closed the connection)
2024-05-24 22:29:45 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-24 22:30:53 +0200andrei_n(~andrei.n@2a02:a03f:c091:a800:4ab0:e88:8e5a:2e2b) (Quit: Leaving)
2024-05-24 22:32:58 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-24 22:37:08 +0200johnw(~johnw@69.62.242.138) (Quit: ZNC - http://znc.in)
2024-05-24 22:37:31 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds)
2024-05-24 22:38:51 +0200zenex(~zenex@cpc157775-rdng31-2-0-cust836.15-3.cable.virginm.net)
2024-05-24 22:39:29 +0200zenex(~zenex@cpc157775-rdng31-2-0-cust836.15-3.cable.virginm.net) (Remote host closed the connection)
2024-05-24 22:39:52 +0200zenex(~zenex@cpc157775-rdng31-2-0-cust836.15-3.cable.virginm.net)
2024-05-24 22:40:10 +0200 <lxsameer> what haskell code formatter do the cool kids use?
2024-05-24 22:40:18 +0200 <Leary> ph88: Honestly I think we're too deep into XY land for that question to have a good answer, but I suppose you might want something like this: https://play.haskell.org/saved/6CcKSbsJ
2024-05-24 22:40:20 +0200zenex(~zenex@cpc157775-rdng31-2-0-cust836.15-3.cable.virginm.net) (Remote host closed the connection)
2024-05-24 22:41:24 +0200 <Leary> lxsameer: We use our own aesthetics.
2024-05-24 22:44:46 +0200 <monochrom> When in emacs haskell-mode I already format my code with its help at writing time.
2024-05-24 22:45:14 +0200 <monochrom> "well-formatted by construction"
2024-05-24 22:46:05 +0200 <sm> lxsameer: this kid just uses VS Code's tab/shift tab
2024-05-24 22:46:06 +0200 <lxsameer> monochrom: so stylish-haskell then?
2024-05-24 22:46:15 +0200 <lxsameer> thanks folks
2024-05-24 22:46:22 +0200 <monochrom> Never heard of that.
2024-05-24 22:47:41 +0200 <lxsameer> monochrom: that's what haskell-mode uses, you need to enable it though
2024-05-24 22:48:00 +0200 <EvanR> lxsameer, there's https://ormolu-live.tweag.io/
2024-05-24 22:48:00 +0200 <monochrom> Like, someone is going to ask "hey which service do you cool kids use to build websites? wordpress? square space?" and I will be like "I write html and css myself".
2024-05-24 22:48:08 +0200 <monochrom> I didn't enable it.
2024-05-24 22:48:25 +0200 <monochrom> I just press tab to cycle through candidate indentation points.
2024-05-24 22:48:53 +0200 <EvanR> all auto formatters are guaranteed to offend your sensibilities, or your money back
2024-05-24 22:49:10 +0200 <monochrom> OK these days I write markdown then run pandoc. But I still don't even believe in wordpress or square space or whatever.
2024-05-24 22:49:32 +0200phma(~phma@host-67-44-208-130.hnremote.net) (Read error: Connection reset by peer)
2024-05-24 22:49:58 +0200 <lxsameer> I like to have code formatters, it's one less thing to be worried about
2024-05-24 22:50:20 +0200 <lxsameer> and it a team, it reduces unnecessary friction on PRs :D
2024-05-24 22:50:37 +0200phma(~phma@host-67-44-208-48.hnremote.net)
2024-05-24 22:50:54 +0200 <EvanR> creates unnecessary friction when the autoformatter does something objectively wrong?!
2024-05-24 22:52:12 +0200 <monochrom> There is somewhere a theorem that says that for Haskell if you don't have correct indentation in the first place then no formatter can correct it.
2024-05-24 22:52:25 +0200 <lxsameer> EvanR: if it does something objectively wrong, then its a tooling problem
2024-05-24 22:52:31 +0200 <monochrom> So unlike C and PHP, code formatter for Haskell has less value.
2024-05-24 22:52:38 +0200 <ski> and people have differing opinions on style, and it's not obvious that there's always one best/preferred option
2024-05-24 22:52:53 +0200 <lxsameer> monochrom: interesting. that makes sense
2024-05-24 22:53:03 +0200 <ski> (sometimes my opinion in one situation differs from my opinion in another circumstance)
2024-05-24 22:53:33 +0200 <monochrom> You can still keep your "so the whole team stays consistent".
2024-05-24 22:54:09 +0200 <monochrom> But it is NOT one fewer thing to worry about. You still worry about manually indenting correctly somehow.
2024-05-24 22:54:47 +0200 <monochrom> Haskell code formatter can only do trivial things like "change 2 spaces to 3.1415 spaces". It can't fix your mistakes.
2024-05-24 22:54:55 +0200 <lxsameer> that's true in Haskell though
2024-05-24 22:54:59 +0200pavonia(~user@user/siracusa)
2024-05-24 22:56:45 +0200 <lxsameer> anyway, thanks for sharing your experience folks
2024-05-24 22:57:38 +0200skitends to err on the side of encouraging personal judgement and taste (informed by relevant concerns and common alternatives considered by people)
2024-05-24 22:58:33 +0200 <EvanR> since we're not using valuable brain cycles juggling dynamic types in our heads, we can use them for important stuff like judgement and taste in formatting the code!
2024-05-24 22:58:47 +0200 <monochrom> But I follow most of this style guide, and share with my students: https://github.com/tibbe/haskell-style-guide/blob/master/haskell-style.md
2024-05-24 22:59:11 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-05-24 22:59:18 +0200 <monochrom> OTOH most of my students just use vscode and its haskell plugin, which probably already does its own thing about format.
2024-05-24 22:59:45 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2024-05-24 22:59:46 +0200 <ski> yea, that's a nice one
2024-05-24 23:01:25 +0200phma(~phma@host-67-44-208-48.hnremote.net) (Read error: Connection reset by peer)
2024-05-24 23:12:42 +0200johnw(~johnw@69.62.242.138)
2024-05-24 23:14:03 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 256 seconds)
2024-05-24 23:18:53 +0200paddymahoney(~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds)
2024-05-24 23:27:19 +0200bontaq(~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 268 seconds)
2024-05-24 23:27:45 +0200 <ph88> Leary, thanks !
2024-05-24 23:28:54 +0200phma(~phma@host-67-44-208-17.hnremote.net)
2024-05-24 23:30:25 +0200 <ph88> Leary, why did you make it cs:cs ?
2024-05-24 23:31:08 +0200paddymahoney(~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com)
2024-05-24 23:31:40 +0200 <Leary> That's `(HasDataID cs):cs`.
2024-05-24 23:32:14 +0200 <ph88> ah ok
2024-05-24 23:33:28 +0200Guest|51(~Guest|51@pool-96-244-40-76.bltmmd.fios.verizon.net)
2024-05-24 23:34:09 +0200Guest|51(~Guest|51@pool-96-244-40-76.bltmmd.fios.verizon.net) (Client Quit)
2024-05-24 23:42:11 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-05-24 23:42:13 +0200causal(~eric@50.35.88.207)
2024-05-24 23:42:34 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 260 seconds)
2024-05-24 23:45:03 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-24 23:45:57 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-24 23:53:27 +0200ikimmit(~ikimmit@net-93-70-66-108.cust.vodafonedsl.it)
2024-05-24 23:53:45 +0200michalz(~michalz@185.246.207.215) (Quit: ZNC 1.9.0 - https://znc.in)
2024-05-24 23:54:49 +0200ikimmit(~ikimmit@net-93-70-66-108.cust.vodafonedsl.it) (Remote host closed the connection)
2024-05-24 23:55:06 +0200gmg(~user@user/gehmehgeh)