| 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 +0200 | hololeap_ | (~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 +0200 | hololeap | (~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 +0200 | machinedgod | (~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 +0200 | mc47 | (~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 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-10 00:17:17 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-04-10 00:17:49 +0200 | hololeap | (~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 +0200 | hololeap_ | (~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 +0200 | lavaman | (~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 +0200 | raym | (~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 +0200 | raym | (~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 +0200 | y04nn | (~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 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-10 00:31:48 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-10 00:32:48 +0200 | Guest27 | (~Guest27@2601:281:d47f:1590:768c:7129:aa80:96d9) |
| 2022-04-10 00:36:45 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-04-10 00:38:37 +0200 | d34df00d | (~d34df00d@2600:1700:8c60:3a10::46) |
| 2022-04-10 00:38:49 +0200 | seydar | (~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 +0200 | gustik | (~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 +0200 | vicfred | (~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 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 00:45:08 +0200 | sm | asks #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 +0200 | Pickchea | (~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 +0200 | dsrt^ | (~dsrt@c-24-99-107-170.hsd1.ga.comcast.net) |
| 2022-04-10 00:49:16 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds) |
| 2022-04-10 00:50:24 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 268 seconds) |
| 2022-04-10 00:51:05 +0200 | notzmv | (~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 +0200 | jpds2 | jpds |
| 2022-04-10 00:54:23 +0200 | acidjnk | (~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 +0200 | eggplantade | (~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 +0200 | ishaan | (~ishaan@122.161.51.93) |
| 2022-04-10 01:14:36 +0200 | haskellberry | (~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 272 seconds) |
| 2022-04-10 01:17:34 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 01:19:40 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-10 01:21:05 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-10 01:23:25 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-10 01:24:33 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-04-10 01:27:49 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-10 01:28:33 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 01:33:06 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-10 01:35:46 +0200 | Guest27 | (~Guest27@2601:281:d47f:1590:768c:7129:aa80:96d9) (Ping timeout: 250 seconds) |
| 2022-04-10 01:37:55 +0200 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-10 01:38:02 +0200 | ishaan | (~ishaan@122.161.51.93) (Quit: Client closed) |
| 2022-04-10 01:38:43 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 01:39:03 +0200 | hololeap | (~hololeap@user/hololeap) |
| 2022-04-10 01:42:41 +0200 | catch22 | (~catch22__@2406:3400:418:d7e0:a95a:5ab0:f8b4:ae74) |
| 2022-04-10 01:43:57 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-10 01:47:11 +0200 | abhixec_ | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-04-10 01:48:36 +0200 | catch22 | (~catch22__@2406:3400:418:d7e0:a95a:5ab0:f8b4:ae74) (Remote host closed the connection) |
| 2022-04-10 01:49:16 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 01:49:35 +0200 | redb | (~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 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 268 seconds) |
| 2022-04-10 01:54:32 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds) |
| 2022-04-10 01:56:46 +0200 | Techcable | (~Techcable@user/Techcable) (Remote host closed the connection) |
| 2022-04-10 01:57:25 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-10 01:58:21 +0200 | <geekosaur> | yes |
| 2022-04-10 01:58:44 +0200 | Techcable | (~Techcable@user/Techcable) |
| 2022-04-10 01:59:26 +0200 | seydar | (~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 +0200 | tommd | (~tommd@97-120-41-123.ptld.qwest.net) |
| 2022-04-10 02:04:38 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds) |
| 2022-04-10 02:09:58 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 02:10:53 +0200 | chenqisu1 | (~chenqisu1@183.217.200.239) |
| 2022-04-10 02:14:46 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds) |
| 2022-04-10 02:20:08 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 02:20:55 +0200 | redb | (~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 +0200 | kayvank | (~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 +0200 | seydar | (~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 +0200 | redb | (~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 +0200 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2022-04-10 02:26:11 +0200 | kmein | (~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 +0200 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2022-04-10 02:28:29 +0200 | cheater | (~Username@user/cheater) |
| 2022-04-10 02:31:59 +0200 | pnotequalnp | (~pnotequal@user/pnotequalnp) |
| 2022-04-10 02:34:33 +0200 | gurkenglas | (~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 +0200 | pnotequalnp | (~pnotequal@user/pnotequalnp) (Quit: Leaving) |
| 2022-04-10 02:39:57 +0200 | pnotequalnp | (~pnotequal@user/pnotequalnp) |
| 2022-04-10 02:40:38 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-10 02:41:19 +0200 | pnotequalnp | (~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 +0200 | dolio | (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-10 02:45:56 +0200 | dolio | (~dolio@130.44.130.54) |
| 2022-04-10 02:46:23 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 02:48:22 +0200 | lavaman | (~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 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 268 seconds) |
| 2022-04-10 02:52:49 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 02:59:37 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-10 03:02:17 +0200 | benin | (~benin@183.82.204.110) (Quit: The Lounge - https://thelounge.chat) |
| 2022-04-10 03:07:20 +0200 | tommd | (~tommd@97-120-41-123.ptld.qwest.net) (Ping timeout: 272 seconds) |
| 2022-04-10 03:08:26 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-04-10 03:08:56 +0200 | razetime | (~quassel@117.254.35.102) |
| 2022-04-10 03:10:49 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-04-10 03:12:03 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:7d1a:acbd:2bb4:f) (Ping timeout: 260 seconds) |
| 2022-04-10 03:15:45 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 03:16:55 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-04-10 03:18:21 +0200 | deadmarshal_ | (~deadmarsh@95.38.231.228) |
| 2022-04-10 03:20:12 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-10 03:20:57 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 03:21:17 +0200 | neurocyte8614492 | (~neurocyte@user/neurocyte) (Ping timeout: 256 seconds) |
| 2022-04-10 03:22:33 +0200 | deadmarshal_ | (~deadmarsh@95.38.231.228) (Ping timeout: 248 seconds) |
| 2022-04-10 03:25:13 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-10 03:29:39 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 246 seconds) |
| 2022-04-10 03:37:50 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 03:42:15 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-10 03:47:09 +0200 | dsrt^ | (~dsrt@c-24-99-107-170.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2022-04-10 03:47:18 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 03:47:51 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 246 seconds) |
| 2022-04-10 03:55:37 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-10 03:58:17 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 248 seconds) |
| 2022-04-10 04:00:11 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 04:06:03 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-10 04:11:19 +0200 | redb | (~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 +0200 | y04nn | (~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 +0200 | euandreh | (~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 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 04:25:02 +0200 | hammock | (~Hammock@2600:1700:19a1:3330::588) |
| 2022-04-10 04:26:37 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2022-04-10 04:26:42 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-10 04:27:01 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-10 04:27:02 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-10 04:27:02 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-10 04:30:08 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-f1ec-d7f3-37e1-032c.res6.spectrum.com) (Remote host closed the connection) |
| 2022-04-10 04:31:30 +0200 | ggVGc | (~ggVGc@a.lowtech.earth) (Ping timeout: 260 seconds) |
| 2022-04-10 04:31:52 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 04:33:23 +0200 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 2022-04-10 04:34:56 +0200 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Remote host closed the connection) |
| 2022-04-10 04:35:41 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-04-10 04:35:42 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-04-10 04:35:42 +0200 | finn_elija | FinnElija |
| 2022-04-10 04:36:43 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds) |
| 2022-04-10 04:37:43 +0200 | razetime | (~quassel@117.254.35.102) (Read error: Connection reset by peer) |
| 2022-04-10 04:42:02 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 04:46:49 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-10 04:51:11 +0200 | joo-_ | (~joo-_@fsf/member/joo--) (Ping timeout: 245 seconds) |
| 2022-04-10 04:52:12 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 04:52:58 +0200 | joo-_ | (~joo-_@80-62-117-248-mobile.dk.customer.tdc.net) |
| 2022-04-10 04:52:58 +0200 | joo-_ | (~joo-_@80-62-117-248-mobile.dk.customer.tdc.net) (Changing host) |
| 2022-04-10 04:52:58 +0200 | joo-_ | (~joo-_@fsf/member/joo--) |
| 2022-04-10 04:56:57 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-10 05:02:02 +0200 | justOkay | justChili |
| 2022-04-10 05:02:21 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 05:06:11 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-10 05:06:57 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-10 05:12:31 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 05:16:31 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-04-10 05:16:36 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-10 05:17:06 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-10 05:17:34 +0200 | Macbethwin | Chargen |
| 2022-04-10 05:21:31 +0200 | cdman | (~dcm@user/dmc/x-4369397) |
| 2022-04-10 05:23:04 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 05:23:33 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Read error: Connection reset by peer) |
| 2022-04-10 05:25:03 +0200 | flinner | (~flinner@user/flinner) |
| 2022-04-10 05:27:23 +0200 | lavaman | (~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 +0200 | cdman | (~dcm@user/dmc/x-4369397) (Ping timeout: 268 seconds) |
| 2022-04-10 05:33:53 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-04-10 05:38:53 +0200 | benin | (~benin@183.82.204.110) |
| 2022-04-10 05:42:23 +0200 | abastro | (~abab9579@220.75.216.63) (Ping timeout: 256 seconds) |
| 2022-04-10 05:43:30 +0200 | TonyStone | (~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 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-04-10 06:00:54 +0200 | deadmarshal_ | (~deadmarsh@95.38.231.228) |
| 2022-04-10 06:06:18 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-10 06:06:30 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 06:18:05 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-10 06:19:48 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 06:21:45 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-10 06:22:50 +0200 | flinner | (~flinner@user/flinner) (Quit: Using Circe, the loveliest of all IRC clients) |
| 2022-04-10 06:24:19 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-10 06:25:20 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-10 06:29:28 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 06:31:17 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 06:34:01 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-10 06:34:35 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
| 2022-04-10 06:39:47 +0200 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-04-10 06:40:45 +0200 | kayvank | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 256 seconds) |
| 2022-04-10 06:41:11 +0200 | abastro | (~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 +0200 | cdman | (~dcm@user/dmc/x-4369397) |
| 2022-04-10 06:43:58 +0200 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-04-10 06:44:12 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-10 06:46:43 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-10 06:49:49 +0200 | chenqisu1 | (~chenqisu1@183.217.200.239) (Ping timeout: 256 seconds) |
| 2022-04-10 06:49:53 +0200 | Akiva | (~Akiva@user/Akiva) |
| 2022-04-10 06:52:48 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 06:56:41 +0200 | pavonia | (~user@user/siracusa) |
| 2022-04-10 06:57:29 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-10 06:58:23 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-10 06:58:57 +0200 | goepsilongo | (~chacho@2603-7000-ab00-62ed-0000-0000-0000-0bd0.res6.spectrum.com) (Quit: Konversation terminated!) |
| 2022-04-10 06:59:31 +0200 | dschrempf | (~dominik@2a01-036d-0118-ae84-6c6f-79fb-839d-0cde.pool6.digikabel.hu) |
| 2022-04-10 07:01:37 +0200 | bahamas | (~lucian@86.120.21.179) |
| 2022-04-10 07:03:21 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 248 seconds) |
| 2022-04-10 07:03:25 +0200 | deadmarshal_ | (~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 +0200 | frost | (~frost@user/frost) |
| 2022-04-10 07:14:49 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-10 07:14:57 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2022-04-10 07:14:59 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2022-04-10 07:15:02 +0200 | allbery_b | geekosaur |
| 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 +0200 | werdnA | (~andrew@114.88.181.56) (Ping timeout: 248 seconds) |
| 2022-04-10 07:23:31 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 07:24:29 +0200 | dschrempf | (~dominik@2a01-036d-0118-ae84-6c6f-79fb-839d-0cde.pool6.digikabel.hu) (Quit: WeeChat 3.4.1) |
| 2022-04-10 07:26:52 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Read error: Connection reset by peer) |
| 2022-04-10 07:28:09 +0200 | abastro | (~abab9579@220.75.216.63) (Ping timeout: 268 seconds) |
| 2022-04-10 07:31:08 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-10 07:32:20 +0200 | agrosant | (~agrosant@79.103.182.92.dsl.dyn.forthnet.gr) |
| 2022-04-10 07:32:31 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 07:33:53 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-10 07:35:01 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 07:36:25 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 07:36:57 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-10 07:38:30 +0200 | bahamas | (~lucian@86.120.21.179) (Ping timeout: 246 seconds) |
| 2022-04-10 07:41:13 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-10 07:46:38 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-04-10 07:57:17 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 08:00:01 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-04-10 08:01:47 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-10 08:06:57 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 08:07:26 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 08:12:09 +0200 | seydar | (~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 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-10 08:17:36 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 08:17:55 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-10 08:18:27 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-10 08:19:11 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-10 08:22:17 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-10 08:22:57 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-04-10 08:24:58 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-10 08:27:45 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 08:28:58 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 08:30:07 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 08:32:57 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-10 08:33:29 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-10 08:38:07 +0200 | acidjnk | (~acidjnk@p200300d0c7049f542da7db62ea760e18.dip0.t-ipconnect.de) |
| 2022-04-10 08:38:18 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 08:38:36 +0200 | Chargen | (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 2022-04-10 08:41:51 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 246 seconds) |
| 2022-04-10 08:43:05 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-10 08:43:54 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2022-04-10 08:45:30 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-10 08:47:08 +0200 | vysn | (~vysn@user/vysn) |
| 2022-04-10 08:47:55 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
| 2022-04-10 08:54:16 +0200 | caubert | (~caubert@136.244.111.235) (Quit: WeeChat 3.4) |
| 2022-04-10 08:54:28 +0200 | caubert | (~caubert@136.244.111.235) |
| 2022-04-10 08:55:16 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-10 08:56:11 +0200 | zyklotomic | (~ethan@res388d-128-61-94-217.res.gatech.edu) (Ping timeout: 256 seconds) |
| 2022-04-10 08:58:11 +0200 | zyklotomic | (~ethan@res380d-128-61-83-53.res.gatech.edu) |
| 2022-04-10 09:02:07 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-10 09:02:20 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 09:04:24 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 2022-04-10 09:04:27 +0200 | axeman | (~quassel@2a02:8109:a380:78:b60:751:db79:f3ec) |
| 2022-04-10 09:09:45 +0200 | simeon | (~pi@dslb-002-202-026-141.002.202.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2022-04-10 09:10:12 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-10 09:15:09 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 09:15:22 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-10 09:15:55 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-10 09:20:21 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-10 09:20:55 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-10 09:21:03 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-04-10 09:21:12 +0200 | lavaman | (~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 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 09:25:28 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-10 09:26:36 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 09:28:25 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-10 09:29:55 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 09:31:19 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-10 09:32:35 +0200 | simeon | (~pi@dslb-088-076-113-221.088.076.pools.vodafone-ip.de) |
| 2022-04-10 09:34:34 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 268 seconds) |
| 2022-04-10 09:36:44 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 09:41:16 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-10 09:42:35 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds) |
| 2022-04-10 09:42:51 +0200 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-04-10 09:44:13 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-10 09:44:43 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-04-10 09:46:02 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 09:46:47 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-04-10 09:47:17 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 09:50:36 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 268 seconds) |
| 2022-04-10 09:50:43 +0200 | odnes | (~odnes@5-203-221-3.pat.nym.cosmote.net) |
| 2022-04-10 09:52:17 +0200 | seydar | (~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 +0200 | chenqisu1 | (~chenqisu1@183.217.200.239) |
| 2022-04-10 09:57:45 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-10 09:57:48 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 09:57:59 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 09:58:07 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-10 09:58:20 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 09:58:28 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-10 09:58:43 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 09:58:51 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-10 10:02:21 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-10 10:05:13 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-04-10 10:05:26 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-04-10 10:06:01 +0200 | vysn | (~vysn@user/vysn) (Quit: WeeChat 3.4) |
| 2022-04-10 10:06:38 +0200 | ishaan | (~ishaan@122.161.51.93) |
| 2022-04-10 10:07:58 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 10:08:09 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 256 seconds) |
| 2022-04-10 10:10:06 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-10 10:12:30 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-10 10:13:13 +0200 | axeman | (~quassel@2a02:8109:a380:78:b60:751:db79:f3ec) (Ping timeout: 248 seconds) |
| 2022-04-10 10:17:12 +0200 | xpika | (~alan@n122-110-60-225.sun2.vic.optusnet.com.au) (Read error: Connection reset by peer) |
| 2022-04-10 10:19:29 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 10:22:36 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-04-10 10:23:39 +0200 | chddr | (~Thunderbi@91.226.34.187) |
| 2022-04-10 10:23:53 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-10 10:27:24 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 10:27:43 +0200 | axeman | (~quassel@2a02:8109:a380:78:a7cc:3b43:4da7:23f3) |
| 2022-04-10 10:31:41 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-10 10:31:53 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-10 10:31:57 +0200 | seydar | (~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 +0200 | redb | (~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 +0200 | redb | (~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 +0200 | razetime | (~quassel@117.254.35.102) |
| 2022-04-10 10:44:41 +0200 | razetime_ | (~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 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-10 10:45:04 +0200 | razetime__ | (~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 +0200 | razetime__ | (~quassel@117.254.35.102) (Client Quit) |
| 2022-04-10 10:45:19 +0200 | razetime_ | (~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 +0200 | coot | (~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 +0200 | eggplantade | (~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 +0200 | bahamas | (~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 +0200 | chddr | (~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 +0200 | redb | (~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 +0200 | acidjnk | (~acidjnk@p200300d0c7049f542da7db62ea760e18.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-10 10:59:03 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 268 seconds) |
| 2022-04-10 11:00:07 +0200 | justChili | (~justache@user/justache) (Remote host closed the connection) |
| 2022-04-10 11:01:03 +0200 | justChili | (~justache@user/justache) |
| 2022-04-10 11:03:32 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 11:03:36 +0200 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Ping timeout: 246 seconds) |
| 2022-04-10 11:06:33 +0200 | axeman | (~quassel@2a02:8109:a380:78:a7cc:3b43:4da7:23f3) (Ping timeout: 248 seconds) |
| 2022-04-10 11:11:01 +0200 | axeman | (~quassel@2a02:8109:a380:78:913b:b096:c0d4:3d3f) |
| 2022-04-10 11:12:14 +0200 | deadmarshal_ | (~deadmarsh@95.38.231.228) |
| 2022-04-10 11:15:14 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-10 11:16:43 +0200 | deadmarshal_ | (~deadmarsh@95.38.231.228) (Ping timeout: 256 seconds) |
| 2022-04-10 11:18:55 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 11:19:46 +0200 | acidjnk | (~acidjnk@p200300d0c7049f54355c7e35a7ab579b.dip0.t-ipconnect.de) |
| 2022-04-10 11:19:51 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-10 11:23:05 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-10 11:28:14 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-04-10 11:29:04 +0200 | axeman | (~quassel@2a02:8109:a380:78:913b:b096:c0d4:3d3f) (Quit: No Ping reply in 180 seconds.) |
| 2022-04-10 11:30:19 +0200 | axeman | (~quassel@2a02:8109:a380:78:c572:3c72:fbb6:70ac) |
| 2022-04-10 11:35:55 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 11:37:07 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 256 seconds) |
| 2022-04-10 11:40:00 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-10 11:44:50 +0200 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) |
| 2022-04-10 11:46:24 +0200 | bahamas | (~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 +0200 | gurkenglas | (~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 +0200 | Unicorn_Princess | will stay outside that particular rabbit hole |
| 2022-04-10 11:54:12 +0200 | gaff | (~gaff@49.207.206.194) |
| 2022-04-10 11:54:20 +0200 | gaff | (~gaff@49.207.206.194) (Client Quit) |
| 2022-04-10 11:54:23 +0200 | razetime | (~quassel@117.254.35.102) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-04-10 11:59:37 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 2022-04-10 12:01:39 +0200 | ishaan | (~ishaan@122.161.51.93) (Quit: Client closed) |
| 2022-04-10 12:04:09 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 246 seconds) |
| 2022-04-10 12:05:39 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-04-10 12:12:23 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-04-10 12:13:31 +0200 | Nahra | (~user@static.161.95.99.88.clients.your-server.de) |
| 2022-04-10 12:14:40 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 12:16:39 +0200 | acidjnk | (~acidjnk@p200300d0c7049f54355c7e35a7ab579b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-10 12:17:01 +0200 | fockerized | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
| 2022-04-10 12:17:58 +0200 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) |
| 2022-04-10 12:18:51 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-10 12:26:27 +0200 | dextaa | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-04-10 12:27:28 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-10 12:27:54 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-10 12:28:14 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 12:32:41 +0200 | Vajb | (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) |
| 2022-04-10 12:33:06 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 12:35:24 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 2022-04-10 12:37:20 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds) |
| 2022-04-10 12:42:25 +0200 | mniip | (mniip@libera/staff/mniip) (Remote host closed the connection) |
| 2022-04-10 12:45:31 +0200 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-04-10 12:46:36 +0200 | mniip | (~mniip@libera/staff/mniip) |
| 2022-04-10 12:47:31 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 12:47:53 +0200 | axeman | (~quassel@2a02:8109:a380:78:c572:3c72:fbb6:70ac) (Ping timeout: 248 seconds) |
| 2022-04-10 12:50:38 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-10 12:51:45 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-10 12:52:31 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 12:57:27 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds) |
| 2022-04-10 13:00:32 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 13:02:57 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) (Ping timeout: 246 seconds) |
| 2022-04-10 13:05:43 +0200 | abastro | (~abab9579@192.249.26.42) |
| 2022-04-10 13:07:05 +0200 | benin | (~benin@183.82.204.110) (Ping timeout: 248 seconds) |
| 2022-04-10 13:07:08 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-04-10 13:07:37 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 248 seconds) |
| 2022-04-10 13:13:44 +0200 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) |
| 2022-04-10 13:14:51 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-10 13:15:37 +0200 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 248 seconds) |
| 2022-04-10 13:18:34 +0200 | abastro | (~abab9579@192.249.26.42) (Remote host closed the connection) |
| 2022-04-10 13:20:06 +0200 | acidjnk | (~acidjnk@p200300d0c7049f54a49f92cbcc925d29.dip0.t-ipconnect.de) |
| 2022-04-10 13:20:31 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 13:21:10 +0200 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) |
| 2022-04-10 13:22:47 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 13:25:49 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds) |
| 2022-04-10 13:28:11 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-10 13:33:03 +0200 | haskellberry | (~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-04-10 13:34:16 +0200 | ggVGc | (~ggVGc@a.lowtech.earth) |
| 2022-04-10 13:34:57 +0200 | dextaa | (~dextaa@user/dextaa) |
| 2022-04-10 13:35:37 +0200 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-04-10 13:36:37 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 13:41:13 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-10 13:43:04 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 13:45:30 +0200 | odnes_ | (~odnes@5-203-221-3.pat.nym.cosmote.net) |
| 2022-04-10 13:45:41 +0200 | odnes | (~odnes@5-203-221-3.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
| 2022-04-10 13:48:00 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-10 13:52:25 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2022-04-10 13:55:44 +0200 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-04-10 13:57:43 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 14:01:15 +0200 | jm | (~jm@181.171.21.84) |
| 2022-04-10 14:02:06 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-10 14:07:39 +0200 | abastro | (~abab9579@192.249.26.42) |
| 2022-04-10 14:09:27 +0200 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Ping timeout: 246 seconds) |
| 2022-04-10 14:11:34 +0200 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) |
| 2022-04-10 14:12:04 +0200 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2022-04-10 14:12:21 +0200 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) |
| 2022-04-10 14:13:52 +0200 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Client Quit) |
| 2022-04-10 14:15:28 +0200 | goepsilongo | (~chacho@2603-7000-ab00-62ed-0000-0000-0000-0bd0.res6.spectrum.com) |
| 2022-04-10 14:17:09 +0200 | haskellberry | (~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2022-04-10 14:19:20 +0200 | ishaan | (~ishaan@122.161.51.93) |
| 2022-04-10 14:21:15 +0200 | acidjnk | (~acidjnk@p200300d0c7049f54a49f92cbcc925d29.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-10 14:29:29 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-10 14:36:12 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 14:44:27 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-10 14:48:33 +0200 | alp_ | (~alp@user/alp) |
| 2022-04-10 14:49:00 +0200 | haskellberry | (~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-04-10 14:49:16 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-10 14:49:49 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 14:51:33 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-04-10 14:54:46 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds) |
| 2022-04-10 14:57:09 +0200 | chenqisu1 | (~chenqisu1@183.217.200.239) (Ping timeout: 256 seconds) |
| 2022-04-10 14:57:44 +0200 | jm | jmatarrese |
| 2022-04-10 14:58:15 +0200 | jmatarrese | javier |
| 2022-04-10 14:58:24 +0200 | javier | jm |
| 2022-04-10 15:00:40 +0200 | phma | (~phma@2001:5b0:210d:6f38:47d2:1a57:a8ac:4c26) (Read error: Connection reset by peer) |
| 2022-04-10 15:01:04 +0200 | jm | jmatarrese |
| 2022-04-10 15:01:23 +0200 | phma | (~phma@host-67-44-208-191.hnremote.net) |
| 2022-04-10 15:04:36 +0200 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) |
| 2022-04-10 15:05:00 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 15:07:55 +0200 | Vajb | (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) (Ping timeout: 260 seconds) |
| 2022-04-10 15:08:13 +0200 | jmatarrese | (~jm@181.171.21.84) (Quit: nyaa~) |
| 2022-04-10 15:08:15 +0200 | abastro | (~abab9579@192.249.26.42) (Ping timeout: 246 seconds) |
| 2022-04-10 15:08:16 +0200 | abas85851 | (~abab9579@192.249.26.42) |
| 2022-04-10 15:09:17 +0200 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Client Quit) |
| 2022-04-10 15:09:51 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 15:09:54 +0200 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) (Quit: leaving) |
| 2022-04-10 15:10:59 +0200 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!) |
| 2022-04-10 15:12:25 +0200 | haskellberry | (~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 248 seconds) |
| 2022-04-10 15:13:21 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-10 15:14:12 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-10 15:20:01 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 15:37:56 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-10 15:38:16 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-10 15:38:39 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-10 15:39:33 +0200 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Remote host closed the connection) |
| 2022-04-10 15:39:54 +0200 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) |
| 2022-04-10 15:45:21 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 246 seconds) |
| 2022-04-10 15:45:25 +0200 | cdman | (~dcm@user/dmc/x-4369397) (Quit: Leaving) |
| 2022-04-10 15:47:29 +0200 | ridcully_ | (~ridcully@pd951f433.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2022-04-10 15:47:42 +0200 | ridcully | (~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 +0200 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2022-04-10 16:04:54 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-10 16:13:02 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-04-10 16:14:47 +0200 | hammock | (~Hammock@2600:1700:19a1:3330::588) (Ping timeout: 268 seconds) |
| 2022-04-10 16:21:03 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-10 16:23:12 +0200 | geranim0 | (~geranim0@modemcable242.171-178-173.mc.videotron.ca) (Remote host closed the connection) |
| 2022-04-10 16:23:30 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 246 seconds) |
| 2022-04-10 16:25:43 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-04-10 16:31:41 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-04-10 16:35:52 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2022-04-10 16:35:52 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2022-04-10 16:35:55 +0200 | allbery_b | geekosaur |
| 2022-04-10 16:36:06 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 246 seconds) |
| 2022-04-10 16:37:16 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 16:40:34 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-10 16:40:34 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-10 16:40:34 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-10 16:40:57 +0200 | abas85851 | (~abab9579@192.249.26.42) (Ping timeout: 248 seconds) |
| 2022-04-10 16:42:26 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds) |
| 2022-04-10 16:44:11 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-10 16:45:18 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-10 16:47:04 +0200 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Quit: Leaving) |
| 2022-04-10 16:47:24 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-4559-b1a3-4de1-30b6.res6.spectrum.com) |
| 2022-04-10 16:47:24 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 16:50:02 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 272 seconds) |
| 2022-04-10 16:50:11 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-10 16:50:12 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-10 16:52:09 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-10 16:52:48 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-10 16:53:19 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-10 16:54:27 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2022-04-10 16:57:34 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 16:59:36 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 17:02:17 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-10 17:03:20 +0200 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2022-04-10 17:04:36 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-10 17:05:56 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 17:08:03 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-4559-b1a3-4de1-30b6.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2022-04-10 17:09:03 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-04-10 17:10:17 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-10 17:10:55 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 17:12:03 +0200 | bahamas | (~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 +0200 | seydar | (~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 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-4559-b1a3-4de1-30b6.res6.spectrum.com) |
| 2022-04-10 17:20:58 +0200 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (Quit: Konversation terminated!) |
| 2022-04-10 17:21:28 +0200 | fef | (~thedawn@user/thedawn) |
| 2022-04-10 17:23:14 +0200 | seydar | (~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 +0200 | Inst | (~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 +0200 | hgolden | (~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 +0200 | kaph | (~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 +0200 | frost | (~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 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 17:28:15 +0200 | redb | (~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 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds) |
| 2022-04-10 17:35:21 +0200 | joo-_ | (~joo-_@fsf/member/joo--) (Ping timeout: 248 seconds) |
| 2022-04-10 17:36:17 +0200 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:74cc:725b:6f98:de09) |
| 2022-04-10 17:36:22 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-04-10 17:37:06 +0200 | joo-_ | (~joo-_@80-62-116-147-mobile.dk.customer.tdc.net) |
| 2022-04-10 17:37:06 +0200 | joo-_ | (~joo-_@80-62-116-147-mobile.dk.customer.tdc.net) (Changing host) |
| 2022-04-10 17:37:06 +0200 | joo-_ | (~joo-_@fsf/member/joo--) |
| 2022-04-10 17:41:25 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-10 17:42:58 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 17:43:47 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 17:45:58 +0200 | axeman | (~quassel@2a02:8109:a380:78:9943:d00d:1e8f:83f2) |
| 2022-04-10 17:48:31 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds) |
| 2022-04-10 17:52:41 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 17:58:26 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 2022-04-10 18:09:15 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-04-10 18:14:26 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-10 18:15:38 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 18:16:06 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-10 18:17:38 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-10 18:18:24 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-10 18:18:58 +0200 | dolio | (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-10 18:20:03 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-10 18:21:07 +0200 | odnes_ | (~odnes@5-203-221-3.pat.nym.cosmote.net) (Quit: Leaving) |
| 2022-04-10 18:21:25 +0200 | dolio | (~dolio@130.44.130.54) |
| 2022-04-10 18:23:40 +0200 | lavaman | (~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 +0200 | zeenk | (~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 +0200 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2022-04-10 18:33:07 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-04-10 18:34:12 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-10 18:34:21 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 18:37:58 +0200 | MajorBiscuit | (~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 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 268 seconds) |
| 2022-04-10 18:40:05 +0200 | redb | (~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 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-10 18:44:23 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-10 18:47:21 +0200 | yauhsien | (~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 +0200 | haskellberry | (~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-04-10 18:50:31 +0200 | infinity0 | (~infinity0@occupy.ecodis.net) (Ping timeout: 260 seconds) |
| 2022-04-10 18:56:48 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 18:57:35 +0200 | MajorBiscuit | (~MajorBisc@83.22.32.182.ipv4.supernova.orange.pl) (Ping timeout: 268 seconds) |
| 2022-04-10 18:59:15 +0200 | MajorBiscuit | (~MajorBisc@83.22.32.182.ipv4.supernova.orange.pl) |
| 2022-04-10 19:01:00 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-10 19:02:14 +0200 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) |
| 2022-04-10 19:07:21 +0200 | tabemann | (~travisb@2600:1700:7990:24e0:da3f:51e6:d535:6e76) (Remote host closed the connection) |
| 2022-04-10 19:07:34 +0200 | tabemann | (~travisb@2600:1700:7990:24e0:4e26:4e55:2765:53c9) |
| 2022-04-10 19:09:50 +0200 | deadmarshal_ | (~deadmarsh@95.38.231.228) |
| 2022-04-10 19:09:53 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 19:13:36 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 246 seconds) |
| 2022-04-10 19:13:48 +0200 | raym | (~raym@user/raym) (Ping timeout: 272 seconds) |
| 2022-04-10 19:14:18 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-10 19:17:36 +0200 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:74cc:725b:6f98:de09) (Remote host closed the connection) |
| 2022-04-10 19:29:06 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-10 19:29:33 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-10 19:29:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-10 19:30:02 +0200 | ishaan | (~ishaan@122.161.51.93) (Quit: Client closed) |
| 2022-04-10 19:30:40 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-10 19:32:37 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 19:33:20 +0200 | econo | (uid147250@user/econo) |
| 2022-04-10 19:37:03 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-10 19:37:40 +0200 | averell | (~averell@user/averell) (Quit: .) |
| 2022-04-10 19:38:05 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-10 19:44:16 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-10 19:44:19 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 19:48:45 +0200 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Quit: brandonh) |
| 2022-04-10 19:49:11 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-10 19:49:39 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-10 19:49:44 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) |
| 2022-04-10 19:51:35 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2022-04-10 19:51:56 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-04-10 19:52:26 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 272 seconds) |
| 2022-04-10 19:54:19 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
| 2022-04-10 19:56:08 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 19:57:14 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-04-10 19:57:16 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 20:00:30 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-10 20:01:00 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-10 20:01:33 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-10 20:01:56 +0200 | raym | (~raym@user/raym) |
| 2022-04-10 20:02:29 +0200 | coot | (~coot@213.134.190.95) (Client Quit) |
| 2022-04-10 20:02:59 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 20:07:21 +0200 | deadmarshal_ | (~deadmarsh@95.38.231.228) (Ping timeout: 248 seconds) |
| 2022-04-10 20:08:51 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 20:09:42 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-04-10 20:11:19 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-10 20:13:28 +0200 | arjun | (~arjun@user/arjun) |
| 2022-04-10 20:13:58 +0200 | redb | (~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 +0200 | bahamas | (~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 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-10 20:17:03 +0200 | benin | (~benin@183.82.204.110) |
| 2022-04-10 20:17:37 +0200 | <arjun> | thanks Franciman |
| 2022-04-10 20:20:06 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-10 20:20:50 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 20:27:28 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-04-10 20:29:45 +0200 | MajorBiscuit | (~MajorBisc@83.22.32.182.ipv4.supernova.orange.pl) (Ping timeout: 248 seconds) |
| 2022-04-10 20:30:17 +0200 | redb | (~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 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 2022-04-10 20:33:19 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-10 20:34:15 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-10 20:38:00 +0200 | bitdex | (~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 +0200 | deadmarshal_ | (~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 +0200 | Pickchea | (~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 +0200 | euandreh | (~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 +0200 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-04-10 20:46:54 +0200 | deadmarshal_ | (~deadmarsh@95.38.231.228) (Ping timeout: 272 seconds) |
| 2022-04-10 20:48:02 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-10 20:51:16 +0200 | arjun | (~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 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 2022-04-10 20:54:14 +0200 | mon_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 +0200 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) |
| 2022-04-10 21:00:00 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 246 seconds) |
| 2022-04-10 21:01:31 +0200 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Ping timeout: 256 seconds) |
| 2022-04-10 21:02:23 +0200 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) |
| 2022-04-10 21:08:34 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2022-04-10 21:08:34 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2022-04-10 21:08:37 +0200 | allbery_b | geekosaur |
| 2022-04-10 21:12:36 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 246 seconds) |
| 2022-04-10 21:15:56 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-10 21:17:03 +0200 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2022-04-10 21:19:21 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 248 seconds) |
| 2022-04-10 21:19:43 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 21:21:06 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 272 seconds) |
| 2022-04-10 21:21:33 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-04-10 21:25:36 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 21:26:56 +0200 | benin | (~benin@183.82.204.110) (Quit: The Lounge - https://thelounge.chat) |
| 2022-04-10 21:28:13 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 2022-04-10 21:28:26 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-10 21:28:41 +0200 | Floofy | (~Floofeus@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 21:30:02 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-10 21:30:33 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-10 21:31:45 +0200 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-10 21:32:05 +0200 | Floofy | (~Floofeus@2a02:6b64:f147:0:186:8bed:1973:c563) (Client Quit) |
| 2022-04-10 21:32:46 +0200 | Floof | (~Floofeus@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 21:33:53 +0200 | Floof | (~Floofeus@2a02:6b64:f147:0:186:8bed:1973:c563) (Client Quit) |
| 2022-04-10 21:35:00 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2022-04-10 21:35:21 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 248 seconds) |
| 2022-04-10 21:36:45 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-10 21:37:56 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 21:41:19 +0200 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Quit: brandonh) |
| 2022-04-10 21:42:11 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 21:43:50 +0200 | xkuru | (~xkuru@user/xkuru) |
| 2022-04-10 21:46:51 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-10 21:46:54 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-04-10 21:47:34 +0200 | Floofy | (~Floofeus@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 21:48:45 +0200 | jonathanx | (~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 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-04-10 21:50:16 +0200 | acidjnk | (~acidjnk@p200300d0c7049f54a49f92cbcc925d29.dip0.t-ipconnect.de) |
| 2022-04-10 21:51:02 +0200 | yauhsien | (~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 +0200 | califax | (~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 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-04-10 21:58:26 +0200 | ElVinzFR | (~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 +0200 | alp_ | (~alp@user/alp) |
| 2022-04-10 21:59:30 +0200 | pretty_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 +0200 | pretty_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 +0200 | seydar | (~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 +0200 | alp_ | (~alp@user/alp) (Client Quit) |
| 2022-04-10 22:03:50 +0200 | floof | (~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 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds) |
| 2022-04-10 22:08:46 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-10 22:10:17 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 22:10:31 +0200 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) |
| 2022-04-10 22:11:36 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-04-10 22:12:34 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 22:12:49 +0200 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) |
| 2022-04-10 22:14:18 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 268 seconds) |
| 2022-04-10 22:15:24 +0200 | Nahra | (~user@static.161.95.99.88.clients.your-server.de) (Remote host closed the connection) |
| 2022-04-10 22:16:50 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-10 22:16:57 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-10 22:20:24 +0200 | MajorBiscuit | (~MajorBisc@83.22.32.182.ipv4.supernova.orange.pl) |
| 2022-04-10 22:22:00 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-04-10 22:22:02 +0200 | ElVinzFR87 | (~ElVinzFR@2a01cb0c09c6d5008d17a4525baa2c11.ipv6.abo.wanadoo.fr) |
| 2022-04-10 22:22:49 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2022-04-10 22:22:51 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 22:22:56 +0200 | axeman | (~quassel@2a02:8109:a380:78:9943:d00d:1e8f:83f2) (Ping timeout: 268 seconds) |
| 2022-04-10 22:23:20 +0200 | ElVinzFR87 | (~ElVinzFR@2a01cb0c09c6d5008d17a4525baa2c11.ipv6.abo.wanadoo.fr) (Client Quit) |
| 2022-04-10 22:24:45 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2022-04-10 22:26:08 +0200 | seydar | (~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 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-10 22:29:42 +0200 | zincy | (~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 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-10 22:31:42 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2022-04-10 22:32:22 +0200 | cheater | (~Username@user/cheater) |
| 2022-04-10 22:33:02 +0200 | floof | (~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 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-10 22:38:30 +0200 | ElVinzFR | (~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 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-10 22:42:14 +0200 | cosimone | (~user@93-47-228-79.ip115.fastwebnet.it) (Remote host closed the connection) |
| 2022-04-10 22:43:11 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-10 22:44:41 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 248 seconds) |
| 2022-04-10 22:44:45 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-10 22:45:08 +0200 | acidsys | crameleon |
| 2022-04-10 22:46:30 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-10 22:47:25 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-04-10 22:47:42 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 22:48:13 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:943e:a08c:ffd0:5f66) |
| 2022-04-10 22:48:48 +0200 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Quit: brandonh) |
| 2022-04-10 22:49:24 +0200 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Remote host closed the connection) |
| 2022-04-10 22:49:52 +0200 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) |
| 2022-04-10 22:51:05 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-10 22:51:56 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-10 22:52:26 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-04-10 22:54:27 +0200 | zincy | (~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 +0200 | floof | (~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 +0200 | floof | (~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 +0200 | geekosaur | checks to see if you've scared the OP away yet :) |
| 2022-04-10 23:05:03 +0200 | dextaa | (~dextaa@user/dextaa) (Ping timeout: 256 seconds) |
| 2022-04-10 23:08:20 +0200 | brandonh | (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 +0200 | lainon | (lainon@gateway/vpn/protonvpn/lainon) |
| 2022-04-10 23:08:47 +0200 | andrey | (~andrey@p200300dbcf45140050bf2118fcf09947.dip0.t-ipconnect.de) |
| 2022-04-10 23:08:47 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 23:09:31 +0200 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:94b5:609:c1e4:1399) (Ping timeout: 260 seconds) |
| 2022-04-10 23:09:35 +0200 | lainon | (lainon@gateway/vpn/protonvpn/lainon) (Remote host closed the connection) |
| 2022-04-10 23:09:53 +0200 | lainon | (lainon@gateway/vpn/protonvpn/lainon) |
| 2022-04-10 23:13:10 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-10 23:14:27 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-10 23:17:25 +0200 | hpc | . 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 +0200 | floof | (~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 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-10 23:25:57 +0200 | zincy | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-04-10 23:26:36 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-10 23:27:26 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-04-10 23:28:17 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 256 seconds) |
| 2022-04-10 23:29:02 +0200 | MajorBiscuit | (~MajorBisc@83.22.32.182.ipv4.supernova.orange.pl) (Ping timeout: 272 seconds) |
| 2022-04-10 23:32:46 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 23:39:10 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-10 23:39:24 +0200 | haskellberry | (~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 2022-04-10 23:39:39 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-04-10 23:41:02 +0200 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) (Quit: leaving) |
| 2022-04-10 23:43:15 +0200 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds) |
| 2022-04-10 23:43:36 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-04-10 23:45:28 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 23:45:40 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-10 23:46:53 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-10 23:47:11 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 23:47:17 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-10 23:47:34 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 23:47:41 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-10 23:47:57 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 23:48:05 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-10 23:48:20 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 23:48:28 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-10 23:48:41 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-10 23:48:49 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-10 23:50:16 +0200 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-04-10 23:51:44 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-10 23:53:13 +0200 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Ping timeout: 256 seconds) |
| 2022-04-10 23:54:40 +0200 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) |
| 2022-04-10 23:54:54 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-04-10 23:57:58 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-10 23:58:07 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |