2022/04/10

2022-04-10 00:01:08 +0200 <avpx> Hi all, I'm trying to load a module (Game.Chess.Internal from chessIO) in ghci for debugging. But every time I try to load it, ghci tries to compile it first, so I can't set breakpoints/debug: https://paste.tomsmeding.com/Sj3vvBjl
2022-04-10 00:02:47 +0200 <avpx> I'm wondering if there is something about this module (e.g. its use of {-# INLINE #-} or some other compiler hint) is preventing the module from being interpreted
2022-04-10 00:06:24 +0200 <sm> does it use QuasiQuote or TemplateHaskell ?
2022-04-10 00:06:54 +0200 <sm> does recompilation clear your breakpoints ?
2022-04-10 00:07:29 +0200 <avpx> Do you mean directly? I know TH is used in the project but I don't see it in this particular module: https://hackage.haskell.org/package/chessIO-0.9.3.0/docs/src/Game.Chess.Internal.html
2022-04-10 00:08:01 +0200 <avpx> I'm not able to set breakpoints since the code is compiled: "cannot set breakpoint on unsafeDoPly': module Game.Chess.Internal is not interpreted"
2022-04-10 00:08:14 +0200 <sm> interesting
2022-04-10 00:09:03 +0200 <sm> what if you do :m +*Game.Chess.Internal manually
2022-04-10 00:09:25 +0200 <geekosaur> looks to me like it's simply not an externally visible module
2022-04-10 00:09:44 +0200 <sm> yes it seems like cabal repl is choosing not to interpret it because of some reason like that
2022-04-10 00:10:08 +0200 <avpx> geekosaur: What's weird is that I tried rearranging the cabal file so it was the only externally visible module, and that didn't help either
2022-04-10 00:10:34 +0200 <avpx> sm: it complains that the module is compiled and not interpreted, suggesting I try the :add *... command again
2022-04-10 00:11:32 +0200 <geekosaur> hm. actually the cabal file should not directly affect ghci (ghci doesn't know about cabaland cabal repl has to play tricks on it to work at all)
2022-04-10 00:11:44 +0200 <sclv> I bet repl is picking the executable not the library
2022-04-10 00:11:50 +0200hololeap_(~hololeap@user/hololeap)
2022-04-10 00:11:59 +0200 <sclv> You need to give the library as the argument to repl
2022-04-10 00:12:35 +0200hololeap(~hololeap@user/hololeap) (Ping timeout: 240 seconds)
2022-04-10 00:12:38 +0200 <sm> I was wondering that.. the output doesn't suggest it
2022-04-10 00:13:04 +0200 <geekosaur> you can't really tell from the paste
2022-04-10 00:13:33 +0200 <avpx> sclv: That makes sense. How do you tell the library name from this cabal file? I just see a section called "library" but the executable sections have names
2022-04-10 00:13:37 +0200 <avpx> https://github.com/mlang/chessIO/blob/master/chessIO.cabal
2022-04-10 00:14:05 +0200 <sclv> the lib name is the same as the package name
2022-04-10 00:14:19 +0200 <sclv> you say lib:chessIO
2022-04-10 00:14:25 +0200 <sclv> or whatever
2022-04-10 00:15:44 +0200 <avpx> https://paste.tomsmeding.com/J2JomgU7
2022-04-10 00:15:45 +0200machinedgod(~machinedg@24.105.81.50)
2022-04-10 00:16:02 +0200 <avpx> Doesn't seem to have changed anything. The weird thing is that the Game.Chess module does appear to be loaded as interpreted
2022-04-10 00:16:22 +0200 <sm> is it exposed also ?
2022-04-10 00:16:33 +0200 <avpx> By default it is exposed but .Internal is not
2022-04-10 00:16:40 +0200mc47(~mc47@xmonad/TheMC47) (Read error: Connection reset by peer)
2022-04-10 00:16:53 +0200 <sm> that's what I mean, try exposing Internal ?
2022-04-10 00:16:54 +0200 <avpx> But even if I change the .cabal file so that the .Internal is exposed, and delete all the actual externally facing stuff, it still doesn't show up with a *
2022-04-10 00:17:08 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net)
2022-04-10 00:17:17 +0200Pickchea(~private@user/pickchea)
2022-04-10 00:17:49 +0200hololeap(~hololeap@user/hololeap)
2022-04-10 00:18:08 +0200 <avpx> when it boots up ghci just shows me this, with no asterisk:
2022-04-10 00:18:09 +0200 <avpx> Ok, 8 modules loaded.
2022-04-10 00:18:10 +0200 <avpx> Prelude Game.Chess.Internal>
2022-04-10 00:18:21 +0200 <avpx> That's what makes me think it's something about the contents of this module
2022-04-10 00:18:32 +0200 <sm> so just to make sure, you have tried both `cabal repl lib:chessIO` and exposed .Internal at the same time
2022-04-10 00:18:35 +0200hololeap_(~hololeap@user/hololeap) (Ping timeout: 240 seconds)
2022-04-10 00:19:13 +0200 <avpx> Yup
2022-04-10 00:19:13 +0200 <sclv> you can also just like :load a .hs file and then it should definitely interpret everything
2022-04-10 00:19:36 +0200 <avpx> Yeah I was trying that but there were some external dependencies it was breaking on, e.g. Data.Vector
2022-04-10 00:19:44 +0200 <sclv> or maybe you need a “cabal clean” after the changes to the file
2022-04-10 00:19:46 +0200 <sm> and.. those two followed by :m +*Game.Chess.Internal ? no different ?
2022-04-10 00:20:03 +0200 <sclv> i mean run cabal repl, then :load within that
2022-04-10 00:20:34 +0200 <avpx> sm: same thing:
2022-04-10 00:20:35 +0200 <avpx> Prelude Game.Chess.Internal> :m + *Game.Chess.Internal
2022-04-10 00:20:35 +0200 <avpx> module 'Game.Chess.Internal' is not interpreted; try ':add *Game.Chess.Internal' first
2022-04-10 00:20:45 +0200 <sm> pesky thing
2022-04-10 00:21:05 +0200 <geekosaur> right, and that not working is what makes me think this is related to ghc(i), not cabal
2022-04-10 00:21:37 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-10 00:21:38 +0200 <geekosaur> :add should work regardless, cabal can't affect it (nor stack for that matter), it's all ghc
2022-04-10 00:21:48 +0200 <avpx> Yeah
2022-04-10 00:22:13 +0200 <avpx> This is code for a bitboard implementation so there's a fair amount of stuff in here about how the structures get laid out in memory, strictness etc
2022-04-10 00:22:23 +0200 <avpx> I wonder if there's something where the interpreter just bails out and says, nope can't handle that pragma
2022-04-10 00:22:48 +0200 <geekosaur> the pragmas are what are supposed to bail out
2022-04-10 00:22:49 +0200raym(~raym@user/raym) (Ping timeout: 248 seconds)
2022-04-10 00:23:00 +0200 <geekosaur> and that's how it's documented to work
2022-04-10 00:23:02 +0200 <avpx> I didn't see anything in the output of ghci -v that suggested it was giving up on interpreting the file tho
2022-04-10 00:23:16 +0200 <avpx> geekosaur: I'm not following, can you explain/
2022-04-10 00:23:42 +0200 <geekosaur> pragmas like INLINE and UNPACK don't fire in interpreted mode
2022-04-10 00:23:54 +0200raym(~raym@user/raym)
2022-04-10 00:24:05 +0200 <geekosaur> although… you did run ghci with -O1,I wonder if that's forcing -fobject-code?
2022-04-10 00:24:20 +0200 <geekosaur> (optimization doesn't work in interpreted mode)
2022-04-10 00:25:44 +0200y04nn(~y04nn@2001:ac8:28:93::a15e)
2022-04-10 00:26:26 +0200 <avpx> Do you know off hand how to change that? I don't see a way to tell cabal which option to pass here
2022-04-10 00:27:19 +0200 <sm> it's working here with the unmodified source and ghc 9.2: https://termbin.com/f5qh
2022-04-10 00:27:52 +0200 <avpx> sm: Thanks for validating. This is with plain "cabal repl"?
2022-04-10 00:28:12 +0200 <sm> yes:
2022-04-10 00:28:12 +0200 <sm> ~/chessIO-0.9.3.0$ cabal repl lib:chessIO
2022-04-10 00:28:12 +0200 <sm> Build profile: -w ghc-9.2.2 -O1
2022-04-10 00:28:46 +0200 <geekosaur> mm, 9.2.2 might actually supportoptimization,the longstanding unboxed tuple bug has supposedly been fixed
2022-04-10 00:30:02 +0200 <avpx> Fascinating. I will try to figure out how to remove this -O1 and see if that fixes it
2022-04-10 00:30:19 +0200 <sm> I did notice a bunch of -O2's in the cabal file
2022-04-10 00:30:49 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-04-10 00:31:48 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net)
2022-04-10 00:32:48 +0200Guest27(~Guest27@2601:281:d47f:1590:768c:7129:aa80:96d9)
2022-04-10 00:36:45 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 246 seconds)
2022-04-10 00:38:37 +0200d34df00d(~d34df00d@2600:1700:8c60:3a10::46)
2022-04-10 00:38:49 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds)
2022-04-10 00:39:47 +0200 <avpx> Couple more data points: on another machine, also running ghc 8.10.7 (but different arch), same issue occurs. Also, changing to -O0 in chessIO.cabal apparently has no effect
2022-04-10 00:40:08 +0200 <geekosaur> ok, so it'snot that. any interesting -f flags?
2022-04-10 00:40:29 +0200 <geekosaur> (-funbox-strict-fields comes to mind but there may be others)
2022-04-10 00:40:32 +0200 <sm> I confirm the same procedure with ghc 9.0 loads all three Internal modules non-interpreted
2022-04-10 00:40:36 +0200 <d34df00d> What does it mean if a type family associated with a class doesn't mention all type variables?
2022-04-10 00:40:55 +0200 <avpx> geekosaur: Nothing in the .cabal file
2022-04-10 00:41:12 +0200gustik(~gustik@2a01:c844:240e:4d20:38e8:ab4e:3fd6:2e3a) (Quit: Leaving)
2022-04-10 00:41:15 +0200 <d34df00d> How much sense is in `class Ctr px => Context px a where type Ouptut a :: px -> Type`?
2022-04-10 00:41:17 +0200 <avpx> Sounds like I should try to build a more recent ghc and try that
2022-04-10 00:41:24 +0200 <d34df00d> Hm, I think none.
2022-04-10 00:42:06 +0200 <monochrom> Wait, is that also a multi-param type class?
2022-04-10 00:42:47 +0200 <geekosaur> d34df00d, looks to me like it doesmention them, via the associated type?
2022-04-10 00:43:27 +0200vicfred(~vicfred@user/vicfred)
2022-04-10 00:43:53 +0200 <avpx> I ran cabal v2-repl -v and it didn't show any weird arguments to ghc. sm's results on GHC 9.0 make me think this is some kind of bug or limitation with GHC 8.10.7
2022-04-10 00:44:12 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 00:45:08 +0200smasks #ghc
2022-04-10 00:45:08 +0200 <sm> no, it's a limitation of GHC < 9.2 I think
2022-04-10 00:45:09 +0200 <geekosaur> at least I think that's enough for ghc to do typeinference
2022-04-10 00:46:38 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2022-04-10 00:47:47 +0200 <avpx> sm: Hmm I'm scanning the changelog for GHC 9.2.1 to try to understand why
2022-04-10 00:48:07 +0200dsrt^(~dsrt@c-24-99-107-170.hsd1.ga.comcast.net)
2022-04-10 00:49:16 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds)
2022-04-10 00:50:24 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 268 seconds)
2022-04-10 00:51:05 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 248 seconds)
2022-04-10 00:51:40 +0200 <geekosaur> I'mkinda confused because objects with those names to /tmp (well, OS X equivalent) are usually foreign import/export stubs, not regular object code
2022-04-10 00:53:10 +0200jpds2jpds
2022-04-10 00:54:23 +0200acidjnk(~acidjnk@p200300d0c7049f84f45f0b9d7779ba52.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-04-10 00:54:27 +0200 <d34df00d> geekosaur: ah, you mean on the rhs after the ::?
2022-04-10 00:54:34 +0200 <d34df00d> Hmm, that makes sense.
2022-04-10 00:56:49 +0200 <geekosaur> an associated type family acts somewhat like a functional dependency, so it here associates the `a` with the `px`
2022-04-10 00:57:17 +0200 <geekosaur> and has to be unique on `a` like a fundep would be, because otherwise it would be an incoherent type family
2022-04-10 00:58:40 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-04-10 01:00:10 +0200 <geekosaur> there's a better discussion of associated type families in the ghc user guide
2022-04-10 01:10:49 +0200ishaan(~ishaan@122.161.51.93)
2022-04-10 01:14:36 +0200haskellberry(~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 272 seconds)
2022-04-10 01:17:34 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 01:19:40 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net)
2022-04-10 01:21:05 +0200Macbethwin(~chargen@D964062A.static.ziggozakelijk.nl)
2022-04-10 01:23:25 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds)
2022-04-10 01:24:33 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-04-10 01:27:49 +0200redb(~nmh@136.49.49.211) (Ping timeout: 240 seconds)
2022-04-10 01:28:33 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 01:33:06 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
2022-04-10 01:35:46 +0200Guest27(~Guest27@2601:281:d47f:1590:768c:7129:aa80:96d9) (Ping timeout: 250 seconds)
2022-04-10 01:37:55 +0200hololeap(~hololeap@user/hololeap) (Ping timeout: 240 seconds)
2022-04-10 01:38:02 +0200ishaan(~ishaan@122.161.51.93) (Quit: Client closed)
2022-04-10 01:38:43 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 01:39:03 +0200hololeap(~hololeap@user/hololeap)
2022-04-10 01:42:41 +0200catch22(~catch22__@2406:3400:418:d7e0:a95a:5ab0:f8b4:ae74)
2022-04-10 01:43:57 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
2022-04-10 01:47:11 +0200abhixec_(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2022-04-10 01:48:36 +0200catch22(~catch22__@2406:3400:418:d7e0:a95a:5ab0:f8b4:ae74) (Remote host closed the connection)
2022-04-10 01:49:16 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 01:49:35 +0200redb(~nmh@136.49.49.211)
2022-04-10 01:51:30 +0200 <abastro[m]> Is quasiquotes part of template haskell
2022-04-10 01:54:32 +0200redb(~nmh@136.49.49.211) (Ping timeout: 268 seconds)
2022-04-10 01:54:32 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds)
2022-04-10 01:56:46 +0200Techcable(~Techcable@user/Techcable) (Remote host closed the connection)
2022-04-10 01:57:25 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-04-10 01:58:21 +0200 <geekosaur> yes
2022-04-10 01:58:44 +0200Techcable(~Techcable@user/Techcable)
2022-04-10 01:59:26 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 02:02:52 +0200 <abastro[m]> I see, thanks! Sad that macros require TH which inhibits compilation
2022-04-10 02:03:59 +0200tommd(~tommd@97-120-41-123.ptld.qwest.net)
2022-04-10 02:04:38 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds)
2022-04-10 02:09:58 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 02:10:53 +0200chenqisu1(~chenqisu1@183.217.200.239)
2022-04-10 02:14:46 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds)
2022-04-10 02:20:08 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 02:20:55 +0200redb(~nmh@136.49.49.211)
2022-04-10 02:22:15 +0200 <d34df00d> What's the best way to tell ghc's codegen a branch is unreachable?
2022-04-10 02:23:17 +0200 <abastro[m]> Do you mean in pattern matching?
2022-04-10 02:23:26 +0200kayvank(~user@52-119-115-185.PUBLIC.monkeybrains.net)
2022-04-10 02:23:38 +0200 <d34df00d> abastro: almost — in a pattern guard.
2022-04-10 02:24:33 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
2022-04-10 02:25:17 +0200 <d34df00d> I have four guards of the form `| upperBits == 0b00` (and for the three other possibilities), ``where upperBits = someWord `shiftR` 6``, so there could be no other options but ghc (unsurprisingly) can't see that.
2022-04-10 02:25:22 +0200redb(~nmh@136.49.49.211) (Ping timeout: 268 seconds)
2022-04-10 02:25:46 +0200 <d34df00d> I could've used `otherwise` on the last branch, but it kinda breaks the symmetry of the code, so I'd much rather write `| otherwise = unreachable???` after those four branches.
2022-04-10 02:25:49 +0200kmein(~weechat@user/kmein) (Quit: ciao kakao)
2022-04-10 02:26:11 +0200kmein(~weechat@user/kmein)
2022-04-10 02:26:29 +0200 <dsal> You could define a complete pattern synonym possibly.
2022-04-10 02:27:43 +0200cheater(~Username@user/cheater) (Read error: Connection reset by peer)
2022-04-10 02:28:29 +0200cheater(~Username@user/cheater)
2022-04-10 02:31:59 +0200pnotequalnp(~pnotequal@user/pnotequalnp)
2022-04-10 02:34:33 +0200gurkenglas(~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 248 seconds)
2022-04-10 02:36:54 +0200 <abastro[m]> Another possibility would be pattern matching on bit 6 & bit 7
2022-04-10 02:38:28 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds)
2022-04-10 02:39:12 +0200pnotequalnp(~pnotequal@user/pnotequalnp) (Quit: Leaving)
2022-04-10 02:39:57 +0200pnotequalnp(~pnotequal@user/pnotequalnp)
2022-04-10 02:40:38 +0200wroathe(~wroathe@user/wroathe)
2022-04-10 02:41:19 +0200pnotequalnp(~pnotequal@user/pnotequalnp) (Remote host closed the connection)
2022-04-10 02:42:30 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-04-10 02:45:41 +0200dolio(~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in)
2022-04-10 02:45:56 +0200dolio(~dolio@130.44.130.54)
2022-04-10 02:46:23 +0200redb(~nmh@136.49.49.211)
2022-04-10 02:48:22 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-10 02:51:00 +0200 <d34df00d> The idea with pattern synonyms is interesting, I think it might be the most readable. Thanks!
2022-04-10 02:51:16 +0200redb(~nmh@136.49.49.211) (Ping timeout: 268 seconds)
2022-04-10 02:52:49 +0200redb(~nmh@136.49.49.211)
2022-04-10 02:59:37 +0200redb(~nmh@136.49.49.211) (Ping timeout: 248 seconds)
2022-04-10 03:02:17 +0200benin(~benin@183.82.204.110) (Quit: The Lounge - https://thelounge.chat)
2022-04-10 03:07:20 +0200tommd(~tommd@97-120-41-123.ptld.qwest.net) (Ping timeout: 272 seconds)
2022-04-10 03:08:26 +0200notzmv(~zmv@user/notzmv)
2022-04-10 03:08:56 +0200razetime(~quassel@117.254.35.102)
2022-04-10 03:10:49 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-04-10 03:12:03 +0200euandreh(~euandreh@2804:14c:33:9fe5:7d1a:acbd:2bb4:f) (Ping timeout: 260 seconds)
2022-04-10 03:15:45 +0200redb(~nmh@136.49.49.211)
2022-04-10 03:16:55 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-04-10 03:18:21 +0200deadmarshal_(~deadmarsh@95.38.231.228)
2022-04-10 03:20:12 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-10 03:20:57 +0200redb(~nmh@136.49.49.211)
2022-04-10 03:21:17 +0200neurocyte8614492(~neurocyte@user/neurocyte) (Ping timeout: 256 seconds)
2022-04-10 03:22:33 +0200deadmarshal_(~deadmarsh@95.38.231.228) (Ping timeout: 248 seconds)
2022-04-10 03:25:13 +0200redb(~nmh@136.49.49.211) (Ping timeout: 248 seconds)
2022-04-10 03:29:39 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 246 seconds)
2022-04-10 03:37:50 +0200redb(~nmh@136.49.49.211)
2022-04-10 03:42:15 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-10 03:47:09 +0200dsrt^(~dsrt@c-24-99-107-170.hsd1.ga.comcast.net) (Remote host closed the connection)
2022-04-10 03:47:18 +0200redb(~nmh@136.49.49.211)
2022-04-10 03:47:51 +0200jinsun(~jinsun@user/jinsun) (Ping timeout: 246 seconds)
2022-04-10 03:55:37 +0200redb(~nmh@136.49.49.211) (Ping timeout: 248 seconds)
2022-04-10 03:58:17 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 248 seconds)
2022-04-10 04:00:11 +0200redb(~nmh@136.49.49.211)
2022-04-10 04:06:03 +0200redb(~nmh@136.49.49.211) (Ping timeout: 256 seconds)
2022-04-10 04:11:19 +0200redb(~nmh@136.49.49.211)
2022-04-10 04:14:32 +0200 <sshine> why is there both an 'aeson-schema' and an 'aeson-schemas' package? that's confusing.
2022-04-10 04:15:16 +0200y04nn(~y04nn@2001:ac8:28:93::a15e) (Remote host closed the connection)
2022-04-10 04:16:48 +0200 <sshine> they're even approximately equally popular (76 vs. 100 downloads).
2022-04-10 04:17:40 +0200 <dsal> People make packages and upload them.
2022-04-10 04:19:43 +0200euandreh(~euandreh@2804:14c:33:9fe5:142e:30d1:6bde:a674)
2022-04-10 04:20:47 +0200 <sshine> apparently, at the bottom of aeson-schema's README they say they only support draft v3, whereas another hjsonschema package supports draft v4, but this package is also deprecated. so aeson-schemas it is. :)
2022-04-10 04:21:15 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 04:25:02 +0200hammock(~Hammock@2600:1700:19a1:3330::588)
2022-04-10 04:26:37 +0200wroathe(~wroathe@user/wroathe) (Quit: leaving)
2022-04-10 04:26:42 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
2022-04-10 04:27:01 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-04-10 04:27:02 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-04-10 04:27:02 +0200wroathe(~wroathe@user/wroathe)
2022-04-10 04:30:08 +0200TonyStone(~TonyStone@2603-7080-8607-c36a-f1ec-d7f3-37e1-032c.res6.spectrum.com) (Remote host closed the connection)
2022-04-10 04:31:30 +0200ggVGc(~ggVGc@a.lowtech.earth) (Ping timeout: 260 seconds)
2022-04-10 04:31:52 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 04:33:23 +0200TonyStone(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com)
2022-04-10 04:34:56 +0200TonyStone(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Remote host closed the connection)
2022-04-10 04:35:41 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2022-04-10 04:35:42 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2022-04-10 04:35:42 +0200finn_elijaFinnElija
2022-04-10 04:36:43 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds)
2022-04-10 04:37:43 +0200razetime(~quassel@117.254.35.102) (Read error: Connection reset by peer)
2022-04-10 04:42:02 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 04:46:49 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds)
2022-04-10 04:51:11 +0200joo-_(~joo-_@fsf/member/joo--) (Ping timeout: 245 seconds)
2022-04-10 04:52:12 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 04:52:58 +0200joo-_(~joo-_@80-62-117-248-mobile.dk.customer.tdc.net)
2022-04-10 04:52:58 +0200joo-_(~joo-_@80-62-117-248-mobile.dk.customer.tdc.net) (Changing host)
2022-04-10 04:52:58 +0200joo-_(~joo-_@fsf/member/joo--)
2022-04-10 04:56:57 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds)
2022-04-10 05:02:02 +0200justOkayjustChili
2022-04-10 05:02:21 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 05:06:11 +0200abastro(~abab9579@220.75.216.63)
2022-04-10 05:06:57 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
2022-04-10 05:12:31 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 05:16:31 +0200zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-04-10 05:16:36 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net)
2022-04-10 05:17:06 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
2022-04-10 05:17:34 +0200MacbethwinChargen
2022-04-10 05:21:31 +0200cdman(~dcm@user/dmc/x-4369397)
2022-04-10 05:23:04 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 05:23:33 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Read error: Connection reset by peer)
2022-04-10 05:25:03 +0200flinner(~flinner@user/flinner)
2022-04-10 05:27:23 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-10 05:30:19 +0200_dmc_(~dcm@27.2.217.137)
2022-04-10 05:30:19 +0200_dmc_(~dcm@27.2.217.137) (Changing host)
2022-04-10 05:30:19 +0200_dmc_(~dcm@user/dmc/x-4369397)
2022-04-10 05:30:22 +0200cdman(~dcm@user/dmc/x-4369397) (Ping timeout: 268 seconds)
2022-04-10 05:33:53 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 256 seconds)
2022-04-10 05:38:53 +0200benin(~benin@183.82.204.110)
2022-04-10 05:42:23 +0200abastro(~abab9579@220.75.216.63) (Ping timeout: 256 seconds)
2022-04-10 05:43:30 +0200TonyStone(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com)
2022-04-10 05:45:42 +0200 <Sgeo> Do algebraic effects have laws corresponding to the monad laws? If so, are they written out somewhere? Can they differ between effect systems (I'm looking at Unison >.> )
2022-04-10 05:52:00 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2022-04-10 06:00:54 +0200deadmarshal_(~deadmarsh@95.38.231.228)
2022-04-10 06:06:18 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-04-10 06:06:30 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-10 06:18:05 +0200redb(~nmh@136.49.49.211) (Ping timeout: 256 seconds)
2022-04-10 06:19:48 +0200redb(~nmh@136.49.49.211)
2022-04-10 06:21:45 +0200abastro(~abab9579@220.75.216.63)
2022-04-10 06:22:50 +0200flinner(~flinner@user/flinner) (Quit: Using Circe, the loveliest of all IRC clients)
2022-04-10 06:24:19 +0200redb(~nmh@136.49.49.211) (Ping timeout: 256 seconds)
2022-04-10 06:25:20 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-04-10 06:29:28 +0200redb(~nmh@136.49.49.211)
2022-04-10 06:31:17 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-10 06:34:01 +0200redb(~nmh@136.49.49.211) (Ping timeout: 248 seconds)
2022-04-10 06:34:35 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds)
2022-04-10 06:39:47 +0200abastro(~abab9579@220.75.216.63) (Remote host closed the connection)
2022-04-10 06:40:45 +0200kayvank(~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 256 seconds)
2022-04-10 06:41:11 +0200abastro(~abab9579@220.75.216.63)
2022-04-10 06:42:51 +0200_dmc_(~dcm@user/dmc/x-4369397) (Quit: Leaving)
2022-04-10 06:43:07 +0200cdman(~dcm@user/dmc/x-4369397)
2022-04-10 06:43:58 +0200abastro(~abab9579@220.75.216.63) (Remote host closed the connection)
2022-04-10 06:44:12 +0200abastro(~abab9579@220.75.216.63)
2022-04-10 06:46:43 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-04-10 06:49:49 +0200chenqisu1(~chenqisu1@183.217.200.239) (Ping timeout: 256 seconds)
2022-04-10 06:49:53 +0200Akiva(~Akiva@user/Akiva)
2022-04-10 06:52:48 +0200redb(~nmh@136.49.49.211)
2022-04-10 06:56:41 +0200pavonia(~user@user/siracusa)
2022-04-10 06:57:29 +0200redb(~nmh@136.49.49.211) (Ping timeout: 248 seconds)
2022-04-10 06:58:23 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net)
2022-04-10 06:58:57 +0200goepsilongo(~chacho@2603-7000-ab00-62ed-0000-0000-0000-0bd0.res6.spectrum.com) (Quit: Konversation terminated!)
2022-04-10 06:59:31 +0200dschrempf(~dominik@2a01-036d-0118-ae84-6c6f-79fb-839d-0cde.pool6.digikabel.hu)
2022-04-10 07:01:37 +0200bahamas(~lucian@86.120.21.179)
2022-04-10 07:03:21 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 248 seconds)
2022-04-10 07:03:25 +0200deadmarshal_(~deadmarsh@95.38.231.228) (Ping timeout: 256 seconds)
2022-04-10 07:05:22 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-04-10 07:11:47 +0200frost(~frost@user/frost)
2022-04-10 07:14:49 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net)
2022-04-10 07:14:57 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2022-04-10 07:14:59 +0200allbery_b(~geekosaur@xmonad/geekosaur)
2022-04-10 07:15:02 +0200allbery_bgeekosaur
2022-04-10 07:17:43 +0200 <abastro[m]> I guess each effect system have their own laws - tbh their semantics are quite confusing to me.
2022-04-10 07:17:55 +0200 <abastro[m]> All of them have distinct semantics somehow.
2022-04-10 07:18:17 +0200werdnA(~andrew@114.88.181.56) (Ping timeout: 248 seconds)
2022-04-10 07:23:31 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 07:24:29 +0200dschrempf(~dominik@2a01-036d-0118-ae84-6c6f-79fb-839d-0cde.pool6.digikabel.hu) (Quit: WeeChat 3.4.1)
2022-04-10 07:26:52 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Read error: Connection reset by peer)
2022-04-10 07:28:09 +0200abastro(~abab9579@220.75.216.63) (Ping timeout: 268 seconds)
2022-04-10 07:31:08 +0200coot(~coot@213.134.190.95)
2022-04-10 07:32:20 +0200agrosant(~agrosant@79.103.182.92.dsl.dyn.forthnet.gr)
2022-04-10 07:32:31 +0200redb(~nmh@136.49.49.211)
2022-04-10 07:33:53 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-04-10 07:35:01 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-10 07:36:25 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 07:36:57 +0200redb(~nmh@136.49.49.211) (Ping timeout: 248 seconds)
2022-04-10 07:38:30 +0200bahamas(~lucian@86.120.21.179) (Ping timeout: 246 seconds)
2022-04-10 07:41:13 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds)
2022-04-10 07:46:38 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 272 seconds)
2022-04-10 07:57:17 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 08:00:01 +0200jinsun(~jinsun@user/jinsun)
2022-04-10 08:01:47 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds)
2022-04-10 08:06:57 +0200redb(~nmh@136.49.49.211)
2022-04-10 08:07:26 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 08:12:09 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds)
2022-04-10 08:12:25 +0200_ht(~quassel@231-169-21-31.ftth.glasoperator.nl)
2022-04-10 08:15:21 +0200redb(~nmh@136.49.49.211) (Ping timeout: 248 seconds)
2022-04-10 08:17:36 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 08:17:55 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-04-10 08:18:27 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net)
2022-04-10 08:19:11 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-04-10 08:22:17 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds)
2022-04-10 08:22:57 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 246 seconds)
2022-04-10 08:24:58 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-04-10 08:27:45 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 08:28:58 +0200redb(~nmh@136.49.49.211)
2022-04-10 08:30:07 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-10 08:32:57 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds)
2022-04-10 08:33:29 +0200redb(~nmh@136.49.49.211) (Ping timeout: 248 seconds)
2022-04-10 08:38:07 +0200acidjnk(~acidjnk@p200300d0c7049f542da7db62ea760e18.dip0.t-ipconnect.de)
2022-04-10 08:38:18 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 08:38:36 +0200Chargen(~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection)
2022-04-10 08:41:51 +0200jle`(~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 246 seconds)
2022-04-10 08:43:05 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds)
2022-04-10 08:43:54 +0200jle`(~jle`@cpe-23-240-75-236.socal.res.rr.com)
2022-04-10 08:45:30 +0200Macbethwin(~chargen@D964062A.static.ziggozakelijk.nl)
2022-04-10 08:47:08 +0200vysn(~vysn@user/vysn)
2022-04-10 08:47:55 +0200motherfsck(~motherfsc@user/motherfsck) (Quit: quit)
2022-04-10 08:54:16 +0200caubert(~caubert@136.244.111.235) (Quit: WeeChat 3.4)
2022-04-10 08:54:28 +0200caubert(~caubert@136.244.111.235)
2022-04-10 08:55:16 +0200bahamas(~lucian@84.232.140.158)
2022-04-10 08:56:11 +0200zyklotomic(~ethan@res388d-128-61-94-217.res.gatech.edu) (Ping timeout: 256 seconds)
2022-04-10 08:58:11 +0200zyklotomic(~ethan@res380d-128-61-83-53.res.gatech.edu)
2022-04-10 09:02:07 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net)
2022-04-10 09:02:20 +0200redb(~nmh@136.49.49.211)
2022-04-10 09:04:24 +0200Macbethwin(~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection)
2022-04-10 09:04:27 +0200axeman(~quassel@2a02:8109:a380:78:b60:751:db79:f3ec)
2022-04-10 09:09:45 +0200simeon(~pi@dslb-002-202-026-141.002.202.pools.vodafone-ip.de) (Ping timeout: 248 seconds)
2022-04-10 09:10:12 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-10 09:15:09 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 09:15:22 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-04-10 09:15:55 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net)
2022-04-10 09:20:21 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
2022-04-10 09:20:55 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-04-10 09:21:03 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 246 seconds)
2022-04-10 09:21:12 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-10 09:23:45 +0200 <jonathanx_> I'm trying out cabal a bit (long term stack user), and can't figure out how to run tests with file watch. Google is rather unhelpful. I'm on vscode with HLS, if that helps
2022-04-10 09:23:48 +0200redb(~nmh@136.49.49.211)
2022-04-10 09:25:28 +0200Macbethwin(~chargen@D964062A.static.ziggozakelijk.nl)
2022-04-10 09:26:36 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 09:28:25 +0200redb(~nmh@136.49.49.211) (Ping timeout: 248 seconds)
2022-04-10 09:29:55 +0200redb(~nmh@136.49.49.211)
2022-04-10 09:31:19 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds)
2022-04-10 09:32:35 +0200simeon(~pi@dslb-088-076-113-221.088.076.pools.vodafone-ip.de)
2022-04-10 09:34:34 +0200redb(~nmh@136.49.49.211) (Ping timeout: 268 seconds)
2022-04-10 09:36:44 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 09:41:16 +0200coot(~coot@213.134.190.95)
2022-04-10 09:42:35 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds)
2022-04-10 09:42:51 +0200shriekingnoise(~shrieking@201.231.16.156) (Quit: Quit)
2022-04-10 09:44:13 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-04-10 09:44:43 +0200zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2022-04-10 09:46:02 +0200redb(~nmh@136.49.49.211)
2022-04-10 09:46:47 +0200zaquest(~notzaques@5.130.79.72)
2022-04-10 09:47:17 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 09:50:36 +0200redb(~nmh@136.49.49.211) (Ping timeout: 268 seconds)
2022-04-10 09:50:43 +0200odnes(~odnes@5-203-221-3.pat.nym.cosmote.net)
2022-04-10 09:52:17 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds)
2022-04-10 09:53:29 +0200 <maerwald[m]> jonathanx_: https://github.com/haskell/cabal/issues/5252
2022-04-10 09:54:39 +0200chenqisu1(~chenqisu1@183.217.200.239)
2022-04-10 09:57:45 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-04-10 09:57:48 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 09:57:59 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-10 09:58:07 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-04-10 09:58:20 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-10 09:58:28 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-04-10 09:58:43 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-10 09:58:51 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-04-10 10:02:21 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
2022-04-10 10:05:13 +0200zincy(~zincy@host86-160-236-152.range86-160.btcentralplus.com)
2022-04-10 10:05:26 +0200zincy(~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection)
2022-04-10 10:06:01 +0200vysn(~vysn@user/vysn) (Quit: WeeChat 3.4)
2022-04-10 10:06:38 +0200ishaan(~ishaan@122.161.51.93)
2022-04-10 10:07:58 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 10:08:09 +0200bahamas(~lucian@84.232.140.158) (Ping timeout: 256 seconds)
2022-04-10 10:10:06 +0200bahamas(~lucian@84.232.140.158)
2022-04-10 10:12:30 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
2022-04-10 10:13:13 +0200axeman(~quassel@2a02:8109:a380:78:b60:751:db79:f3ec) (Ping timeout: 248 seconds)
2022-04-10 10:17:12 +0200xpika(~alan@n122-110-60-225.sun2.vic.optusnet.com.au) (Read error: Connection reset by peer)
2022-04-10 10:19:29 +0200redb(~nmh@136.49.49.211)
2022-04-10 10:22:36 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2022-04-10 10:23:39 +0200chddr(~Thunderbi@91.226.34.187)
2022-04-10 10:23:53 +0200redb(~nmh@136.49.49.211) (Ping timeout: 248 seconds)
2022-04-10 10:27:24 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 10:27:43 +0200axeman(~quassel@2a02:8109:a380:78:a7cc:3b43:4da7:23f3)
2022-04-10 10:31:41 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-04-10 10:31:53 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-04-10 10:31:57 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds)
2022-04-10 10:34:20 +0200 <Unicorn_Princess> hm. so i can't partially define a function using pattern-matching, and if all the patterns fall through, use like, point-free style for the rest?
2022-04-10 10:35:14 +0200 <Unicorn_Princess> e.g. zero_out_two 2 = 0; zero_out_two = id;
2022-04-10 10:35:58 +0200 <Rembane> Unicorn_Princess: That's true, all function equations need to have the same number of arguments. Have a lookt at LambdaCase though.
2022-04-10 10:36:48 +0200redb(~nmh@136.49.49.211)
2022-04-10 10:38:05 +0200 <Unicorn_Princess> and there was some syntax where I don't have to write all the arguments in a pattern-match constructor.. someting like instead of IHaveManyArgs a _ _ _ _, I could write IHaveManyArgs a ...?
2022-04-10 10:39:05 +0200 <Rembane> You could put all your arguments into a record or a tuple instead.
2022-04-10 10:39:42 +0200 <Unicorn_Princess> oh maybe i'm thinking of Rust that lets you do this..
2022-04-10 10:41:02 +0200 <Rembane> How does Rust let you do this?
2022-04-10 10:41:35 +0200redb(~nmh@136.49.49.211) (Ping timeout: 256 seconds)
2022-04-10 10:43:04 +0200 <Unicorn_Princess> like this: https://doc.rust-lang.org/book/ch18-03-pattern-syntax.html#ignoring-remaining-parts-of-a-value-with-
2022-04-10 10:44:21 +0200 <Rembane> That's really nice, you can do that in Haskell too, in the same way as in Rust, but you need some language extensions, lets see if I can find them.
2022-04-10 10:44:26 +0200razetime(~quassel@117.254.35.102)
2022-04-10 10:44:41 +0200razetime_(~quassel@117.254.35.102)
2022-04-10 10:44:48 +0200 <abastro[m]> Hmm
2022-04-10 10:44:54 +0200 <abastro[m]> I think haskell has sth like it without extension
2022-04-10 10:44:55 +0200 <abastro[m]> For records*
2022-04-10 10:44:59 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-04-10 10:45:04 +0200razetime__(~quassel@117.254.35.102)
2022-04-10 10:45:05 +0200 <Unicorn_Princess> ah, this is what you meant, Rembane: https://stackoverflow.com/questions/38052553/haskell-record-pattern-matching
2022-04-10 10:45:15 +0200razetime__(~quassel@117.254.35.102) (Client Quit)
2022-04-10 10:45:19 +0200razetime_(~quassel@117.254.35.102) (Client Quit)
2022-04-10 10:45:29 +0200 <Unicorn_Princess> very handy, and i already have a record, so it's just what i need
2022-04-10 10:45:29 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-04-10 10:48:22 +0200 <Rembane> Unicorn_Princess: Bingo! Also this: https://paste.tomsmeding.com/5ijs45HK
2022-04-10 10:49:12 +0200 <Unicorn_Princess> not even a ..? i don't like it >:(
2022-04-10 10:49:28 +0200 <Rembane> :D
2022-04-10 10:49:29 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds)
2022-04-10 10:49:42 +0200 <Rembane> You won't be using the dots for anything, so what are they good for?
2022-04-10 10:49:48 +0200 <Unicorn_Princess> oh wait
2022-04-10 10:50:20 +0200 <Unicorn_Princess> if f was instead `f R { b } = b`..
2022-04-10 10:50:28 +0200 <Unicorn_Princess> then it would return the b field?
2022-04-10 10:50:33 +0200bahamas(~lucian@84.232.140.158) (Ping timeout: 248 seconds)
2022-04-10 10:50:40 +0200 <Rembane> Bingo!
2022-04-10 10:50:47 +0200 <Unicorn_Princess> in that case i do like it :)
2022-04-10 10:50:49 +0200 <Rembane> There's another way to do it too: https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/record_wildcards.html
2022-04-10 10:50:52 +0200 <Rembane> ^^
2022-04-10 10:52:00 +0200chddr(~Thunderbi@91.226.34.187) (Quit: chddr)
2022-04-10 10:52:03 +0200 <Unicorn_Princess> ah, but works only if there aren't two arguments with the same constructor, eh?
2022-04-10 10:53:23 +0200 <Rembane> Yeah, that's usually true for all nice things.
2022-04-10 10:54:17 +0200redb(~nmh@136.49.49.211)
2022-04-10 10:54:43 +0200 <Rembane> Or wait... I think I misinterpreted your question, I thought you meant many constructors in the same datatype and records for each.
2022-04-10 10:54:46 +0200 <Rembane> Do you have an example?
2022-04-10 10:55:55 +0200 <Unicorn_Princess> nope, you didn't misunderstand
2022-04-10 10:56:12 +0200 <Unicorn_Princess> and A{record_name=r} solves my issue perfectly
2022-04-10 10:56:39 +0200 <Unicorn_Princess> hrm. now why can't i find how to rename a variable in the haskell lsp... brb
2022-04-10 10:56:42 +0200 <Rembane> Cool, in the case of many constructors for a datatype with records for each lenses are usually the solution for that, but that's a whole other can of worms.
2022-04-10 10:57:19 +0200acidjnk(~acidjnk@p200300d0c7049f542da7db62ea760e18.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-04-10 10:59:03 +0200redb(~nmh@136.49.49.211) (Ping timeout: 268 seconds)
2022-04-10 11:00:07 +0200justChili(~justache@user/justache) (Remote host closed the connection)
2022-04-10 11:01:03 +0200justChili(~justache@user/justache)
2022-04-10 11:03:32 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-10 11:03:36 +0200kaph(~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Ping timeout: 246 seconds)
2022-04-10 11:06:33 +0200axeman(~quassel@2a02:8109:a380:78:a7cc:3b43:4da7:23f3) (Ping timeout: 248 seconds)
2022-04-10 11:11:01 +0200axeman(~quassel@2a02:8109:a380:78:913b:b096:c0d4:3d3f)
2022-04-10 11:12:14 +0200deadmarshal_(~deadmarsh@95.38.231.228)
2022-04-10 11:15:14 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net)
2022-04-10 11:16:43 +0200deadmarshal_(~deadmarsh@95.38.231.228) (Ping timeout: 256 seconds)
2022-04-10 11:18:55 +0200redb(~nmh@136.49.49.211)
2022-04-10 11:19:46 +0200acidjnk(~acidjnk@p200300d0c7049f54355c7e35a7ab579b.dip0.t-ipconnect.de)
2022-04-10 11:19:51 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-04-10 11:23:05 +0200redb(~nmh@136.49.49.211) (Ping timeout: 248 seconds)
2022-04-10 11:28:14 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-04-10 11:29:04 +0200axeman(~quassel@2a02:8109:a380:78:913b:b096:c0d4:3d3f) (Quit: No Ping reply in 180 seconds.)
2022-04-10 11:30:19 +0200axeman(~quassel@2a02:8109:a380:78:c572:3c72:fbb6:70ac)
2022-04-10 11:35:55 +0200redb(~nmh@136.49.49.211)
2022-04-10 11:37:07 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 256 seconds)
2022-04-10 11:40:00 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-10 11:44:50 +0200zeenk(~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94)
2022-04-10 11:46:24 +0200bahamas(~lucian@84.232.140.158)
2022-04-10 11:47:12 +0200 <Unicorn_Princess> ah, looks like i was looking in the right place, but haskell-lsp doesn't support renaming
2022-04-10 11:47:19 +0200gurkenglas(~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de)
2022-04-10 11:47:35 +0200 <Unicorn_Princess> (the emacs lisp function is called lsp-rename, fyi)
2022-04-10 11:48:48 +0200 <abastro[m]> I think it used to support renaming
2022-04-10 11:48:53 +0200 <abastro[m]> Idk where the functionality has gone hmm
2022-04-10 11:49:14 +0200 <abastro[m]> Perhaps some ppl thought text replace is enough, I guess
2022-04-10 11:49:20 +0200Unicorn_Princesswill stay outside that particular rabbit hole
2022-04-10 11:54:12 +0200gaff(~gaff@49.207.206.194)
2022-04-10 11:54:20 +0200gaff(~gaff@49.207.206.194) (Client Quit)
2022-04-10 11:54:23 +0200razetime(~quassel@117.254.35.102) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-04-10 11:59:37 +0200Macbethwin(~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection)
2022-04-10 12:01:39 +0200ishaan(~ishaan@122.161.51.93) (Quit: Client closed)
2022-04-10 12:04:09 +0200bahamas(~lucian@84.232.140.158) (Ping timeout: 246 seconds)
2022-04-10 12:05:39 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds)
2022-04-10 12:12:23 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-04-10 12:13:31 +0200Nahra(~user@static.161.95.99.88.clients.your-server.de)
2022-04-10 12:14:40 +0200redb(~nmh@136.49.49.211)
2022-04-10 12:16:39 +0200acidjnk(~acidjnk@p200300d0c7049f54355c7e35a7ab579b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-04-10 12:17:01 +0200fockerized(~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection)
2022-04-10 12:17:58 +0200Hanicef(~gustaf@81-229-9-108-no92.tbcn.telia.com)
2022-04-10 12:18:51 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-10 12:26:27 +0200dextaa(~dextaa@user/dextaa) (Remote host closed the connection)
2022-04-10 12:27:28 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-04-10 12:27:54 +0200Macbethwin(~chargen@D964062A.static.ziggozakelijk.nl)
2022-04-10 12:28:14 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 12:32:41 +0200Vajb(~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813)
2022-04-10 12:33:06 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-10 12:35:24 +0200Macbethwin(~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection)
2022-04-10 12:37:20 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds)
2022-04-10 12:42:25 +0200mniip(mniip@libera/staff/mniip) (Remote host closed the connection)
2022-04-10 12:45:31 +0200shriekingnoise(~shrieking@201.231.16.156)
2022-04-10 12:46:36 +0200mniip(~mniip@libera/staff/mniip)
2022-04-10 12:47:31 +0200redb(~nmh@136.49.49.211)
2022-04-10 12:47:53 +0200axeman(~quassel@2a02:8109:a380:78:c572:3c72:fbb6:70ac) (Ping timeout: 248 seconds)
2022-04-10 12:50:38 +0200Macbethwin(~chargen@D964062A.static.ziggozakelijk.nl)
2022-04-10 12:51:45 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-10 12:52:31 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 12:57:27 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds)
2022-04-10 13:00:32 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 13:02:57 +0200Macbethwin(~chargen@D964062A.static.ziggozakelijk.nl) (Ping timeout: 246 seconds)
2022-04-10 13:05:43 +0200abastro(~abab9579@192.249.26.42)
2022-04-10 13:07:05 +0200benin(~benin@183.82.204.110) (Ping timeout: 248 seconds)
2022-04-10 13:07:08 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-04-10 13:07:37 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 248 seconds)
2022-04-10 13:13:44 +0200kaph(~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it)
2022-04-10 13:14:51 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
2022-04-10 13:15:37 +0200Akiva(~Akiva@user/Akiva) (Ping timeout: 248 seconds)
2022-04-10 13:18:34 +0200abastro(~abab9579@192.249.26.42) (Remote host closed the connection)
2022-04-10 13:20:06 +0200acidjnk(~acidjnk@p200300d0c7049f54a49f92cbcc925d29.dip0.t-ipconnect.de)
2022-04-10 13:20:31 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 13:21:10 +0200brandonh(brandonh@gateway/vpn/protonvpn/brandonh)
2022-04-10 13:22:47 +0200redb(~nmh@136.49.49.211)
2022-04-10 13:25:49 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds)
2022-04-10 13:28:11 +0200redb(~nmh@136.49.49.211) (Ping timeout: 256 seconds)
2022-04-10 13:33:03 +0200haskellberry(~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2022-04-10 13:34:16 +0200ggVGc(~ggVGc@a.lowtech.earth)
2022-04-10 13:34:57 +0200dextaa(~dextaa@user/dextaa)
2022-04-10 13:35:37 +0200xkuru(~xkuru@user/xkuru) (Read error: Connection reset by peer)
2022-04-10 13:36:37 +0200redb(~nmh@136.49.49.211)
2022-04-10 13:41:13 +0200redb(~nmh@136.49.49.211) (Ping timeout: 256 seconds)
2022-04-10 13:43:04 +0200redb(~nmh@136.49.49.211)
2022-04-10 13:45:30 +0200odnes_(~odnes@5-203-221-3.pat.nym.cosmote.net)
2022-04-10 13:45:41 +0200odnes(~odnes@5-203-221-3.pat.nym.cosmote.net) (Read error: Connection reset by peer)
2022-04-10 13:48:00 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-04-10 13:52:25 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds)
2022-04-10 13:55:44 +0200shriekingnoise(~shrieking@201.231.16.156) (Quit: Quit)
2022-04-10 13:57:43 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 14:01:15 +0200jm(~jm@181.171.21.84)
2022-04-10 14:02:06 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
2022-04-10 14:07:39 +0200abastro(~abab9579@192.249.26.42)
2022-04-10 14:09:27 +0200brandonh(brandonh@gateway/vpn/protonvpn/brandonh) (Ping timeout: 246 seconds)
2022-04-10 14:11:34 +0200brandonh(brandonh@gateway/vpn/protonvpn/brandonh)
2022-04-10 14:12:04 +0200kaph(~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Read error: Connection reset by peer)
2022-04-10 14:12:21 +0200kaph(~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it)
2022-04-10 14:13:52 +0200brandonh(brandonh@gateway/vpn/protonvpn/brandonh) (Client Quit)
2022-04-10 14:15:28 +0200goepsilongo(~chacho@2603-7000-ab00-62ed-0000-0000-0000-0bd0.res6.spectrum.com)
2022-04-10 14:17:09 +0200haskellberry(~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds)
2022-04-10 14:19:20 +0200ishaan(~ishaan@122.161.51.93)
2022-04-10 14:21:15 +0200acidjnk(~acidjnk@p200300d0c7049f54a49f92cbcc925d29.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-04-10 14:29:29 +0200machinedgod(~machinedg@24.105.81.50)
2022-04-10 14:36:12 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 14:44:27 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
2022-04-10 14:48:33 +0200alp_(~alp@user/alp)
2022-04-10 14:49:00 +0200haskellberry(~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2022-04-10 14:49:16 +0200bahamas(~lucian@84.232.140.158)
2022-04-10 14:49:49 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 14:51:33 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-04-10 14:54:46 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds)
2022-04-10 14:57:09 +0200chenqisu1(~chenqisu1@183.217.200.239) (Ping timeout: 256 seconds)
2022-04-10 14:57:44 +0200jmjmatarrese
2022-04-10 14:58:15 +0200jmatarresejavier
2022-04-10 14:58:24 +0200javierjm
2022-04-10 15:00:40 +0200phma(~phma@2001:5b0:210d:6f38:47d2:1a57:a8ac:4c26) (Read error: Connection reset by peer)
2022-04-10 15:01:04 +0200jmjmatarrese
2022-04-10 15:01:23 +0200phma(~phma@host-67-44-208-191.hnremote.net)
2022-04-10 15:04:36 +0200brandonh(brandonh@gateway/vpn/protonvpn/brandonh)
2022-04-10 15:05:00 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-10 15:07:55 +0200Vajb(~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) (Ping timeout: 260 seconds)
2022-04-10 15:08:13 +0200jmatarrese(~jm@181.171.21.84) (Quit: nyaa~)
2022-04-10 15:08:15 +0200abastro(~abab9579@192.249.26.42) (Ping timeout: 246 seconds)
2022-04-10 15:08:16 +0200abas85851(~abab9579@192.249.26.42)
2022-04-10 15:09:17 +0200brandonh(brandonh@gateway/vpn/protonvpn/brandonh) (Client Quit)
2022-04-10 15:09:51 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 15:09:54 +0200Hanicef(~gustaf@81-229-9-108-no92.tbcn.telia.com) (Quit: leaving)
2022-04-10 15:10:59 +0200zeenk(~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!)
2022-04-10 15:12:25 +0200haskellberry(~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 248 seconds)
2022-04-10 15:13:21 +0200coot(~coot@213.134.190.95)
2022-04-10 15:14:12 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
2022-04-10 15:20:01 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 15:37:56 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2022-04-10 15:38:16 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2022-04-10 15:38:39 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-04-10 15:39:33 +0200kaph(~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Remote host closed the connection)
2022-04-10 15:39:54 +0200kaph(~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it)
2022-04-10 15:45:21 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 246 seconds)
2022-04-10 15:45:25 +0200cdman(~dcm@user/dmc/x-4369397) (Quit: Leaving)
2022-04-10 15:47:29 +0200ridcully_(~ridcully@pd951f433.dip0.t-ipconnect.de) (Remote host closed the connection)
2022-04-10 15:47:42 +0200ridcully(~ridcully@pd951f433.dip0.t-ipconnect.de)
2022-04-10 15:49:55 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-04-10 15:57:47 +0200hololeap(~hololeap@user/hololeap) (Remote host closed the connection)
2022-04-10 16:04:54 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net)
2022-04-10 16:13:02 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-04-10 16:14:47 +0200hammock(~Hammock@2600:1700:19a1:3330::588) (Ping timeout: 268 seconds)
2022-04-10 16:21:03 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
2022-04-10 16:23:12 +0200geranim0(~geranim0@modemcable242.171-178-173.mc.videotron.ca) (Remote host closed the connection)
2022-04-10 16:23:30 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 246 seconds)
2022-04-10 16:25:43 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-04-10 16:31:41 +0200zincy(~zincy@host86-160-236-152.range86-160.btcentralplus.com)
2022-04-10 16:35:52 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2022-04-10 16:35:52 +0200allbery_b(~geekosaur@xmonad/geekosaur)
2022-04-10 16:35:55 +0200allbery_bgeekosaur
2022-04-10 16:36:06 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 246 seconds)
2022-04-10 16:37:16 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 16:40:34 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-04-10 16:40:34 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-04-10 16:40:34 +0200wroathe(~wroathe@user/wroathe)
2022-04-10 16:40:57 +0200abas85851(~abab9579@192.249.26.42) (Ping timeout: 248 seconds)
2022-04-10 16:42:26 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds)
2022-04-10 16:44:11 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-04-10 16:45:18 +0200jakalx(~jakalx@base.jakalx.net)
2022-04-10 16:47:04 +0200TonyStone(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Quit: Leaving)
2022-04-10 16:47:24 +0200TonyStone(~TonyStone@2603-7080-8607-c36a-4559-b1a3-4de1-30b6.res6.spectrum.com)
2022-04-10 16:47:24 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 16:50:02 +0200bahamas(~lucian@84.232.140.158) (Ping timeout: 272 seconds)
2022-04-10 16:50:11 +0200Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-04-10 16:50:12 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-04-10 16:52:09 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds)
2022-04-10 16:52:48 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-04-10 16:53:19 +0200redb(~nmh@136.49.49.211) (Ping timeout: 256 seconds)
2022-04-10 16:54:27 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2022-04-10 16:57:34 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 16:59:36 +0200redb(~nmh@136.49.49.211)
2022-04-10 17:02:17 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds)
2022-04-10 17:03:20 +0200kaph(~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Read error: Connection reset by peer)
2022-04-10 17:04:36 +0200redb(~nmh@136.49.49.211) (Ping timeout: 272 seconds)
2022-04-10 17:05:56 +0200redb(~nmh@136.49.49.211)
2022-04-10 17:08:03 +0200TonyStone(~TonyStone@2603-7080-8607-c36a-4559-b1a3-4de1-30b6.res6.spectrum.com) (Ping timeout: 260 seconds)
2022-04-10 17:09:03 +0200zincy(~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection)
2022-04-10 17:10:17 +0200redb(~nmh@136.49.49.211) (Ping timeout: 248 seconds)
2022-04-10 17:10:55 +0200redb(~nmh@136.49.49.211)
2022-04-10 17:12:03 +0200bahamas(~lucian@84.232.140.158)
2022-04-10 17:13:51 +0200 <Inst> proposal: Monad refers to the category theory concept and the typeclass only.
2022-04-10 17:14:07 +0200 <Inst> MAF refers to Monadic Applicative Functor and a datatype that can be instanced into Monad
2022-04-10 17:15:55 +0200 <geekosaur> it's a bit late to change that, I think
2022-04-10 17:16:09 +0200 <hpc> counter-proposal: rename Functor to Map, Applicative to DSL, and Monad to DesignPattern
2022-04-10 17:16:13 +0200 <hpc> >:)
2022-04-10 17:17:30 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 17:18:17 +0200 <abastro[m]> >:3
2022-04-10 17:19:38 +0200 <hpc> even more evil proposal: redefine const to "const x = x", because variables in haskell are already const by default
2022-04-10 17:20:52 +0200TonyStone(~TonyStone@2603-7080-8607-c36a-4559-b1a3-4de1-30b6.res6.spectrum.com)
2022-04-10 17:20:58 +0200hgolden(~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (Quit: Konversation terminated!)
2022-04-10 17:21:28 +0200fef(~thedawn@user/thedawn)
2022-04-10 17:23:14 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds)
2022-04-10 17:23:45 +0200 <hpc> the id function hashes a value's memory and returns a guid
2022-04-10 17:23:51 +0200 <hpc> the data keyword has been renamed to type
2022-04-10 17:23:51 +0200Inst(~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 268 seconds)
2022-04-10 17:23:56 +0200 <abastro[m]> `:t pure @((->) a)`
2022-04-10 17:24:03 +0200 <hpc> type is now a function that types out what it was given to stdout :D
2022-04-10 17:24:06 +0200 <abastro[m]> :t pure @((->) a)
2022-04-10 17:24:06 +0200hgolden(~hgolden2@cpe-172-251-233-141.socal.res.rr.com)
2022-04-10 17:24:07 +0200 <lambdabot> error: parse error on input ‘->’
2022-04-10 17:24:33 +0200 <abastro[m]> Wh
2022-04-10 17:24:46 +0200 <hpc> er, the data keyword has been renamed to class
2022-04-10 17:24:53 +0200 <hpc> to fit in with other oop languages :D
2022-04-10 17:25:05 +0200 <geekosaur> lambdabot doens't support TypeApplications
2022-04-10 17:25:08 +0200 <abastro[m]> That's the spirit
2022-04-10 17:25:19 +0200 <abastro[m]> Oh lambdabot :<
2022-04-10 17:25:23 +0200 <hpc> % :t pure @((->) a)
2022-04-10 17:25:23 +0200 <yahb> hpc: ; <interactive>:1:13: error: Not in scope: type variable `a'
2022-04-10 17:25:31 +0200 <hpc> % :t pure @(->)
2022-04-10 17:25:31 +0200 <yahb> hpc: ; <interactive>:1:7: error:; * Expecting one more argument to `(->)'; Expected kind `* -> *', but `(->)' has kind `* -> * -> *'; * In the type `(->)'; In the expression: pure @(->)
2022-04-10 17:25:34 +0200kaph(~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it)
2022-04-10 17:25:36 +0200 <hpc> bah
2022-04-10 17:25:41 +0200 <geekosaur> % :t pure @((->) _)
2022-04-10 17:25:41 +0200 <yahb> geekosaur: a -> w -> a
2022-04-10 17:25:56 +0200frost(~frost@user/frost) (Quit: Client closed)
2022-04-10 17:25:57 +0200 <abastro[m]> % :t pure @((->) _)
2022-04-10 17:25:57 +0200 <yahb> abastro[m]: a -> w -> a
2022-04-10 17:26:03 +0200 <abastro[m]> Oh ninja'd
2022-04-10 17:26:51 +0200 <abastro[m]> So that is an alternative implementation of traditional const
2022-04-10 17:27:53 +0200 <hpc> also ($) is redefined as ($) = jquery
2022-04-10 17:28:03 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 17:28:15 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-10 17:29:15 +0200 <abastro[m]> I legit heard of suggestions like... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/041a4b39e1a7222df46672e7cff2d833dbaf…)
2022-04-10 17:30:00 +0200 <abastro[m]> I guess F# folks might like that
2022-04-10 17:30:16 +0200 <hpc> we can split the difference
2022-04-10 17:30:20 +0200 <hpc> Functor => Functorable
2022-04-10 17:31:22 +0200 <Zemyla> What would Contravariant be renamed?
2022-04-10 17:33:06 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds)
2022-04-10 17:35:21 +0200joo-_(~joo-_@fsf/member/joo--) (Ping timeout: 248 seconds)
2022-04-10 17:36:17 +0200ccntrq(~Thunderbi@2a01:e34:eccb:b060:74cc:725b:6f98:de09)
2022-04-10 17:36:22 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-04-10 17:37:06 +0200joo-_(~joo-_@80-62-116-147-mobile.dk.customer.tdc.net)
2022-04-10 17:37:06 +0200joo-_(~joo-_@80-62-116-147-mobile.dk.customer.tdc.net) (Changing host)
2022-04-10 17:37:06 +0200joo-_(~joo-_@fsf/member/joo--)
2022-04-10 17:41:25 +0200coot(~coot@213.134.190.95)
2022-04-10 17:42:58 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-10 17:43:47 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 17:45:58 +0200axeman(~quassel@2a02:8109:a380:78:9943:d00d:1e8f:83f2)
2022-04-10 17:48:31 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds)
2022-04-10 17:52:41 +0200redb(~nmh@136.49.49.211)
2022-04-10 17:58:26 +0200redb(~nmh@136.49.49.211) (Ping timeout: 272 seconds)
2022-04-10 18:09:15 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2022-04-10 18:14:26 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2022-04-10 18:15:38 +0200redb(~nmh@136.49.49.211)
2022-04-10 18:16:06 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2022-04-10 18:17:38 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net)
2022-04-10 18:18:24 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-04-10 18:18:58 +0200dolio(~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in)
2022-04-10 18:20:03 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-10 18:21:07 +0200odnes_(~odnes@5-203-221-3.pat.nym.cosmote.net) (Quit: Leaving)
2022-04-10 18:21:25 +0200dolio(~dolio@130.44.130.54)
2022-04-10 18:23:40 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 268 seconds)
2022-04-10 18:23:59 +0200 <monochrom> ContravariantFunctorable? >:)
2022-04-10 18:25:47 +0200 <monochrom> Ah, late to the party.
2022-04-10 18:26:17 +0200zeenk(~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94)
2022-04-10 18:29:04 +0200 <monochrom> https://betterprogramming.pub/monads-are-just-fancy-semicolons-ffe38401fd0e will serve as perpetual reminder that whenever people believe "oh, I know", they are fooling themselves.
2022-04-10 18:30:16 +0200Inst(~Liam@c-98-208-218-119.hsd1.fl.comcast.net)
2022-04-10 18:33:07 +0200gehmehgeh(~user@user/gehmehgeh)
2022-04-10 18:34:12 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-04-10 18:34:21 +0200redb(~nmh@136.49.49.211)
2022-04-10 18:37:58 +0200MajorBiscuit(~MajorBisc@83.22.32.182.ipv4.supernova.orange.pl)
2022-04-10 18:38:40 +0200[exa](exa@user/exa/x-3587197)
2022-04-10 18:39:05 +0200redb(~nmh@136.49.49.211) (Ping timeout: 268 seconds)
2022-04-10 18:40:05 +0200redb(~nmh@136.49.49.211)
2022-04-10 18:41:45 +0200 <c_wraith> Ah, the good old unlawful bind counting "monad"
2022-04-10 18:42:34 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net)
2022-04-10 18:44:23 +0200redb(~nmh@136.49.49.211) (Ping timeout: 256 seconds)
2022-04-10 18:47:21 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 248 seconds)
2022-04-10 18:49:00 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2022-04-10 18:49:13 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-04-10 18:49:54 +0200haskellberry(~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2022-04-10 18:50:31 +0200infinity0(~infinity0@occupy.ecodis.net) (Ping timeout: 260 seconds)
2022-04-10 18:56:48 +0200redb(~nmh@136.49.49.211)
2022-04-10 18:57:35 +0200MajorBiscuit(~MajorBisc@83.22.32.182.ipv4.supernova.orange.pl) (Ping timeout: 268 seconds)
2022-04-10 18:59:15 +0200MajorBiscuit(~MajorBisc@83.22.32.182.ipv4.supernova.orange.pl)
2022-04-10 19:01:00 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-10 19:02:14 +0200brandonh(brandonh@gateway/vpn/protonvpn/brandonh)
2022-04-10 19:07:21 +0200tabemann(~travisb@2600:1700:7990:24e0:da3f:51e6:d535:6e76) (Remote host closed the connection)
2022-04-10 19:07:34 +0200tabemann(~travisb@2600:1700:7990:24e0:4e26:4e55:2765:53c9)
2022-04-10 19:09:50 +0200deadmarshal_(~deadmarsh@95.38.231.228)
2022-04-10 19:09:53 +0200redb(~nmh@136.49.49.211)
2022-04-10 19:13:36 +0200bahamas(~lucian@84.232.140.158) (Ping timeout: 246 seconds)
2022-04-10 19:13:48 +0200raym(~raym@user/raym) (Ping timeout: 272 seconds)
2022-04-10 19:14:18 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-10 19:17:36 +0200ccntrq(~Thunderbi@2a01:e34:eccb:b060:74cc:725b:6f98:de09) (Remote host closed the connection)
2022-04-10 19:29:06 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-04-10 19:29:33 +0200coot(~coot@213.134.190.95)
2022-04-10 19:29:35 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-04-10 19:30:02 +0200ishaan(~ishaan@122.161.51.93) (Quit: Client closed)
2022-04-10 19:30:40 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-04-10 19:32:37 +0200redb(~nmh@136.49.49.211)
2022-04-10 19:33:20 +0200econo(uid147250@user/econo)
2022-04-10 19:37:03 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-10 19:37:40 +0200averell(~averell@user/averell) (Quit: .)
2022-04-10 19:38:05 +0200bahamas(~lucian@84.232.140.158)
2022-04-10 19:44:16 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-04-10 19:44:19 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 19:48:45 +0200brandonh(brandonh@gateway/vpn/protonvpn/brandonh) (Quit: brandonh)
2022-04-10 19:49:11 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net)
2022-04-10 19:49:39 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
2022-04-10 19:49:44 +0200jgeerds(~jgeerds@d5364b87.access.ecotel.net)
2022-04-10 19:51:35 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
2022-04-10 19:51:56 +0200gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2022-04-10 19:52:26 +0200bahamas(~lucian@84.232.140.158) (Ping timeout: 272 seconds)
2022-04-10 19:54:19 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 268 seconds)
2022-04-10 19:56:08 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 19:57:14 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-04-10 19:57:16 +0200redb(~nmh@136.49.49.211)
2022-04-10 20:00:30 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
2022-04-10 20:01:00 +0200coot(~coot@213.134.190.95)
2022-04-10 20:01:33 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-10 20:01:56 +0200raym(~raym@user/raym)
2022-04-10 20:02:29 +0200coot(~coot@213.134.190.95) (Client Quit)
2022-04-10 20:02:59 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 20:07:21 +0200deadmarshal_(~deadmarsh@95.38.231.228) (Ping timeout: 248 seconds)
2022-04-10 20:08:51 +0200redb(~nmh@136.49.49.211)
2022-04-10 20:09:42 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-04-10 20:11:19 +0200jakalx(~jakalx@base.jakalx.net)
2022-04-10 20:13:28 +0200arjun(~arjun@user/arjun)
2022-04-10 20:13:58 +0200redb(~nmh@136.49.49.211) (Ping timeout: 272 seconds)
2022-04-10 20:14:19 +0200 <arjun> hi, if i have a type say StateT Stack (MaybeT m) with m as my base monad
2022-04-10 20:14:42 +0200 <arjun> when i use lift, do i go from inside out, or outside in ?
2022-04-10 20:14:46 +0200 <Franciman> hi arjun
2022-04-10 20:14:50 +0200 <Franciman> :t lift
2022-04-10 20:14:51 +0200 <lambdabot> (MonadTrans t, Monad m) => m a -> t m a
2022-04-10 20:14:53 +0200bahamas(~lucian@84.232.140.158)
2022-04-10 20:14:59 +0200 <Franciman> so you go from m to MaybeT m
2022-04-10 20:15:12 +0200 <Franciman> or from MaybeT m to StateT Stack (MaybeT m)
2022-04-10 20:15:14 +0200 <arjun> so i am in the base monad by default
2022-04-10 20:15:20 +0200 <Franciman> lower level yes
2022-04-10 20:15:31 +0200 <arjun> and to a ask or a put i'd have to lift twice ?
2022-04-10 20:15:39 +0200redb(~nmh@136.49.49.211)
2022-04-10 20:17:03 +0200benin(~benin@183.82.204.110)
2022-04-10 20:17:37 +0200 <arjun> thanks Franciman
2022-04-10 20:20:06 +0200redb(~nmh@136.49.49.211) (Ping timeout: 246 seconds)
2022-04-10 20:20:50 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-10 20:27:28 +0200Sgeo(~Sgeo@user/sgeo)
2022-04-10 20:29:45 +0200MajorBiscuit(~MajorBisc@83.22.32.182.ipv4.supernova.orange.pl) (Ping timeout: 248 seconds)
2022-04-10 20:30:17 +0200redb(~nmh@136.49.49.211)
2022-04-10 20:30:35 +0200 <maerwald> arjun: put should work without lifting
2022-04-10 20:30:47 +0200 <maerwald> :t put
2022-04-10 20:30:48 +0200 <lambdabot> MonadState s m => s -> m ()
2022-04-10 20:30:56 +0200 <maerwald> put :: Monad m => s -> StateT s m ()
2022-04-10 20:31:30 +0200 <maerwald> mtl might be confusing here
2022-04-10 20:32:10 +0200 <arjun> thanks maerwald
2022-04-10 20:33:15 +0200Unicorn_Princess(~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection)
2022-04-10 20:33:19 +0200coot(~coot@213.134.190.95)
2022-04-10 20:34:15 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-04-10 20:38:00 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-04-10 20:41:00 +0200 <maerwald> I realise I don't have a good tutorial link for transformers
2022-04-10 20:41:51 +0200deadmarshal_(~deadmarsh@95.38.231.228)
2022-04-10 20:41:55 +0200 <maerwald> arjun: have you written ReaderT/StateT by hand?
2022-04-10 20:42:38 +0200 <arjun> can't remember :x
2022-04-10 20:42:56 +0200 <maerwald> newtype ReaderT r m a = ReaderT { runReaderT :: ??? }
2022-04-10 20:42:59 +0200 <maerwald> fill in ???
2022-04-10 20:43:33 +0200 <arjun> r -> m a ?
2022-04-10 20:43:48 +0200 <maerwald> right, now write Functor, Applicative and Monad instance
2022-04-10 20:44:56 +0200Pickchea(~private@user/pickchea)
2022-04-10 20:45:18 +0200 <arjun> right, will do (tomorrow) it's 12:15 here, gotta catch some Zzz
2022-04-10 20:45:29 +0200 <maerwald> also, you'll like ContT
2022-04-10 20:45:30 +0200euandreh(~euandreh@2804:14c:33:9fe5:142e:30d1:6bde:a674) (Ping timeout: 268 seconds)
2022-04-10 20:46:20 +0200 <arjun> i'll look into it, thanks
2022-04-10 20:46:43 +0200shriekingnoise(~shrieking@201.231.16.156)
2022-04-10 20:46:54 +0200deadmarshal_(~deadmarsh@95.38.231.228) (Ping timeout: 272 seconds)
2022-04-10 20:48:02 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-04-10 20:51:16 +0200arjun(~arjun@user/arjun) (Quit: Leaving)
2022-04-10 20:52:21 +0200 <maerwald> next week ragequit and questions about polysemy :D
2022-04-10 20:52:37 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds)
2022-04-10 20:54:14 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-04-10 20:56:42 +0200 <maerwald> haskell and its rabbit holes
2022-04-10 20:57:13 +0200brandonh(brandonh@gateway/vpn/protonvpn/brandonh)
2022-04-10 21:00:00 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 246 seconds)
2022-04-10 21:01:31 +0200brandonh(brandonh@gateway/vpn/protonvpn/brandonh) (Ping timeout: 256 seconds)
2022-04-10 21:02:23 +0200brandonh(brandonh@gateway/vpn/protonvpn/brandonh)
2022-04-10 21:08:34 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2022-04-10 21:08:34 +0200allbery_b(~geekosaur@xmonad/geekosaur)
2022-04-10 21:08:37 +0200allbery_bgeekosaur
2022-04-10 21:12:36 +0200bahamas(~lucian@84.232.140.158) (Ping timeout: 246 seconds)
2022-04-10 21:15:56 +0200bahamas(~lucian@84.232.140.158)
2022-04-10 21:17:03 +0200fef(~thedawn@user/thedawn) (Remote host closed the connection)
2022-04-10 21:19:21 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 248 seconds)
2022-04-10 21:19:43 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-10 21:21:06 +0200bahamas(~lucian@84.232.140.158) (Ping timeout: 272 seconds)
2022-04-10 21:21:33 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-04-10 21:25:36 +0200floof(~floof@2a02:6b64:f147:0:186:8bed:1973:c563)
2022-04-10 21:26:56 +0200benin(~benin@183.82.204.110) (Quit: The Lounge - https://thelounge.chat)
2022-04-10 21:28:13 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds)
2022-04-10 21:28:26 +0200coot(~coot@213.134.190.95)
2022-04-10 21:28:41 +0200Floofy(~Floofeus@2a02:6b64:f147:0:186:8bed:1973:c563)
2022-04-10 21:30:02 +0200floof(~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds)
2022-04-10 21:30:33 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-04-10 21:31:45 +0200raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-04-10 21:32:05 +0200Floofy(~Floofeus@2a02:6b64:f147:0:186:8bed:1973:c563) (Client Quit)
2022-04-10 21:32:46 +0200Floof(~Floofeus@2a02:6b64:f147:0:186:8bed:1973:c563)
2022-04-10 21:33:53 +0200Floof(~Floofeus@2a02:6b64:f147:0:186:8bed:1973:c563) (Client Quit)
2022-04-10 21:35:00 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds)
2022-04-10 21:35:21 +0200alp_(~alp@user/alp) (Ping timeout: 248 seconds)
2022-04-10 21:36:45 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds)
2022-04-10 21:37:56 +0200floof(~floof@2a02:6b64:f147:0:186:8bed:1973:c563)
2022-04-10 21:41:19 +0200brandonh(brandonh@gateway/vpn/protonvpn/brandonh) (Quit: brandonh)
2022-04-10 21:42:11 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 21:43:50 +0200xkuru(~xkuru@user/xkuru)
2022-04-10 21:46:51 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds)
2022-04-10 21:46:54 +0200jonathanx_(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2022-04-10 21:47:34 +0200Floofy(~Floofeus@2a02:6b64:f147:0:186:8bed:1973:c563)
2022-04-10 21:48:45 +0200jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2022-04-10 21:49:21 +0200 <acacia> hey, I want to write some tests for a web app and want to parse html to make sure the data embedded in it is as expected. What are my options? Any favorite package?
2022-04-10 21:49:45 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-04-10 21:50:16 +0200acidjnk(~acidjnk@p200300d0c7049f54a49f92cbcc925d29.dip0.t-ipconnect.de)
2022-04-10 21:51:02 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net)
2022-04-10 21:51:33 +0200 <geekosaur> how much do you trust the web app to be html compliant? if "not very" then tagsoup is the only sane choice
2022-04-10 21:51:47 +0200 <geekosaur> (there's a *lot* of invalid HTML out there)
2022-04-10 21:52:56 +0200califax(~califax@user/califx)
2022-04-10 21:54:07 +0200 <acacia> yeah it should be html compliant
2022-04-10 21:54:40 +0200 <acacia> that's not a problem, just looking for the easiest thing to use
2022-04-10 21:54:50 +0200 <acacia> I'll take a look at tagsoup. thanks
2022-04-10 21:55:18 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 246 seconds)
2022-04-10 21:58:26 +0200ElVinzFR(~Guest20@2a01cb0c09c6d5008d17a4525baa2c11.ipv6.abo.wanadoo.fr)
2022-04-10 21:58:46 +0200_ht(~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection)
2022-04-10 21:59:08 +0200alp_(~alp@user/alp)
2022-04-10 21:59:30 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 246 seconds)
2022-04-10 21:59:58 +0200 <AdityaAlok[m]> Hello, everyone!... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/2f16d604c1b71ed6cb585c843567d0f15c6e…)
2022-04-10 22:00:23 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-04-10 22:00:49 +0200 <maerwald> tagsoup does not handle all invalid html well
2022-04-10 22:02:05 +0200 <sm> what's wrong with good old isInfixOf
2022-04-10 22:02:06 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 22:02:14 +0200 <geekosaur> AdityaAlok[m], you would need to link against a wrapper library, and probably need to find out why the indirection in the first place
2022-04-10 22:03:30 +0200 <maerwald> AdityaAlok[m]: very likely you have to patch the library
2022-04-10 22:03:37 +0200 <maerwald> and use capi instead of ccall
2022-04-10 22:03:46 +0200alp_(~alp@user/alp) (Client Quit)
2022-04-10 22:03:50 +0200floof(~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds)
2022-04-10 22:04:12 +0200 <maerwald> also see https://www.haskell.org/ghc/blog/20210709-capi-usage.html
2022-04-10 22:04:54 +0200 <maerwald> and https://github.com/haskell/unix/pull/110#issuecomment-613384845
2022-04-10 22:04:58 +0200 <maerwald> as an example
2022-04-10 22:04:59 +0200 <AdityaAlok[m]> maerwald: Thank you! I'll try it.
2022-04-10 22:05:02 +0200 <maerwald> why ccall is bad
2022-04-10 22:05:38 +0200 <maerwald> capi follows include indirections
2022-04-10 22:06:54 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds)
2022-04-10 22:08:46 +0200bahamas(~lucian@84.232.140.158)
2022-04-10 22:10:17 +0200floof(~floof@2a02:6b64:f147:0:186:8bed:1973:c563)
2022-04-10 22:10:31 +0200brandonh(brandonh@gateway/vpn/protonvpn/brandonh)
2022-04-10 22:11:36 +0200zincy(~zincy@host86-160-236-152.range86-160.btcentralplus.com)
2022-04-10 22:12:34 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 22:12:49 +0200Hanicef(~gustaf@81-229-9-108-no92.tbcn.telia.com)
2022-04-10 22:14:18 +0200bahamas(~lucian@84.232.140.158) (Ping timeout: 268 seconds)
2022-04-10 22:15:24 +0200Nahra(~user@static.161.95.99.88.clients.your-server.de) (Remote host closed the connection)
2022-04-10 22:16:50 +0200floof(~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds)
2022-04-10 22:16:57 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds)
2022-04-10 22:20:24 +0200MajorBiscuit(~MajorBisc@83.22.32.182.ipv4.supernova.orange.pl)
2022-04-10 22:22:00 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2022-04-10 22:22:02 +0200ElVinzFR87(~ElVinzFR@2a01cb0c09c6d5008d17a4525baa2c11.ipv6.abo.wanadoo.fr)
2022-04-10 22:22:49 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds)
2022-04-10 22:22:51 +0200floof(~floof@2a02:6b64:f147:0:186:8bed:1973:c563)
2022-04-10 22:22:56 +0200axeman(~quassel@2a02:8109:a380:78:9943:d00d:1e8f:83f2) (Ping timeout: 268 seconds)
2022-04-10 22:23:20 +0200ElVinzFR87(~ElVinzFR@2a01cb0c09c6d5008d17a4525baa2c11.ipv6.abo.wanadoo.fr) (Client Quit)
2022-04-10 22:24:45 +0200Lord_of_Life_Lord_of_Life
2022-04-10 22:26:08 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 22:26:41 +0200 <ElVinzFR> Beginner. I want to create a "loop" in which the user input a value, then a state is changed (for a toy example, an update in a component in a vector). I thought I could use a recursion in an IO monad, but apparently there is not tail recursion optimization for a monad. What would be the easiest way for me to code my problem ? This would be the
2022-04-10 22:26:42 +0200 <ElVinzFR> starting point to code a game, so I need a cycle of input / state change.
2022-04-10 22:27:14 +0200floof(~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds)
2022-04-10 22:29:42 +0200zincy(~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection)
2022-04-10 22:30:42 +0200 <ElVinzFR> I am a bit lost, so even pointing to a tutorial, or a snippet online would be an improvement.
2022-04-10 22:30:49 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds)
2022-04-10 22:31:42 +0200cheater(~Username@user/cheater) (Ping timeout: 246 seconds)
2022-04-10 22:32:22 +0200cheater(~Username@user/cheater)
2022-04-10 22:33:02 +0200floof(~floof@2a02:6b64:f147:0:186:8bed:1973:c563)
2022-04-10 22:34:39 +0200 <c_wraith> ElVinzFR: the fact that combining IO actions with >> or >>= isn't tail recursive doesn't mean it isn't efficient. It is efficient.
2022-04-10 22:38:11 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net)
2022-04-10 22:38:30 +0200ElVinzFR(~Guest20@2a01cb0c09c6d5008d17a4525baa2c11.ipv6.abo.wanadoo.fr) (Ping timeout: 250 seconds)
2022-04-10 22:40:45 +0200 <geekosaur> "tail recursion" is not what you think it is in Haskell.
2022-04-10 22:41:25 +0200 <geekosaur> (in fact, everything is tail recursive at the graph reduction level)
2022-04-10 22:41:32 +0200floof(~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds)
2022-04-10 22:42:14 +0200cosimone(~user@93-47-228-79.ip115.fastwebnet.it) (Remote host closed the connection)
2022-04-10 22:43:11 +0200cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20)
2022-04-10 22:44:41 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 248 seconds)
2022-04-10 22:44:45 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-04-10 22:45:08 +0200acidsyscrameleon
2022-04-10 22:46:30 +0200seydar(~seydar@154-27-113-252.starry-inc.net)
2022-04-10 22:47:25 +0200cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection)
2022-04-10 22:47:42 +0200floof(~floof@2a02:6b64:f147:0:186:8bed:1973:c563)
2022-04-10 22:48:13 +0200euandreh(~euandreh@2804:14c:33:9fe5:943e:a08c:ffd0:5f66)
2022-04-10 22:48:48 +0200brandonh(brandonh@gateway/vpn/protonvpn/brandonh) (Quit: brandonh)
2022-04-10 22:49:24 +0200kaph(~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Remote host closed the connection)
2022-04-10 22:49:52 +0200kaph(~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it)
2022-04-10 22:51:05 +0200seydar(~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds)
2022-04-10 22:51:56 +0200floof(~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds)
2022-04-10 22:52:26 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2022-04-10 22:54:27 +0200zincy(~zincy@host86-160-236-152.range86-160.btcentralplus.com)
2022-04-10 22:57:00 +0200 <monochrom> But tail recursion in IO such as "main = do { putStrLn "hello"; main }" works as expected.
2022-04-10 22:57:59 +0200floof(~floof@2a02:6b64:f147:0:186:8bed:1973:c563)
2022-04-10 23:01:28 +0200 <shachaf> Despite the main not being in tail position!
2022-04-10 23:01:39 +0200 <c_wraith> well. it's not tail recursion. it's just efficient recursion
2022-04-10 23:01:56 +0200 <shachaf> I think the analogy to tail recursion is pretty reasonable.
2022-04-10 23:02:20 +0200floof(~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds)
2022-04-10 23:02:31 +0200 <c_wraith> IO happens to work out that way. Not every implementation of (>>=) is so cooperative with that analogy
2022-04-10 23:03:08 +0200 <hpc> tail recursion is a special case of efficient recursion :P
2022-04-10 23:03:14 +0200geekosaurchecks to see if you've scared the OP away yet :)
2022-04-10 23:05:03 +0200dextaa(~dextaa@user/dextaa) (Ping timeout: 256 seconds)
2022-04-10 23:08:20 +0200brandonh(brandonh@gateway/vpn/protonvpn/brandonh)
2022-04-10 23:08:25 +0200 <monochrom> https://mail.haskell.org/pipermail/haskell-cafe/2007-May/025591.html
2022-04-10 23:08:30 +0200lainon(lainon@gateway/vpn/protonvpn/lainon)
2022-04-10 23:08:47 +0200andrey(~andrey@p200300dbcf45140050bf2118fcf09947.dip0.t-ipconnect.de)
2022-04-10 23:08:47 +0200floof(~floof@2a02:6b64:f147:0:186:8bed:1973:c563)
2022-04-10 23:09:31 +0200zer0bitz(~zer0bitz@2001:2003:f444:8f00:94b5:609:c1e4:1399) (Ping timeout: 260 seconds)
2022-04-10 23:09:35 +0200lainon(lainon@gateway/vpn/protonvpn/lainon) (Remote host closed the connection)
2022-04-10 23:09:53 +0200lainon(lainon@gateway/vpn/protonvpn/lainon)
2022-04-10 23:13:10 +0200floof(~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds)
2022-04-10 23:14:27 +0200machinedgod(~machinedg@24.105.81.50)
2022-04-10 23:17:25 +0200hpc. o O ( tail recursion is whenever the recursive call doesn't grow the call stack, and if you don't have a call stack there's no such thing as tail recursion )
2022-04-10 23:18:05 +0200 <dolio> One of the problems is that people insist on talking about "recursion".
2022-04-10 23:18:40 +0200 <monochrom> IMO renaming "call stack" to "evaluation stack" and concluding "I have no call stack" is just being smug.
2022-04-10 23:19:01 +0200 <hpc> monochrom: well, let's consider that
2022-04-10 23:19:15 +0200 <dolio> Also they don't study Scheme, I guess, which has all sorts of procedures that specify that various arguments are "in tail position" even though they are not in tail position from a very naive syntactic reading.
2022-04-10 23:19:21 +0200 <hpc> on the evaluation stack, what kind of "to evaluate this, i need to evaluate that" doesn't grow the stack
2022-04-10 23:19:42 +0200 <hpc> i think the only thing is <<loop>>
2022-04-10 23:20:01 +0200 <hpc> but i could be wrong
2022-04-10 23:20:10 +0200floof(~floof@2a02:6b64:f147:0:186:8bed:1973:c563)
2022-04-10 23:21:07 +0200 <shachaf> In an imperative language turning tail recursion into a jump seems like a pretty pointless optimization, since you can just write "while (true) { }" around your function body to get the same effect.
2022-04-10 23:21:27 +0200 <shachaf> Other tail calls are probably more useful (though I'd still rather have it be explicit than done as an optimization, usually).
2022-04-10 23:22:18 +0200 <dolio> Well, that's easy. It's not an optimization. The compiler has to do it.
2022-04-10 23:22:19 +0200 <hpc> from the evaluation stack's perspective, something like an infinite list isn't even recursion - there's a constructor in the way that breaks it up
2022-04-10 23:22:43 +0200 <hpc> like a trampoline
2022-04-10 23:22:59 +0200 <shachaf> Yes, that seems fine, I mean in a language like C where it's an optional optimization.
2022-04-10 23:23:29 +0200 <dolio> Yeah, well, gaining an understanding of this from C compilers is not good.
2022-04-10 23:23:52 +0200bahamas(~lucian@84.232.140.158)
2022-04-10 23:25:57 +0200zincy(~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection)
2022-04-10 23:26:36 +0200floof(~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds)
2022-04-10 23:27:26 +0200gehmehgeh(~user@user/gehmehgeh)
2022-04-10 23:28:17 +0200bahamas(~lucian@84.232.140.158) (Ping timeout: 256 seconds)
2022-04-10 23:29:02 +0200MajorBiscuit(~MajorBisc@83.22.32.182.ipv4.supernova.orange.pl) (Ping timeout: 272 seconds)
2022-04-10 23:32:46 +0200floof(~floof@2a02:6b64:f147:0:186:8bed:1973:c563)
2022-04-10 23:39:10 +0200floof(~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds)
2022-04-10 23:39:24 +0200haskellberry(~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds)
2022-04-10 23:39:39 +0200Pickchea(~private@user/pickchea)
2022-04-10 23:41:02 +0200Hanicef(~gustaf@81-229-9-108-no92.tbcn.telia.com) (Quit: leaving)
2022-04-10 23:43:15 +0200wyrd(~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds)
2022-04-10 23:43:36 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-04-10 23:45:28 +0200floof(~floof@2a02:6b64:f147:0:186:8bed:1973:c563)
2022-04-10 23:45:40 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-04-10 23:46:53 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-04-10 23:47:11 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-10 23:47:17 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-04-10 23:47:34 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-10 23:47:41 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-04-10 23:47:57 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-10 23:48:05 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-04-10 23:48:20 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-10 23:48:28 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-04-10 23:48:41 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net)
2022-04-10 23:48:49 +0200lavaman(~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection)
2022-04-10 23:50:16 +0200wyrd(~wyrd@gateway/tor-sasl/wyrd)
2022-04-10 23:51:44 +0200floof(~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds)
2022-04-10 23:53:13 +0200brandonh(brandonh@gateway/vpn/protonvpn/brandonh) (Ping timeout: 256 seconds)
2022-04-10 23:54:40 +0200brandonh(brandonh@gateway/vpn/protonvpn/brandonh)
2022-04-10 23:54:54 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2022-04-10 23:57:58 +0200floof(~floof@2a02:6b64:f147:0:186:8bed:1973:c563)
2022-04-10 23:58:07 +0200yauhsien(~yauhsien@61-231-57-22.dynamic-ip.hinet.net)