| 2024-11-24 00:06:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 00:07:11 +0100 | Alleria_ | (~Alleria@user/alleria) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-11-24 00:11:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-24 00:13:34 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:378f:4c14:ef5c:5e04) (Ping timeout: 244 seconds) |
| 2024-11-24 00:14:02 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:7f56:50fd:4ad9:d7f9) ph88 |
| 2024-11-24 00:22:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 00:22:32 +0100 | sagittaria | (~sagittari@220.118.98.38) sagittaria |
| 2024-11-24 00:29:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-24 00:40:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 00:41:05 +0100 | sagittaria | (~sagittari@220.118.98.38) (Quit: sagittaria) |
| 2024-11-24 00:44:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-24 00:47:09 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 244 seconds) |
| 2024-11-24 00:55:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 00:55:21 +0100 | Nixkernal | (~Nixkernal@90.74.198.178.dynamic.cust.swisscom.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-11-24 00:59:09 +0100 | <hellwolf> | What it takes for me to embed a little widget and let people to try a subset of Haskell for my landing page? Similar to haskell.org has. Fwiw, roc-lang.org a "Try Roc" area, which is cool. |
| 2024-11-24 00:59:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-24 00:59:51 +0100 | <hellwolf> | (perhaps I could reuse/self host something behind play.haskell.org?) |
| 2024-11-24 00:59:56 +0100 | ephemient | (uid407513@user/ephemient) ephemient |
| 2024-11-24 01:01:57 +0100 | <geekosaur> | godbolt and play.haskell.org are both on github. I think so is whatever's backing the haskell.org try-me |
| 2024-11-24 01:02:25 +0100 | <hellwolf> | haskell.org one selectively filter out some features, I wonder how that's done. |
| 2024-11-24 01:02:43 +0100 | <geekosaur> | mueval probably |
| 2024-11-24 01:03:03 +0100 | <geekosaur> | @hackage mueval |
| 2024-11-24 01:03:03 +0100 | <lambdabot> | https://hackage.haskell.org/package/mueval |
| 2024-11-24 01:04:14 +0100 | <hellwolf> | that's coool... thanks for the pointer. It most probably need some tweaks for my case, but since I don't need IO, I hope the tweaks wouldn't be too hard |
| 2024-11-24 01:04:54 +0100 | <geekosaur> | there's nothing that runs in the browser without backend support, and even wasm / js backends are probably not going to help (really? download ghc-in-wasm/js to a user's browser?) |
| 2024-11-24 01:05:33 +0100 | <hellwolf> | it seems roc-lang does exactly that! we should/will catch up! |
| 2024-11-24 01:06:02 +0100 | <mauke> | just compile hugs to js |
| 2024-11-24 01:06:38 +0100 | <hellwolf> | :) |
| 2024-11-24 01:06:41 +0100 | <geekosaur> | that might fly |
| 2024-11-24 01:07:04 +0100 | <hellwolf> | I am already ghc2024+ dependent, yikes. |
| 2024-11-24 01:07:19 +0100 | <geekosaur> | hellwolf, I'd be really surprised if loading a ghc compiled to wasm or js into a browser didn't OOM the user |
| 2024-11-24 01:07:32 +0100 | <geekosaur> | ghc is huge |
| 2024-11-24 01:09:10 +0100 | <hellwolf> | What you said makes sense. Though I may have misremembered, but terror jack said something about GHC in Wasm. |
| 2024-11-24 01:09:41 +0100 | <geekosaur> | wasm can be run in non-browser runtimes |
| 2024-11-24 01:10:08 +0100 | <geekosaur> | put it on top of how much memory a browser needs by itself and… yeh, I expect major memory issues |
| 2024-11-24 01:10:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 01:11:25 +0100 | <haskellbridge> | <hellwolf> I found it: https://vaibhavsagar.com/blog/2024/07/03/ghci-in-the-browser/ |
| 2024-11-24 01:12:07 +0100 | <hellwolf> | I didn't misremember. I had seen this one. |
| 2024-11-24 01:12:30 +0100 | sprotte24 | (~sprotte24@p200300d16f0d6f0079b5156ddb362109.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-11-24 01:14:41 +0100 | <haskellbridge> | <hellwolf> https://kf8nh.com/_heisenbridge/media/matrix.org/bJUWTIPBEmMJNohBYwvLLXWO/LdvwDEPJ5yc/image.png |
| 2024-11-24 01:14:57 +0100 | <haskellbridge> | <hellwolf> not the fastest experience in my firefox, but it worked in principle. |
| 2024-11-24 01:15:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-24 01:16:13 +0100 | Everything | (~Everythin@46.211.115.170) (Quit: leaving) |
| 2024-11-24 01:16:31 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-24 01:17:05 +0100 | Alleria | (~Alleria@user/alleria) (Client Quit) |
| 2024-11-24 01:18:10 +0100 | <haskellbridge> | <sm> Nice to see someone else checking out roc-lang |
| 2024-11-24 01:20:59 +0100 | <hellwolf> | I have not used it. But somehow it occurred to me that I should checkout their website for inspiration. |
| 2024-11-24 01:21:54 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2024-11-24 01:22:23 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-11-24 01:25:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 01:28:41 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-11-24 01:30:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-24 01:33:44 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-24 01:41:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 01:43:42 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) () |
| 2024-11-24 01:45:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-24 01:51:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 01:55:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-24 01:58:29 +0100 | Alleria | (~Alleria@user/alleria) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-11-24 02:06:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 02:13:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-11-24 02:17:03 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:7f56:50fd:4ad9:d7f9) (Ping timeout: 244 seconds) |
| 2024-11-24 02:24:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 02:28:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-24 02:36:34 +0100 | xff0x | (~xff0x@2405:6580:b080:900:107f:bbe8:4d69:ff73) (Ping timeout: 260 seconds) |
| 2024-11-24 02:36:53 +0100 | xff0x | (~xff0x@2405:6580:b080:900:a62e:eefb:24ad:af2b) |
| 2024-11-24 02:39:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 02:44:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-24 02:46:07 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-24 02:49:23 +0100 | stef204 | (~stef204@user/stef204) stef204 |
| 2024-11-24 02:49:41 +0100 | stef204 | (~stef204@user/stef204) (Client Quit) |
| 2024-11-24 02:50:57 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2024-11-24 02:52:26 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 2024-11-24 02:53:24 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2024-11-24 02:55:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 03:00:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-24 03:01:09 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-11-24 03:02:16 +0100 | <dmj`> | microhs has emscripten support |
| 2024-11-24 03:10:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 03:15:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-24 03:26:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 03:29:30 +0100 | krei-se | (~krei-se@p57af2132.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-11-24 03:29:56 +0100 | krei-se | (~krei-se@p57af2af4.dip0.t-ipconnect.de) krei-se |
| 2024-11-24 03:30:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-24 03:41:19 +0100 | Angelz | (Angelz@user/angelz) (Ping timeout: 260 seconds) |
| 2024-11-24 03:41:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 03:47:48 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-24 03:48:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-24 03:49:32 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2024-11-24 03:52:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 03:53:39 +0100 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-11-24 03:56:33 +0100 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-11-24 03:56:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-24 04:03:57 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2024-11-24 04:05:03 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2024-11-24 04:05:34 +0100 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2024-11-24 04:07:26 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-11-24 04:07:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 04:08:43 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2024-11-24 04:13:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-11-24 04:16:00 +0100 | notzmv | (~umar@user/notzmv) (Read error: Connection reset by peer) |
| 2024-11-24 04:20:02 +0100 | hook54321 | (sid149355@user/hook54321) hook54321 |
| 2024-11-24 04:23:03 +0100 | agent314 | (~quassel@146.70.211.42) (Ping timeout: 252 seconds) |
| 2024-11-24 04:25:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 04:27:37 +0100 | agent314 | (~quassel@146.70.211.42) agent314 |
| 2024-11-24 04:29:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-24 04:30:07 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-24 04:31:54 +0100 | agent314 | (~quassel@146.70.211.42) (Ping timeout: 244 seconds) |
| 2024-11-24 04:32:28 +0100 | Guest|69 | (~Guest|69@pool-99-211-156-44.cpe.net.fido.ca) |
| 2024-11-24 04:32:46 +0100 | <Guest|69> | hello |
| 2024-11-24 04:33:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 04:33:26 +0100 | agent314 | (~quassel@146.70.211.42) agent314 |
| 2024-11-24 04:37:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-24 04:38:08 +0100 | <geekosaur> | hello |
| 2024-11-24 04:38:12 +0100 | agent314 | (~quassel@146.70.211.42) (Client Quit) |
| 2024-11-24 04:39:38 +0100 | agent314 | (~quassel@146.70.211.42) agent314 |
| 2024-11-24 04:46:10 +0100 | glider | (glider@user/glider) glider |
| 2024-11-24 04:47:27 +0100 | Guest|69 | (~Guest|69@pool-99-211-156-44.cpe.net.fido.ca) (Quit: Connection closed) |
| 2024-11-24 04:48:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 04:53:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-24 04:55:57 +0100 | Square | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2024-11-24 04:56:57 +0100 | Angelz | (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) |
| 2024-11-24 05:03:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 05:04:05 +0100 | agent314 | (~quassel@146.70.211.42) (Ping timeout: 248 seconds) |
| 2024-11-24 05:07:03 +0100 | aforemny | (~aforemny@i59F4C596.versanet.de) (Ping timeout: 252 seconds) |
| 2024-11-24 05:07:20 +0100 | aforemny | (~aforemny@2001:9e8:6cf2:b00:34d1:3086:bf30:f05b) aforemny |
| 2024-11-24 05:08:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-24 05:09:17 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-24 05:19:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 05:21:49 +0100 | Alleria | (~Alleria@user/alleria) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-11-24 05:23:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-24 05:28:47 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-24 05:34:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 05:40:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-24 05:42:57 +0100 | sagittaria | (~sagittari@220.118.98.38) sagittaria |
| 2024-11-24 05:50:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 05:55:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-24 05:55:44 +0100 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2024-11-24 06:01:04 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-11-24 06:03:44 +0100 | sagittaria | (~sagittari@220.118.98.38) (Quit: sagittaria) |
| 2024-11-24 06:05:57 +0100 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2024-11-24 06:05:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 06:09:40 +0100 | falafel | (~falafel@2600:1700:99f4:2050:f222:e49a:628a:69c1) falafel |
| 2024-11-24 06:10:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-24 06:19:50 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-11-24 06:20:18 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-11-24 06:21:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 06:25:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-24 06:29:54 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-24 06:36:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 06:44:55 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-11-24 06:47:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-11-24 06:49:55 +0100 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-11-24 06:58:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 07:03:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-24 07:06:34 +0100 | agent314 | (~quassel@146.70.211.42) agent314 |
| 2024-11-24 07:13:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 07:18:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-24 07:29:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 07:33:04 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 2024-11-24 07:34:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-24 07:44:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 07:49:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-24 07:54:27 +0100 | falafel | (~falafel@2600:1700:99f4:2050:f222:e49a:628a:69c1) (Ping timeout: 276 seconds) |
| 2024-11-24 07:54:54 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-11-24 07:59:49 +0100 | agent314 | (~quassel@146.70.211.42) (Ping timeout: 252 seconds) |
| 2024-11-24 08:03:50 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-11-24 08:04:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 08:06:47 +0100 | agent314 | (~quassel@146.70.211.42) agent314 |
| 2024-11-24 08:09:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-24 08:12:15 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-11-24 08:15:36 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2024-11-24 08:15:57 +0100 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 252 seconds) |
| 2024-11-24 08:20:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 08:22:01 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-11-24 08:27:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-24 08:37:13 +0100 | ephilalethes | (~noumenon@2001:fb1:48:eb11:aa7e:eaff:fede:ff94) noumenon |
| 2024-11-24 08:38:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 08:39:32 +0100 | alp_ | (~alp@2001:861:8ca0:4940:b023:f0f6:2875:ea8b) (Ping timeout: 272 seconds) |
| 2024-11-24 08:42:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-24 08:43:29 +0100 | falafel | (~falafel@2600:1700:99f4:2050:774a:3559:eaaf:2131) falafel |
| 2024-11-24 08:44:16 +0100 | falafel | (~falafel@2600:1700:99f4:2050:774a:3559:eaaf:2131) (Remote host closed the connection) |
| 2024-11-24 08:48:10 +0100 | ephilalethes | (~noumenon@2001:fb1:48:eb11:aa7e:eaff:fede:ff94) (Read error: Connection reset by peer) |
| 2024-11-24 08:49:52 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-24 08:53:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 08:58:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-24 09:00:00 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-24 09:00:07 +0100 | tt1231097832435 | (~tt1231@syn-075-185-104-199.res.spectrum.com) (Quit: The Lounge - https://thelounge.chat) |
| 2024-11-24 09:00:35 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-24 09:01:37 +0100 | ephilalethes | (~noumenon@2001:fb1:48:eb11:aa7e:eaff:fede:ff94) noumenon |
| 2024-11-24 09:03:49 +0100 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) tt1231 |
| 2024-11-24 09:07:53 +0100 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 245 seconds) |
| 2024-11-24 09:08:40 +0100 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) YuutaW |
| 2024-11-24 09:09:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 09:09:28 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-24 09:13:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-24 09:18:00 +0100 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-11-24 09:24:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 09:28:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-24 09:30:09 +0100 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-11-24 09:31:44 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-11-24 09:37:53 +0100 | <tomsmeding> | hellwolf: the playground backend is reusable by others |
| 2024-11-24 09:38:20 +0100 | <tomsmeding> | but I request anyone using it to be considerate :) |
| 2024-11-24 09:39:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 09:39:53 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-24 09:43:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-24 09:43:21 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-24 09:44:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-24 09:49:58 +0100 | elnegro | (elnegro@r167-57-119-3.dialup.adsl.anteldata.net.uy) elnegro |
| 2024-11-24 09:50:28 +0100 | elnegro | (elnegro@r167-57-119-3.dialup.adsl.anteldata.net.uy) () |
| 2024-11-24 09:50:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 09:52:25 +0100 | <haskellbridge> | <hellwolf> Of course, that's why I will consider self-hosting an instance. |
| 2024-11-24 09:55:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-24 10:06:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 10:09:02 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-11-24 10:09:48 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2024-11-24 10:09:53 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: leaving) |
| 2024-11-24 10:12:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-24 10:16:14 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-24 10:17:31 +0100 | raym | (~ray@user/raym) (Quit: kernel update, rebooting...) |
| 2024-11-24 10:23:56 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Ping timeout: 252 seconds) |
| 2024-11-24 10:24:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 10:25:33 +0100 | alp_ | (~alp@128-79-174-146.hfc.dyn.abo.bbox.fr) |
| 2024-11-24 10:29:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-24 10:38:28 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-11-24 10:39:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 10:41:30 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2024-11-24 10:43:46 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) jespada |
| 2024-11-24 10:44:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-24 10:48:59 +0100 | AlexNoo | (~AlexNoo@178.34.162.156) |
| 2024-11-24 10:51:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 10:53:54 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-24 10:56:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-24 10:57:27 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-11-24 11:05:11 +0100 | ephilalethes | (~noumenon@2001:fb1:48:eb11:aa7e:eaff:fede:ff94) (Quit: Leaving) |
| 2024-11-24 11:05:31 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-11-24 11:09:05 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-24 11:09:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 11:13:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-24 11:15:58 +0100 | alp_ | (~alp@128-79-174-146.hfc.dyn.abo.bbox.fr) (Ping timeout: 272 seconds) |
| 2024-11-24 11:16:17 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: reboot) |
| 2024-11-24 11:20:11 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-11-24 11:21:37 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-11-24 11:24:26 +0100 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 252 seconds) |
| 2024-11-24 11:24:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 11:30:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-24 11:32:19 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-24 11:35:23 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-11-24 11:35:45 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-24 11:36:38 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2024-11-24 11:39:21 +0100 | <haskellbridge> | <hellwolf> Sunday muse: to make it friendly to people not acquainted with Haskell/ML family of languages, is there any merit of mentioning the curly bracket based syntax in starting materials, or it risks of creating a syntactic isolated island of new joiners? |
| 2024-11-24 11:40:13 +0100 | <haskellbridge> | <hellwolf> (though, Python has also layout based syntax, and it's mainstream enough nowadays) |
| 2024-11-24 11:41:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 11:41:52 +0100 | <Rembane> | @hellwolf Sidenote: Have a look at Gleam for a ML with curly brackets. |
| 2024-11-24 11:41:52 +0100 | <lambdabot> | Unknown command, try @list |
| 2024-11-24 11:42:04 +0100 | <Rembane> | Oh well |
| 2024-11-24 11:44:32 +0100 | <haskellbridge> | <hellwolf> My personal experience is that Haskell without brackets is one source that makes everything more terse. And one downside is that it can be an overwhelming visual impression with an in your face even for me. I still prefer it, but I am thinking about how far we should go to make it beginner ready. |
| 2024-11-24 11:47:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-24 11:49:18 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-24 11:52:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 11:58:17 +0100 | <tomsmeding> | GHC contains plenty of code in {;} style, because SPJ somewhat prefers it |
| 2024-11-24 12:00:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-24 12:03:10 +0100 | sprotte24 | (~sprotte24@p200300d16f17da00542e16fac3908f71.dip0.t-ipconnect.de) |
| 2024-11-24 12:04:53 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 248 seconds) |
| 2024-11-24 12:05:29 +0100 | <lxsameer> | what is the {;} style? |
| 2024-11-24 12:06:59 +0100 | <mauke> | using {;} for blocks, not indentation |
| 2024-11-24 12:07:15 +0100 | <mauke> | a.k.a. "layout" |
| 2024-11-24 12:10:30 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-11-24 12:11:35 +0100 | <lxsameer> | mauke: ahhh, had no idea haskell supports that |
| 2024-11-24 12:11:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 12:12:48 +0100 | <mauke> | how else are you going to write code on IRC? |
| 2024-11-24 12:13:13 +0100 | <Rembane> | > let x = 7\n in x + 2 |
| 2024-11-24 12:13:14 +0100 | <lambdabot> | <hint>:1:16: error: parse error on input ‘in’ |
| 2024-11-24 12:13:19 +0100 | <Rembane> | Apparently not like that. :D |
| 2024-11-24 12:13:27 +0100 | <mauke> | % do { putStr "hel"; putStr "lo,"; putStr " wo"; putStr "rld" } |
| 2024-11-24 12:13:27 +0100 | <yahb2> | hello, world |
| 2024-11-24 12:13:47 +0100 | <mauke> | > let { x = 7; y = 2 } in x + y |
| 2024-11-24 12:13:48 +0100 | <lambdabot> | 9 |
| 2024-11-24 12:16:48 +0100 | <hellwolf> | It is almost like a conspiracy why this syntax is lesser known... |
| 2024-11-24 12:17:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-24 12:17:14 +0100 | <hellwolf> | tomsmeding: indeed, I wonder why... the sort of opinion from SPJ that we never asked :) |
| 2024-11-24 12:18:26 +0100 | <Leary> | When you have line breaks and indentation, curlies and semi-cola are just noise. |
| 2024-11-24 12:18:36 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-11-24 12:18:50 +0100 | <__monty__> | I do get layout wrong with do blocks occasionally but in languages with line terminating characters half the time my compilation errors are about forgetting to terminate lines properly, so I can't say I'm surprised layout is by far more popular. |
| 2024-11-24 12:18:56 +0100 | <hellwolf> | I don't have evidence that this would help on the "friendliness" of Haskell to beginners at all. But I do suspect people are more tuned in for deliberate visual marks that "{}" serves as a purpose. |
| 2024-11-24 12:19:15 +0100 | <Rembane> | hellwolf: I suppose spaces don't count as visual marks? |
| 2024-11-24 12:19:33 +0100 | <hellwolf> | much less, since spaces having other purposes. |
| 2024-11-24 12:20:34 +0100 | <hellwolf> | also I wonder if Haskell is dyslexic friendly |
| 2024-11-24 12:21:02 +0100 | <hellwolf> | *indentation layout |
| 2024-11-24 12:21:46 +0100 | <hellwolf> | Leary: noise maybe, but visual aids it could be. |
| 2024-11-24 12:22:08 +0100 | alp_ | (~alp@2001:861:8ca0:4940:aade:c14d:75dd:c3e) |
| 2024-11-24 12:22:58 +0100 | <hellwolf> | I do think I personally prefer terseness indentation layout offers. But I am also conscious of its scariness to some people, either inherently or just programming-culturally. |
| 2024-11-24 12:23:32 +0100 | <tomsmeding> | I think python is the elephant in the room here |
| 2024-11-24 12:24:01 +0100 | <tomsmeding> | while it's true that haskell does more with indentation than python does, I haven't ever heard anyone complain about meaningful indentation in python |
| 2024-11-24 12:24:46 +0100 | <tomsmeding> | and indeed while haskell does _more_ with indentation than python does, it's not really more complicated; the only thing that haskell has and that python does not, is that you can start indented blocks on the same line as the syntax that introduces the block |
| 2024-11-24 12:25:06 +0100 | <tomsmeding> | e.g. you python will not accept this, but the equivalent would be valid haskell |
| 2024-11-24 12:25:13 +0100 | <tomsmeding> | while c: stmt1 |
| 2024-11-24 12:25:17 +0100 | <tomsmeding> | stmt2 |
| 2024-11-24 12:25:29 +0100 | <tomsmeding> | (assuming monospace irc clients here) |
| 2024-11-24 12:26:07 +0100 | <tomsmeding> | I don't think this is a profound enough innovation to really scare people away from haskell where they wouldn't be scared away from python |
| 2024-11-24 12:26:47 +0100 | <Rembane> | tomsmeding: I think the Python indentation mutterings were done while Perl was still a popular language, because I do remember them, but I haven't heard any in recent years. Maybe my snake-hearing just has gone bad over time. |
| 2024-11-24 12:27:01 +0100 | <mauke> | "I haven't ever heard anyone complain about meaningful indentation in python" <- I have. I do. |
| 2024-11-24 12:27:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 12:27:11 +0100 | <hellwolf> | https://news.ycombinator.com/item?id=1463451 |
| 2024-11-24 12:27:24 +0100 | <hellwolf> | Yes, python indentation was very controversial. |
| 2024-11-24 12:27:35 +0100 | <hellwolf> | Even from my recollection of memory of early day pythons. |
| 2024-11-24 12:30:04 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-11-24 12:30:09 +0100 | <tomsmeding> | heh, I see |
| 2024-11-24 12:30:22 +0100 | <mauke> | I've said this before, but: I used to think significant whitespace syntax sucks until I learned haskell. then I realized I just hate python. |
| 2024-11-24 12:30:25 +0100 | <tomsmeding> | well in 2010 I waas about 12 years old :) |
| 2024-11-24 12:31:02 +0100 | <tomsmeding> | @remember mauke I used to think significant whitespace syntax sucks until I learned haskell. then I realized I just hate python. |
| 2024-11-24 12:31:02 +0100 | <lambdabot> | Done. |
| 2024-11-24 12:32:09 +0100 | <hellwolf> | :) nice |
| 2024-11-24 12:33:03 +0100 | <hellwolf> | but okay, let's keep "{}" fringe. I shall not promote or mention it. It's an advanced and controversial topic that beginner should stay away from.. |
| 2024-11-24 12:33:25 +0100 | <Rembane> | hellwolf: I think you should create an alternate syntax for Haskell for the lulz. :D |
| 2024-11-24 12:33:26 +0100 | <tomsmeding> | at the very least, it is de facto like that |
| 2024-11-24 12:33:35 +0100 | <mauke> | I'd definitely mention {}; when introducing 'do' |
| 2024-11-24 12:33:38 +0100 | <mauke> | maybe earlier |
| 2024-11-24 12:33:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-11-24 12:33:59 +0100 | <mauke> | @quote mauke |
| 2024-11-24 12:33:59 +0100 | <lambdabot> | mauke says: the first rule of fix club is "the first rule of fix club is "the first rule of fix cl |
| 2024-11-24 12:34:09 +0100 | <tomsmeding> | :) |
| 2024-11-24 12:34:38 +0100 | <hellwolf> | having said that, I do enable BlockArguments by default... I guess I am not very principled here for syntax issues. |
| 2024-11-24 12:34:59 +0100 | <Rembane> | > fix error -- fix club reminds me of ... |
| 2024-11-24 12:35:01 +0100 | <lambdabot> | "*Exception: *Exception: *Exception: *Exception: *Exception: *Exception: *Ex... |
| 2024-11-24 12:35:54 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2024-11-24 12:38:56 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
| 2024-11-24 12:42:38 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2024-11-24 12:43:50 +0100 | <hellwolf> | > <mauke> I'd definitely mention {}; when introducing 'do' |
| 2024-11-24 12:43:50 +0100 | <hellwolf> | How so? |
| 2024-11-24 12:43:52 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input ‘<’ |
| 2024-11-24 12:44:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 12:46:21 +0100 | <TMA> | my $.02 to the indentation deba(t|cl)e: I have hated Haskell for the indentation and I have done likewise for python. However, I have started to like Haskell for its other virtues. I became soft as years passed. Python, unlike Haskell, lacks redeeming qualities to lift my dislike -- it is just a Blub with syntax inconvenient for refactoring |
| 2024-11-24 12:46:30 +0100 | <__monty__> | I would also not hide brace syntax. Just in case a particular beginner doesn't handle layout well. It's more important they learn Haskell's semantics than its syntax. |
| 2024-11-24 12:47:20 +0100 | <mauke> | hellwolf: what do you mean, how? |
| 2024-11-24 12:48:04 +0100 | <mauke> | I'd start by describing the do { ...; ...; ... } desugaring and then explain that the semicolons/braces can be replaced by layout |
| 2024-11-24 12:49:03 +0100 | <hellwolf> | I meant to ask why do you think it should be mentioned; since the alternative is not to mention it until people encounter it and asks the obvious question. |
| 2024-11-24 12:49:41 +0100 | <mauke> | makes the desugaring much easier to explain, I think |
| 2024-11-24 12:50:04 +0100 | <mauke> | do { let BINDINGS; ... } ==> let BINDINGS in do { ... } |
| 2024-11-24 12:50:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-24 12:50:20 +0100 | <mauke> | do { PAT <- EXPR; ... } ==> EXPR >>= \pat -> do { ... } |
| 2024-11-24 12:50:35 +0100 | <mauke> | do { EXPR; ... } ==> EXPR >> do { ... } |
| 2024-11-24 12:50:42 +0100 | <mauke> | do { EXPR } ==> EXPR |
| 2024-11-24 12:51:44 +0100 | <mauke> | > do { 2 } + do { 2 } |
| 2024-11-24 12:51:46 +0100 | <lambdabot> | 4 |
| 2024-11-24 12:51:57 +0100 | <hellwolf> | It all makes sense for learnt Haskellers, for sure. I am not sure you can explain the beginner >> >>=, yet :) |
| 2024-11-24 12:52:31 +0100 | <mauke> | you pretty much have to, for I/O |
| 2024-11-24 12:52:42 +0100 | <hellwolf> | Indeed. |
| 2024-11-24 12:53:50 +0100 | <mauke> | I'd start with basic expressions, functions, simple data types, parameterized types, recursive types like lists |
| 2024-11-24 12:54:20 +0100 | <mauke> | probably reimplement a good chunk of Data.List as exercises, to get used to pattern matching and recursion |
| 2024-11-24 12:54:54 +0100 | <mauke> | and then a non-monadic version of pure/>>/>>= specialized to IO |
| 2024-11-24 12:55:08 +0100 | <mauke> | and once you're used to that, do-notation |
| 2024-11-24 12:55:58 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-11-24 12:56:30 +0100 | <haskellbridge> | <magic_rb> Right after that, lenses (: |
| 2024-11-24 12:56:35 +0100 | <hellwolf> | I agree with that for beginner's guide of general Haskell. |
| 2024-11-24 12:57:13 +0100 | <hellwolf> | and probably discourage the usage of "return". |
| 2024-11-24 12:57:58 +0100 | <mauke> | the main problem with 'return' is that the name is confusing to anyone coming from a C-like language |
| 2024-11-24 12:58:24 +0100 | <hellwolf> | that's right. |
| 2024-11-24 12:59:00 +0100 | <mauke> | not only is it not a keyword, but a library function, it also acts like a constructor |
| 2024-11-24 12:59:10 +0100 | <hellwolf> | that didn't quite explain the need of using "{;}" to explain things. But I guess it is used for invoking familiarity. |
| 2024-11-24 13:00:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 13:00:06 +0100 | <mauke> | one step at a time |
| 2024-11-24 13:00:19 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2024-11-24 13:00:38 +0100 | <mauke> | also, they will probably run into issues combining layout-based 'let' and layout-based 'do' |
| 2024-11-24 13:02:26 +0100 | <hellwolf> | Likely. If things work, great; if not, you might face cryptic error messages that require some understanding of things under the bonnet. |
| 2024-11-24 13:02:42 +0100 | <hellwolf> | *to decypher. |
| 2024-11-24 13:04:58 +0100 | <hellwolf> | Having said these. What I am dappling with is an embedded language, though. Luckily I don't need to deal with IO, but I got a "linear types" chain of applications to explain, which is exotic even for Haskellers. I am trying to minimize the need for linear types as much as possible, to use it only for its "safe" properties. I think I am getting there... Back to work.. |
| 2024-11-24 13:07:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-24 13:10:35 +0100 | mrmr155334346318 | (~mrmr@user/mrmr) mrmr |
| 2024-11-24 13:17:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 13:24:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-24 13:30:55 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-24 13:32:37 +0100 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-11-24 13:33:29 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2024-11-24 13:35:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 13:40:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-24 13:51:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 13:56:07 +0100 | AlexNoo | (~AlexNoo@178.34.162.156) (Quit: Leaving) |
| 2024-11-24 13:58:08 +0100 | akegalj | (~akegalj@14-174.dsl.iskon.hr) |
| 2024-11-24 13:59:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-24 14:02:10 +0100 | AlexZenon | (~alzenon@178.34.162.156) |
| 2024-11-24 14:02:28 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds) |
| 2024-11-24 14:10:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 14:11:58 +0100 | Square | (~Square@user/square) Square |
| 2024-11-24 14:12:34 +0100 | AlexNoo | (~AlexNoo@178.34.162.156) |
| 2024-11-24 14:14:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-24 14:18:58 +0100 | sudden | (~cat@user/sudden) (Quit: leaving) |
| 2024-11-24 14:20:04 +0100 | akegalj | (~akegalj@14-174.dsl.iskon.hr) (Ping timeout: 252 seconds) |
| 2024-11-24 14:20:48 +0100 | sudden | (~cat@user/sudden) sudden |
| 2024-11-24 14:23:49 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-11-24 14:24:00 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 244 seconds) |
| 2024-11-24 14:25:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 14:26:25 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) billchenchina |
| 2024-11-24 14:29:14 +0100 | TonyStone31 | (~TonyStone@user/TonyStone) (Ping timeout: 252 seconds) |
| 2024-11-24 14:29:42 +0100 | rvalue- | rvalue |
| 2024-11-24 14:29:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-24 14:30:58 +0100 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2024-11-24 14:31:09 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-11-24 14:31:17 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-24 14:33:52 +0100 | Square | (~Square@user/square) Square |
| 2024-11-24 14:38:44 +0100 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2024-11-24 14:39:06 +0100 | raym | (~ray@user/raym) raym |
| 2024-11-24 14:39:59 +0100 | Square | (~Square@user/square) Square |
| 2024-11-24 14:40:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 14:41:34 +0100 | sagittaria | (~sagittari@220.118.98.38) sagittaria |
| 2024-11-24 14:45:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-24 14:47:54 +0100 | akegalj | (~akegalj@14-174.dsl.iskon.hr) |
| 2024-11-24 14:50:23 +0100 | agent314 | (~quassel@146.70.211.42) (Ping timeout: 255 seconds) |
| 2024-11-24 14:50:45 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-24 14:50:57 +0100 | agent314 | (~quassel@208.131.130.89) agent314 |
| 2024-11-24 14:54:27 +0100 | sagittaria | (~sagittari@220.118.98.38) (Quit: - bye) |
| 2024-11-24 14:55:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 15:02:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-24 15:11:57 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:6231:4530:9b98:8ee4) ph88 |
| 2024-11-24 15:12:38 +0100 | Everything | (~Everythin@46.211.66.25) Everything |
| 2024-11-24 15:13:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 15:18:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-24 15:20:55 +0100 | emfrom | (~emfrom@37.168.34.248) |
| 2024-11-24 15:21:37 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-24 15:29:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 15:30:23 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2024-11-24 15:33:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-24 15:33:58 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-11-24 15:34:05 +0100 | euleritian | (~euleritia@dynamic-176-006-135-047.176.6.pool.telefonica.de) |
| 2024-11-24 15:34:50 +0100 | euleritian | (~euleritia@dynamic-176-006-135-047.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-24 15:35:09 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-24 15:44:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 15:49:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-11-24 15:56:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 15:56:58 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-11-24 16:01:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-11-24 16:06:52 +0100 | emfrom | (~emfrom@37.168.34.248) (Remote host closed the connection) |
| 2024-11-24 16:08:53 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-11-24 16:09:42 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2024-11-24 16:12:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 16:13:33 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-11-24 16:14:08 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-24 16:16:40 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-24 16:23:39 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-11-24 16:27:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 16:32:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-24 16:38:55 +0100 | emfrom | (~emfrom@37.168.34.248) |
| 2024-11-24 16:42:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 16:47:30 +0100 | ethantwardy | (user@user/ethantwardy) (Quit: WeeChat 4.3.2) |
| 2024-11-24 16:49:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-24 16:56:00 +0100 | akegalj | (~akegalj@14-174.dsl.iskon.hr) (Ping timeout: 252 seconds) |
| 2024-11-24 16:56:31 +0100 | <haskellbridge> | <flip101> Can someone help with these errors? https://github.com/myuon/ghc-compiler-notes/pull/36 |
| 2024-11-24 16:57:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 17:00:43 +0100 | alp_ | (~alp@2001:861:8ca0:4940:aade:c14d:75dd:c3e) (Ping timeout: 264 seconds) |
| 2024-11-24 17:03:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-24 17:03:58 +0100 | emfrom | (~emfrom@37.168.34.248) (Ping timeout: 252 seconds) |
| 2024-11-24 17:09:02 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-24 17:12:47 +0100 | ethantwardy | (user@user/ethantwardy) ethantwardy |
| 2024-11-24 17:13:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 17:19:46 +0100 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-11-24 17:21:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-11-24 17:25:09 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-11-24 17:32:23 +0100 | Everything | (~Everythin@46.211.66.25) (Quit: leaving) |
| 2024-11-24 17:32:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 17:37:09 +0100 | Jackneill | (~Jackneill@91-83-15-152.pool.digikabel.hu) Jackneill |
| 2024-11-24 17:37:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-24 17:42:53 +0100 | biberu | (~biberu@user/biberu) (Quit: ZNC - https://znc.in) |
| 2024-11-24 17:43:13 +0100 | biberu | (~biberu@user/biberu) biberu |
| 2024-11-24 17:48:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 17:48:24 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) oneeyedalien |
| 2024-11-24 17:52:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-24 17:56:17 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-24 17:57:03 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2024-11-24 17:58:24 +0100 | creith | (~creith@ip-046-223-162-122.um13.pools.vodafone-ip.de) creith |
| 2024-11-24 18:03:06 +0100 | emfrom | (~emfrom@37.168.34.248) |
| 2024-11-24 18:03:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-24 18:08:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Quit: leaving) |
| 2024-11-24 18:08:58 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-24 18:10:12 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-24 18:14:39 +0100 | zenmov | (~zenmov@user/zenmov) (Ping timeout: 252 seconds) |
| 2024-11-24 18:19:49 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:5d1:3ba7:2ce0:5616) k_hachig |
| 2024-11-24 18:19:52 +0100 | k_hachig_ | k_hachig |
| 2024-11-24 18:22:22 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-24 18:32:44 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 2024-11-24 18:52:10 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-11-24 18:52:29 +0100 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2024-11-24 18:53:12 +0100 | alp_ | (~alp@2001:861:8ca0:4940:8197:cc4e:b2be:e14e) |
| 2024-11-24 18:53:39 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-11-24 19:17:03 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-11-24 19:17:46 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-11-24 19:18:18 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-24 19:20:16 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-11-24 19:20:44 +0100 | euleritian | (~euleritia@77.22.252.159) |
| 2024-11-24 19:22:10 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-24 19:26:09 +0100 | k_hachig | (~k_hachig@2607:fea8:351d:ef0:5d1:3ba7:2ce0:5616) (Ping timeout: 252 seconds) |
| 2024-11-24 19:27:43 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:5d1:3ba7:2ce0:5616) k_hachig |
| 2024-11-24 19:28:06 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-24 19:30:20 +0100 | <creith> | quit |
| 2024-11-24 19:30:24 +0100 | <creith> | quit |
| 2024-11-24 19:30:28 +0100 | <creith> | exit |
| 2024-11-24 19:30:32 +0100 | creith | (~creith@ip-046-223-162-122.um13.pools.vodafone-ip.de) (Quit: leaving) |
| 2024-11-24 19:30:54 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2024-11-24 19:36:41 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-24 19:38:57 +0100 | Digitteknohippie | Digit |
| 2024-11-24 19:46:04 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-24 19:46:42 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
| 2024-11-24 19:48:22 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-24 20:07:09 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-11-24 20:11:04 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2024-11-24 20:19:55 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-11-24 20:30:37 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
| 2024-11-24 20:31:14 +0100 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2024-11-24 20:36:21 +0100 | michalz | (~michalz@185.246.207.222) |
| 2024-11-24 21:00:03 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-24 21:00:42 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-24 21:01:50 +0100 | euleritian | (~euleritia@77.22.252.159) (Read error: Connection reset by peer) |
| 2024-11-24 21:02:12 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-24 21:06:54 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-11-24 21:07:00 +0100 | Digit | (~user@user/digit) (Ping timeout: 244 seconds) |
| 2024-11-24 21:10:41 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.2) |
| 2024-11-24 21:14:40 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-24 21:17:09 +0100 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 260 seconds) |
| 2024-11-24 21:17:28 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-24 21:22:04 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Read error: Connection reset by peer) |
| 2024-11-24 21:22:17 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-24 21:28:36 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-11-24 21:29:53 +0100 | Digitteknohippie | Digit |
| 2024-11-24 21:31:22 +0100 | riatre | (~quassel@2001:310:6000:f::5198:1) (Quit: http://quassel-irc.org) |
| 2024-11-24 21:39:05 +0100 | emfrom_ | (~emfrom@37.168.45.88) |
| 2024-11-24 21:41:39 +0100 | alp_ | (~alp@2001:861:8ca0:4940:8197:cc4e:b2be:e14e) (Ping timeout: 260 seconds) |
| 2024-11-24 21:41:50 +0100 | emfrom | (~emfrom@37.168.34.248) (Ping timeout: 265 seconds) |
| 2024-11-24 21:50:01 +0100 | agent314 | (~quassel@208.131.130.89) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-11-24 21:50:20 +0100 | agent314 | (~quassel@208.131.130.89) agent314 |
| 2024-11-24 21:50:54 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
| 2024-11-24 22:09:01 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-11-24 22:20:54 +0100 | Everything | (~Everythin@94.153.10.212) Everything |
| 2024-11-24 22:27:27 +0100 | housemate_ | (~housemate@9ykysfsngz398hss1v94.ip6.superloop.au) (Quit: Nothing to see here. I wasn't there.) |
| 2024-11-24 22:37:38 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-11-24 22:38:46 +0100 | emfrom_ | (~emfrom@37.168.45.88) (Remote host closed the connection) |
| 2024-11-24 22:40:30 +0100 | euleritian | (~euleritia@77.22.252.159) |
| 2024-11-24 22:41:41 +0100 | euleritian | (~euleritia@77.22.252.159) (Read error: Connection reset by peer) |
| 2024-11-24 22:42:10 +0100 | euleritian | (~euleritia@77.22.252.159) |
| 2024-11-24 22:42:25 +0100 | michalz | (~michalz@185.246.207.222) (Remote host closed the connection) |
| 2024-11-24 22:45:03 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-11-24 22:46:54 +0100 | k_hachig_ | (~k_hachig@2607:fea8:351d:ef0:5d1:3ba7:2ce0:5616) (Ping timeout: 276 seconds) |
| 2024-11-24 22:54:39 +0100 | Everything | (~Everythin@94.153.10.212) (Ping timeout: 246 seconds) |
| 2024-11-24 22:56:49 +0100 | Everything | (~Everythin@46-133-77-57.mobile.vf-ua.net) Everything |
| 2024-11-24 23:04:27 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2024-11-24 23:07:21 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) jespada |
| 2024-11-24 23:15:19 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-24 23:17:26 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-11-24 23:18:27 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2024-11-24 23:18:27 +0100 | ljdarj1 | ljdarj |
| 2024-11-24 23:21:20 +0100 | ramennudel | (~ramennude@41.66.99.87) |
| 2024-11-24 23:23:14 +0100 | <ramennudel> | After watching a few videos & reading some tutorials, I've wanted to try out Diagrams myself. As it's not available via Haskell Playground, I've gone for doing my first steps locally (Nix). But whatever I do, `cabal build` always yields `* Missing (or bad) header file: zlib.h↵* Missing (or bad) C library: z`. I've tried `--allow-newer=all |
| 2024-11-24 23:23:14 +0100 | <ramennudel> | --allow-older=all` as well as some Nix-specific tweaks. Any ideas?—`/tmp/30717-12.c:1:10: […] zlib.h: No such file or |
| 2024-11-24 23:23:15 +0100 | <ramennudel> | directory |
| 2024-11-24 23:23:15 +0100 | <ramennudel> | 1 | #include "zlib.h"↵[…]Failed to build JuicyPixels-3.3.9 because it depends on JuicyPixels-3.3.9 which itself failed to build.` |
| 2024-11-24 23:23:21 +0100 | xdminsy | (~xdminsy@117.147.71.197) xdminsy |
| 2024-11-24 23:26:55 +0100 | <geekosaur> | you need the C zlib headers and libraries. with Nix that means `nix-shell -p zlib` |
| 2024-11-24 23:27:43 +0100 | <geekosaur> | or see https://stackoverflow.com/questions/58326843/equivalent-of-passing-p-zlib-argument-to-nix-shell-in… |
| 2024-11-24 23:30:29 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-24 23:40:21 +0100 | lol_ | jcarpenter2 |
| 2024-11-24 23:40:30 +0100 | <ramennudel> | geekosaur Thank you very much, I’ve already been doing so using the flakes equivalent (`nix shell nixpkgs/zlib`respectively `nix shell nixpkgs/zlib{,.dev,.out}`), but now trying the ‘traditional’ command, it works out. It's a real win, as it allows me to try out Diagrams, but I'm failing to wrap my mind around the change in result … |
| 2024-11-24 23:41:54 +0100 | <geekosaur> | I'm not really a Nix person, and in particular flakes have been added since I last poked at it so I can't say much about them |
| 2024-11-24 23:44:00 +0100 | <geekosaur> | "Failed to build JuicyPixels-3.3.9 because it depends on JuicyPixels-3.3.9" I might have to report that one unless you're using an older version of cabal |
| 2024-11-24 23:44:25 +0100 | <geekosaur> | I think it's an internal library dependency, but your version of cabal doesn't show the selectors involved |
| 2024-11-24 23:44:47 +0100 | <geekosaur> | (i.e. one of them should have a "lib:" prefix) |
| 2024-11-24 23:46:20 +0100 | <ramennudel> | geekosaur Very fine to having had your suggestion, as—for now—it's the result that counts. `cabal --version` outputs `cabal-install version 3.12.1.0↵compiled using version 3.12.1.0 of the Cabal library. |
| 2024-11-24 23:46:30 +0100 | <geekosaur> | huh. |
| 2024-11-24 23:46:44 +0100 | <geekosaur> | that's up to date, at least for the next few days 🙂 |
| 2024-11-24 23:46:53 +0100 | <geekosaur> | (3.14.1.0 about to be released) |
| 2024-11-24 23:47:04 +0100 | <ramennudel> | So it's `unstable` on Nix. |
| 2024-11-24 23:49:43 +0100 | <ramennudel> | (I've also been grinning on that one, but didn't know if that's a desired output, as I'm no intimate Cabal maven.) |
| 2024-11-24 23:50:55 +0100 | <geekosaur> | it's got a lot of bug fixes compared to earlier versions, so we consider it preferred |
| 2024-11-24 23:53:36 +0100 | <ramennudel> | Anyone else out here with some theory on a particular reason for why `nix-shell` acts that much different than `nix shell`, as the observed behavior more or less smashed my worldview?^^ |
| 2024-11-24 23:55:08 +0100 | <hellwolf> | because they are different things? (please ask in the nixos channel :)) |
| 2024-11-24 23:55:56 +0100 | <hellwolf> | or try "$ echo "nix-shell and nix shell are different, why" | chatgpt" |
