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 |