| 2024-07-04 00:03:15 +0200 | emm | (~emm@user/edmeme) (Ping timeout: 264 seconds) |
| 2024-07-04 00:03:40 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-04 00:06:29 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb75b55b5e6c7fe4efd7.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-07-04 00:10:30 +0200 | Joao[3] | (~Joao003@190.108.99.178) (Quit: Bye!) |
| 2024-07-04 00:12:41 +0200 | cpressey | (~weechat@33b62f0c.skybroadband.com) |
| 2024-07-04 00:13:55 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-07-04 00:14:04 +0200 | tomku|two | (~tomku@syn-141-126-184-057.res.spectrum.com) |
| 2024-07-04 00:16:03 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-07-04 00:31:38 +0200 | Deide_ | (~Deide@2a02:8012:9a16:0:4c08:821b:77ed:ba2f) |
| 2024-07-04 00:31:49 +0200 | bilegeek | (~bilegeek@2600:1008:b046:1f36:33d1:a30b:fb6a:feac) |
| 2024-07-04 00:34:24 +0200 | Deide | (d0130db69a@user/deide) (Killed (NickServ (GHOST command used by Deide_!~Deide@2a02:8012:9a16:0:4c08:821b:77ed:ba2f))) |
| 2024-07-04 00:34:28 +0200 | Deide_ | Deide |
| 2024-07-04 00:34:34 +0200 | Deide | (~Deide@2a02:8012:9a16:0:4c08:821b:77ed:ba2f) (Changing host) |
| 2024-07-04 00:34:34 +0200 | Deide | (~Deide@user/deide) |
| 2024-07-04 00:38:34 +0200 | <jle`> | it's not a valid kind but it's not a super useful one |
| 2024-07-04 00:38:57 +0200 | <jle`> | compared to kinds that are purely ADT's and Nat/Symbol |
| 2024-07-04 00:39:12 +0200 | <jle`> | oh they left |
| 2024-07-04 00:46:21 +0200 | cpressey | (~weechat@33b62f0c.skybroadband.com) (Quit: WeeChat 4.3.0) |
| 2024-07-04 00:49:23 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2024-07-04 01:04:57 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-07-04 01:08:49 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds) |
| 2024-07-04 01:13:03 +0200 | pavonia | (~user@user/siracusa) |
| 2024-07-04 01:36:49 +0200 | Deide | (~Deide@user/deide) (Quit: Seeee yaaaa) |
| 2024-07-04 02:25:53 +0200 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-07-04 02:31:27 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2024-07-04 02:33:13 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) (Quit: oo_miguel) |
| 2024-07-04 02:33:29 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) |
| 2024-07-04 02:41:34 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 246 seconds) |
| 2024-07-04 02:44:26 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-07-04 02:46:30 +0200 | <Pozyomka> | Since Haskell has a type class for representable functors... Is there a way to talk about representable natural transformations as well? (A natural transformation “p : F -> G” between Set-valued functors is representable if, given another natural transformation “q : H -> G” whose source H is representable, the pullback “F x_G H” is again representable. Shouldn't work too differently if |
| 2024-07-04 02:46:31 +0200 | <Pozyomka> | we replace Set with Hask, right?) |
| 2024-07-04 02:53:01 +0200 | xff0x | (~xff0x@2405:6580:b080:900:2e:65df:725b:2a62) (Ping timeout: 272 seconds) |
| 2024-07-04 03:08:27 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) |
| 2024-07-04 03:11:43 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 260 seconds) |
| 2024-07-04 03:18:59 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) |
| 2024-07-04 03:29:26 +0200 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-07-04 03:30:54 +0200 | dolio | (~dolio@130.44.134.54) |
| 2024-07-04 03:33:55 +0200 | dolio | (~dolio@130.44.134.54) (Client Quit) |
| 2024-07-04 03:39:05 +0200 | dolio | (~dolio@130.44.134.54) |
| 2024-07-04 03:53:09 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:68bb:1b5c:be42:a832) |
| 2024-07-04 04:12:07 +0200 | dysthesi1 | (~dysthesis@user/dysthesis) |
| 2024-07-04 04:12:33 +0200 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2024-07-04 04:26:06 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-07-04 04:28:01 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 272 seconds) |
| 2024-07-04 04:39:09 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) |
| 2024-07-04 04:40:20 +0200 | td_ | (~td@i5387092B.versanet.de) (Ping timeout: 268 seconds) |
| 2024-07-04 04:41:46 +0200 | td_ | (~td@i5387093F.versanet.de) |
| 2024-07-04 04:42:19 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 246 seconds) |
| 2024-07-04 04:44:39 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
| 2024-07-04 04:46:25 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-07-04 04:51:50 +0200 | dysthesi1 | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2024-07-04 04:55:14 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-07-04 05:10:52 +0200 | tomku|two | (~tomku@syn-141-126-184-057.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-07-04 05:12:03 +0200 | tomku | (~tomku@syn-141-126-184-057.res.spectrum.com) |
| 2024-07-04 05:12:30 +0200 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-07-04 05:16:16 +0200 | aforemny_ | (~aforemny@2001:9e8:6cfd:8900:ac01:bda6:fe69:cd4b) (Ping timeout: 246 seconds) |
| 2024-07-04 05:16:56 +0200 | aforemny | (~aforemny@i59F516FF.versanet.de) |
| 2024-07-04 05:50:15 +0200 | Sgeo_ | (~Sgeo@user/sgeo) |
| 2024-07-04 05:54:09 +0200 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 272 seconds) |
| 2024-07-04 05:55:47 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:68bb:1b5c:be42:a832) (Quit: Leaving) |
| 2024-07-04 05:56:19 +0200 | <lain`> | i'm writing a turn-based game where i'm modeling status effects like `GameState -> GameState`, but I'm realizing that some of these effects may need to add custom state into the GameState that they can access. And I would like to keep it modular, e.g. no writing out every possible thing into a sum type somewhere. Is there really no way to do this other than using dynamic types? |
| 2024-07-04 06:01:26 +0200 | <byorgey> | I can't think of any other way to do it. I like the way xmonad handles this, by keeping an internal map of custom state values keyed by (a runtime representation of) their type. Other than that module none of the rest of your code has to deal with dynamic types at all. |
| 2024-07-04 06:01:50 +0200 | <byorgey> | https://hackage.haskell.org/package/xmonad-contrib-0.18.0/docs/XMonad-Util-ExtensibleState.html |
| 2024-07-04 06:03:03 +0200 | <geekosaur> | would TTG be an option? |