| 2024-10-15 00:00:14 +0200 | <geekosaur> | funny enough, it was originally GeneralizedNewtypeDeriving, I found a ticket once about adding the "correct" spelling |
| 2024-10-15 00:00:32 +0200 | <monochrom> | oh heh |
| 2024-10-15 00:01:19 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2024-10-15 00:01:19 +0200 | ljdarj1 | ljdarj |
| 2024-10-15 00:01:37 +0200 | <geekosaur> | (we go through this with DCSS as well, every so often someone patches up some name to Australian spelling) |
| 2024-10-15 00:03:04 +0200 | <monochrom> | I... didn't know that there is also Australian spelling. |
| 2024-10-15 00:04:04 +0200 | <yin> | monochrom: you just add {-# LANGUAGE GennerTippiesM8^^ #-} |
| 2024-10-15 00:04:59 +0200 | <monochrom> | haha |
| 2024-10-15 00:05:10 +0200 | <tomsmeding> | omg TIL GeneralisedNewtypeDeriving is written in British spelling as the standard in GHC |
| 2024-10-15 00:05:50 +0200 | <geekosaur> | it is the *Glasgow* Haskell Compiler, after all |
| 2024-10-15 00:06:06 +0200 | <tomsmeding> | but SPECIALIZE is the other way around: "(UK spelling also accepted.)" |
| 2024-10-15 00:06:07 +0200 | <monochrom> | Oh haha both spellings are supported. |
| 2024-10-15 00:06:34 +0200 | <yin> | *Glorious |
| 2024-10-15 00:06:41 +0200 | <tomsmeding> | *Glorious Glasgow |
| 2024-10-15 00:07:18 +0200 | <tomsmeding> | the ghc user's guide is mightily inconsistent about specialize/specialise |
| 2024-10-15 00:07:19 +0200 | <yin> | is it [Glorious Glasgow] Haskell Compiler or is it Glorious [Glasgow Haskell Compiler]? |
| 2024-10-15 00:07:24 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-10-15 00:07:48 +0200 | <tomsmeding> | the prose seems to use "specialise", the inline code snippets in the prose "SPECIALIZE", but then the larger code blocks have "SPECIALISE" |
| 2024-10-15 00:07:54 +0200 | <monochrom> | [[Glorious Glasgow] Haskell] Compiler |
| 2024-10-15 00:08:11 +0200 | <tomsmeding> | Glorious [Glasgow [Haskell Compiler]] is how I'd read it |
| 2024-10-15 00:08:39 +0200 | <geekosaur> | oh, is that why ($) is infixr? 😛 |
| 2024-10-15 00:08:46 +0200 | <monochrom> | >:) |
| 2024-10-15 00:09:02 +0200 | <yin> | [avoid success] [at all costs] :p |
| 2024-10-15 00:20:29 +0200 | st_aldini1 | (~Thunderbi@2605:a601:a07c:af00:edd4:453a:4c88:19a0) st_aldini |
| 2024-10-15 00:21:50 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-15 00:23:23 +0200 | <monochrom> | @djinn join :: ((((a -> s) -> a) -> s) -> ((a -> s) -> a)) -> ((a -> s) -> a) |
| 2024-10-15 00:23:23 +0200 | <lambdabot> | Cannot parse command |
| 2024-10-15 00:24:06 +0200 | <monochrom> | @djinn ((((a -> s) -> a) -> s) -> ((a -> s) -> a)) -> ((a -> s) -> a) |
| 2024-10-15 00:24:06 +0200 | <lambdabot> | f a b = a (\ c -> b (c b)) b |
| 2024-10-15 00:24:27 +0200 | st_aldini | (~Thunderbi@2605:a601:a07c:af00:627a:78b9:acf4:2bd7) (Ping timeout: 276 seconds) |
| 2024-10-15 00:24:27 +0200 | st_aldini1 | st_aldini |
| 2024-10-15 00:25:12 +0200 | <monochrom> | (That would be join for the monad S s a = (a -> s) -> a. I am studying it because of a recent post on the discourse.) |
| 2024-10-15 00:25:49 +0200 | <monochrom> | (I thought Cont was hard enough, but I aced it. Now this one is even worse.) |
| 2024-10-15 00:26:06 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2024-10-15 00:26:06 +0200 | ljdarj1 | ljdarj |
| 2024-10-15 00:26:24 +0200 | todi_away | (~todi@vm4634378.25ssd.had.wf) |
| 2024-10-15 00:26:50 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-10-15 00:27:11 +0200 | <dolio> | Search monad? |
| 2024-10-15 00:28:08 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) |
| 2024-10-15 00:28:13 +0200 | <monochrom> | Yeah |
| 2024-10-15 00:29:58 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb260d771c799cc2fd22.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-10-15 00:30:35 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-10-15 00:33:39 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2024-10-15 00:37:23 +0200 | <yin> | i had little trouble with Cont. I have Tardis on my todo list |
| 2024-10-15 00:38:34 +0200 | AlexZenon | (~alzenon@178.34.163.62) (Ping timeout: 252 seconds) |
| 2024-10-15 00:39:16 +0200 | AlexNoo_ | (~AlexNoo@178.34.151.233) |
| 2024-10-15 00:40:03 +0200 | AlexNoo | (~AlexNoo@178.34.163.62) (Ping timeout: 276 seconds) |
| 2024-10-15 00:40:15 +0200 | <monochrom> | @djinn ((a -> s) -> a) -> (a -> (b -> s) -> b) -> ((b -> s) -> b) |
| 2024-10-15 00:40:15 +0200 | <lambdabot> | f a b c = b (a (\ d -> c (b d c))) c |
| 2024-10-15 00:40:21 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-10-15 00:40:45 +0200 | <monochrom> | And that's for (>>=). @_@ |
| 2024-10-15 00:44:33 +0200 | AlexNoo | (~AlexNoo@178.34.151.233) |
| 2024-10-15 00:45:22 +0200 | todi_away | (~todi@vm4634378.25ssd.had.wf) (Read error: Connection reset by peer) |
| 2024-10-15 00:45:43 +0200 | AlexNoo_ | (~AlexNoo@178.34.151.233) (Ping timeout: 264 seconds) |
| 2024-10-15 00:45:48 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2024-10-15 00:46:47 +0200 | <dolio> | Seems very inefficient. |
| 2024-10-15 00:48:24 +0200 | haritz | (~hrtz@user/haritz) (Ping timeout: 272 seconds) |
| 2024-10-15 00:51:12 +0200 | st_aldini1 | (~Thunderbi@2605:a601:a07c:af00:edd4:453a:4c88:19a0) st_aldini |
| 2024-10-15 00:51:50 +0200 | AlexZenon | (~alzenon@178.34.151.233) |
| 2024-10-15 00:52:45 +0200 | todi_away | (~todi@5.154.181.23) |
| 2024-10-15 00:53:42 +0200 | st_aldini | (~Thunderbi@2605:a601:a07c:af00:edd4:453a:4c88:19a0) (Ping timeout: 276 seconds) |
| 2024-10-15 00:53:42 +0200 | st_aldini1 | st_aldini |
| 2024-10-15 00:53:55 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-10-15 00:54:57 +0200 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
| 2024-10-15 00:55:37 +0200 | malte | (~malte@mal.tc) malte |
| 2024-10-15 00:55:58 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) |
| 2024-10-15 00:56:11 +0200 | todi_away | (~todi@5.154.181.23) (Read error: Connection reset by peer) |
| 2024-10-15 00:56:45 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2024-10-15 00:56:47 +0200 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host) |
| 2024-10-15 00:56:47 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2024-10-15 01:00:26 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2024-10-15 01:00:36 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2024-10-15 01:03:51 +0200 | malte | (~malte@mal.tc) malte |
| 2024-10-15 01:04:17 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-10-15 01:06:43 +0200 | todi_away | (~todi@p57803331.dip0.t-ipconnect.de) |
| 2024-10-15 01:07:09 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2024-10-15 01:07:10 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-10-15 01:07:11 +0200 | AlexZenon | (~alzenon@178.34.151.233) (Ping timeout: 265 seconds) |
| 2024-10-15 01:09:18 +0200 | <sam113101> | sorry it's me again with the same question as the other day |
| 2024-10-15 01:10:34 +0200 | malte | (~malte@mal.tc) malte |
| 2024-10-15 01:10:43 +0200 | <haskellbridge> | <sm> Do go on. :) |
| 2024-10-15 01:11:49 +0200 | <sam113101> | how would you write this, first the idiomatic way (for haskell), and second in a way that preserves the "flow", i.e. from left to right |
| 2024-10-15 01:11:51 +0200 | <sam113101> | (0...1000).filter { |x| x % 3 == 0 || x % 5 == 0 }.sum |
| 2024-10-15 01:13:50 +0200 | <sam113101> | (that was ruby btw) |
| 2024-10-15 01:14:43 +0200 | <sam113101> | that's elixir: |
| 2024-10-15 01:14:45 +0200 | <sam113101> | 0..999 |> Enum.filter(fn x -> rem(x, 3) == 0 || rem(x, 5) == 0 end) |> Enum.sum |
| 2024-10-15 01:16:57 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-15 01:17:26 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-15 01:17:31 +0200 | AlexZenon | (~alzenon@178.34.151.233) |
| 2024-10-15 01:20:05 +0200 | todi_away | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2024-10-15 01:20:14 +0200 | <haskellbridge> | <sm> most idiomatic would probably be sum [x | x <- [0..1000], x "mod" 3 == 0, x "mod" 5 == 0] |
| 2024-10-15 01:20:44 +0200 | <haskellbridge> | <sm> * "sum [x | x <- [0..1000], x `mod` 3 == 0, x `mod` 5 == 0]" |
| 2024-10-15 01:23:58 +0200 | <haskellbridge> | <sm> * 0 || x `mod` 5 == 0]" [corrected] |
| 2024-10-15 01:24:08 +0200 | <haskellbridge> | <sm> from left to right would be "import Data.Function ((&))" "[0..1000] & filter (\x -> x`mod`3 == 0 || x`mod`5==0) & sum" |
| 2024-10-15 01:24:19 +0200 | <haskellbridge> | <sm> from left to right would be |
| 2024-10-15 01:24:19 +0200 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/vjQfLuREsoEJecoXcpehsPYR/jMVxugiTxGA (3 lines) |
| 2024-10-15 01:24:19 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2024-10-15 01:25:23 +0200 | <sam113101> | thank you my man |
| 2024-10-15 01:25:23 +0200 | <sm> | sorry, forgot this was IRC |
| 2024-10-15 01:27:06 +0200 | todi_away | (~todi@vm4634378.25ssd.had.wf) |
| 2024-10-15 01:29:00 +0200 | AlexZenon | (~alzenon@178.34.151.233) (Ping timeout: 244 seconds) |
| 2024-10-15 01:29:08 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-10-15 01:30:31 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b9e0:dd36:cbb0:bd68:c718) |
| 2024-10-15 01:39:11 +0200 | todi_away | todi |
| 2024-10-15 01:41:51 +0200 | AlexZenon | (~alzenon@178.34.151.233) |
| 2024-10-15 01:42:48 +0200 | son0p | (~ff@190.69.120.153) son0p |
| 2024-10-15 01:44:07 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-15 01:44:46 +0200 | mjrosenb | (~mjrosenb@pool-96-232-177-77.nycmny.fios.verizon.net) |
| 2024-10-15 01:47:30 +0200 | morby | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-15 01:50:13 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-10-15 01:51:57 +0200 | yin | (~z@user/zero) (Remote host closed the connection) |
| 2024-10-15 01:52:18 +0200 | zero | (~z@user/zero) zero |
| 2024-10-15 01:52:44 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-10-15 01:52:56 +0200 | morby | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-10-15 01:56:10 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-15 01:57:25 +0200 | todi | (~todi@vm4634378.25ssd.had.wf) (Ping timeout: 244 seconds) |
| 2024-10-15 02:00:01 +0200 | morby | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-15 02:00:48 +0200 | todi | (~todi@vm4634378.25ssd.had.wf) todi |
| 2024-10-15 02:01:15 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-10-15 02:03:18 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2024-10-15 02:04:06 +0200 | athan | (~athan@syn-173-042-095-241.biz.spectrum.com) athan |
| 2024-10-15 02:05:22 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-15 02:06:56 +0200 | morby | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-10-15 02:08:12 +0200 | athan | (~athan@syn-173-042-095-241.biz.spectrum.com) (Remote host closed the connection) |
| 2024-10-15 02:35:03 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2024-10-15 02:35:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-15 02:39:39 +0200 | comonad | (~comonad@p200300d0272bda000e01a379c24cc428.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2024-10-15 02:40:09 +0200 | whosit | (~whosit@user/whosit) (Quit: leaving) |
| 2024-10-15 02:45:41 +0200 | xff0x | (~xff0x@2405:6580:b080:900:84b4:386f:205f:a305) (Ping timeout: 248 seconds) |
| 2024-10-15 02:48:22 +0200 | cross | (~cross@spitfire.i.gajendra.net) cross |
| 2024-10-15 02:49:35 +0200 | comonad | (~comonad@p200300d0272bda000e01a379c24cc428.dip0.t-ipconnect.de) |
| 2024-10-15 02:52:19 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-10-15 02:56:51 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-15 03:08:45 +0200 | zero | yin |
| 2024-10-15 03:24:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-10-15 03:26:35 +0200 | troojg | (~troojg@user/troojg) troojg |
| 2024-10-15 03:31:36 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-10-15 03:39:34 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-15 03:40:50 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-10-15 03:49:05 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |
| 2024-10-15 03:51:48 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-10-15 03:57:20 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-10-15 03:59:28 +0200 | jinsun | (~jinsun@user/jinsun) jinsun |
| 2024-10-15 03:59:36 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 252 seconds) |
| 2024-10-15 04:04:06 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-15 04:05:03 +0200 | td_ | (~td@83.135.9.1) (Ping timeout: 265 seconds) |
| 2024-10-15 04:06:33 +0200 | td_ | (~td@i5387090D.versanet.de) td_ |
| 2024-10-15 04:09:03 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-15 04:20:46 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 252 seconds) |
| 2024-10-15 04:22:41 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-10-15 04:41:55 +0200 | synchrom1 | (~john@2406:5a00:2497:300:b017:a602:11fc:4e3b) (Read error: Connection reset by peer) |
| 2024-10-15 04:42:57 +0200 | synchromesh | (~john@2406:5a00:2497:300:acce:5ad8:3e10:a59d) synchromesh |
| 2024-10-15 04:47:54 +0200 | Nixkernal_ | (~Nixkernal@226.85.194.178.dynamic.cust.swisscom.net) Nixkernal |
| 2024-10-15 04:47:55 +0200 | Nixkernal | (~Nixkernal@226.85.194.178.dynamic.cust.swisscom.net) (Ping timeout: 244 seconds) |
| 2024-10-15 04:51:20 +0200 | <yin> | can someone tell me what i'm doing wrong here? i'm getting "Warning: /home/zero/sete/cabal.project: Unrecognized field |
| 2024-10-15 04:51:23 +0200 | <yin> | 'source-repository-package' on line 4 |
| 2024-10-15 04:51:52 +0200 | <yin> | this is my cabal.project: https://paste.jrvieira.com/1728960703820 |
| 2024-10-15 04:53:45 +0200 | <haskellbridge> | <sm> https://cabal.readthedocs.io/en/stable/cabal-project-description-file.html#specifying-packages-fro… mentions "Since version 2.4", that might have something to do with it ? |
| 2024-10-15 04:54:53 +0200 | <yin> | ah, no |
| 2024-10-15 04:55:02 +0200 | <yin> | i had an extra : |
| 2024-10-15 04:55:11 +0200 | <haskellbridge> | <sm> aha |
| 2024-10-15 04:55:50 +0200 | <yin> | this weird format... |
| 2024-10-15 04:56:35 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-15 04:59:19 +0200 | bh34e5 | (~bh34e5@user/bh34e5) (Read error: Connection reset by peer) |
| 2024-10-15 05:00:48 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2024-10-15 05:03:00 +0200 | td_ | (~td@i5387090D.versanet.de) (Ping timeout: 272 seconds) |
| 2024-10-15 05:04:38 +0200 | td_ | (~td@i53870908.versanet.de) td_ |
| 2024-10-15 05:05:08 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-15 05:17:08 +0200 | mantraofpie_ | (~mantraofp@user/mantraofpie) mantraofpie |
| 2024-10-15 05:18:21 +0200 | mantraofpie | (~mantraofp@user/mantraofpie) (Ping timeout: 260 seconds) |
| 2024-10-15 05:51:19 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-15 05:52:04 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-10-15 05:52:42 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-10-15 05:56:33 +0200 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2024-10-15 06:07:55 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-10-15 06:10:35 +0200 | comonad | (~comonad@p200300d0272bda000e01a379c24cc428.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2024-10-15 06:29:08 +0200 | comonad | (~comonad@p200300d0272bda000e01a379c24cc428.dip0.t-ipconnect.de) |
| 2024-10-15 06:37:28 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:db99:b16a:1356:52e1) (Ping timeout: 245 seconds) |
| 2024-10-15 06:43:43 +0200 | mrmr155334346318 | (~mrmr@user/mrmr) (Ping timeout: 245 seconds) |
| 2024-10-15 06:49:18 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-10-15 06:51:16 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2024-10-15 06:51:16 +0200 | ChanServ | +v haskellbridge |
| 2024-10-15 06:53:23 +0200 | michalz | (~michalz@185.246.207.217) |
| 2024-10-15 06:54:17 +0200 | rosco | (~rosco@175.136.23.238) rosco |
| 2024-10-15 06:59:52 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:3d1:1fd6:7a9b:9741) |
| 2024-10-15 07:07:40 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-15 07:10:39 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-15 07:14:51 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-10-15 07:17:33 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-10-15 07:20:03 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:3d1:1fd6:7a9b:9741) (Ping timeout: 252 seconds) |
| 2024-10-15 07:22:52 +0200 | briandaed | (~root@185.234.210.211.r.toneticgroup.pl) |
| 2024-10-15 07:30:03 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-10-15 07:34:48 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2024-10-15 07:40:27 +0200 | Guest74 | (~textual@129.94.128.31) |
| 2024-10-15 07:52:26 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-10-15 07:57:57 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-10-15 08:02:11 +0200 | Guest74 | (~textual@129.94.128.31) (Quit: Textual IRC Client: www.textualapp.com) |
| 2024-10-15 08:05:54 +0200 | Square | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2024-10-15 08:06:20 +0200 | chele | (~chele@user/chele) chele |
| 2024-10-15 08:07:55 +0200 | Guest74 | (~textual@129.94.128.31) |
| 2024-10-15 08:09:08 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-10-15 08:10:40 +0200 | rosco | (~rosco@175.136.23.238) (Ping timeout: 252 seconds) |
| 2024-10-15 08:10:56 +0200 | masterbuilder | (~quassel@user/masterbuilder) (Ping timeout: 255 seconds) |
| 2024-10-15 08:11:02 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2024-10-15 08:12:53 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-15 08:20:57 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-10-15 08:22:37 +0200 | Guest74 | (~textual@129.94.128.31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-10-15 08:22:56 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-15 08:23:11 +0200 | Guest74 | (~textual@129.94.128.31) |
| 2024-10-15 08:23:44 +0200 | CiaoSen | (~Jura@2a05:5800:211:b700:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-15 08:24:58 +0200 | Guest74 | (~textual@129.94.128.31) (Client Quit) |
| 2024-10-15 08:25:23 +0200 | Guest74 | (~textual@129.94.128.31) |
| 2024-10-15 08:28:21 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) whatsupdoc |
| 2024-10-15 08:29:22 +0200 | Guest74 | (~textual@129.94.128.31) (Client Quit) |
| 2024-10-15 08:32:26 +0200 | Guest74 | (~textual@129.94.128.31) |
| 2024-10-15 08:35:20 +0200 | lockywolf | (~lockywolf@2a03:6000:6f63:638::2) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-15 08:35:33 +0200 | Guest74 | (~textual@129.94.128.31) (Client Quit) |
| 2024-10-15 08:35:53 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-15 08:36:26 +0200 | todi_away | (~todi@p57803331.dip0.t-ipconnect.de) |
| 2024-10-15 08:36:50 +0200 | rosco | (~rosco@175.136.23.238) rosco |
| 2024-10-15 08:37:04 +0200 | todi | (~todi@vm4634378.25ssd.had.wf) (Ping timeout: 272 seconds) |
| 2024-10-15 08:37:47 +0200 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2024-10-15 08:48:01 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-10-15 08:54:13 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 248 seconds) |
| 2024-10-15 08:57:49 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-10-15 09:00:00 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-15 09:00:38 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-15 09:10:21 +0200 | ash3en | (~Thunderbi@89.246.174.164) ash3en |
| 2024-10-15 09:15:37 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb542c8efbde008dc5a2.dip0.t-ipconnect.de) |
| 2024-10-15 09:19:06 +0200 | rosco | (~rosco@175.136.23.238) (Quit: Lost terminal) |
| 2024-10-15 09:23:25 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:343c:d865:3598:6b6a) |
| 2024-10-15 09:25:03 +0200 | ash3en | (~Thunderbi@89.246.174.164) (Ping timeout: 246 seconds) |
| 2024-10-15 09:31:21 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2024-10-15 09:34:05 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-15 09:45:36 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) Maxdamantus |
| 2024-10-15 09:49:11 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-15 09:59:16 +0200 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-10-15 09:59:30 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
| 2024-10-15 10:09:41 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-10-15 10:13:34 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 260 seconds) |
| 2024-10-15 10:23:59 +0200 | lockywolf | (~lockywolf@coconut.lockywolf.net) lockywolf |
| 2024-10-15 10:25:41 +0200 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
| 2024-10-15 10:26:37 +0200 | lockywolf | (~lockywolf@coconut.lockywolf.net) (Client Quit) |
| 2024-10-15 10:27:06 +0200 | lockywolf | (~lockywolf@coconut.lockywolf.net) lockywolf |
| 2024-10-15 10:27:53 +0200 | cfricke | (~cfricke@user/cfricke) cfricke |
| 2024-10-15 10:28:27 +0200 | euleritian | (~euleritia@84.19.220.82) (Ping timeout: 252 seconds) |
| 2024-10-15 10:28:52 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-10-15 10:29:04 +0200 | euleritian | (~euleritia@dynamic-176-000-146-080.176.0.pool.telefonica.de) |
| 2024-10-15 10:29:21 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-10-15 10:29:51 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-10-15 10:30:21 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) mreh |
| 2024-10-15 10:31:38 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-15 10:35:14 +0200 | ash3en | (~Thunderbi@89.246.174.164) ash3en |
| 2024-10-15 10:41:52 +0200 | ash3en | (~Thunderbi@89.246.174.164) (Ping timeout: 265 seconds) |
| 2024-10-15 10:45:34 +0200 | identity | (~identity@user/ZharMeny) identity |
| 2024-10-15 10:48:23 +0200 | ubert | (~Thunderbi@178.165.179.94.wireless.dyn.drei.com) ubert |
| 2024-10-15 10:50:54 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-10-15 10:59:22 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-10-15 11:00:14 +0200 | euleritian | (~euleritia@dynamic-176-000-146-080.176.0.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2024-10-15 11:00:33 +0200 | euleritian | (~euleritia@dynamic-176-000-146-080.176.0.pool.telefonica.de) |
| 2024-10-15 11:04:19 +0200 | lockywolf | (~lockywolf@coconut.lockywolf.net) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2024-10-15 11:04:42 +0200 | lockywolf | (~lockywolf@coconut.lockywolf.net) lockywolf |
| 2024-10-15 11:04:49 +0200 | euleritian | (~euleritia@dynamic-176-000-146-080.176.0.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-10-15 11:07:57 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2024-10-15 11:10:35 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-15 11:13:53 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3102-d9ee-0047-5224-edfa-6ff2.rev.sfr.net) alexherbo2 |
| 2024-10-15 11:18:47 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-10-15 11:18:55 +0200 | Guest74 | (~textual@129.94.128.31) |
| 2024-10-15 11:20:04 +0200 | CiaoSen | (~Jura@2a05:5800:211:b700:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2024-10-15 11:20:09 +0200 | lockywolf | (~lockywolf@coconut.lockywolf.net) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2024-10-15 11:20:32 +0200 | lockywolf | (~lockywolf@coconut.lockywolf.net) lockywolf |
| 2024-10-15 11:21:20 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-15 11:21:34 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-10-15 11:22:38 +0200 | rosco | (~rosco@175.136.23.238) rosco |
| 2024-10-15 11:26:09 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-10-15 11:27:38 +0200 | ash3en | (~Thunderbi@89.246.174.164) ash3en |
| 2024-10-15 11:29:18 +0200 | zmt01 | (~zmt00@user/zmt00) zmt00 |
| 2024-10-15 11:29:43 +0200 | ash3en | (~Thunderbi@89.246.174.164) (Client Quit) |
| 2024-10-15 11:32:15 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 252 seconds) |
| 2024-10-15 11:38:11 +0200 | Guest74 | (~textual@129.94.128.31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-10-15 11:38:39 +0200 | Guest74 | (~textual@129.94.128.31) |
| 2024-10-15 11:39:16 +0200 | rosco | (~rosco@175.136.23.238) (Quit: Lost terminal) |
| 2024-10-15 11:50:24 +0200 | rmca | (~rob@188.120.84.50) |
| 2024-10-15 11:51:21 +0200 | Guest74 | (~textual@129.94.128.31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-10-15 11:53:14 +0200 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 252 seconds) |
| 2024-10-15 11:54:49 +0200 | <mreh> | is there a way to use a library with a monad transformer without a typeclass in mtl style code? |
| 2024-10-15 11:55:26 +0200 | <mreh> | e.g. https://hackage.haskell.org/package/GPipe-2.2.5/docs/Graphics-GPipe-Context.html#t:ContextT <- this |
| 2024-10-15 11:56:20 +0200 | <mreh> | `MonadIO` is a thing, so could `HasContext ctx os` be a thing? |
| 2024-10-15 11:57:25 +0200 | <mreh> | something like `liftContextT :: Context ctx os m' a -> m a` maybe |
| 2024-10-15 11:57:42 +0200 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-10-15 11:58:32 +0200 | <kuribas> | Make your own (orphan) instance for mtl? |
| 2024-10-15 11:58:50 +0200 | <kuribas> | Or better, wrap it in a newtype, then make your own (non orphan) instance. |
| 2024-10-15 12:00:24 +0200 | Guest74 | (~textual@129.94.128.31) |
| 2024-10-15 12:00:51 +0200 | <mreh> | yeah, I guess I had -Wno-orphans on |
| 2024-10-15 12:01:19 +0200 | euleritian | (~euleritia@dynamic-176-000-146-080.176.0.pool.telefonica.de) |
| 2024-10-15 12:02:07 +0200 | Guest74 | (~textual@129.94.128.31) (Client Quit) |
| 2024-10-15 12:03:40 +0200 | <kuribas> | That's just a warning, it should still have worked. |
| 2024-10-15 12:05:41 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-10-15 12:05:45 +0200 | todi_away | todi |
| 2024-10-15 12:05:53 +0200 | <mreh> | well ths compiles |
| 2024-10-15 12:06:03 +0200 | <mreh> | class HasContext ctx os m' m where liftContextT :: ContextT ctx os m' a -> m a |
| 2024-10-15 12:06:04 +0200 | <mreh> | instance HasContext ctx os m (ContextT ctx os m) where liftContextT = id :: ContextT ctx os m a -> ContextT ctx os m a |
| 2024-10-15 12:06:18 +0200 | Guest74 | (~textual@129.94.128.31) |
| 2024-10-15 12:07:23 +0200 | <mreh> | It seems the monad under transformation of ContextT needs to be in scope (m'). That last type signature is optional. |
| 2024-10-15 12:08:13 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:343c:d865:3598:6b6a) (Remote host closed the connection) |
| 2024-10-15 12:08:22 +0200 | <mreh> | it's kinda warty, but seems to be working |
| 2024-10-15 12:10:46 +0200 | <kuribas> | I understand people are moving to matrix chat. Is there a recommended server? |
| 2024-10-15 12:13:37 +0200 | Guest74 | (~textual@129.94.128.31) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-10-15 12:15:52 +0200 | CiaoSen | (~Jura@2a05:5800:211:b700:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-15 12:18:07 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-15 12:18:31 +0200 | <mreh> | isn't it decentralised? |
| 2024-10-15 12:18:47 +0200 | <mreh> | matrix.org seems to have the most members in the Haskell room |
| 2024-10-15 12:21:46 +0200 | <lxsameer> | mreh: I don't think matrix servers can federate? can they? |
| 2024-10-15 12:23:18 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2024-10-15 12:23:36 +0200 | <mreh> | I don't know. I just found this page https://view.matrix.org/room/!pZFfqwPvNuLROTqRRy:matrix.org/servers |
| 2024-10-15 12:23:42 +0200 | <mreh> | I'm pretty new to Matrix |
| 2024-10-15 12:24:45 +0200 | Athas | (athas@sigkill.dk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-15 12:27:00 +0200 | <mreh> | I should have said "Haskell space" instead of "room" I think |
| 2024-10-15 12:28:02 +0200 | <mreh> | There are 3k people in #haskell:matrix.org |
| 2024-10-15 12:28:08 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-10-15 12:29:25 +0200 | <lxsameer> | merijn: those are users who joined, not online users |
| 2024-10-15 12:33:13 +0200 | <mreh> | gitter.im moved over to matrix, nice |
| 2024-10-15 12:35:33 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Ping timeout: 248 seconds) |
| 2024-10-15 12:39:36 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 276 seconds) |
| 2024-10-15 12:44:40 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-10-15 12:46:27 +0200 | <tomsmeding> | lxsameer: the whole point of matrix is that it federates ;) |
| 2024-10-15 12:46:54 +0200 | <tomsmeding> | so yes, they do, so it "does not matter" which server you create an account on |
| 2024-10-15 12:47:12 +0200 | <tomsmeding> | while of course in actuality it does, because a server has a server owner, and they have powers over your account |
| 2024-10-15 12:47:24 +0200 | <tomsmeding> | (by having access to the database and such) |
| 2024-10-15 12:47:59 +0200 | <tomsmeding> | you can also self-host a matrix server |
| 2024-10-15 12:48:14 +0200 | <tomsmeding> | but it will need to run ~continuously for things to work smoothly |
| 2024-10-15 12:48:38 +0200 | <tomsmeding> | also mreh I guess |
| 2024-10-15 12:52:14 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-15 12:54:05 +0200 | CiaoSen | (~Jura@2a05:5800:211:b700:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 2024-10-15 12:56:01 +0200 | Leonard26 | (~Leonard26@49.236.10.26) |
| 2024-10-15 12:57:15 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-10-15 12:58:36 +0200 | synchromesh | (~john@2406:5a00:2497:300:acce:5ad8:3e10:a59d) (Read error: Connection reset by peer) |
| 2024-10-15 12:59:25 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-15 12:59:30 +0200 | <Leonard26> | Hello everyone! How are you? :] |
| 2024-10-15 12:59:30 +0200 | <Leonard26> | I was wondering if you could give me an example of how to translate a 'type def' from C/C++ to Haskell? I'm currently working with a language binding and I need to use a 'type def' but I'm having some trouble :/ |
| 2024-10-15 12:59:31 +0200 | synchromesh | (~john@2406:5a00:2497:300:acce:5ad8:3e10:a59d) synchromesh |
| 2024-10-15 12:59:55 +0200 | athan | (~athan@syn-173-042-095-241.biz.spectrum.com) athan |
| 2024-10-15 13:00:05 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-15 13:02:29 +0200 | <tomsmeding> | Leonard26: for a simple type alias, you can use `type T = Maybe Int` |
| 2024-10-15 13:02:37 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-15 13:02:44 +0200 | <tomsmeding> | these can have parameters too: `type T a = Maybe [a]`, for example |
| 2024-10-15 13:03:38 +0200 | shryke | (~shryke@91.103.43.254) shryke |
| 2024-10-15 13:03:39 +0200 | <tomsmeding> | note that this is different from `newtype` and `data`, which create actual new _types_ that are distinct for all other types |
| 2024-10-15 13:03:50 +0200 | <tomsmeding> | (like `struct` in C creates a new type that is distinct from all other types) |
| 2024-10-15 13:06:15 +0200 | euleritian | (~euleritia@dynamic-176-000-146-080.176.0.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2024-10-15 13:06:56 +0200 | athan | (~athan@syn-173-042-095-241.biz.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-10-15 13:06:57 +0200 | rdcdr_ | (~rdcdr@97-113-202-179.tukw.qwest.net) |
| 2024-10-15 13:07:51 +0200 | <Leonard26> | Thank you :] |
| 2024-10-15 13:07:53 +0200 | rdcdr | (~rdcdr@user/rdcdr) (Ping timeout: 245 seconds) |
| 2024-10-15 13:09:21 +0200 | Athas | (athas@sigkill.dk) |
| 2024-10-15 13:09:24 +0200 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2024-10-15 13:11:31 +0200 | rdcdr_ | (~rdcdr@97-113-202-179.tukw.qwest.net) (Ping timeout: 264 seconds) |
| 2024-10-15 13:11:57 +0200 | rdcdr | (~rdcdr@user/rdcdr) rdcdr |
| 2024-10-15 13:18:07 +0200 | gentauro | (~gentauro@user/gentauro) (Ping timeout: 264 seconds) |
| 2024-10-15 13:18:35 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-15 13:20:53 +0200 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2024-10-15 13:23:02 +0200 | xff0x | (~xff0x@2405:6580:b080:900:d191:a1f6:84eb:b17f) |
| 2024-10-15 13:23:05 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2024-10-15 13:24:40 +0200 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-10-15 13:26:31 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:f9e:2c92:2bc3:5a6b) |
| 2024-10-15 13:28:54 +0200 | CiaoSen | (~Jura@2a05:5800:211:b700:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-15 13:30:33 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-10-15 13:30:43 +0200 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2024-10-15 13:31:50 +0200 | malte | (~malte@mal.tc) malte |
| 2024-10-15 13:48:59 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb5435abe4c8369aafbe.dip0.t-ipconnect.de) acidjnk |
| 2024-10-15 13:50:18 +0200 | <haskellbridge> | <hellwolf> I am having a hardtime to figure out the behaviour of "withCreateProcess", probably I should read into the code instead. So far, I cannot simply change createProcess to withCreateProcess with similar code. |
| 2024-10-15 13:51:49 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb542c8efbde008dc5a2.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-10-15 14:07:29 +0200 | euleritian | (~euleritia@dynamic-176-003-036-091.176.3.pool.telefonica.de) |
| 2024-10-15 14:11:00 +0200 | <kqr> | How can I find out why cabal resolves a particular package to a specific version without manually reading through the transitive graph of dependencies on Hackage? |
| 2024-10-15 14:14:29 +0200 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2024-10-15 14:19:53 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-15 14:21:34 +0200 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2024-10-15 14:22:57 +0200 | Leonard26 | (~Leonard26@49.236.10.26) (Quit: Client closed) |
| 2024-10-15 14:32:18 +0200 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) billchenchina |
| 2024-10-15 14:44:50 +0200 | petrichor | (~znc-user@user/petrichor) (Ping timeout: 252 seconds) |
| 2024-10-15 14:45:11 +0200 | mari-estel | (~mari-este@user/danza) danza |
| 2024-10-15 15:08:40 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-10-15 15:08:51 +0200 | alioguzhan | (~Thunderbi@78.173.89.238) (Remote host closed the connection) |
| 2024-10-15 15:10:50 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-15 15:10:51 +0200 | <[exa]> | hellwolf: there has been a lot of complaints about the process creation here (afaik the last big issues were raised by merijn?) |
| 2024-10-15 15:12:08 +0200 | <[exa]> | hellwolf: among other concerns, there's a tradeoff between simplicity and windows compatibility :D |
| 2024-10-15 15:12:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-15 15:14:11 +0200 | <[exa]> | kqr: it's sometimes more useful to ask "why it didn't install this exact better version", add the version constraint to the .cabal file and see&analyze the error raised |
| 2024-10-15 15:14:18 +0200 | alioguzhan | (~Thunderbi@78.173.89.238) |
| 2024-10-15 15:14:49 +0200 | <[exa]> | kqr: (more generally, debugging why constraint solvers choose certain optima is just hard.) |
| 2024-10-15 15:15:38 +0200 | <[exa]> | hellwolf: btw anything specific for figuring out? |
| 2024-10-15 15:17:50 +0200 | <mreh> | do all type synonym variables have kind * by default? |
| 2024-10-15 15:18:10 +0200 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2024-10-15 15:19:55 +0200 | <Athas> | I am somewhat disappointed that -0::Double does not produce negative zero. |
| 2024-10-15 15:19:56 +0200 | <mreh> | if I have a type synonym with a monad for an argument, I have to annotate it with (* -> *) in the definition to get it to work |
| 2024-10-15 15:20:02 +0200 | <Athas> | Do I really need to bit fiddle to do this? |
| 2024-10-15 15:21:15 +0200 | <[exa]> | Athas: -_- |
| 2024-10-15 15:21:38 +0200 | <[exa]> | anyway `negate 0.0` seems okay here |
| 2024-10-15 15:21:54 +0200 | <[exa]> | your issue is likely that -0 looks too much integral |
| 2024-10-15 15:22:03 +0200 | <[exa]> | -0.0::Double does it |
| 2024-10-15 15:22:22 +0200 | <kqr> | [exa], Ah, clever. That revealed it is a conflict with the installed base version. |
| 2024-10-15 15:22:33 +0200 | <Athas> | Well, actually I had -x where x::Double, so I don't think that's it. But maybe something else is eating the sign bit along the way... |
| 2024-10-15 15:22:43 +0200 | <[exa]> | mreh: it failed for me a few times in a very surprising way so I'm kinda trying to always specify the kinds |
| 2024-10-15 15:22:55 +0200 | mari-estel | (~mari-este@user/danza) (Quit: on the move) |
| 2024-10-15 15:23:28 +0200 | <[exa]> | mreh: as one constraint, it likely needs to be able to derive the kinds locally just from that definition, so if you omit too much, it will default to * |
| 2024-10-15 15:23:39 +0200 | <haskellbridge> | <hellwolf> [exa]: I can upload the code. One sec. |
| 2024-10-15 15:23:49 +0200 | <haskellbridge> | <hellwolf> Sorry, wrong quote. |
| 2024-10-15 15:23:57 +0200 | <haskellbridge> | <hellwolf> [exa]: this |
| 2024-10-15 15:24:04 +0200 | <[exa]> | kqr: o nice, well, good luck solving that :D |
| 2024-10-15 15:24:28 +0200 | <[exa]> | hellwolf: you might need a pastebin, if you copypasted a code to matrix it usually doesn't get through (see /topic) |
| 2024-10-15 15:24:32 +0200 | <mreh> | is it something to do with the negative literals? |
| 2024-10-15 15:24:41 +0200 | <mreh> | like -0 desugars to something |
| 2024-10-15 15:24:55 +0200 | <mreh> | I forget, but I vaguely remember |
| 2024-10-15 15:25:03 +0200 | <Athas> | Yes, something else is eating the sign. My prior experiences made me too quick to assume Haskell screwed up IEEE754. |
| 2024-10-15 15:25:50 +0200 | <mreh> | `The literal -123 is, according to Haskell98 and Haskell 2010, two tokens, a unary minus (-) and the number 123, and is desugared as negate (fromInteger 123).` |
| 2024-10-15 15:25:53 +0200 | <[exa]> | yeah the issue with zero is that `fromInteger (-0)::Double` would basially ignore the minus sign. With the `x` I have no idea but it seems to work here. |
| 2024-10-15 15:25:59 +0200 | <mreh> | from here https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/negative_literals.html |
| 2024-10-15 15:26:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-10-15 15:26:32 +0200 | <haskellbridge> | <hellwolf> [exa]: https://github.com/hellwolf/THSH/blob/2cd93f4efb5768ef71e629b3bd9414868f405cb3/src/THSH/Script.hs#… |
| 2024-10-15 15:26:45 +0200 | mreh | hits the gym |
| 2024-10-15 15:28:24 +0200 | <[exa]> | hellwolf: what does it complain about? or does it fail at runtime? |
| 2024-10-15 15:28:32 +0200 | <kqr> | [exa], Yeah, the reason it showed up now is that the library I'm working on is meant to integrate with a slightly more... legacy project. We'll see what avenue is easiest. |
| 2024-10-15 15:29:12 +0200 | <[exa]> | kqr: well for a quick fix just get a local copy of the project, put it into `cabal.project`, bump the base dependency and hope for best |
| 2024-10-15 15:29:23 +0200 | <[exa]> | kqr: if that works you can send a patch to upstream or to maintainers |
| 2024-10-15 15:30:13 +0200 | <[exa]> | hellwolf: other than that it seems to be like it should be equivalent by definition, so certainly something very weird :D |
| 2024-10-15 15:33:10 +0200 | <haskellbridge> | <hellwolf> [exa]: yea. |
| 2024-10-15 15:33:10 +0200 | <haskellbridge> | well, it doesn't work the same way, and I am a bit wary of debugging this piece of code. It took me quite a while to tweak the createProcess version. |
| 2024-10-15 15:33:51 +0200 | <haskellbridge> | <hellwolf> > it doesn't work the same way |
| 2024-10-15 15:33:51 +0200 | <haskellbridge> | to be precise, I think the data between handles didn't flow. but it could be red herring of other problems. |
| 2024-10-15 15:36:10 +0200 | <[exa]> | on a blind guess try closing the stdin of the process in the bracket |
| 2024-10-15 15:36:25 +0200 | <[exa]> | might be the case that stuff gets stuck somewhere in the buffers |
| 2024-10-15 15:37:19 +0200 | <haskellbridge> | <hellwolf> alright, I will try a bit more another day. In this particular case, I am not sure if I can get much from withCreateProces vs createProcess. |
| 2024-10-15 15:37:58 +0200 | <haskellbridge> | <hellwolf> so perhaps I should give it up for a while. |
| 2024-10-15 15:37:58 +0200 | <haskellbridge> | more damning problem is that the library code "withSystemTempDirectory" doesn't clean up the temp directory when I use ^C... that's annoying af |
| 2024-10-15 15:38:15 +0200 | <haskellbridge> | <hellwolf> I might need to read into withSystemTempDirectory or use my own withSystemTempDirectory if it has flaws. |
| 2024-10-15 15:40:56 +0200 | <[exa]> | ah signals |
| 2024-10-15 15:42:17 +0200 | <haskellbridge> | <hellwolf> I would have expected bracket style code can clean up things even when SIGINT/SIGEXIT is involved |
| 2024-10-15 15:42:27 +0200 | <haskellbridge> | <hellwolf> but probably that withSystemTempDirectory didn't use bracket. |
| 2024-10-15 15:42:38 +0200 | <[exa]> | http://neilmitchell.blogspot.com/2015/05/handling-control-c-in-haskell.html quite relevant |
| 2024-10-15 15:43:49 +0200 | <[exa]> | anyway afaik the bracket there should be removing the directory no matter what |
| 2024-10-15 15:44:08 +0200 | hgolden_ | (~hgolden@169.150.203.10) hgolden |
| 2024-10-15 15:45:03 +0200 | <haskellbridge> | <hellwolf> https://hackage.haskell.org/package/temporary-1.3/docs/src/System.IO.Temp.html#withTempDirectory |
| 2024-10-15 15:45:03 +0200 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/tpZzlfdRhDNQsmsyRCoQScYT/r4rovgobKJ4 (3 lines) |
| 2024-10-15 15:46:26 +0200 | <haskellbridge> | <hellwolf> Maybe I should have a program level of C-c check; I will read that article you sent. Thanks. |
| 2024-10-15 15:46:40 +0200 | hgolden__ | (~hgolden@static-198-44-129-115.cust.tzulo.com) (Ping timeout: 244 seconds) |
| 2024-10-15 15:46:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-10-15 15:47:27 +0200 | Square | (~Square4@user/square) Square |
| 2024-10-15 15:48:32 +0200 | <[exa]> | like, you're certainly not the last person solving this here :) |
| 2024-10-15 15:48:47 +0200 | <[exa]> | also quite surprising that the ctrl+c may be delivered elsewhere and discarded there |
| 2024-10-15 15:49:18 +0200 | <yin> | should i use a library section instead of having an other-modules field in both my main and test executables? |
| 2024-10-15 15:49:27 +0200 | <[exa]> | generally any concurrency models out there don't play very happily with the signal handling |
| 2024-10-15 15:50:42 +0200 | <[exa]> | yin: you should be able to share the common values somehow to just avoid copypaste right? |
| 2024-10-15 15:51:17 +0200 | <[exa]> | (`common` & `import` in the cabal file should do that) |
| 2024-10-15 15:51:56 +0200 | <yin> | [exa]: yes but this feels weird. it's not really a library, it's a module for main. the test executable uses it because, well, it's testing it |
| 2024-10-15 15:52:10 +0200 | <yin> | [exa]: oh i'm not really sure what you mean |
| 2024-10-15 15:53:00 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-15 15:55:33 +0200 | <[exa]> | the problem is that you have a long list of modules in the executable and in the test sections, right? |
| 2024-10-15 15:56:34 +0200 | <yin> | the thing is, if i add `hs-source-dirs: test, app` to my test executable section of the .cabal file, the language server complains about the module being an ambiguous target :/ |
| 2024-10-15 15:56:52 +0200 | <yin> | this is my problem ^ |
| 2024-10-15 15:58:02 +0200 | <[exa]> | ahhhhhhh so |
| 2024-10-15 15:58:19 +0200 | <[exa]> | ok that's more of a HLS issue then I guess |
| 2024-10-15 15:58:27 +0200 | <yin> | i imagine so |
| 2024-10-15 15:58:35 +0200 | <yin> | but there has to be a way to get around it |
| 2024-10-15 15:59:50 +0200 | <[exa]> | can you configure HLS to default safely somehow? |
| 2024-10-15 16:00:02 +0200 | <[exa]> | it needs to pick a configuration, so you could just say "use the app one for this" |
| 2024-10-15 16:00:12 +0200 | <yin> | i'm trying `library shared`. what did you mean by "common"? |
| 2024-10-15 16:01:12 +0200 | CiaoSen | (~Jura@2a05:5800:211:b700:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 2024-10-15 16:01:32 +0200 | <[exa]> | in your case you'll probably need the library to disambiguate. By common I meant the common stanza, which doesn't solve it |
| 2024-10-15 16:01:36 +0200 | <[exa]> | https://cabal.readthedocs.io/en/3.4/cabal-package.html#common-stanzas |
| 2024-10-15 16:02:08 +0200 | <yin> | [exa]: i see |
| 2024-10-15 16:03:07 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Remote host closed the connection) |
| 2024-10-15 16:03:26 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-10-15 16:04:06 +0200 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2024-10-15 16:05:28 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-10-15 16:07:53 +0200 | ash3en | (~Thunderbi@89.246.174.164) ash3en |
| 2024-10-15 16:09:18 +0200 | ash3en | (~Thunderbi@89.246.174.164) (Client Quit) |
| 2024-10-15 16:09:57 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-10-15 16:15:56 +0200 | <yin> | [exa]: would this be an appropriate solution? https://cabal.readthedocs.io/en/3.4/cabal-package.html#autogenerated-modules-and-includes |
| 2024-10-15 16:17:33 +0200 | <[exa]> | yin: like you can "autogenerate" them by copying them over, which will certainly cause HLS not to even think about touching them... so I'd say yes |
| 2024-10-15 16:18:10 +0200 | <[exa]> | in the meantime I'd just go library and have a commented out version which does the common stanza (so that you don't expose a library where you don't want to) |
| 2024-10-15 16:23:48 +0200 | <yin> | got it. ty |
| 2024-10-15 16:30:35 +0200 | <[exa]> | (spoiler: I never even managed to get HLS running) |