Newest at the top
| 2026-02-05 17:11:34 +0100 | <tomsmeding> | even if you go the thorough route, you'll have to do that for the specific conversions anyway |
| 2026-02-05 17:11:17 +0100 | <tomsmeding> | or you can skip all that and unsafeCoerce the specific conversion that you need |
| 2026-02-05 17:11:04 +0100 | <tomsmeding> | if you want to be thorough, you could define your own linear Integral class with a linear toInteger method, define fromIntegral as fromInteger . toInteger as a linear function, and then write RULEs like in base |
| 2026-02-05 17:09:27 +0100 | tomsmeding | doesn't see any fromIntegral in linear-base at all |
| 2026-02-05 17:09:10 +0100 | <machinedgod> | Oh it might be, I wouldn't know in all honesty. I checked the code in linear-base and it seems like fromIntegral is just copied over from 'base' |
| 2026-02-05 17:08:34 +0100 | <tomsmeding> | it seems this is simply an omission in linear-base |
| 2026-02-05 17:08:12 +0100 | <tomsmeding> | wouldn't that be because you're not copying the 1, you're dropping it and then creating a new one? |
| 2026-02-05 17:07:35 +0100 | <machinedgod> | (also curiously, trying to pattern match on a specific value and copying it "conv (MyWrap 1) = AnotherWrap 1" also gets compiler to complain. |
| 2026-02-05 17:06:37 +0100 | <machinedgod> | Good morning everyone. Question re: linear types, again - is it possible to somehow convert between numeric types linearly? I realized 'fromIntegral' is non-linear, while fromInteger is - but even if I wanted to implement manually my specific case (Int -> Float wrapped with a newtype), I cannot seem to find any function that'd let me do the raw conversion linearly. |
| 2026-02-05 16:55:58 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4842:24c6:bd5c:fe37) |
| 2026-02-05 16:55:40 +0100 | RSBach | RMSBach |
| 2026-02-05 16:55:16 +0100 | RSBach | (~RMSBach@24.210.9.182) RMSBach |
| 2026-02-05 16:55:16 +0100 | RMSBach | (~RMSBach@24.210.9.182) (Ping timeout: 265 seconds) |
| 2026-02-05 16:46:02 +0100 | rekahsoft | (~rekahsoft@70.51.99.245) rekahsoft |
| 2026-02-05 16:39:16 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-02-05 16:33:21 +0100 | tromp | (~textual@2001:1c00:3487:1b00:4842:24c6:bd5c:fe37) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-05 16:33:15 +0100 | <RMSBach> | I've not tried eglot. |
| 2026-02-05 16:32:09 +0100 | <mesaoptimizer> | if you don't have an idea, that's fine, I'll try lsp myself eventually then |
| 2026-02-05 16:31:54 +0100 | <mesaoptimizer> | RMSBach: how does lsp mode compare to the use of eglot? Because I see someone else recommended the use of eglot to me in response to my question |
| 2026-02-05 16:21:12 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-02-05 16:16:22 +0100 | <RMSBach> | Also, lsp mode makes working with Haskell projects much nicer. |
| 2026-02-05 16:16:03 +0100 | <RMSBach> | mesaoptimizer: I strongly recommend projectile. Also consul-projectile. The QoL is amazing. |
| 2026-02-05 16:14:13 +0100 | trickard_ | trickard |
| 2026-02-05 16:11:57 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2026-02-05 16:09:45 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-05 16:07:48 +0100 | <mesaoptimizer> | thanks for the heads up |
| 2026-02-05 16:07:39 +0100 | <mesaoptimizer> | RMSBach: I'm using vanilla emacs, so no projectile. I might consider trying projectile if that's necessary. |
| 2026-02-05 15:59:18 +0100 | fp | (~Thunderbi@wireless-86-50-141-35.open.aalto.fi) (Ping timeout: 244 seconds) |
| 2026-02-05 15:58:43 +0100 | AlexZenon_2 | AlexZenon |
| 2026-02-05 15:53:55 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-05 15:53:42 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-05 15:44:08 +0100 | <gentauro> | ahhh, got it |
| 2026-02-05 15:43:30 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-02-05 15:23:45 +0100 | <RMSBach> | mesaoptimizer: Are you using projectile? I haven't used haskell-ts-mode, but regular haskell-mode works with cabal projects when projectile is aware of the project root for me. |
| 2026-02-05 15:23:09 +0100 | <dutchie> | for a mode foo-mode, foo-ts-mode is the same mode but based on tree-sitter |
| 2026-02-05 15:19:09 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-05 15:16:29 +0100 | <gentauro> | what is `haskell-ts-mode`? Like TypeScript? |
| 2026-02-05 15:11:40 +0100 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-05 15:05:16 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-02-05 15:01:20 +0100 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2026-02-05 14:59:55 +0100 | fp | (~Thunderbi@wireless-86-50-141-35.open.aalto.fi) fp |
| 2026-02-05 14:58:48 +0100 | emaczen | (~user@user/emaczen) emaczen |
| 2026-02-05 14:55:08 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-05 14:53:35 +0100 | fp | (~Thunderbi@wireless-86-50-141-35.open.aalto.fi) (Ping timeout: 244 seconds) |
| 2026-02-05 14:50:21 +0100 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2026-02-05 14:49:10 +0100 | fp | (~Thunderbi@wireless-86-50-141-35.open.aalto.fi) fp |
| 2026-02-05 14:49:02 +0100 | kuribas | (~user@2a02-1810-2825-6000-6394-e629-adac-ea24.ip6.access.telenet.be) kuribas |
| 2026-02-05 14:47:21 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.8.1) |
| 2026-02-05 14:43:51 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-05 14:43:25 +0100 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |