IRCBrowse

2025/01/12

2025-01-12 00:00:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 00:04:34 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2025-01-12 00:11:02 +0100troydm(~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset)
2025-01-12 00:13:54 +0100mhatta(~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.9.1+deb2+b1 - https://znc.in)
2025-01-12 00:15:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 00:16:41 +0100mhatta(~mhatta@www21123ui.sakura.ne.jp)
2025-01-12 00:17:06 +0100troydm(~troydm@user/troydm) troydm
2025-01-12 00:20:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2025-01-12 00:28:33 +0100dtman34(~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2025-01-12 00:29:52 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-01-12 00:31:05 +0100hiredman(~hiredman@frontier1.downey.family) (Quit: Lost terminal)
2025-01-12 00:31:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 00:35:40 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-12 00:37:59 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds)
2025-01-12 00:46:28 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 00:49:44 +0100hiredman(~hiredman@frontier1.downey.family) hiredman
2025-01-12 00:51:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-12 00:54:36 +0100dtman34(~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) dtman34
2025-01-12 00:56:30 +0100tomku(~tomku@user/tomku) tomku
2025-01-12 00:56:33 +0100mreh(~matthew@host86-146-25-121.range86-146.btcentralplus.com) (Ping timeout: 246 seconds)
2025-01-12 00:57:44 +0100Garbanzo(~Garbanzo@2602:304:6eac:dc10::46)
2025-01-12 01:01:32 +0100dtman34(~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2025-01-12 01:01:52 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 01:03:23 +0100dtman34(~dtman34@2601:447:d080:1a3c:198e:8888:ba04:6650) dtman34
2025-01-12 01:07:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2025-01-12 01:08:48 +0100dtman34(~dtman34@2601:447:d080:1a3c:198e:8888:ba04:6650) (Ping timeout: 246 seconds)
2025-01-12 01:11:12 +0100notzmv(~umar@user/notzmv) (Ping timeout: 265 seconds)
2025-01-12 01:12:18 +0100notzmv(~umar@user/notzmv) notzmv
2025-01-12 01:17:14 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 01:21:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2025-01-12 01:22:28 +0100 <monochrom> Clearly, design patterns and anti-patterns depend on the language.
2025-01-12 01:23:14 +0100 <monochrom> I had a student who tried to write Haskell in Python. I gave them a very low mark. If you use Python, you play to the strength of Python. If you use Haskell, you play to the strength of Haskell.
2025-01-12 01:24:55 +0100 <monochrom> In that student's case, the assignment was to first use algebraic data types in Haskell to define a type for boolean expressions and functions for evaluations. Then the next question is "how would you code this up in Python?"
2025-01-12 01:26:02 +0100 <monochrom> Clearly, in Python you would not make an algebraic type, you would make a Not class, And class, Or class; and the evaluation function would be a common method.
2025-01-12 01:26:07 +0100dtman34(~dtman34@2601:447:d080:1a3c:198e:8888:ba04:6650) dtman34
2025-01-12 01:26:23 +0100 <c_wraith> but then you've turned the expression problem sideways!
2025-01-12 01:26:48 +0100 <c_wraith> the python should be using the visitor pattern. :P
2025-01-12 01:27:01 +0100 <monochrom> But the student was too excited by Haskell, so they went overboard and translate Haskell pattern matching to Python. "if instanceof(e, Or) ... elif instanceof(e, And) .. elif ..."
2025-01-12 01:27:23 +0100 <c_wraith> so... they should have used the visitor pattern.
2025-01-12 01:27:55 +0100 <monochrom> I would be very impressed if they used the visitor pattern.
2025-01-12 01:28:23 +0100 <c_wraith> Huh. I guess the visitor pattern is sort of a catamorphism that uses algebras encoded as an object.
2025-01-12 01:28:35 +0100 <monochrom> For mere mortals, the composite pattern would be good enough and pretty easy to understand actually.
2025-01-12 01:29:17 +0100 <monochrom> But the whole point of Python and Java is if you write "instanceof" you're commiting a crime.
2025-01-12 01:30:42 +0100 <c_wraith> crimes against parametricity
2025-01-12 01:30:52 +0100 <monochrom> haha
2025-01-12 01:31:45 +0100 <c_wraith> Lots of python code commits crimes against parametricity
2025-01-12 01:32:02 +0100 <c_wraith> It tries to be "friendly" instead of "type safe"
2025-01-12 01:32:47 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 01:33:09 +0100 <c_wraith> that's less common in java, but not absent. (Same root cause...)
2025-01-12 01:37:40 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2025-01-12 01:46:23 +0100 <haskellbridge> <Bowuigi> c_wraith re:catamorphism https://www.haskellforall.com/2021/01/the-visitor-pattern-is-essentially-same.html this is relevant I guess
2025-01-12 01:48:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 01:52:40 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-12 02:03:32 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 02:05:14 +0100stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2025-01-12 02:05:29 +0100sprotte24(~sprotte24@p200300d16f109200d837c3a3f02cbb16.dip0.t-ipconnect.de) (Quit: Leaving)
2025-01-12 02:06:58 +0100stiell(~stiell@gateway/tor-sasl/stiell) stiell
2025-01-12 02:08:14 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-12 02:11:44 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Quit: So long and thanks for all the fish)
2025-01-12 02:12:07 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) TheCoffeMaker
2025-01-12 02:18:54 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 02:20:44 +0100homo(~homo@user/homo) (Read error: Connection reset by peer)
2025-01-12 02:22:11 +0100homo(~homo@user/homo) homo
2025-01-12 02:26:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2025-01-12 02:32:15 +0100califax(~califax@user/califx) (Remote host closed the connection)
2025-01-12 02:36:56 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 02:37:02 +0100otto_s(~user@p5de2fce5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-01-12 02:38:40 +0100otto_s(~user@p4ff27ed7.dip0.t-ipconnect.de)
2025-01-12 02:41:41 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-12 02:43:09 +0100califax(~califax@user/califx) califx
2025-01-12 02:52:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 02:52:46 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds)
2025-01-12 02:57:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-12 02:58:30 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 265 seconds)
2025-01-12 03:07:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 03:08:55 +0100acidjnk_new(~acidjnk@p200300d6e7283f9009bc3096dfcfc887.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-01-12 03:12:31 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-12 03:13:08 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-01-12 03:23:05 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 03:23:38 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 265 seconds)
2025-01-12 03:25:26 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-01-12 03:27:34 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-12 03:31:55 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 03:34:09 +0100dysthesis(~dysthesis@user/dysthesis) dysthesis
2025-01-12 03:34:43 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
2025-01-12 03:36:19 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-01-12 03:36:43 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2025-01-12 03:47:14 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 03:51:16 +0100dysthesis(~dysthesis@user/dysthesis) (Remote host closed the connection)
2025-01-12 03:55:28 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2025-01-12 03:59:36 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds)
2025-01-12 04:05:03 +0100op_4(~tslil@user/op-4/x-9116473) (Remote host closed the connection)
2025-01-12 04:05:34 +0100op_4(~tslil@user/op-4/x-9116473) op_4
2025-01-12 04:06:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 04:13:06 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-12 04:17:33 +0100homo(~homo@user/homo) (Quit: Leaving)
2025-01-12 04:24:10 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 04:25:01 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 265 seconds)
2025-01-12 04:25:46 +0100 <Square> How would I write a performance test for a "value". I want to compute it N times and see how long it takes
2025-01-12 04:28:49 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-12 04:30:25 +0100img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-01-12 04:32:11 +0100img(~img@user/img) img
2025-01-12 04:37:21 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-01-12 04:39:34 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 04:44:13 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-12 04:44:24 +0100terrorjack45(~terrorjac@2a01:4f8:c17:a66e::) (Quit: The Lounge - https://thelounge.chat)
2025-01-12 04:45:38 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-01-12 04:46:03 +0100terrorjack45(~terrorjac@2a01:4f8:c17:a66e::) terrorjack
2025-01-12 04:46:30 +0100 <Square> I guess my question is, how do I make sure a value isn't cached, but instead recalculated
2025-01-12 04:47:18 +0100 <c_wraith> write the thing that calculates it as a function. use criterion to pass the function its input.
2025-01-12 04:49:40 +0100 <c_wraith> criterion uses module boundaries to prevent inlining so that GHC doesn't notice it's passing the same argument to the same function over and over.
2025-01-12 04:50:01 +0100 <c_wraith> it also does the benchmarking. Kind of like that's what it was designed to do
2025-01-12 04:54:57 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 04:58:19 +0100 <Square> c_wraith, thanks. Yeah, got criterion up and running
2025-01-12 04:59:25 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-12 05:10:19 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 05:12:08 +0100sayurc(~sayurc@169.150.203.34) sayurc
2025-01-12 05:14:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-12 05:25:41 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 05:30:12 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-12 05:36:15 +0100stef204(~stef204@user/stef204) (Ping timeout: 252 seconds)
2025-01-12 05:41:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 05:45:26 +0100 <Leary> tomsmeding: `null . drop 1 . nub`
2025-01-12 05:47:46 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-12 05:50:07 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-01-12 05:54:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 05:55:27 +0100 <Leary> (you can also replace `nub` with `group` if you want the performance to be more obvious, but they should be pretty similar)
2025-01-12 05:59:14 +0100sayurc(~sayurc@169.150.203.34) (Quit: Konversation terminated!)
2025-01-12 06:00:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2025-01-12 06:07:39 +0100simon1(~simon@24-122-69-233.resi.cgocable.ca)
2025-01-12 06:10:55 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 06:14:18 +0100Digit(~user@user/digit) (Read error: Connection reset by peer)
2025-01-12 06:15:10 +0100Digit(~user@user/digit) Digit
2025-01-12 06:15:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-12 06:26:17 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 06:29:50 +0100weary-traveler(~user@user/user363627) (Read error: Connection reset by peer)
2025-01-12 06:30:06 +0100weary-traveler(~user@user/user363627) user363627
2025-01-12 06:31:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-12 06:42:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 06:43:45 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds)
2025-01-12 06:45:17 +0100sayurc(~sayurc@169.150.203.34) sayurc
2025-01-12 06:46:13 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2025-01-12 06:55:48 +0100sayurc(~sayurc@169.150.203.34) (Ping timeout: 245 seconds)
2025-01-12 06:55:56 +0100sayurc_(~sayurc@177.136.41.198) sayurc
2025-01-12 06:57:27 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 06:57:46 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-01-12 07:01:22 +0100WorldControl(~juan@195.sub-75-246-230.myvzw.com)
2025-01-12 07:01:36 +0100WorldControl(~juan@195.sub-75-246-230.myvzw.com) (Remote host closed the connection)
2025-01-12 07:02:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-12 07:03:28 +0100Garbanzo(~Garbanzo@2602:304:6eac:dc10::46) (Remote host closed the connection)
2025-01-12 07:10:09 +0100duckworld(~duckworld@user/duckworld) (Read error: Connection reset by peer)
2025-01-12 07:10:34 +0100duckworld(~duckworld@user/duckworld) duckworld
2025-01-12 07:11:18 +0100sayurc_(~sayurc@177.136.41.198) (Ping timeout: 252 seconds)
2025-01-12 07:11:35 +0100sayurc_(~sayurc@169.150.203.34) sayurc
2025-01-12 07:12:49 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 07:17:34 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-12 07:27:23 +0100sayurc_(~sayurc@169.150.203.34) (Quit: Konversation terminated!)
2025-01-12 07:28:11 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 07:34:20 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2025-01-12 07:34:36 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit)
2025-01-12 07:34:57 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-12 07:38:43 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-01-12 07:46:14 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 07:51:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2025-01-12 07:52:21 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 252 seconds)
2025-01-12 07:53:13 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2025-01-12 07:55:25 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-01-12 07:55:37 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 08:00:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-12 08:00:31 +0100rvalue(~rvalue@user/rvalue) rvalue
2025-01-12 08:00:44 +0100CiaoSen(~Jura@2a05:5800:2c9:5b00:ca4b:d6ff:fec1:99da) CiaoSen
2025-01-12 08:01:24 +0100euphores(~SASL_euph@user/euphores) euphores
2025-01-12 08:15:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 08:20:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-12 08:31:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 08:33:19 +0100Feuermagier(~Feuermagi@user/feuermagier) Feuermagier
2025-01-12 08:35:23 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2025-01-12 08:46:25 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 08:50:48 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2025-01-12 08:56:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 08:59:38 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2025-01-12 09:00:01 +0100tt12310978324354(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat)
2025-01-12 09:00:01 +0100caconym(~caconym@user/caconym) (Quit: bye)
2025-01-12 09:00:39 +0100caconym(~caconym@user/caconym) caconym
2025-01-12 09:01:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-12 09:01:21 +0100nek0(~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat)
2025-01-12 09:03:56 +0100tt12310978324354(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231
2025-01-12 09:17:33 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 09:17:33 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-12 09:19:01 +0100Square(~Square@user/square) (Ping timeout: 252 seconds)
2025-01-12 09:20:59 +0100nek0(~nek0@user/nek0) nek0
2025-01-12 09:24:23 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-12 09:35:36 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 09:38:54 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-12 09:40:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2025-01-12 09:41:35 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-12 09:45:18 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-12 09:46:39 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-01-12 09:48:04 +0100__monty__(~toonn@user/toonn) toonn
2025-01-12 09:49:36 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-12 09:50:59 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 09:52:39 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich)
2025-01-12 09:53:44 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-01-12 09:55:07 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2025-01-12 09:55:50 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2025-01-12 09:56:04 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-12 09:56:28 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2025-01-12 09:57:41 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 09:58:22 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-12 09:58:46 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2025-01-12 10:01:37 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-12 10:02:15 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2025-01-12 10:03:26 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-12 10:03:57 +0100eL_Bart0(eL_Bart0@dietunichtguten.org) (Ping timeout: 246 seconds)
2025-01-12 10:06:37 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-12 10:10:07 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-12 10:10:58 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-12 10:14:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 10:16:31 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-12 10:18:00 +0100raym(~ray@user/raym) (Ping timeout: 272 seconds)
2025-01-12 10:18:35 +0100raym(~ray@user/raym) raym
2025-01-12 10:18:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-12 10:19:34 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-12 10:22:06 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-12 10:22:38 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
2025-01-12 10:22:48 +0100target_i(~target_i@user/target-i/x-6023099) target_i
2025-01-12 10:25:35 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-12 10:28:08 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-12 10:29:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 10:31:41 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-12 10:32:55 +0100acidjnk_new(~acidjnk@p200300d6e7283f06145d2259bf66d21b.dip0.t-ipconnect.de) acidjnk
2025-01-12 10:33:10 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-12 10:33:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-12 10:36:12 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-01-12 10:37:23 +0100Feuermagier(~Feuermagi@user/feuermagier) (Quit: Leaving)
2025-01-12 10:37:30 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-12 10:43:26 +0100mreh(~matthew@host86-146-25-121.range86-146.btcentralplus.com)
2025-01-12 10:44:15 +0100CiaoSen(~Jura@2a05:5800:2c9:5b00:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds)
2025-01-12 10:48:18 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 265 seconds)
2025-01-12 10:50:11 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-01-12 10:50:34 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 10:55:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2025-01-12 10:58:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 10:59:24 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2025-01-12 11:06:08 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2025-01-12 11:06:09 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-12 11:07:35 +0100 <tomsmeding> Leary: cute!
2025-01-12 11:09:10 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-12 11:10:09 +0100econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2025-01-12 11:15:42 +0100olivial(~benjaminl@user/benjaminl) (Read error: Connection reset by peer)
2025-01-12 11:15:57 +0100olivial(~benjaminl@user/benjaminl) benjaminl
2025-01-12 11:17:03 +0100Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-01-12 11:21:41 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 11:22:29 +0100anpad(~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in)
2025-01-12 11:24:18 +0100anpad(~pandeyan@user/anpad) anpad
2025-01-12 11:26:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2025-01-12 11:27:54 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-12 11:32:07 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-12 11:34:41 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-12 11:36:01 +0100raym(~ray@user/raym) (Ping timeout: 252 seconds)
2025-01-12 11:36:34 +0100sprotte24(~sprotte24@p200300d16f1ab700b95fa6f61d41c09f.dip0.t-ipconnect.de)
2025-01-12 11:37:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 11:38:14 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-12 11:41:31 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-12 11:42:43 +0100Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) Raito_Bezarius
2025-01-12 11:44:55 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 11:49:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-12 11:49:58 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-01-12 11:50:42 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 252 seconds)
2025-01-12 11:50:42 +0100tnt2tnt1
2025-01-12 11:51:50 +0100raym(~ray@user/raym) raym
2025-01-12 11:53:29 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-12 11:58:40 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-12 11:59:37 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 12:04:11 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-12 12:07:58 +0100supercode(~supercode@user/supercode) supercode
2025-01-12 12:08:57 +0100acidjnk_new(~acidjnk@p200300d6e7283f06145d2259bf66d21b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-01-12 12:15:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 12:18:13 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-12 12:19:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-12 12:21:39 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-12 12:25:09 +0100paul_j(~user@8.190.187.81.in-addr.arpa) paul_j
2025-01-12 12:27:11 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-01-12 12:27:27 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-01-12 12:28:06 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 252 seconds)
2025-01-12 12:28:06 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-12 12:30:17 +0100tnt1(~Thunderbi@user/tnt1) tnt1
2025-01-12 12:30:24 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 12:32:01 +0100tnt2(~Thunderbi@user/tnt1) (Ping timeout: 248 seconds)
2025-01-12 12:32:54 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-12 12:35:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-12 12:36:28 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-12 12:38:55 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-01-12 12:39:06 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 252 seconds)
2025-01-12 12:39:06 +0100tnt2tnt1
2025-01-12 12:39:42 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-12 12:42:19 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-12 12:43:36 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 252 seconds)
2025-01-12 12:43:43 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-01-12 12:45:47 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 12:46:16 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-12 12:48:39 +0100tnt1(~Thunderbi@user/tnt1) tnt1
2025-01-12 12:50:03 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-12 12:50:12 +0100tnt2(~Thunderbi@user/tnt1) (Ping timeout: 252 seconds)
2025-01-12 12:50:36 +0100agent314(~quassel@c-24-17-1-67.hsd1.wa.comcast.net) agent314
2025-01-12 12:52:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2025-01-12 12:53:09 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-12 12:55:11 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-12 12:57:29 +0100agent314(~quassel@c-24-17-1-67.hsd1.wa.comcast.net) (Ping timeout: 245 seconds)
2025-01-12 12:57:45 +0100agent314(~quassel@208.131.130.69) agent314
2025-01-12 12:57:47 +0100ol0ck(~quassel@user/ol0ck) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2025-01-12 12:58:31 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-12 12:58:59 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-12 12:59:22 +0100sprotte24_(~sprotte24@p200300d16f1ab700b95fa6f61d41c09f.dip0.t-ipconnect.de)
2025-01-12 12:59:48 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-12 12:59:57 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-12 13:00:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 13:03:42 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-12 13:03:42 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-12 13:04:09 +0100mrmr155334346318(~mrmr@user/mrmr) (Quit: Bye, See ya later!)
2025-01-12 13:04:54 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2025-01-12 13:07:27 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-12 13:08:28 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-12 13:13:49 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-12 13:16:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 13:17:22 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-12 13:18:19 +0100lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds)
2025-01-12 13:18:35 +0100sprotte24(~sprotte24@p200300d16f1ab700b95fa6f61d41c09f.dip0.t-ipconnect.de) (Quit: Leaving)
2025-01-12 13:20:03 +0100vanishingideal(~vanishing@user/vanishingideal) (Remote host closed the connection)
2025-01-12 13:20:43 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en)
2025-01-12 13:20:51 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2025-01-12 13:20:56 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-12 13:22:54 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-01-12 13:23:36 +0100gmg(~user@user/gehmehgeh) (Ping timeout: 264 seconds)
2025-01-12 13:24:09 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 245 seconds)
2025-01-12 13:25:20 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-01-12 13:25:45 +0100tnt1(~Thunderbi@user/tnt1) tnt1
2025-01-12 13:28:00 +0100tnt2(~Thunderbi@user/tnt1) (Ping timeout: 276 seconds)
2025-01-12 13:28:35 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-01-12 13:28:35 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-12 13:28:53 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-01-12 13:30:36 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 276 seconds)
2025-01-12 13:30:36 +0100tnt2tnt1
2025-01-12 13:31:19 +0100mrmr155334346318(~mrmr@user/mrmr) mrmr
2025-01-12 13:31:23 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 13:31:46 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-12 13:31:53 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-01-12 13:32:25 +0100dontdieych2(~quassel@user/dontdieych2) dontdieych2
2025-01-12 13:33:13 +0100dontdieych2(~quassel@user/dontdieych2) (Client Quit)
2025-01-12 13:33:51 +0100dontdieych2(~quassel@user/dontdieych2) dontdieych2
2025-01-12 13:36:05 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-12 13:39:37 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2025-01-12 13:40:28 +0100dontdieych22(~a@user/dontdieych2) dontdieych2
2025-01-12 13:40:36 +0100dontdieych22(~a@user/dontdieych2) (Client Quit)
2025-01-12 13:46:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 13:49:25 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-01-12 13:50:14 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-12 13:51:19 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-12 13:53:32 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-12 13:59:09 +0100mreh(~matthew@host86-146-25-121.range86-146.btcentralplus.com) (Ping timeout: 246 seconds)
2025-01-12 14:01:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 14:06:43 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2025-01-12 14:15:16 +0100agent314agent_bla
2025-01-12 14:15:26 +0100agent_blaagent314
2025-01-12 14:17:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 14:23:55 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-12 14:35:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 14:39:09 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-01-12 14:39:33 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-12 14:40:19 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 260 seconds)
2025-01-12 14:42:42 +0100tnt1(~Thunderbi@user/tnt1) tnt1
2025-01-12 14:44:00 +0100tnt2(~Thunderbi@user/tnt1) (Ping timeout: 272 seconds)
2025-01-12 14:44:22 +0100euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-01-12 14:45:14 +0100euphores(~SASL_euph@user/euphores) euphores
2025-01-12 14:45:34 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-01-12 14:47:04 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 245 seconds)
2025-01-12 14:47:04 +0100tnt2tnt1
2025-01-12 14:50:26 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 14:54:44 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-01-12 14:54:48 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds)
2025-01-12 14:56:20 +0100 <bailsman> ...yes I've found many cases in which I thought I needed an existential type. I'm glad this is a rite of passage. Although, I still often think I need it, so I'm not sure if I've fully completed the rite yet
2025-01-12 14:56:44 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 265 seconds)
2025-01-12 14:56:44 +0100tnt2tnt1
2025-01-12 15:01:21 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 15:02:49 +0100supercode(~supercode@user/supercode) (Quit: Client closed)
2025-01-12 15:05:42 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2025-01-12 15:06:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-12 15:07:00 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-01-12 15:08:40 +0100 <haskellbridge> <Profpatsch> bailsman: agree, I haven’t felt like I needed an existential type in a long time
2025-01-12 15:08:48 +0100 <haskellbridge> <Profpatsch> usually RankN solves most things
2025-01-12 15:14:05 +0100 <hellwolf> would you also need ImpredicativeTypes in that case?
2025-01-12 15:14:49 +0100 <haskellbridge> <Profpatsch> in what case?
2025-01-12 15:15:11 +0100 <hellwolf> I sometimes create an array of AnyX existential data types.
2025-01-12 15:15:48 +0100 <haskellbridge> <Profpatsch> no you don’t really need them usually
2025-01-12 15:15:51 +0100 <haskellbridge> <Profpatsch> At least I don’t
2025-01-12 15:16:44 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 15:16:55 +0100 <haskellbridge> <Profpatsch> I don’t really run into situations where I need that flexibility tbh
2025-01-12 15:17:11 +0100 <haskellbridge> <Profpatsch> do you have an example?
2025-01-12 15:17:20 +0100__monty__(~toonn@user/toonn) toonn
2025-01-12 15:17:21 +0100 <haskellbridge> <Profpatsch> (that is not just a toy example I mean)
2025-01-12 15:17:34 +0100 <hellwolf> yes, I use it in places
2025-01-12 15:18:03 +0100 <haskellbridge> <Profpatsch> any time I thought I needed these, I could usually slightly redesign and vastly simplify
2025-01-12 15:18:27 +0100 <hellwolf> okay, but I am not sure if were complicated in the first place
2025-01-12 15:18:28 +0100 <haskellbridge> <Profpatsch> esp. because error messages and inference becomes a joke with impredicative types
2025-01-12 15:18:40 +0100 <hellwolf> oh, I meant existential types
2025-01-12 15:18:51 +0100 <haskellbridge> <Profpatsch> (same as with GADTs, though people tell me they have their uses)
2025-01-12 15:18:55 +0100 <hellwolf> impredicative types I don't actively use, but passively use from a library that requiring it
2025-01-12 15:19:22 +0100 <haskellbridge> <Profpatsch> though GADTs are a superset of existential types right??
2025-01-12 15:19:31 +0100 <haskellbridge> <Profpatsch> s/??/?/
2025-01-12 15:21:16 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-12 15:23:06 +0100 <hellwolf> I have never heard of that
2025-01-12 15:23:12 +0100 <hellwolf> (forall a. (t a -> r)) ≅ ((exists a. t a) -> r) <-- this is what I know of.
2025-01-12 15:27:33 +0100dysthesis(~dysthesis@user/dysthesis) dysthesis
2025-01-12 15:28:23 +0100acidjnk_new(~acidjnk@p200300d6e7283f06145d2259bf66d21b.dip0.t-ipconnect.de)
2025-01-12 15:29:38 +0100 <ncf> data Exists t where pack :: forall a. t a → Exists t
2025-01-12 15:32:08 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 15:36:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2025-01-12 15:37:12 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-01-12 15:37:49 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 265 seconds)
2025-01-12 15:37:49 +0100tnt2tnt1
2025-01-12 15:39:21 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-01-12 15:42:04 +0100todi(~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-01-12 15:43:02 +0100dysthesis(~dysthesis@user/dysthesis) (Remote host closed the connection)
2025-01-12 15:43:39 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-01-12 15:44:16 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 252 seconds)
2025-01-12 15:44:16 +0100tnt2tnt1
2025-01-12 15:47:33 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 15:50:04 +0100JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2025-01-12 15:52:18 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2025-01-12 15:57:28 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 252 seconds)
2025-01-12 16:01:23 +0100tnt1(~Thunderbi@user/tnt1) tnt1
2025-01-12 16:02:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 16:04:53 +0100 <kaol> Looks like GHC started complaining about non-exhaustive pattern matches on lazy pattern matching in 9.2. I may have been abusing lazy pattern matching to just create escape hatches where I was certain that it would always match so I guess I can't complain too much.
2025-01-12 16:06:24 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-01-12 16:06:36 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 276 seconds)
2025-01-12 16:06:36 +0100tnt2tnt1
2025-01-12 16:06:38 +0100todi(~todi@p57803331.dip0.t-ipconnect.de) todi
2025-01-12 16:09:19 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-12 16:11:46 +0100mreh(~matthew@host86-146-25-121.range86-146.btcentralplus.com)
2025-01-12 16:20:40 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 16:25:05 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-12 16:30:35 +0100 <probie> GHC has become very opinionated in recent years about how Haskell should be written. I look forward to when they decide to remove `error` and `undefined` from base :p
2025-01-12 16:32:32 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-01-12 16:33:09 +0100agent314(~quassel@208.131.130.69) (Ping timeout: 246 seconds)
2025-01-12 16:36:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 16:40:32 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-12 16:42:02 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2025-01-12 16:42:57 +0100 <tomsmeding> probie: in warnings, or in actual backwards-incompatible changes?
2025-01-12 16:51:27 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 16:56:39 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2025-01-12 16:56:43 +0100weary-traveler(~user@user/user363627) user363627
2025-01-12 17:02:29 +0100kenran(~void@user/kenran) kenran
2025-01-12 17:03:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 17:06:39 +0100Pixi__(~Pixi@user/pixi) (Quit: Leaving)
2025-01-12 17:08:13 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-12 17:09:14 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-01-12 17:10:17 +0100j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-01-12 17:10:26 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2025-01-12 17:13:39 +0100michalz(~michalz@185.246.207.221)
2025-01-12 17:14:31 +0100j1n37(~j1n37@user/j1n37) j1n37
2025-01-12 17:16:25 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
2025-01-12 17:17:26 +0100Pixi(~Pixi@user/pixi) Pixi
2025-01-12 17:18:03 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-01-12 17:19:02 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 17:22:00 +0100xff0x(~xff0x@2405:6580:b080:900:8710:a51a:14b3:2b97) (Ping timeout: 276 seconds)
2025-01-12 17:24:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-12 17:26:09 +0100xff0x(~xff0x@2405:6580:b080:900:39df:db2a:91b7:da54)
2025-01-12 17:28:38 +0100rekahsoft(~rekahsoft@70.51.99.237) (Remote host closed the connection)
2025-01-12 17:29:12 +0100kenran(~void@user/kenran) (Remote host closed the connection)
2025-01-12 17:34:56 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 17:39:23 +0100rekahsoft(~rekahsoft@70.51.99.237) rekahsoft
2025-01-12 17:39:37 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-12 17:39:57 +0100rekahsoft(~rekahsoft@70.51.99.237) (Remote host closed the connection)
2025-01-12 17:42:28 +0100rekahsoft(~rekahsoft@70.51.99.237) rekahsoft
2025-01-12 17:48:07 +0100 <smiesner> time for another happy parser generator question: how do i parse a source file after creating the non-terminal and production rules? GHC shows in Parser.y many %name parsers, called via a runParser function, generated by happy. I don't have %this function. how can i generate it or something similar so the AST get's created correctly?
2025-01-12 17:48:19 +0100 <smiesner> https://gitlab.haskell.org/ghc/ghc/-/blob/e2520df3fffa0cf22fb19c5fb872832d11c07d35/compiler/GHC/Pa…
2025-01-12 17:50:19 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 17:52:45 +0100tv(~tv@user/tv) (Read error: Connection reset by peer)
2025-01-12 17:56:28 +0100 <smiesner> a different approach is shared here: https://gist.github.com/heitor-lassarote/9cc4203990352f5df5f6b84da9291df9
2025-01-12 17:57:08 +0100 <smiesner> however it seems this parser always expects to parse 'decs'. i think the approach in ghc is a bit nicer and better to read?
2025-01-12 17:57:29 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2025-01-12 18:04:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 18:07:26 +0100tv(~tv@user/tv) tv
2025-01-12 18:09:03 +0100dontdieych2(~quassel@user/dontdieych2) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2025-01-12 18:09:20 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2025-01-12 18:09:28 +0100dontdieych2(~quassel@user/dontdieych2) dontdieych2
2025-01-12 18:09:42 +0100dontdieych2(~quassel@user/dontdieych2) (Client Quit)
2025-01-12 18:09:55 +0100acidjnk_new(~acidjnk@p200300d6e7283f06145d2259bf66d21b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2025-01-12 18:10:57 +0100dontdieych2(~quassel@user/dontdieych2) dontdieych2
2025-01-12 18:15:54 +0100dontdieych2(~quassel@user/dontdieych2) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2025-01-12 18:16:08 +0100dontdieych2(~quassel@user/dontdieych2) dontdieych2
2025-01-12 18:16:08 +0100dontdieych2(~quassel@user/dontdieych2) (Client Quit)
2025-01-12 18:16:23 +0100dontdieych2(~quassel@user/dontdieych2) dontdieych2
2025-01-12 18:16:35 +0100 <smiesner> or does GHC just start at the non-terminal Module and goes with each production rule into smaller non-terminals?
2025-01-12 18:20:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 18:21:48 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds)
2025-01-12 18:25:12 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-12 18:26:17 +0100paul_j(~user@8.190.187.81.in-addr.arpa) (Quit: Asta la vista)
2025-01-12 18:28:08 +0100paul_j(~user@8.190.187.81.in-addr.arpa) paul_j
2025-01-12 18:29:28 +0100hellwolf(~user@40c4-4c3f-bf6c-303b-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 272 seconds)
2025-01-12 18:32:33 +0100acidjnk_new(~acidjnk@p200300d6e7283f06081469c6fc5c461d.dip0.t-ipconnect.de) acidjnk
2025-01-12 18:33:59 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Quit: Leaving)
2025-01-12 18:35:28 +0100hellwolf(~user@83f6-cc01-1ebf-4324-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf
2025-01-12 18:36:15 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 18:41:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-12 18:41:25 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2025-01-12 18:43:24 +0100stef204(~stef204@user/stef204) stef204
2025-01-12 18:47:20 +0100 <probie> tomsmeding: In actual backwards-incompatible changes, although I don't actually think it will happen. However, I think it might plausible in 5-10 years that `head` and `tail` disappear.
2025-01-12 18:49:15 +0100Midjak(~MarciZ@82.66.147.146) Midjak
2025-01-12 18:51:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 18:55:52 +0100 <probie> I find it really annoying when I'm trying to use GHCi as a calculator that something "silly" like `liftA2 (,) head tail [1..10]` generates 10 lines of warning before giving me my result unless I run it with `-Wno-x-partial`
2025-01-12 18:56:25 +0100 <probie> (that's on 9.10.1)
2025-01-12 18:57:09 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-12 18:58:25 +0100Digitteknohippie(~user@user/digit) Digit
2025-01-12 18:58:42 +0100 <probie> It's one thing to do it for programs being compiled, but to have it as the default for the interactive environment just seems _way_ too opinionated
2025-01-12 18:59:51 +0100Digit(~user@user/digit) (Ping timeout: 265 seconds)
2025-01-12 19:05:38 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 19:08:00 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-01-12 19:08:25 +0100vanishingideal(~vanishing@user/vanishingideal) (Remote host closed the connection)
2025-01-12 19:10:16 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-12 19:10:50 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-01-12 19:17:50 +0100heichro(~user@p200300c3cf22f300bc1703d5e161c514.dip0.t-ipconnect.de) heichro
2025-01-12 19:18:25 +0100 <heichro> @pl \x -> x /= '.'
2025-01-12 19:18:25 +0100 <lambdabot> ('.' /=)
2025-01-12 19:21:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 19:22:22 +0100heichro(~user@p200300c3cf22f300bc1703d5e161c514.dip0.t-ipconnect.de) (Quit: ERC 5.6 (IRC client for GNU Emacs 31.0.50))
2025-01-12 19:24:54 +0100DigitteknohippieDigit
2025-01-12 19:28:14 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds)
2025-01-12 19:32:38 +0100 <hellwolf> I am a bit confounded by haddock's one behavior: I use things like "module Prelude.Linear" in a module A, but sometimes it include all of its symbols in the docs of module A, but with my own module say "module YulDSL.Core" in the same module A, the symbols are not included in the docs of module A...
2025-01-12 19:32:53 +0100 <hellwolf> what affected the behaviour?
2025-01-12 19:33:55 +0100 <hellwolf> see: https://paste.tomsmeding.com/inWDbHu5
2025-01-12 19:36:18 +0100 <hellwolf> or, perhaps rephrase it a simpler phrase: when would haddoc inline a module's docs in another module that includes it?
2025-01-12 19:36:19 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2025-01-12 19:36:46 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-01-12 19:36:50 +0100 <monochrom> For now my hypothesis is that the difference is in importing only part of Prelude.Linear but all of YulDSL.Core
2025-01-12 19:37:15 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds)
2025-01-12 19:37:17 +0100 <monochrom> I have something else to do so I am too lazy to test it for now. :)
2025-01-12 19:37:38 +0100 <geekosaur> when the module has an `OPTIONS_HADDOCK not-home` it'll get inlined, for one
2025-01-12 19:38:15 +0100 <hellwolf> https://hackage.haskell.org/package/linear-base-0.4.0/docs/src/Prelude.Linear.html <-- this is the source of Prelude.LInear
2025-01-12 19:38:20 +0100 <hellwolf> I am trying to spot the difference
2025-01-12 19:38:25 +0100 <geekosaur> https://hackage.haskell.org/package/containers-0.7/docs/src/Data.Map.Internal.html
2025-01-12 19:38:26 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 19:38:53 +0100 <hellwolf> interesting, let me try
2025-01-12 19:38:58 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 19:39:01 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 19:39:01 +0100 <geekosaur> you'll see it has "not-home", so haddock inlines its definitions into importing modules (in this case Data.Map)
2025-01-12 19:39:02 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 19:39:38 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 19:39:44 +0100Lord_of_Life_Lord_of_Life
2025-01-12 19:39:47 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 19:40:34 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 19:40:43 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 19:41:18 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 19:41:27 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 19:42:02 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 19:42:04 +0100 <hellwolf> hmm, it doesn't seem to work
2025-01-12 19:42:11 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 19:43:28 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 19:43:31 +0100pja(~pja@2a02:8010:6098:0:e65f:1ff:fe1f:660f) (Quit: WeeChat 3.8)
2025-01-12 19:43:37 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 19:44:09 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 19:44:18 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 19:44:50 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 19:44:59 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 19:46:10 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2025-01-12 19:46:48 +0100 <hellwolf> very mysterious now
2025-01-12 19:47:10 +0100 <hellwolf> I don't suppose these matter:
2025-01-12 19:47:10 +0100 <hellwolf> {-# OPTIONS_GHC -Wno-dodgy-exports -Wno-unused-imports #-}
2025-01-12 19:47:16 +0100 <hellwolf> what are "doggy-exports" anyways.
2025-01-12 19:47:17 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 19:47:26 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 19:47:58 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 19:48:08 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 19:48:41 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 19:48:50 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 19:51:20 +0100 <hellwolf> | If multiple modules fit the criteria, then one is chosen at random.
2025-01-12 19:51:34 +0100 <monochrom> Who-ordered-that
2025-01-12 19:52:31 +0100 <tomsmeding> probie: ah, I'm with you on the -Wx-partial; I don't like it either. Yes, I know that these functions are partial. It's like lesson 2 of any Haskell course.
2025-01-12 19:53:13 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 19:53:22 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 19:53:29 +0100 <monochrom> This is where people who want Haskell to be a dependently typed total language clash with people who want Haskell to be a programming language.
2025-01-12 19:53:47 +0100 <tomsmeding> the tricky thing with -Wx-partial is that you can't even turn it off very well in packages; sure, you can set {-# OPTIONS -Wno-x-partial #-}, but now your code generates a new warning on current GHCs that don't yet know about that warning!
2025-01-12 19:53:56 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 19:53:57 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 19:54:01 +0100 <tomsmeding> and using CPP for this is just way overblown
2025-01-12 19:54:31 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 19:54:40 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 19:54:40 +0100 <tomsmeding> in one instance I ended up doing -Wno-unrecognised-warning-flags -Wno-x-partial but that's also icky
2025-01-12 19:54:47 +0100 <tomsmeding> this stuff belongs in a linter
2025-01-12 19:55:04 +0100 <tomsmeding> the sadder that the most popular linter is even worse in this regard :)
2025-01-12 19:55:38 +0100 <monochrom> This is why I tell people that hlint is not analogous to C lint.
2025-01-12 19:55:44 +0100 <tomsmeding> monochrom: if you want Haskell to be a dependently-typed total language you have bigger fish to fry than head and tail
2025-01-12 19:55:52 +0100 <hellwolf> | The exception to this rule is when the re-exported module is declared with the hide attribute (see Module Attributes), in which case the module is never cross-referenced; the contents are always expanded in place in the re-exporting module.
2025-01-12 19:56:10 +0100 <hellwolf> this is the definitive answer. the Haddock doc actually eplains it well, let me give it a try.
2025-01-12 19:56:15 +0100 <hellwolf> https://haskell-haddock.readthedocs.io/latest/markup.html#re-exporting-entire-module
2025-01-12 19:56:20 +0100 <monochrom> C lint actually detects code smell (e.g., if (i = j)). hlint is just puny style.
2025-01-12 19:57:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 19:57:03 +0100 <monochrom> C lint : hlint :: Java classes : Haskell classess
2025-01-12 19:57:09 +0100 <monochrom> as in, totally unrelated
2025-01-12 19:57:13 +0100 <tomsmeding> there is a place in this world for style linters, but it's not the same as "it's not bad enough for a warning" stuff
2025-01-12 19:58:36 +0100 <monochrom> C lint : hlint :: Java classes : Haskell classess :: GC heap : priority queue heap
2025-01-12 19:58:50 +0100 <hellwolf> "{-# OPTIONS_HADDOCK hide #-}" <-- this does the trick. THE END. Thanks folks.
2025-01-12 19:58:52 +0100hellwolfduck for food
2025-01-12 19:58:58 +0100 <tomsmeding> 🦆
2025-01-12 19:59:13 +0100 <monochrom> Do ducks eat haddock?
2025-01-12 19:59:55 +0100 <monochrom> "No, but the rubber duck method works for haddock questions. Does that count?"
2025-01-12 20:00:04 +0100 <tomsmeding> I'd guess live haddock are quite a bit too large for a duck
2025-01-12 20:00:53 +0100 <tomsmeding> given "the vast majority of haddocks caught in the United Kingdom measure between 30 and 70 cm"
2025-01-12 20:02:12 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-12 20:03:04 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 20:03:12 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 20:03:45 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 20:03:54 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 20:04:28 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 20:04:28 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 20:05:23 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-01-12 20:06:45 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 20:11:19 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-12 20:12:32 +0100pavonia(~user@user/siracusa) siracusa
2025-01-12 20:14:42 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-01-12 20:20:51 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 20:20:52 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 20:21:25 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 20:21:34 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 20:22:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 20:22:07 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 20:22:17 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 20:22:26 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-01-12 20:30:44 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds)
2025-01-12 20:32:01 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en)
2025-01-12 20:37:49 +0100hueso(~root@user/hueso) (Read error: Connection reset by peer)
2025-01-12 20:41:32 +0100hueso(~root@user/hueso) hueso
2025-01-12 20:41:35 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 20:44:52 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2025-01-12 20:45:26 +0100homo(~homo@user/homo) homo
2025-01-12 20:46:11 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2025-01-12 20:46:45 +0100dnerchm^(~dnerchm@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 252 seconds)
2025-01-12 20:46:46 +0100dsrt^(~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 252 seconds)
2025-01-12 20:54:34 +0100michalz(~michalz@185.246.207.221) (Remote host closed the connection)
2025-01-12 20:54:41 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 20:54:50 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 20:55:22 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 20:55:31 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 20:56:03 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 20:56:04 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 20:57:12 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 21:00:04 +0100caconym(~caconym@user/caconym) (Quit: bye)
2025-01-12 21:00:43 +0100caconym(~caconym@user/caconym) caconym
2025-01-12 21:01:40 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-01-12 21:01:47 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-12 21:02:32 +0100sawilagar(~sawilagar@user/sawilagar) sawilagar
2025-01-12 21:06:07 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-01-12 21:07:40 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 21:08:30 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2025-01-12 21:12:16 +0100 <hellwolf> let's avoid geoduck joke though
2025-01-12 21:12:52 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds)
2025-01-12 21:19:58 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2025-01-12 21:21:40 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-01-12 21:22:48 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-01-12 21:23:02 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 21:26:00 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en)
2025-01-12 21:28:54 +0100dontdieych2(~quassel@user/dontdieych2) (Ping timeout: 246 seconds)
2025-01-12 21:33:42 +0100target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-01-12 21:34:05 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2025-01-12 21:38:09 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-01-12 21:44:46 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 21:49:25 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-12 21:56:28 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 21:56:37 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 21:57:09 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 21:57:10 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 21:57:24 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-01-12 21:57:43 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 21:57:45 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 21:58:29 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 248 seconds)
2025-01-12 21:58:29 +0100tnt2tnt1
2025-01-12 21:59:33 +0100Square(~Square@user/square) Square
2025-01-12 22:00:08 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 22:00:53 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-01-12 22:06:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds)
2025-01-12 22:07:11 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-01-12 22:09:57 +0100 <haskellbridge> <magic_rb> why does "instance (Ord ddata, Typeable ddata) => Command (Command'CreateBuild ddata) BuildID where" typecheck
2025-01-12 22:10:00 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2025-01-12 22:10:06 +0100 <haskellbridge> <magic_rb> but the same without the "Ord ddata" doesnt?
2025-01-12 22:10:40 +0100 <haskellbridge> <magic_rb> "could not deduce Typeable k arising from the superclasses of an instance declaration"
2025-01-12 22:13:33 +0100 <haskellbridge> <magic_rb> oh, because its forall k, so saying "forall (ddata :: Type). (Typeable ddata)" does it
2025-01-12 22:14:54 +0100 <tomsmeding> the joy of -XPolyKinds
2025-01-12 22:16:32 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 22:17:05 +0100stef204(~stef204@user/stef204) (Quit: WeeChat 4.2.1)
2025-01-12 22:21:00 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-12 22:28:02 +0100 <c_wraith> So that performance issue with psqueues' OrdPSQ that I ran into during the aoc? I decided to report it, and so I've looked into it a bit further... For that use case, OrdPSQ is slower than a sorted list.
2025-01-12 22:28:17 +0100 <c_wraith> (HashPSQ is actually fast)
2025-01-12 22:31:53 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 22:35:04 +0100kmein(~weechat@user/kmein) (Quit: ciao kakao)
2025-01-12 22:36:46 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2025-01-12 22:37:12 +0100kmein(~weechat@user/kmein) kmein
2025-01-12 22:37:56 +0100gorignak(~gorignak@user/gorignak) gorignak
2025-01-12 22:39:01 +0100 <haskellbridge> <magic_rb> is "unsafeCoerce" safe if behind a let binding that is only forced if safe? I have to first check type equality with "typeOf == typeOf", then "unsafeCoerce", which is safe since i know its the same
2025-01-12 22:39:17 +0100 <haskellbridge> <magic_rb> im working with existential types btw
2025-01-12 22:39:47 +0100 <monochrom> Yes that's safe. But then you would use Data.Dynamic which does exactly that for you so you don't have to write the dirty code yourself!
2025-01-12 22:40:00 +0100 <haskellbridge> <magic_rb> ill look into that
2025-01-12 22:40:18 +0100 <haskellbridge> <magic_rb> after i get the initial version working :) want to write the dirty code myself first
2025-01-12 22:43:36 +0100 <haskellbridge> <magic_rb> this really feels like beating GHC over the head lmao
2025-01-12 22:43:40 +0100 <haskellbridge> <magic_rb> this is fun
2025-01-12 22:43:59 +0100dsrt^(dsrt@c-98-242-74-66.hsd1.ga.comcast.net)
2025-01-12 22:44:02 +0100dnerchm^(dnerchm@c-98-242-74-66.hsd1.ga.comcast.net)
2025-01-12 22:44:54 +0100 <tomsmeding> I once wrote code that used higher-rank polymorphism to poke bytes in a MutableByteArray#
2025-01-12 22:44:59 +0100 <tomsmeding> that was fun
2025-01-12 22:45:29 +0100 <haskellbridge> <magic_rb> im doing a event sourcing thing, but i need to be able to pass around existential messages that also must be ToJSON :)
2025-01-12 22:45:38 +0100 <tomsmeding> it was probably pretty slow despite the MagicHash stuff because the typeclass polymorphic code couldn't be specialised mostly
2025-01-12 22:45:50 +0100 <tomsmeding> but never mind that
2025-01-12 22:46:21 +0100 <haskellbridge> <magic_rb> "haskell programmers dont care about performance" <- me while shitting on python for being slow and writing haskell
2025-01-12 22:46:46 +0100 <tomsmeding> that quote is not about python :p
2025-01-12 22:47:34 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-12 22:52:04 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds)
2025-01-12 22:58:08 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 22:58:17 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 22:58:51 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 22:59:00 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)
2025-01-12 22:59:34 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) ThePenguin
2025-01-12 22:59:36 +0100ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection)