Logs on 2024-12-01 (liberachat/#haskell)
| 00:00:26 | × | alp_ quits (~alp@2001:861:8ca0:4940:b571:f1ab:171:de89) (Remote host closed the connection) |
| 00:00:43 | → | alp_ joins (~alp@2001:861:8ca0:4940:dd92:8f17:4695:5bbd) |
| 00:00:55 | × | alp__ quits (~alp@2001:861:8ca0:4940:9566:a396:9b4e:73c6) (Ping timeout: 260 seconds) |
| 00:02:08 | × | alp_ quits (~alp@2001:861:8ca0:4940:dd92:8f17:4695:5bbd) (Remote host closed the connection) |
| 00:02:11 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:02:25 | → | alp_ joins (~alp@2001:861:8ca0:4940:fdcf:69ee:2a8:4694) |
| 00:03:50 | × | alp_ quits (~alp@2001:861:8ca0:4940:fdcf:69ee:2a8:4694) (Remote host closed the connection) |
| 00:04:07 | → | alp_ joins (~alp@2001:861:8ca0:4940:508d:1375:1602:900b) |
| 00:05:27 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 252 seconds) |
| 00:05:32 | × | alp_ quits (~alp@2001:861:8ca0:4940:508d:1375:1602:900b) (Remote host closed the connection) |
| 00:05:49 | → | alp_ joins (~alp@2001:861:8ca0:4940:2049:ffcd:82c3:8153) |
| 00:07:00 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 00:07:14 | × | alp_ quits (~alp@2001:861:8ca0:4940:2049:ffcd:82c3:8153) (Remote host closed the connection) |
| 00:07:31 | → | alp_ joins (~alp@2001:861:8ca0:4940:4438:225:8765:d417) |
| 00:09:15 | → | alp__ joins (~alp@2001:861:8ca0:4940:5511:c38c:e2a1:f) |
| 00:10:38 | × | alp__ quits (~alp@2001:861:8ca0:4940:5511:c38c:e2a1:f) (Remote host closed the connection) |
| 00:10:55 | → | alp__ joins (~alp@2001:861:8ca0:4940:470c:b1d5:6d81:17dd) |
| 00:11:07 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:12:20 | × | alp__ quits (~alp@2001:861:8ca0:4940:470c:b1d5:6d81:17dd) (Remote host closed the connection) |
| 00:12:29 | × | alp_ quits (~alp@2001:861:8ca0:4940:4438:225:8765:d417) (Ping timeout: 252 seconds) |
| 00:12:37 | → | alp__ joins (~alp@2001:861:8ca0:4940:598f:8cc7:d414:9560) |
| 00:14:20 | → | alp_ joins (~alp@2001:861:8ca0:4940:12b0:f289:2e8c:4e93) |
| 00:15:44 | × | alp_ quits (~alp@2001:861:8ca0:4940:12b0:f289:2e8c:4e93) (Remote host closed the connection) |
| 00:16:01 | → | alp_ joins (~alp@2001:861:8ca0:4940:5cf5:d4af:8562:dcfd) |
| 00:16:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 00:17:33 | × | alp__ quits (~alp@2001:861:8ca0:4940:598f:8cc7:d414:9560) (Ping timeout: 246 seconds) |
| 00:17:45 | → | alp__ joins (~alp@2001:861:8ca0:4940:1be4:1c4c:357a:d8e4) |
| 00:19:09 | × | alp__ quits (~alp@2001:861:8ca0:4940:1be4:1c4c:357a:d8e4) (Remote host closed the connection) |
| 00:19:25 | → | alp__ joins (~alp@2001:861:8ca0:4940:9afc:6faa:952f:f6f0) |
| 00:19:41 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:20:51 | × | alp__ quits (~alp@2001:861:8ca0:4940:9afc:6faa:952f:f6f0) (Remote host closed the connection) |
| 00:20:55 | × | alp_ quits (~alp@2001:861:8ca0:4940:5cf5:d4af:8562:dcfd) (Ping timeout: 252 seconds) |
| 00:21:08 | → | alp__ joins (~alp@2001:861:8ca0:4940:502f:a80d:fc36:680b) |
| 00:22:50 | → | alp_ joins (~alp@128-79-174-146.hfc.dyn.abo.bbox.fr) |
| 00:24:21 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 00:25:40 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:26:03 | × | alp__ quits (~alp@2001:861:8ca0:4940:502f:a80d:fc36:680b) (Ping timeout: 252 seconds) |
| 00:27:31 | × | zenmov quits (~zenmov@user/zenmov) (Ping timeout: 252 seconds) |
| 00:30:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 00:31:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:33:39 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 00:35:35 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 00:36:19 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 00:36:31 | × | mantraofpie quits (~mantraofp@user/mantraofpie) (Remote host closed the connection) |
| 00:36:56 | → | mantraofpie joins (~mantraofp@user/mantraofpie) |
| 00:40:28 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 00:40:32 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 00:40:49 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 00:40:54 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 00:40:55 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 00:46:23 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 00:47:00 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:47:24 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 00:47:36 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 00:47:50 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 00:52:15 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 01:02:00 | × | acidjnk_new3 quits (~acidjnk@p200300d6e7283f80ad2ccc737ad2227b.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 01:02:50 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:05:25 | → | KicksonButt joins (~quassel@187.21.174.221) |
| 01:10:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 01:20:51 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:24:32 | → | zenmov joins (~zenmov@user/zenmov) |
| 01:29:24 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:29:27 | → | elnegro joins (elnegro@r186-50-73-146.dialup.adsl.anteldata.net.uy) |
| 01:31:14 | × | elnegro quits (elnegro@r186-50-73-146.dialup.adsl.anteldata.net.uy) (Client Quit) |
| 01:31:36 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 01:35:13 | → | zenmov_ joins (~zenmov@user/zenmov) |
| 01:38:06 | × | zenmov quits (~zenmov@user/zenmov) (Ping timeout: 276 seconds) |
| 01:38:28 | × | sprotte24 quits (~sprotte24@p200300d16f2525006d115fd3ccbcd03f.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 01:41:48 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 01:41:57 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:44:48 | <KicksonButt> | "import qualified Text as T" in the first line of a file and running :l filename.hs in ghci returns "Could not find module 'Text'" Can anyone help? |
| 01:45:38 | <geekosaur> | did you want Data.Text? |
| 01:46:22 | <KicksonButt> | Not sure but I can try |
| 01:46:25 | <geekosaur> | https://hackage.haskell.org/package/text-2.1.2 |
| 01:46:37 | <KicksonButt> | I'm following a book, it really says just Text |
| 01:46:40 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 01:46:59 | <geekosaur> | unless they're providing their own and telling you how to install it, that book sounds wrong |
| 01:47:11 | <KicksonButt> | It's from 2017 |
| 01:47:28 | <geekosaur> | it was no more correct then |
| 01:47:29 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 01:47:32 | <KicksonButt> | I see |
| 01:48:50 | × | tessier quits (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 260 seconds) |
| 01:49:48 | → | tessier joins (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 01:52:47 | <geekosaur> | which book is this, ooc? |
| 01:57:44 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:02:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 02:04:07 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 02:13:31 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:13:44 | <KicksonButt> | It's in portuguese from Brazil, "Haskell: Uma Introdução à programação funcional" by Alexandre Garcia de Olveira |
| 02:14:40 | <KicksonButt> | Oliveira |
| 02:17:06 | <geekosaur> | hm, the only instance I see in there is "import Text.Printf" (p. 140) |
| 02:17:44 | <geekosaur> | (I'm kinda faking it though; I can't read Portuguese, but that seems to be the only hit for "import Text" |
| 02:18:09 | <geekosaur> | "import Data.Text" doesn't show up at all |
| 02:19:42 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 02:23:40 | <davean> | KicksonButt: which page is it? |
| 02:24:32 | <KicksonButt> | Page 80 |
| 02:25:02 | <davean> | That should be Data.Text, not Text |
| 02:25:49 | <KicksonButt> | Interesting to see you found the book |
| 02:25:59 | <geekosaur> | oh, wrong search string, whoops |
| 02:26:05 | <geekosaur> | and yes, as I said earlier. |
| 02:26:13 | <geekosaur> | I can't find an errata page for that book, sadly |
| 02:26:15 | <KicksonButt> | Yes, it worked for me with Data.Text after geekosaur said that |
| 02:26:45 | <KicksonButt> | I guess "import qualified ByteString" can have something wrong also |
| 02:26:50 | <geekosaur> | first hit on the title you gave us |
| 02:27:14 | <geekosaur> | yes, that should probably be Data.ByteString |
| 02:29:57 | <KicksonButt> | Yea, it works. Thanks |
| 02:30:34 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:30:34 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 02:30:51 | → | califax joins (~califax@user/califx) |
| 02:32:20 | <KicksonButt> | Even though I had to cabal install it |
| 02:32:48 | <geekosaur> | uh, that should complain that it's a library, not an executable |
| 02:33:40 | <geekosaur> | also both of those libraries ship with ghc these days, and have for a long time; what ghc version are you using? |
| 02:33:46 | <geekosaur> | and cabal version, for that matter |
| 02:35:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 02:41:56 | <KicksonButt> | ghc 9.4.8 |
| 02:42:20 | <KicksonButt> | cabal 3.10.3.0 |
| 02:42:33 | <KicksonButt> | Are they old |
| 02:42:49 | <geekosaur> | a little, but not that old |
| 02:44:43 | <geekosaur> | cabal should have said `The command "cabal install [TARGETS]" doesn't expose libraries.` or similar (although that's HEAD, not 3.10.3.0) |
| 02:45:25 | <KicksonButt> | Oh, it said |
| 02:45:32 | <KicksonButt> | You might have wanted to add them to a GHC environment. In this case use "cabal install --lib bytestring" |
| 02:45:47 | <KicksonButt> | Makes sense? |
| 02:46:20 | <geekosaur> | right, but you still don't really want to do that |
| 02:46:20 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:46:31 | <KicksonButt> | Why not |
| 02:46:39 | <geekosaur> | "cabal install" of libraries is a vestige from the first version of cabal, and is known to make messes |
| 02:46:57 | <KicksonButt> | That's like a good reason |
| 02:47:07 | <geekosaur> | "nix-style" cabal projects are preferred these days |
| 02:47:07 | <KicksonButt> | sounds like* |
| 02:48:31 | × | Alleria quits (~Alleria@user/alleria) (Remote host closed the connection) |
| 02:49:08 | → | Alleria joins (~Alleria@user/alleria) |
| 02:49:17 | <KicksonButt> | Does that mean people usually install packages locally per project? |
| 02:49:27 | <hellwolf> | Generaly question: Is using "'" within a function name generally an okay idea? I use it often to mark certain type of functions. |
| 02:49:28 | <geekosaur> | there is a global store |
| 02:49:48 | <geekosaur> | local packages reference the global store as needed for dependencies |
| 02:49:50 | <hellwolf> | sorry, might be interrupting the thread; I haven't read through. |
| 02:50:24 | <geekosaur> | hellwolf, that seems to be soemthing of a personal thing. I tend to only use primes as suffixes, but that's me |
| 02:51:16 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 02:51:22 | <KicksonButt> | hellwolf no problem |
| 02:51:42 | <geekosaur> | KicksonButt, bytestring has shiipped with ghc for as long as it has existed (before that, it was part of ghc); text has shipped with ghc since (whoops, I can't check, forgot gitlab is down but it's been a while) |
| 02:52:22 | <KicksonButt> | Ok, it seems I have to get to know that nix thing |
| 02:54:34 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 02:55:23 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 02:57:16 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 02:58:58 | × | mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (Quit: ZNC 1.9.1+deb2+b1 - https://znc.in) |
| 03:02:08 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:03:01 | → | mhatta joins (~mhatta@www21123ui.sakura.ne.jp) |
| 03:05:02 | × | op_4 quits (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 03:05:33 | <geekosaur> | it's not actually nix, it just uses the same concept of a global store |
| 03:05:34 | → | op_4 joins (~tslil@user/op-4/x-9116473) |
| 03:06:01 | <geekosaur> | https://cabal.readthedocs.io/en/3.12/nix-local-build.html |
| 03:07:08 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 03:10:02 | × | td_ quits (~td@i5387090F.versanet.de) (Ping timeout: 265 seconds) |
| 03:11:44 | → | td_ joins (~td@i53870919.versanet.de) |
| 03:17:19 | lol_ | is now known as jcarpenter2 |
| 03:17:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:22:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 03:24:34 | × | zenmov_ quits (~zenmov@user/zenmov) (Read error: Connection reset by peer) |
| 03:27:24 | × | Everything quits (~Everythin@46-133-155-212.mobile.vf-ua.net) (Quit: leaving) |
| 03:30:14 | → | zenmov joins (~zenmov@user/zenmov) |
| 03:33:01 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 03:33:27 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:35:45 | × | haritz quits (~hrtz@user/haritz) (Ping timeout: 276 seconds) |
| 03:36:05 | → | haritz joins (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) |
| 03:36:08 | × | haritz quits (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) (Changing host) |
| 03:36:08 | → | haritz joins (~hrtz@user/haritz) |
| 03:37:48 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 03:38:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:49:14 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:49:23 | → | typedfern_ joins (~Typedfern@125.red-83-37-32.dynamicip.rima-tde.net) |
| 03:49:33 | × | Typedfern quits (~Typedfern@108.red-83-37-46.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
| 03:55:57 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 04:07:17 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:12:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 04:14:56 | → | weary-traveler joins (~user@user/user363627) |
| 04:23:04 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:27:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 04:27:49 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 04:28:03 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 04:38:51 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:43:50 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 04:53:47 | → | iqubic joins (~sophia@2601:602:9201:9440:a79c:888c:bcf5:a830) |
| 04:54:40 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:57:00 | → | jianboliu joins (~jianboliu@static-68-235-46-13.cust.tzulo.com) |
| 04:58:49 | jianboliu | is now known as jliu32 |
| 04:59:59 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 05:02:58 | × | jliu32 quits (~jianboliu@static-68-235-46-13.cust.tzulo.com) (Quit: leaving) |
| 05:09:09 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 05:10:27 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:12:43 | → | jliu32 joins (~jianboliu@static-68-235-46-13.cust.tzulo.com) |
| 05:15:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 05:21:04 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 05:26:13 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:29:12 | → | euphores joins (~SASL_euph@user/euphores) |
| 05:32:58 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 05:33:20 | × | KicksonButt quits (~quassel@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 05:34:12 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:39:15 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 05:43:25 | <jle`> | is it possible to write a function that ie negates every item in a `Traversable t => t Int` except for the last, but that could work for infinite Traversable values? |
| 05:49:28 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:49:30 | <Leary> | > snd . mapAccumR (\b x -> (True, if b then negate x else x)) False $ [1..9] |
| 05:49:32 | <lambdabot> | [-1,-2,-3,-4,-5,-6,-7,-8,9] |
| 05:49:41 | <Leary> | > take 9 $ snd . mapAccumR (\b x -> (True, if b then negate x else x)) False $ [1..] |
| 05:49:42 | <lambdabot> | [-1,-2,-3,-4,-5,-6,-7,-8,-9] |
| 05:49:46 | <Leary> | jle`: ^ |
| 05:54:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 06:02:01 | → | rvalue- joins (~rvalue@user/rvalue) |
| 06:02:50 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 255 seconds) |
| 06:04:27 | <jle`> | nice :o |
| 06:04:41 | <jle`> | thanks! |
| 06:05:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:05:21 | <jle`> | i need to rethink how i understand mapAccumR to work on lists wrt laziness |
| 06:06:21 | rvalue- | is now known as rvalue |
| 06:10:43 | → | hiecaq joins (~hiecaq@user/hiecaq) |
| 06:12:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 06:16:55 | → | banner joins (~banner@202.137.173.5) |
| 06:24:11 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:24:24 | × | euleritian quits (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 06:25:31 | → | euleritian joins (~euleritia@dynamic-176-006-134-036.176.6.pool.telefonica.de) |
| 06:26:17 | <int-e> | > foldr (\x xs -> if null xs then x : xs else -x : xs) [] [1..9] |
| 06:26:19 | <lambdabot> | [-1,-2,-3,-4,-5,-6,-7,-8,9] |
| 06:26:37 | <int-e> | > foldr (\x xs -> if null xs then x : xs else -x : xs) [] [1..] |
| 06:26:45 | <lambdabot> | mueval-core: Time limit exceeded |
| 06:26:57 | <int-e> | oooh |
| 06:27:07 | <iqubic> | > take 9 $ foldr (\x xs -> if null xs then x : xs else -x : xs) [] [1..] |
| 06:27:13 | <int-e> | > foldr (\x xs -> (if null xs then x else -x) : xs) [] [1..] |
| 06:27:14 | <lambdabot> | mueval-core: Time limit exceeded |
| 06:27:15 | <lambdabot> | [-1,-2,-3,-4,-5,-6,-7,-8,-9,-10,-11,-12,-13,-14,-15,-16,-17,-18,-19,-20,-21,... |
| 06:27:33 | <iqubic> | I see what you're doing there. |
| 06:27:51 | <int-e> | I think I demonstrated that this may be a bit too subtle :P |
| 06:29:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 06:31:20 | <iqubic> | Also, your function technically only works with lists, due to the use of (:), whereas the `mapAccumR` version would work on any Traversable. |
| 06:31:51 | <int-e> | True. |
| 06:32:53 | <int-e> | Or not? It "works" on foldables ;-) |
| 06:33:36 | <int-e> | I mean while we're nitpicking, you didn't specify that the output should have the same shape or type as the input, just what happens to the values :-P |
| 06:34:01 | <int-e> | This may be a stretch. |
| 06:35:03 | × | hiecaq quits (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 06:37:06 | → | hiecaq joins (~hiecaq@user/hiecaq) |
| 06:39:58 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:40:40 | × | hiecaq quits (~hiecaq@user/hiecaq) (Client Quit) |
| 06:44:59 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 06:46:39 | → | hiecaq joins (~hiecaq@user/hiecaq) |
| 06:47:45 | × | hiecaq quits (~hiecaq@user/hiecaq) (Remote host closed the connection) |
| 06:47:46 | × | banner quits (~banner@202.137.173.5) (Ping timeout: 252 seconds) |
| 06:47:47 | × | euleritian quits (~euleritia@dynamic-176-006-134-036.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 06:48:05 | → | euleritian joins (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 06:48:44 | → | hiecaq joins (~hiecaq@user/hiecaq) |
| 06:50:18 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 06:55:46 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:57:32 | → | michalz joins (~michalz@185.246.207.197) |
| 06:58:39 | × | hiecaq quits (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 07:00:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 07:00:58 | × | jliu32 quits (~jianboliu@static-68-235-46-13.cust.tzulo.com) (Quit: leaving) |
| 07:02:56 | → | hiecaq joins (~hiecaq@user/hiecaq) |
| 07:09:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:10:47 | × | hiecaq quits (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 07:14:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 07:15:59 | → | hiecaq joins (~hiecaq@user/hiecaq) |
| 07:16:44 | × | typedfern_ quits (~Typedfern@125.red-83-37-32.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
| 07:17:14 | → | Typedfern joins (~Typedfern@56.red-83-37-30.dynamicip.rima-tde.net) |
| 07:18:58 | × | Typedfern quits (~Typedfern@56.red-83-37-30.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 07:21:04 | → | Typedfern joins (~Typedfern@56.red-83-37-30.dynamicip.rima-tde.net) |
| 07:23:25 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:24:52 | → | Manideep joins (~Manideep@115.97.231.193) |
| 07:24:55 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:26:53 | × | Manideep quits (~Manideep@115.97.231.193) (Client Quit) |
| 07:27:05 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 07:29:57 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 07:40:43 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:44:22 | × | hiecaq quits (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 07:45:19 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 07:49:00 | → | hiecaq joins (~hiecaq@user/hiecaq) |
| 07:51:05 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:56:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:00:00 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 08:00:39 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 08:00:42 | → | caconym joins (~caconym@user/caconym) |
| 08:01:36 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 08:01:42 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 08:03:40 | → | tt12310978324354 joins (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 08:07:02 | <jle`> | i guess one neat thing is that any function polymorphic over Traversables has to preserve the length or structure |
| 08:07:28 | <jle`> | ie you can't add or delete keys in Map k |
| 08:07:54 | × | euleritian quits (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 08:08:19 | → | euleritian joins (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 08:08:22 | × | son0p quits (~ff@186.121.16.116) (Ping timeout: 252 seconds) |
| 08:10:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:10:53 | × | hiecaq quits (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 08:12:09 | → | banner joins (~banner@202.137.173.5) |
| 08:12:28 | × | euleritian quits (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 08:13:00 | → | euleritian joins (~euleritia@dynamic-176-007-139-196.176.7.pool.telefonica.de) |
| 08:15:53 | → | hiecaq joins (~hiecaq@user/hiecaq) |
| 08:17:03 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 08:28:26 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:36:59 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 08:37:56 | × | hiecaq quits (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 08:40:02 | → | hiecaq joins (~hiecaq@user/hiecaq) |
| 08:44:44 | × | euleritian quits (~euleritia@dynamic-176-007-139-196.176.7.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 08:48:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:53:23 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 08:55:30 | × | Leary quits (~Leary@user/Leary/x-0910699) (Remote host closed the connection) |
| 09:03:32 | → | Leary joins (~Leary@user/Leary/x-0910699) |
| 09:04:11 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:08:56 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 09:10:31 | → | acidjnk_new3 joins (~acidjnk@p200300d6e7283f8534561d86a8c80653.dip0.t-ipconnect.de) |
| 09:11:27 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:13:44 | × | tessier quits (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 260 seconds) |
| 09:17:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 09:22:20 | → | tessier joins (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 09:27:32 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 09:28:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:29:40 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:32:59 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 09:38:46 | → | V joins (~v@ircpuzzles/2022/april/winner/V) |
| 09:43:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:48:32 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 09:50:52 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 09:51:52 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 09:52:29 | → | euleritian joins (~euleritia@dynamic-176-007-139-196.176.7.pool.telefonica.de) |
| 09:57:06 | × | tessier quits (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 272 seconds) |
| 09:59:09 | × | xff0x quits (~xff0x@2405:6580:b080:900:b90f:ed1c:a9d8:6a75) (Ping timeout: 245 seconds) |
| 09:59:35 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:59:37 | → | tessier joins (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 09:59:49 | × | gvg quits (~dcd@user/gvg) (Ping timeout: 260 seconds) |
| 10:04:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 10:04:55 | → | xff0x joins (~xff0x@2405:6580:b080:900:bdb1:25e1:e64a:22aa) |
| 10:11:57 | × | hiecaq quits (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 10:12:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:13:15 | → | hiecaq joins (~hiecaq@user/hiecaq) |
| 10:18:21 | → | son0p joins (~ff@186.121.60.109) |
| 10:18:54 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 10:19:15 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 10:30:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:30:47 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 10:32:28 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 10:34:59 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 10:35:19 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 10:35:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 10:36:30 | <dmj`> | :t uncurry (on zip sort) |
| 10:36:31 | <lambdabot> | Ord a => ([a], [a]) -> [(a, a)] |
| 10:39:01 | <int-e> | :t transpose . map sort . transpose |
| 10:39:02 | <lambdabot> | Ord a => [[a]] -> [[a]] |
| 10:46:09 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:47:16 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 10:48:39 | × | hiecaq quits (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 10:50:05 | → | hiecaq joins (~hiecaq@user/hiecaq) |
| 10:50:10 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 10:51:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 10:53:32 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 255 seconds) |
| 10:57:35 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 11:00:24 | × | banner quits (~banner@202.137.173.5) (Ping timeout: 245 seconds) |
| 11:01:00 | × | euleritian quits (~euleritia@dynamic-176-007-139-196.176.7.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 11:01:59 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:03:50 | → | sprotte24 joins (~sprotte24@p200300d16f31c000346c7ccb6d0f74ba.dip0.t-ipconnect.de) |
| 11:05:46 | → | euleritian joins (~euleritia@dynamic-176-004-007-220.176.4.pool.telefonica.de) |
| 11:09:07 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 11:09:49 | <sprotte24> | https://paste.tomsmeding.com/QqClziIU |
| 11:11:35 | <sprotte24> | my infinite sorted list of avalanche numbers works now |
| 11:13:24 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:14:07 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 11:17:28 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 11:17:31 | × | euleritian quits (~euleritia@dynamic-176-004-007-220.176.4.pool.telefonica.de) (Ping timeout: 264 seconds) |
| 11:20:31 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 11:23:00 | → | euleritian joins (~euleritia@dynamic-176-002-002-191.176.2.pool.telefonica.de) |
| 11:24:30 | × | acidjnk_new3 quits (~acidjnk@p200300d6e7283f8534561d86a8c80653.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 11:27:40 | × | euleritian quits (~euleritia@dynamic-176-002-002-191.176.2.pool.telefonica.de) (Ping timeout: 272 seconds) |
| 11:28:06 | → | euleritian joins (~euleritia@dynamic-176-007-135-017.176.7.pool.telefonica.de) |
| 11:28:19 | → | pavonia joins (~user@user/siracusa) |
| 11:32:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:33:24 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 246 seconds) |
| 11:36:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 11:38:28 | <Square> | can you write import statements and a haskell expression on one line? |
| 11:39:16 | <Hecate> | hmm I have never tried |
| 11:39:55 | <Square> | My motives aren't the greatest. Just trying to make a minimal aoc |
| 11:41:55 | <probie> | Square: https://play.haskell.org/saved/go5tOxoS |
| 11:44:06 | <Square> | probie, thanks! |
| 11:47:46 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:48:49 | × | euleritian quits (~euleritia@dynamic-176-007-135-017.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 11:49:06 | → | euleritian joins (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 11:49:08 | <tomsmeding> | probie Square: the {} are unnecessary ;) |
| 11:51:05 | × | hiecaq quits (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 11:51:49 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 248 seconds) |
| 11:52:59 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 11:59:03 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 11:59:28 | → | notzmv joins (~umar@user/notzmv) |
| 11:59:36 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 12:01:51 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 12:02:22 | × | Square quits (~Square@user/square) (Ping timeout: 252 seconds) |
| 12:03:21 | × | pierrot quits (~pi@user/pierrot) (Quit: ZNC 1.8.2 - http://znc.in) |
| 12:03:34 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:03:40 | → | pierrot joins (~pi@user/pierrot) |
| 12:08:06 | × | califax quits (~califax@user/califx) (Ping timeout: 260 seconds) |
| 12:08:41 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 12:09:05 | → | califax joins (~califax@user/califx) |
| 12:11:04 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 12:13:08 | × | petrichor quits (~znc-user@user/petrichor) (Read error: Connection reset by peer) |
| 12:14:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:16:03 | → | petrichor joins (~znc-user@user/petrichor) |
| 12:22:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 12:25:02 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 12:29:06 | × | petrichor quits (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 12:29:25 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 12:34:19 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:35:41 | <jackdk> | probie: https://play.haskell.org/saved/ihdaAEAV |
| 12:38:17 | × | tessier quits (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 252 seconds) |
| 12:39:08 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 12:39:40 | → | tessier joins (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 12:44:07 | → | troydm joins (~troydm@user/troydm) |
| 12:49:59 | × | ThePenguin quits (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 12:50:05 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:50:32 | → | ThePenguin joins (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 12:51:25 | → | petrichor joins (~znc-user@user/petrichor) |
| 12:55:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 13:05:18 | × | driib318 quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 13:05:53 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:05:57 | → | driib318 joins (~driib@vmi931078.contaboserver.net) |
| 13:09:46 | → | toch joins (~toch@user/toch) |
| 13:12:15 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 13:15:26 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:25:47 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 13:26:37 | → | thaliaa joins (uid486183@id-486183.uxbridge.irccloud.com) |
| 13:36:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:43:12 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 13:47:14 | × | tessier quits (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 252 seconds) |
| 13:49:00 | → | tessier joins (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 13:54:26 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:59:17 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 14:03:39 | × | tessier quits (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 276 seconds) |
| 14:05:30 | → | tessier joins (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 14:10:11 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 255 seconds) |
| 14:10:13 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:10:42 | × | tessier quits (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 252 seconds) |
| 14:15:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 14:16:14 | → | poscat joins (~poscat@user/poscat) |
| 14:16:27 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:20:57 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 14:24:56 | → | acidjnk_new3 joins (~acidjnk@p200300d6e7283f8534561d86a8c80653.dip0.t-ipconnect.de) |
| 14:25:42 | → | tessier joins (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 14:28:02 | × | notzmv quits (~umar@user/notzmv) (Read error: Connection reset by peer) |
| 14:30:42 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:31:53 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:32:20 | × | tessier quits (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 252 seconds) |
| 14:35:01 | → | hiecaq joins (~hiecaq@user/hiecaq) |
| 14:35:55 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 260 seconds) |
| 14:36:20 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 14:36:51 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 14:39:02 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 14:40:18 | → | notzmv joins (~umar@user/notzmv) |
| 14:44:49 | × | petrichor quits (~znc-user@user/petrichor) (Read error: Connection reset by peer) |
| 14:46:33 | × | euleritian quits (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 14:46:45 | → | petrichor joins (~znc-user@user/petrichor) |
| 14:46:49 | → | euleritian joins (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 14:47:25 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:47:57 | → | tessier joins (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 14:52:12 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 14:53:15 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:58:00 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 15:04:44 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 15:04:49 | × | zenmov quits (~zenmov@user/zenmov) (Quit: leaving) |
| 15:06:11 | → | zenmov joins (~zenmov@user/zenmov) |
| 15:08:58 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:10:24 | × | tessier quits (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 246 seconds) |
| 15:11:19 | × | euleritian quits (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 15:11:53 | → | euleritian joins (~euleritia@dynamic-176-006-135-133.176.6.pool.telefonica.de) |
| 15:14:05 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 15:14:15 | → | weary-traveler joins (~user@user/user363627) |
| 15:14:16 | → | tessier joins (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 15:15:21 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 15:17:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:22:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 15:25:19 | × | tessier quits (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 260 seconds) |
| 15:27:40 | × | zenmov quits (~zenmov@user/zenmov) (Quit: leaving) |
| 15:32:03 | → | zenmov joins (~zenmov@user/zenmov) |
| 15:33:10 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:37:58 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 15:46:09 | × | thaliaa quits (uid486183@id-486183.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 15:48:58 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:49:24 | × | tomboy65 quits (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 15:49:30 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 15:49:42 | → | tessier joins (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 15:54:11 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 15:56:06 | × | tessier quits (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 265 seconds) |
| 16:02:23 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 16:02:37 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
| 16:04:46 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:05:07 | → | tessier joins (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 16:05:25 | × | hiecaq quits (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 16:06:20 | × | mxs quits (~mxs@user/mxs) (Quit: The Lounge - https://thelounge.chat) |
| 16:09:24 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 16:09:43 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 16:12:26 | × | tessier quits (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 252 seconds) |
| 16:14:38 | × | sudden quits (~cat@user/sudden) (Ping timeout: 252 seconds) |
| 16:15:39 | × | aforemny_ quits (~aforemny@i577B135C.versanet.de) (Ping timeout: 252 seconds) |
| 16:15:42 | → | sudden joins (~cat@user/sudden) |
| 16:16:05 | → | aforemny joins (~aforemny@2001:9e8:6ce8:5900:38f1:325c:66f8:c9c1) |
| 16:16:07 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 16:18:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:19:21 | → | michaelis joins (~michael@user/michaelis) |
| 16:20:50 | <michaelis> | Hi! I run Slackware 15 and installed ghcup through sbopkg. Running ghcup upgrade does not upgrade ghcup although it does say it's upgraded. It also states ghcup is not in PATH even though it is. Any ideas? |
| 16:22:04 | × | aforemny quits (~aforemny@2001:9e8:6ce8:5900:38f1:325c:66f8:c9c1) (Ping timeout: 245 seconds) |
| 16:23:47 | <haskellbridge> | <maerwald> michaelis: delete the version from sbopkg and follow https://www.haskell.org/ghcup/ |
| 16:24:22 | → | aforemny joins (~aforemny@2001:9e8:6ce8:7100:2a57:7115:ef6a:199f) |
| 16:24:58 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 16:25:11 | <michaelis> | haskellbridge: Thank you. I instead ran ghcup verbose an saw that the PATH in meaning was .ghcup in my home folder. So I exported it to PATH and am now trying to install ghc with latest ghcup. |
| 16:31:28 | <spew> | it was actually maerwald _from_ the haskellbridge |
| 16:33:09 | <michaelis> | spew: Meaning? I'm not familiar with haskellbridge. Completely new to this community and its workings. :) |
| 16:35:08 | <spew> | it posts things here that people say from the matrix chat room |
| 16:36:26 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:36:30 | <michaelis> | spew: Aha, I see. Thanks for the information. But can someone be in the matrix chat room and not here? Or do the two have no connection regarding whos logged in where? |
| 16:37:49 | <spew> | no connection |
| 16:39:57 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 16:41:01 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 16:45:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:46:08 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Quit: leaving) |
| 16:50:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 16:52:19 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 16:52:51 | × | euleritian quits (~euleritia@dynamic-176-006-135-133.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 16:53:08 | → | euleritian joins (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 16:54:38 | <geekosaur> | michaelis, there are two matrix rooms: #haskell:matrix.org is independent, #haskell-irc:matrix.org is bridged here |
| 16:55:08 | <geekosaur> | you can /whois haskellbridge to get (a link to) details |
| 16:59:04 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 17:01:20 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:04:09 | × | troydm quits (~troydm@user/troydm) (Ping timeout: 246 seconds) |
| 17:06:12 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 17:16:03 | × | cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 17:16:43 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:23:08 | → | cheater joins (~Username@user/cheater) |
| 17:23:14 | → | tessier joins (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 17:26:23 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 17:27:08 | × | cheater quits (~Username@user/cheater) (Client Quit) |
| 17:29:11 | → | cheater joins (~Username@user/cheater) |
| 17:29:59 | × | cheater quits (~Username@user/cheater) (Client Quit) |
| 17:31:52 | → | cheater joins (~Username@user/cheater) |
| 17:32:49 | → | tremon joins (~tremon@83.80.159.219) |
| 17:33:17 | → | cheater_ joins (~Username@user/cheater) |
| 17:34:20 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Quit: Lost terminal) |
| 17:34:28 | × | cheater_ quits (~Username@user/cheater) (Client Quit) |
| 17:36:34 | → | cheater_ joins (~Username@user/cheater) |
| 17:36:43 | × | cheater quits (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 17:36:49 | cheater_ | is now known as cheater |
| 17:37:24 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:40:03 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 17:42:07 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 17:44:04 | → | semmelschwarz joins (~semmelsch@41.66.98.79) |
| 17:44:50 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 17:48:42 | <semmelschwarz> | Hey, folks! Can some1 please lead me into the right dir on how to type an accumulating function: `class Accum p k v f where -- | p k v -> f where↵ accum :: [(k, v)] -> p -> f↵ instance Accum () k v (() -> [(k, v)]) where↵ accum accu () = accu↵ instance (forall p'. Accum p' String v f') => Accum String String v (String -> v -> f') where↵ accum accu k v = accum ((k, v) : accu)` |
| 17:51:44 | <geekosaur> | uh, couyld you use a pastebin? that was rather confusing especially when trying tot rack indentation |
| 17:51:47 | <geekosaur> | @where paste |
| 17:51:47 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 17:53:00 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:53:06 | <semmelschwarz> | I want `accum` to—depending on the type of 1st argument—either (a) take two separate arguments (a key and a value) and return a function that allow for further accumulation or (b) don't take further arguments after getting passed `()` and return the list of all the accumulated pairs. |
| 17:54:12 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 17:54:13 | <semmelschwarz> | @geekosaur Thanks for engaging with my problem. I'll do so, just one sec. |
| 17:54:13 | <lambdabot> | Unknown command, try @list |
| 17:54:32 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:55:30 | <geekosaur> | this sounds like the `PrintfArg` trick. I don't recommend it as it plays havoc with type inference, but you can look at the source of the Text.Printf module in base to see how it's done (https://downloads.haskell.org/ghc/latest/docs/libraries/base-4.20.0.0-1f57/src/Text.Printf.html) |
| 17:55:32 | <semmelschwarz> | https://paste.tomsmeding.com/sAZXyKlg |
| 17:56:14 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 17:58:26 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 18:01:56 | × | tessier quits (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 255 seconds) |
| 18:02:06 | <michaelis> | geekosaur: Thank you for the information. |
| 18:02:39 | <semmelschwarz> | @geekosaur Looks suitable so far—thank you very much so far; i'll look into it and see if I can get it to work fittingly. |
| 18:02:39 | <lambdabot> | Unknown command, try @list |
| 18:04:31 | × | semmelschwarz quits (~semmelsch@41.66.98.79) (Remote host closed the connection) |
| 18:06:28 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 18:08:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:09:37 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 18:13:52 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 18:14:50 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds) |
| 18:15:03 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 18:19:10 | → | semmelschwarz joins (~semmelsch@41.66.98.79) |
| 18:20:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:24:42 | → | Square joins (~Square@user/square) |
| 18:25:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 18:28:07 | <semmelschwarz> | @geekosaur I'll ding into its interplay further, but for now it's working out: https://paste.tomsmeding.com/vtfoU9mp |
| 18:28:07 | <lambdabot> | Unknown command, try @list |
| 18:28:46 | <semmelschwarz> | 🎉 |
| 18:36:10 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:40:56 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 18:41:27 | <enikar> | there is no need to prefix a nick with a @ on irc to highlight a person :) |
| 18:51:58 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:56:23 | <mauke> | what kind of semmel is this anyway |
| 18:56:42 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 18:57:44 | × | acidjnk_new3 quits (~acidjnk@p200300d6e7283f8534561d86a8c80653.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 18:58:35 | <semmelschwarz> | mauke It's Ignaz Semmelweis' antagonist.^^ |
| 18:59:42 | <mauke> | ... Brezenbraun? Brotschwarz? |
| 19:01:41 | <semmelschwarz> | mauke No need to be conformist; there's nothing wrong with black food dye in rolls. |
| 19:03:39 | <mauke> | http://i2.cdn.turner.com/money/dam/assets/150928074502-burger-king-black-burger-780x439.jpg |
| 19:04:28 | <int-e> | what's this, a new monad dropped? |
| 19:07:01 | × | semmelschwarz quits (~semmelsch@41.66.98.79) (Ping timeout: 256 seconds) |
| 19:07:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:12:28 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 19:21:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:23:24 | → | ss4 joins (~wootehfoo@user/wootehfoot) |
| 19:25:40 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
| 19:28:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 19:32:25 | <hellwolf> | it does bind with each other neatly. |
| 19:36:45 | → | acidjnk_new3 joins (~acidjnk@p200300d6e7283f8569e0cda054bb1243.dip0.t-ipconnect.de) |
| 19:38:31 | → | tessier joins (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 19:39:24 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:41:57 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 19:44:17 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 19:44:27 | × | tessier quits (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 246 seconds) |
| 19:48:30 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 19:53:38 | → | poopiedookie joins (~poopiedoo@syn-069-206-166-125.res.spectrum.com) |
| 19:55:12 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:00:04 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 20:00:07 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:00:40 | → | caconym joins (~caconym@user/caconym) |
| 20:07:12 | → | tessier joins (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 20:11:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:12:59 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 20:13:14 | <L29Ah> | how do ghc exceptions understand where to pass the control flow when they trigger? is there a design document or anything of sorts? |
| 20:13:40 | × | Square quits (~Square@user/square) (Ping timeout: 260 seconds) |
| 20:14:02 | <Rembane> | L29Ah: What kind of exceptions? The IO ones or the other? |
| 20:14:13 | <Rembane> | L29Ah: Do you have a more concrete problem? |
| 20:16:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 20:20:32 | <L29Ah> | Rembane: every ones! |
| 20:20:58 | <L29Ah> | Rembane: i'm wondering whether there's any overhead at function calls due to the exception-ability of the callee |
| 20:21:28 | <Rembane> | L29Ah: That's a very good question. Are you having performance problems? |
| 20:22:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:27:16 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:28:29 | <lyxia> | L29Ah: exception handlers are special stack frames (there's a list of them in this link, although not much detail without reading the source https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/rts/storage/stack) |
| 20:32:30 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 20:34:59 | → | andres87 joins (~andres@2a09:bac2:7132:1c32::2cf:a) |
| 20:35:42 | → | califax joins (~califax@user/califx) |
| 20:36:38 | × | andres87 quits (~andres@2a09:bac2:7132:1c32::2cf:a) (Client Quit) |
| 20:38:08 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:39:36 | × | talisman` quits (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 20:43:25 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 20:51:22 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 20:51:58 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 20:53:54 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:53:57 | × | tessier quits (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 252 seconds) |
| 20:54:05 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 20:54:38 | → | rvalue joins (~rvalue@user/rvalue) |
| 20:57:47 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 20:58:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 20:58:42 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Quit: leaving) |
| 20:59:08 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 21:02:29 | × | michalz quits (~michalz@185.246.207.197) (Remote host closed the connection) |
| 21:05:58 | → | KicksonButt joins (~quassel@187.21.174.221) |
| 21:08:34 | × | son0p quits (~ff@186.121.60.109) (Quit: Leaving) |
| 21:10:14 | → | nnm joins (~nnm@79-139-165-166.dynamic.spd-mgts.ru) |
| 21:10:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:10:31 | × | briandaed quits (~root@user/briandaed) (Remote host closed the connection) |
| 21:17:07 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 21:18:09 | → | Everything joins (~Everythin@46.211.80.75) |
| 21:27:11 | → | tessier joins (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 21:28:26 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:30:01 | × | nnm quits (~nnm@79-139-165-166.dynamic.spd-mgts.ru) (Quit: Leaving) |
| 21:33:19 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 21:37:40 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Ping timeout: 260 seconds) |
| 21:44:12 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:44:16 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 21:45:18 | × | Fischmiep quits (~Fischmiep@user/Fischmiep) (Remote host closed the connection) |
| 21:46:35 | → | Fischmiep joins (~Fischmiep@user/Fischmiep) |
| 21:47:12 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 21:49:20 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 21:50:49 | × | tessier quits (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 245 seconds) |
| 21:56:08 | → | semmelschwarz joins (~semmelsch@41.66.98.79) |
| 21:57:28 | × | semmelschwarz quits (~semmelsch@41.66.98.79) (Remote host closed the connection) |
| 21:58:36 | → | tessier joins (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 21:59:44 | <hellwolf> | still syntactically noisy, but I am getting there: https://paste.tomsmeding.com/yOmXcCiU |
| 22:00:00 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:00:07 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 22:00:29 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 22:07:38 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 22:08:32 | × | tessier quits (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 255 seconds) |
| 22:09:42 | → | elnegro joins (elnegro@r167-57-1-126.dialup.adsl.anteldata.net.uy) |
| 22:11:26 | ← | elnegro parts (elnegro@r167-57-1-126.dialup.adsl.anteldata.net.uy) () |
| 22:13:04 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Ping timeout: 260 seconds) |
| 22:18:16 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 22:18:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:21:23 | × | Alleria quits (~Alleria@user/alleria) (Remote host closed the connection) |
| 22:22:14 | → | Alleria joins (~Alleria@user/alleria) |
| 22:23:17 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 22:25:21 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 22:28:30 | → | banner joins (~banner@202.137.173.5) |
| 22:34:07 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:34:20 | → | swamp_ joins (~zmt00@user/zmt00) |
| 22:36:43 | → | zmt00 joins (~zmt00@user/zmt00) |
| 22:37:29 | × | zmt01 quits (~zmt00@user/zmt00) (Ping timeout: 245 seconds) |
| 22:38:44 | → | Barefoot joins (~Barefoot@124-pond.reversedummy.arcor-ip.net) |
| 22:38:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 22:39:05 | <Barefoot> | Rust is *heavily* inspired by Haskell, right? |
| 22:39:42 | × | swamp_ quits (~zmt00@user/zmt00) (Ping timeout: 265 seconds) |
| 22:40:01 | <haskellbridge> | <sm> I wouldn’t say it that strongly |
| 22:40:17 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:41:06 | <Rembane> | More Ocaml and C++ |
| 22:41:21 | <Barefoot> | To me it was striking, that the Rust standard library is literally called prelude. Also That everything is an expression. Sure, it is not really a functional language… But it looks to me like what I’d make, if I wanted to make Haskell for kernel programming… |
| 22:41:50 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 22:42:04 | <Barefoot> | Rembrane: So Rust is definitely strict, I presume… ;-) |
| 22:43:35 | <Rembane> | Rust is strict indeed |
| 22:44:39 | <Barefoot> | (I want to get into Linux kernel development, as I am working on creating my own OS, and the fact that Rust is growing as an accepted language just seems like the perfect opportunity to be able to contribute to Linux but keep avoiding C. (Nothing against C. It’s nice how bare metal it is. But We’ve invented a load of new stuff since it was |
| 22:44:39 | <Barefoot> | created, and it’s nice to be able to use some of what Haskell offers.)) |
| 22:45:08 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 22:48:18 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 22:48:55 | <Barefoot> | By the way: Where are the hotspots of the Haskell community on the globe? I know Glasgow is one, and I really like the Scottish people. But it’s far away and I wonder if it’s the only one. |
| 22:49:05 | → | tessier joins (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 22:50:00 | <KicksonButt> | I've heard Haskell is the only language in the entire computer science course in Rosario university, Argentina |
| 22:50:27 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 22:56:05 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:56:52 | × | tessier quits (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 252 seconds) |
| 22:56:56 | <Barefoot> | KicksonButt: It also seems like every language nowadays tries to copy Haskell (and functional languages in general), but is limited by the language that it itself is. Which makes me wonder what other languages there are, that Haskell is a limited copy of… :D |
| 22:59:15 | × | Everything quits (~Everythin@46.211.80.75) (Ping timeout: 276 seconds) |
| 22:59:28 | <KicksonButt> | Yes, that's what I've been hearing from my teachers also. That most non-functional languages have been implementing "functional features" that Haskell have had for a long time |
| 23:00:32 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 23:00:33 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 23:00:38 | → | Everything joins (~Everythin@46.211.118.149) |
| 23:01:12 | <Rembane> | Barefoot: The Influenced by-part of the wikipedia page is quite eluminating: https://en.wikipedia.org/wiki/Haskell |
| 23:02:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 23:02:39 | <Barefoot> | Rembrane: That’s a big list! Also, it misses some siblings/precursors of Haskell. |
| 23:03:46 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 23:06:00 | <Rembane> | Barefoot: Any particular ones you're thinking of? |
| 23:06:21 | <Barefoot> | Rembrane: Something that started with E… |
| 23:07:08 | <Barefoot> | Lisp is probably everybody’s granddaddy. (Who inherited the closing braces? XD) …Self-modifying code is still a superpower I wish the programming languages I know have. But hey, I recently used inline-asm (Language.Asm.Inline) to summon Cthulhu, so maybe I can coax Haskell into that too! XD |
| 23:09:46 | Barefoot | dreams of ascending to the level of Mel http://www.catb.org/jargon/html/story-of-mel.html, one day … |
| 23:14:08 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:17:26 | → | tessier joins (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 23:17:54 | × | Barefoot quits (~Barefoot@124-pond.reversedummy.arcor-ip.net) (Quit: Client closed) |
| 23:18:16 | → | Guest46 joins (~Guest46@31.205.202.30) |
| 23:19:06 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 23:19:20 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 23:23:12 | × | tessier quits (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 265 seconds) |
| 23:28:45 | × | myxos quits (~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 252 seconds) |
| 23:29:56 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:32:25 | × | Guest46 quits (~Guest46@31.205.202.30) (Quit: Client closed) |
| 23:34:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 23:37:57 | × | acidjnk_new3 quits (~acidjnk@p200300d6e7283f8569e0cda054bb1243.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 23:40:44 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 23:45:19 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:46:21 | → | myxos joins (~myxos@syn-065-028-251-121.res.spectrum.com) |
| 23:46:52 | → | tessier joins (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 23:50:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 23:51:20 | → | weary-traveler joins (~user@user/user363627) |
| 23:52:25 | × | tessier quits (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 260 seconds) |
| 23:53:23 | → | manship joins (~manship@31.205.202.30) |
| 23:53:46 | manship | is now known as Guest1752 |
| 23:55:01 | ← | Guest1752 parts (~manship@31.205.202.30) () |
| 23:59:46 | <Leary> | L29Ah: Not in IO or STM. Each catch costs a stack frame, then a throw gobbles stack until it finds a corresponding catch frame that doesn't rethrow it. Something like `ExceptT`, on the other hand, has overhead on every bind. |
All times are in UTC on 2024-12-01.