| 2025-01-27 00:00:03 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-27 00:04:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 00:08:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-27 00:10:11 +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) |
| 2025-01-27 00:13:12 +0100 | troydm | (~troydm@user/troydm) troydm |
| 2025-01-27 00:15:29 +0100 | emm | (~emm@user/edmeme) edmeme |
| 2025-01-27 00:16:53 +0100 | emm | (~emm@user/edmeme) (Client Quit) |
| 2025-01-27 00:17:43 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-27 00:19:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 00:24:21 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-27 00:25:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-27 00:25:41 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-01-27 00:29:27 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 276 seconds) |
| 2025-01-27 00:35:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 00:40:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 00:40:37 +0100 | cheater | (~Username@user/cheater) cheater |
| 2025-01-27 00:41:41 +0100 | acidjnk | (~acidjnk@p200300d6e7283f062074cf1fe8a72336.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-27 00:44:21 +0100 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 248 seconds) |
| 2025-01-27 00:44:32 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 00:48:43 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-01-27 00:48:58 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-27 00:49:59 +0100 | fp1 | (~Thunderbi@87-94-148-3.rev.dnainternet.fi) (Remote host closed the connection) |
| 2025-01-27 00:51:03 +0100 | fp | (~Thunderbi@87-94-148-3.rev.dnainternet.fi) (Remote host closed the connection) |
| 2025-01-27 00:51:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 00:56:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-27 00:58:20 +0100 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-01-27 00:58:57 +0100 | acidjnk | (~acidjnk@p200300d6e7283f06386ea0a4b154e9cc.dip0.t-ipconnect.de) acidjnk |
| 2025-01-27 01:05:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 01:11:16 +0100 | acidjnk | (~acidjnk@p200300d6e7283f06386ea0a4b154e9cc.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-01-27 01:12:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 01:18:09 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 246 seconds) |
| 2025-01-27 01:19:04 +0100 | lisbeths | (~user@c-174-164-24-226.hsd1.wa.comcast.net) (Ping timeout: 260 seconds) |
| 2025-01-27 01:24:23 +0100 | aaronv | (~aaronv@user/aaronv) aaronv |
| 2025-01-27 01:26:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 01:26:16 +0100 | ensyde | (~ensyde@2601:5c6:c200:6dc0::3cb6) ensyde |
| 2025-01-27 01:26:53 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-27 01:30:38 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 01:31:06 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 246 seconds) |
| 2025-01-27 01:33:57 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 01:34:39 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-27 01:38:06 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-01-27 01:40:27 +0100 | jumper | (~pcx180e@2600:8801:1082:f700:4aa1:58d1:d5d6:4401) pcx180e |
| 2025-01-27 01:41:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 01:45:46 +0100 | lisbeths | (~user@c-174-164-24-226.hsd1.wa.comcast.net) lisbeths |
| 2025-01-27 01:46:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-27 01:53:44 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-27 01:56:14 +0100 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2025-01-27 01:57:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 02:02:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 02:05:00 +0100 | xff0x | (~xff0x@2405:6580:b080:900:e092:5da1:8fce:7b28) (Ping timeout: 276 seconds) |
| 2025-01-27 02:08:32 +0100 | jumper | (~pcx180e@2600:8801:1082:f700:4aa1:58d1:d5d6:4401) (Quit: WeeChat 4.5.1) |
| 2025-01-27 02:09:51 +0100 | ensyde | (~ensyde@2601:5c6:c200:6dc0::3cb6) (Ping timeout: 265 seconds) |
| 2025-01-27 02:12:15 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2025-01-27 02:12:48 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
| 2025-01-27 02:13:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 02:14:16 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-27 02:15:00 +0100 | foul_owl | (~kerry@193.42.0.126) (Ping timeout: 252 seconds) |
| 2025-01-27 02:16:27 +0100 | sprotte24 | (~sprotte24@p200300d16f26820094a8806834740480.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-27 02:18:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-27 02:19:37 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-27 02:23:01 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 02:23:27 +0100 | otto_s | (~user@p5de2f856.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-01-27 02:25:29 +0100 | otto_s | (~user@p5b044aa1.dip0.t-ipconnect.de) |
| 2025-01-27 02:25:32 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-27 02:27:28 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-27 02:28:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 02:31:56 +0100 | lisbeths | (~user@c-174-164-24-226.hsd1.wa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-01-27 02:34:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 02:34:26 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-01-27 02:34:29 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2025-01-27 02:38:42 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2025-01-27 02:40:52 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-01-27 02:41:12 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 272 seconds) |
| 2025-01-27 02:42:03 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 244 seconds) |
| 2025-01-27 02:44:38 +0100 | califax | (~califax@user/califx) califx |
| 2025-01-27 02:44:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 02:48:31 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-01-27 02:49:06 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) Maxdamantus |
| 2025-01-27 02:49:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 02:51:02 +0100 | zmt00 | (~zmt00@user/zmt00) zmt00 |
| 2025-01-27 02:55:25 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-27 03:00:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 03:04:08 +0100 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-01-27 03:04:49 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-136.cust.tzulo.com) (Quit: Leaving) |
| 2025-01-27 03:05:00 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 264 seconds) |
| 2025-01-27 03:05:00 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 264 seconds) |
| 2025-01-27 03:05:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-27 03:05:27 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-01-27 03:06:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 03:06:38 +0100 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-01-27 03:11:30 +0100 | HappyNewYear2025 | (~newyear@2.219.56.221) (Ping timeout: 244 seconds) |
| 2025-01-27 03:11:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-27 03:11:44 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 03:12:56 +0100 | alx741 | (~alx741@186.33.188.229) (Ping timeout: 252 seconds) |
| 2025-01-27 03:14:00 +0100 | tabaqui1 | (~root@87.200.129.102) tabaqui |
| 2025-01-27 03:15:52 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-27 03:20:07 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-27 03:22:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 03:33:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 03:35:24 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 265 seconds) |
| 2025-01-27 03:45:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 03:48:10 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-27 03:52:10 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 04:00:28 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 04:01:02 +0100 | talisman` | (~user@2601:644:937c:ed10::ae5) |
| 2025-01-27 04:01:34 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-01-27 04:02:26 +0100 | talismanick | (~user@2601:644:937c:ed10::ae5) (Read error: Connection reset by peer) |
| 2025-01-27 04:03:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 04:05:21 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-01-27 04:05:26 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-01-27 04:08:19 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2025-01-27 04:08:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-27 04:12:15 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 252 seconds) |
| 2025-01-27 04:19:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 04:21:25 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-27 04:23:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 04:23:42 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-27 04:25:32 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-27 04:33:38 +0100 | fmira | (~user@user/fmira) fmira |
| 2025-01-27 04:34:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 04:39:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2025-01-27 04:43:34 +0100 | terrorjack45 | (~terrorjac@2a01:4f8:c17:a66e::) (Quit: The Lounge - https://thelounge.chat) |
| 2025-01-27 04:45:14 +0100 | terrorjack45 | (~terrorjac@2a01:4f8:c17:a66e::) terrorjack |
| 2025-01-27 04:45:42 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-27 04:47:46 +0100 | prasad | (~Thunderbi@2601:243:c001:3f07::5c) (Remote host closed the connection) |
| 2025-01-27 04:48:04 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-27 04:48:19 +0100 | JuanDaugherty | ColinRobinson |
| 2025-01-27 04:48:54 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 04:50:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 04:50:44 +0100 | foul_owl | (~kerry@185.203.219.82) foul_owl |
| 2025-01-27 04:53:02 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-27 04:55:14 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 04:59:12 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2025-01-27 05:05:38 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-27 05:06:11 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-27 05:06:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 05:07:31 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-27 05:10:08 +0100 | fmira | (~user@user/fmira) (Remote host closed the connection) |
| 2025-01-27 05:10:19 +0100 | Tikosh | (~quassel@user/Tikosh) Tikosh |
| 2025-01-27 05:11:05 +0100 | <Tikosh> | hello. im a noob at programming and wonder if you can see my code. https://bpa.st/JQ3A |
| 2025-01-27 05:11:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 05:11:43 +0100 | <EvanR> | cool |
| 2025-01-27 05:11:55 +0100 | <EvanR> | have you seen this function |
| 2025-01-27 05:11:58 +0100 | <EvanR> | :t interact |
| 2025-01-27 05:11:59 +0100 | <lambdabot> | (String -> String) -> IO () |
| 2025-01-27 05:12:43 +0100 | <Tikosh> | i have not |
| 2025-01-27 05:13:10 +0100 | <EvanR> | it takes a function like your questionOne function as argument |
| 2025-01-27 05:13:27 +0100 | <EvanR> | and does the getting of input and printing of response for you |
| 2025-01-27 05:13:39 +0100 | <int-e> | meh it'll be awkward because there are prompts |
| 2025-01-27 05:13:46 +0100 | <Tikosh> | EvanR: alright |
| 2025-01-27 05:14:17 +0100 | <EvanR> | your program begins with a different pattern, yeah |
| 2025-01-27 05:15:07 +0100 | <EvanR> | but you can practice making higher order functions like interact to factor out some common I/O patterns |
| 2025-01-27 05:15:18 +0100 | <Tikosh> | EvanR: I still don't understand. sorry. I got a haskell textbook and started reading it for fun |
| 2025-01-27 05:15:28 +0100 | <Tikosh> | EvanR: alright. ill practice |
| 2025-01-27 05:15:44 +0100 | <int-e> | The code may be a tad too simple to comment on usefully. I wouldn't use `printf` (try using "%s" as your name) |
| 2025-01-27 05:15:45 +0100 | <EvanR> | 👍 |
| 2025-01-27 05:16:44 +0100 | <Tikosh> | int-e: alrighty then |
| 2025-01-27 05:16:47 +0100 | <int-e> | (Or, if you *want* to use printf, use "%s" and pass an extra argument whereever you're using user input.) |
| 2025-01-27 05:17:18 +0100 | <int-e> | (putStrLn <string> prints a line) |
| 2025-01-27 05:17:27 +0100 | <Tikosh> | int-e: I was told to put printf. originally it had print in it. i was running the mian from the REPL in Emacs |
| 2025-01-27 05:17:50 +0100 | <Tikosh> | or on the REPL |
| 2025-01-27 05:18:22 +0100 | <EvanR> | yes printf is kind of an awkward thing to go for in basic haskell |
| 2025-01-27 05:18:50 +0100 | <Tikosh> | EvanR: so just go with putStrLn or print? |
| 2025-01-27 05:19:01 +0100 | <EvanR> | putStrLn |
| 2025-01-27 05:19:05 +0100 | <Tikosh> | alright |
| 2025-01-27 05:19:20 +0100 | <EvanR> | % print 7 |
| 2025-01-27 05:19:20 +0100 | <yahb2> | 7 |
| 2025-01-27 05:19:27 +0100 | <EvanR> | % print "Hello World" |
| 2025-01-27 05:19:27 +0100 | <yahb2> | "Hello World" |
| 2025-01-27 05:19:36 +0100 | <EvanR> | notice the quotation marks |
| 2025-01-27 05:19:48 +0100 | <Tikosh> | oh. i see |
| 2025-01-27 05:20:31 +0100 | <Tikosh> | i was intending to make a console application. i only run it from the REPL. did not compile it, yet. |
| 2025-01-27 05:20:51 +0100 | <EvanR> | % putStrLn "Hello World!" |
| 2025-01-27 05:20:51 +0100 | <yahb2> | Hello World! |
| 2025-01-27 05:22:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 05:23:31 +0100 | <Tikosh> | Thank you so much for your instruction |
| 2025-01-27 05:24:40 +0100 | <mauke> | @src print |
| 2025-01-27 05:24:40 +0100 | <lambdabot> | print x = putStrLn (show x) |
| 2025-01-27 05:25:15 +0100 | <mauke> | % show 42 <> show 'q' |
| 2025-01-27 05:25:15 +0100 | <yahb2> | "42'q'" |
| 2025-01-27 05:26:08 +0100 | <int-e> | % unwords [show 42, show 'q'] |
| 2025-01-27 05:26:08 +0100 | <yahb2> | "42 'q'" |
| 2025-01-27 05:26:50 +0100 | <EvanR> | you made a string containing values of different types! |
| 2025-01-27 05:26:59 +0100 | <EvanR> | just kidding |
| 2025-01-27 05:27:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 05:27:19 +0100 | <EvanR> | stringly typed languages ftw |
| 2025-01-27 05:27:50 +0100 | <int-e> | EvanR: It's probably too much information, but `unwords` is unironically superior to repeated ++ " " ++ that often appear in manual formatting of several values. |
| 2025-01-27 05:28:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 05:28:07 +0100 | <EvanR> | why is that |
| 2025-01-27 05:28:28 +0100 | <int-e> | in terms of writing the code :P |
| 2025-01-27 05:28:43 +0100 | <EvanR> | hmm |
| 2025-01-27 05:28:53 +0100 | <int-e> | also, that's an opinion, ymmv |
| 2025-01-27 05:30:06 +0100 | aforemny | (~aforemny@i577B125E.versanet.de) aforemny |
| 2025-01-27 05:30:45 +0100 | aforemny_ | (~aforemny@2001:9e8:6ce1:cf00:b6f1:625c:54b4:a44b) (Ping timeout: 248 seconds) |
| 2025-01-27 05:31:51 +0100 | <int-e> | % putStrLn it |
| 2025-01-27 05:31:51 +0100 | <yahb2> | 42 'q' |
| 2025-01-27 05:32:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-27 05:33:06 +0100 | <haskellbridge> | <sm> go Tikosh |
| 2025-01-27 05:34:09 +0100 | <Tikosh> | yea? |
| 2025-01-27 05:34:41 +0100 | <haskellbridge> | <sm> go go go, have fun |
| 2025-01-27 05:35:02 +0100 | <Tikosh> | oh! you want me to leave. okay! |
| 2025-01-27 05:35:13 +0100 | <haskellbridge> | <sm> no, I'm saying good work :) |
| 2025-01-27 05:35:15 +0100 | <int-e> | nah |
| 2025-01-27 05:35:20 +0100 | <int-e> | he's cheering you on |
| 2025-01-27 05:35:29 +0100 | <int-e> | or trying to; it became awkward somehow |
| 2025-01-27 05:35:29 +0100 | <Tikosh> | oh! lol! thank you! |
| 2025-01-27 05:35:39 +0100 | <Tikosh> | no i get it. |
| 2025-01-27 05:35:45 +0100 | <haskellbridge> | <sm> I'm not very good at chat 🤣 |
| 2025-01-27 05:36:14 +0100 | <Tikosh> | no worries |
| 2025-01-27 05:37:58 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 05:39:46 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Exeunt DS Producers) |
| 2025-01-27 05:42:10 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-27 05:42:59 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-01-27 05:43:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 05:46:08 +0100 | penteract | (~toby@blbn-12-b2-v4wan-167809-cust345.vm18.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2025-01-27 05:46:45 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-01-27 05:48:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 05:50:08 +0100 | michalz | (~michalz@185.246.207.221) |
| 2025-01-27 05:56:03 +0100 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
| 2025-01-27 05:56:28 +0100 | aaronv | (~aaronv@user/aaronv) aaronv |
| 2025-01-27 05:57:45 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-27 06:00:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 06:04:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 06:12:05 +0100 | EvanR_ | (~EvanR@user/evanr) EvanR |
| 2025-01-27 06:12:37 +0100 | EvanR | (~EvanR@user/evanr) (Read error: Connection reset by peer) |
| 2025-01-27 06:12:49 +0100 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-01-27 06:15:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 06:16:22 +0100 | JimL | (~quassel@89.162.16.26) JimL |
| 2025-01-27 06:20:23 +0100 | <probie> | If English isn't your first language, "go" as an exhortation wishing success probably looks very weird. It makes much more sense as the tail-recursive "loop" for a function |
| 2025-01-27 06:21:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-27 06:27:23 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 06:31:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 06:32:09 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-01-27 06:34:30 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-27 06:35:49 +0100 | fmira | (~user@user/fmira) fmira |
| 2025-01-27 06:36:58 +0100 | fmira | (~user@user/fmira) (Remote host closed the connection) |
| 2025-01-27 06:37:20 +0100 | fmira | (~user@user/fmira) fmira |
| 2025-01-27 06:37:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 06:38:40 +0100 | EvanR_ | EvanR |
| 2025-01-27 06:40:50 +0100 | <monochrom> | \go -> go go o |
| 2025-01-27 06:40:59 +0100 | <monochrom> | @type \go -> go go go |
| 2025-01-27 06:41:00 +0100 | <lambdabot> | error: |
| 2025-01-27 06:41:00 +0100 | <lambdabot> | • Occurs check: cannot construct the infinite type: |
| 2025-01-27 06:41:00 +0100 | <lambdabot> | t ~ t -> t1 -> t2 |
| 2025-01-27 06:41:04 +0100 | tabaqui1 | (~root@87.200.129.102) (Ping timeout: 260 seconds) |
| 2025-01-27 06:45:08 +0100 | <probie> | :t \(go :: forall a . a -> a) -> go go go |
| 2025-01-27 06:45:09 +0100 | <lambdabot> | (forall a1. a1 -> a1) -> a -> a |
| 2025-01-27 06:50:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 06:54:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 06:56:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 07:01:03 +0100 | jcarpenter2 | (~lol@96.78.87.197) (Read error: Connection reset by peer) |
| 2025-01-27 07:02:46 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2025-01-27 07:03:53 +0100 | aaronv | (~aaronv@user/aaronv) (Remote host closed the connection) |
| 2025-01-27 07:04:12 +0100 | aaronv | (~aaronv@user/aaronv) aaronv |
| 2025-01-27 07:04:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 07:07:32 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
| 2025-01-27 07:17:27 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 07:20:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 07:21:38 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 2025-01-27 07:22:18 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-01-27 07:25:07 +0100 | ft | (~ft@p3e9bcd97.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-01-27 07:25:51 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-27 07:30:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-27 07:30:39 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 276 seconds) |
| 2025-01-27 07:32:10 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-01-27 07:33:25 +0100 | euleritian | (~euleritia@dynamic-176-001-197-098.176.1.pool.telefonica.de) |
| 2025-01-27 07:34:20 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-27 07:35:31 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-01-27 07:35:31 +0100 | tnt2 | tnt1 |
| 2025-01-27 07:40:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 07:40:57 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-01-27 07:45:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-27 07:47:55 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-01-27 07:48:31 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-27 07:49:43 +0100 | Tikosh | (~quassel@user/Tikosh) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-01-27 07:50:24 +0100 | bang | (~Srain@108.173.142.167) (Remote host closed the connection) |
| 2025-01-27 07:55:42 +0100 | acidjnk | (~acidjnk@p200300d6e7283f5854eb9b260f3ea179.dip0.t-ipconnect.de) acidjnk |
| 2025-01-27 07:56:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 08:01:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-27 08:04:58 +0100 | CiaoSen | (~Jura@2a05:5800:20d:d600:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-27 08:06:32 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 08:07:01 +0100 | JamesMowery4395 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 248 seconds) |
| 2025-01-27 08:09:50 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 244 seconds) |
| 2025-01-27 08:10:40 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-27 08:12:18 +0100 | talisman` | (~user@2601:644:937c:ed10::ae5) (Read error: Connection reset by peer) |
| 2025-01-27 08:12:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 08:12:32 +0100 | talisman` | (~user@2601:644:937c:ed10::ae5) |
| 2025-01-27 08:14:43 +0100 | JamesMowery4395 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
| 2025-01-27 08:19:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-27 08:19:59 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-27 08:21:30 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-01-27 08:23:12 +0100 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 272 seconds) |
| 2025-01-27 08:24:05 +0100 | raym | (~ray@user/raym) (Ping timeout: 244 seconds) |
| 2025-01-27 08:30:11 +0100 | aaronv | (~aaronv@user/aaronv) aaronv |
| 2025-01-27 08:30:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 08:31:16 +0100 | raym | (~ray@user/raym) raym |
| 2025-01-27 08:33:04 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-27 08:34:55 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-27 08:35:52 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-27 08:36:49 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-01-27 08:37:46 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 272 seconds) |
| 2025-01-27 08:38:13 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-27 08:39:04 +0100 | user363627 | (~user@user/user363627) (Ping timeout: 244 seconds) |
| 2025-01-27 08:40:21 +0100 | acidjnk | (~acidjnk@p200300d6e7283f5854eb9b260f3ea179.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-27 08:44:30 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2025-01-27 08:45:14 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-01-27 08:46:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-27 08:47:33 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-27 08:50:42 +0100 | alecs | (~alecs@nat16.software.imdea.org) alecs |
| 2025-01-27 08:50:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2025-01-27 08:55:16 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 08:56:13 +0100 | CrunchyFlakes | (~CrunchyFl@ip923482e1.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2025-01-27 08:57:32 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-27 08:58:25 +0100 | euleritian | (~euleritia@dynamic-176-001-197-098.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-27 08:58:44 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-27 08:59:14 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-01-27 08:59:26 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-27 09:00:05 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-27 09:00:25 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-27 09:00:26 +0100 | CrunchyFlakes | (~CrunchyFl@146.52.130.225) |
| 2025-01-27 09:00:48 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-27 09:02:08 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-01-27 09:02:57 +0100 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 276 seconds) |
| 2025-01-27 09:03:14 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2025-01-27 09:04:20 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-27 09:05:02 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-01-27 09:05:02 +0100 | tnt2 | tnt1 |
| 2025-01-27 09:09:21 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-27 09:09:24 +0100 | lisbeths` | (~user@2603:3023:4be:4000:216:3eff:fe17:d69d) |
| 2025-01-27 09:13:41 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-01-27 09:14:42 +0100 | xelxebar_ | (~xelxebar@wilsonb.com) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2025-01-27 09:14:49 +0100 | <lisbeths`> | are people in #haskell very familiar with binary lambda calculus? |
| 2025-01-27 09:15:54 +0100 | xelxebar | (~xelxebar@wilsonb.com) xelxebar |
| 2025-01-27 09:16:08 +0100 | <probie> | What does "very familiar" mean? I probably can't read a non-trivial expression and reduce with pen and paper (or a computer) |
| 2025-01-27 09:16:20 +0100 | <probie> | s/with pen/without pen/ |
| 2025-01-27 09:16:55 +0100 | <lisbeths`> | I wrote a language that compiles to binary lambda calculus |
| 2025-01-27 09:17:15 +0100 | <lisbeths`> | so it can be embedded into haskell and haskell can be embedded into it |
| 2025-01-27 09:20:49 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-27 09:30:37 +0100 | <dminuoso> | Sounds like a fun project |
| 2025-01-27 09:30:51 +0100 | <dminuoso> | How much of Haskell do you support? |
| 2025-01-27 09:32:45 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-27 09:32:49 +0100 | <lisbeths`> | It should be compatible with the purely functional parts |
| 2025-01-27 09:34:03 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 2025-01-27 09:35:43 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-27 09:35:56 +0100 | acidjnk | (~acidjnk@p200300d6e7283f58c4cea7af3a5e8af9.dip0.t-ipconnect.de) acidjnk |
| 2025-01-27 09:36:12 +0100 | <dminuoso> | lisbeths`: Do you just compile system FC to binary lambda calculus then? |
| 2025-01-27 09:37:14 +0100 | tnt2 | (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
| 2025-01-27 09:37:22 +0100 | <dminuoso> | Just wondering whether "purely functional parts" includes all of GADTs. |
| 2025-01-27 09:37:31 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-27 09:38:24 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-27 09:38:47 +0100 | <dminuoso> | By extension that would include things like ConstraintKinds |
| 2025-01-27 09:39:28 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-27 09:40:54 +0100 | emmanuelux_ | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2025-01-27 09:45:41 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 09:49:51 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-01-27 09:50:12 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-27 09:51:15 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 246 seconds) |
| 2025-01-27 09:51:15 +0100 | tnt2 | tnt1 |
| 2025-01-27 09:58:49 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) (Quit: ZNC - https://znc.in) |
| 2025-01-27 09:59:19 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) Fischmiep |
| 2025-01-27 10:00:33 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-27 10:00:57 +0100 | <lisbeths`> | dminuoso: system fc? |
| 2025-01-27 10:02:28 +0100 | <probie> | System F with type equality |
| 2025-01-27 10:02:46 +0100 | <lisbeths`> | binary lambda calculus can bootstraps system F or any type system that you'd like |
| 2025-01-27 10:03:01 +0100 | <probie> | So can a turing machine |
| 2025-01-27 10:03:16 +0100 | <lisbeths`> | indeed |
| 2025-01-27 10:03:30 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2025-01-27 10:03:34 +0100 | <lisbeths`> | This is about making a very small purely functional language in the order of under 8 megabytes |
| 2025-01-27 10:05:51 +0100 | <lisbeths`> | like what if you want a purely functional programming language to go into smartdust computers with very low computing power |
| 2025-01-27 10:15:29 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-27 10:18:19 +0100 | chele | (~chele@user/chele) chele |
| 2025-01-27 10:19:49 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-01-27 10:20:32 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-27 10:34:05 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 10:34:59 +0100 | kuribas | (~user@ptr-17d51en30430ldpieyz.18120a2.ip6.access.telenet.be) kuribas |
| 2025-01-27 10:35:59 +0100 | alp | (~alp@2001:861:8ca0:4940:94ba:2e4d:2c57:ff61) |
| 2025-01-27 10:38:25 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-27 10:38:48 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Quit: leaving) |
| 2025-01-27 10:39:58 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-27 10:42:41 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-01-27 10:43:35 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-01-27 10:46:45 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-01-27 10:53:29 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-27 10:54:58 +0100 | CiaoSen | (~Jura@2a05:5800:20d:d600:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds) |
| 2025-01-27 10:59:49 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2025-01-27 11:01:38 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 245 seconds) |
| 2025-01-27 11:03:25 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-27 11:07:09 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Quit: tnt1) |
| 2025-01-27 11:07:45 +0100 | CrunchyFlakes | (~CrunchyFl@146.52.130.225) (Ping timeout: 276 seconds) |
| 2025-01-27 11:11:15 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-27 11:15:06 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2025-01-27 11:15:57 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-27 11:16:09 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-27 11:21:09 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2025-01-27 11:22:49 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 11:24:22 +0100 | sprotte24 | (~sprotte24@p200300d16f2a5f00a9408391bb436145.dip0.t-ipconnect.de) |
| 2025-01-27 11:27:12 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-27 11:27:48 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-01-27 11:29:38 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-01-27 11:32:50 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-01-27 11:39:43 +0100 | talisman` | (~user@2601:644:937c:ed10::ae5) (Read error: Connection reset by peer) |
| 2025-01-27 11:40:44 +0100 | <dminuoso> | lisbeths`: Im not asking whether one can build it, just asking what kind of Haskell features you can already translate. |
| 2025-01-27 11:40:53 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-01-27 11:41:34 +0100 | <lisbeths`> | This is all hypothetical. i was asking in here a few months ago and they were telling me that something like ghc should mostly be dumpable into a lambda |
| 2025-01-27 11:41:52 +0100 | <lisbeths`> | so the universal format for lambdas is called binary lambda calculus, so if a piece of haskell can be compiled to binary lambda calculus then it is compatible with my language no issue |
| 2025-01-27 11:43:07 +0100 | <dminuoso> | Oh I do understand binary lambda calculus. |
| 2025-01-27 11:43:44 +0100 | <dminuoso> | I was just curious about the meaning of "... and haskell can be embedded into it" part. |
| 2025-01-27 11:43:50 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-27 11:43:55 +0100 | <dminuoso> | To me implied the existence of a compiler. |
| 2025-01-27 11:44:01 +0100 | <dminuoso> | Perhaps mistakingly |
| 2025-01-27 11:44:07 +0100 | <lisbeths`> | no the haskell component isnt written yet |
| 2025-01-27 11:44:30 +0100 | <lisbeths`> | i wanted to do something similar in nixos but the nix team on matrix said this was unsupported |
| 2025-01-27 11:44:57 +0100 | <dminuoso> | What exactly is unsupported with nix? |
| 2025-01-27 11:45:22 +0100 | <dminuoso> | By the way, the one thing I want most is a proper first class language evaluator for nixos modules. |
| 2025-01-27 11:45:33 +0100 | <dminuoso> | One that isn't shoehorned into extremely primitive nix. |
| 2025-01-27 11:46:09 +0100 | <lisbeths`> | I think I just caught one of the mods on a bad day |
| 2025-01-27 11:49:00 +0100 | <dminuoso> | When you do any kind of NixOS configuration mistake, you'll get a huge stack trace showing you through the internals of the module evaluator. |
| 2025-01-27 11:49:16 +0100 | <lisbeths`> | yeah fastlisp doesnt have errors |
| 2025-01-27 11:49:26 +0100 | <dminuoso> | It's not that I dont want errors, errors are fine. |
| 2025-01-27 11:49:35 +0100 | <lisbeths`> | fastlisp has no compiler output |
| 2025-01-27 11:50:10 +0100 | <dminuoso> | I want the exceptions caught and handled. In case of NixOS I want them collected in fact.n |
| 2025-01-27 11:50:16 +0100 | <dminuoso> | The evaluator should carry on, collect as many errors as possible |
| 2025-01-27 11:51:22 +0100 | <dminuoso> | https://paste.tomsmeding.com/aJHeZiHs |
| 2025-01-27 11:52:01 +0100 | <dminuoso> | 350 lines of "where in the nixos module evaluator were we, exactly" |
| 2025-01-27 11:52:43 +0100 | <lisbeths`> | I don't know alot about nixos I just know it might be very compatible with fastlisp |
| 2025-01-27 11:53:09 +0100 | <dminuoso> | when in fact I would just like a damn source span of the file that has a typo. |
| 2025-01-27 11:53:25 +0100 | <dminuoso> | The *one* thing that would help me contextualize the mistake... thats what nixos does not give you. |
| 2025-01-27 11:53:45 +0100 | <lisbeths`> | you might not like fastlisp then becuase you have none of these luxuries in fastlisp |
| 2025-01-27 11:53:59 +0100 | <dminuoso> | lisbeths`: You conflate the issue. |
| 2025-01-27 11:54:02 +0100 | <dminuoso> | This is not about nix. |
| 2025-01-27 11:54:15 +0100 | <dminuoso> | It's about the nixos module evaluator being shoehorned into extremely primitive code. |
| 2025-01-27 11:54:28 +0100 | <lisbeths`> | fork |
| 2025-01-27 11:54:35 +0100 | <dminuoso> | Imagine this was written in Java, and every kind of mistake is just "throw an exception and display the stacktrace" |
| 2025-01-27 11:54:48 +0100 | <dminuoso> | It wouldnt be a java problem, but just bad code. |
| 2025-01-27 11:55:13 +0100 | <lisbeths`> | I have never played with exception handling |
| 2025-01-27 11:55:28 +0100 | <lisbeths`> | I'm not really a c++ or a java guy |
| 2025-01-27 11:55:41 +0100 | <dminuoso> | The Haskell equivalent is `error "nope"` |
| 2025-01-27 11:55:45 +0100 | <dminuoso> | It's about as helpful. |
| 2025-01-27 11:56:02 +0100 | <lisbeths`> | I was surprised that compiler error messages exist and I am not convinced that they are necessary |
| 2025-01-27 11:56:38 +0100 | <dminuoso> | Given the problem domain, GHC error messages are relatively decent. GHC has pretty good error handling. |
| 2025-01-27 11:56:50 +0100 | <dminuoso> | Imagine you made a type error, and GHC gave you an internal stack trace back. |
| 2025-01-27 11:57:06 +0100 | <dminuoso> | Instead GHC gives you contextual information, display the source, give you some information about types |
| 2025-01-27 11:57:40 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-01-27 11:58:15 +0100 | <dminuoso> | But I guess here comes the usual disclaimer: We dont use nix for its diagnostics... |
| 2025-01-27 11:58:28 +0100 | <dminuoso> | However, it would be darn good to have some. |
| 2025-01-27 11:59:12 +0100 | <dminuoso> | Part of the problem is the general nix mentality of "everything has to be dynamic", where even the output names of a flake are dynamic. |
| 2025-01-27 11:59:29 +0100 | <dminuoso> | If you then include ifd you get an absurd situation where just `nix flake show` can potentially take 10 hours. |
| 2025-01-27 11:59:46 +0100 | <dminuoso> | (This is not an IFD problem, its lack of constraints) |
| 2025-01-27 11:59:59 +0100 | <dminuoso> | Oh well. Here goes my nix rant again. :( |
| 2025-01-27 12:00:05 +0100 | <lisbeths`> | sorry I was afk |
| 2025-01-27 12:00:30 +0100 | <lisbeths`> | I mean I really feel bad for all programmeres having to deal with the cryptic error messages of compilers |
| 2025-01-27 12:00:44 +0100 | <lisbeths`> | and error handling systems that are not flawless |
| 2025-01-27 12:01:00 +0100 | <lisbeths`> | haskell is an example of how to do certain aspects of a compiler very correctly |
| 2025-01-27 12:01:09 +0100 | <dminuoso> | The thing is |
| 2025-01-27 12:01:46 +0100 | <dminuoso> | If you started solving programming problems in nix, you would just get an instant realization that the language is fairly crappy and has basically no stdlib to solve any usual programming tasks.. |
| 2025-01-27 12:02:07 +0100 | <dminuoso> | Try writing an IPv6 address parser as a fun excercise. |
| 2025-01-27 12:02:35 +0100 | <lisbeths`> | sure I mean I dont have to involve nix |
| 2025-01-27 12:02:37 +0100 | <dminuoso> | Even something mundane as "splitting a string" is rather difficult.. |
| 2025-01-27 12:02:44 +0100 | <lisbeths`> | fastlisp is meant to be easily ported over to any turing complete system |
| 2025-01-27 12:02:52 +0100 | <dminuoso> | well thats just the reason why the nixos module evaluator is so horrid. |
| 2025-01-27 12:02:56 +0100 | <dminuoso> | or part of it anyway |
| 2025-01-27 12:03:14 +0100 | <lisbeths`> | I am not saying my highest operation is to go scramble a bunch of nix code into my codebase here |
| 2025-01-27 12:03:37 +0100 | <dminuoso> | its shoehorned into nix, because writing a first class evaluator (that does not tie the module evaluation into its own evaluation) would require engineering effort |
| 2025-01-27 12:03:48 +0100 | <dminuoso> | the kind of effort that would be very hard with nix. |
| 2025-01-27 12:03:52 +0100 | <lisbeths`> | yeah we dont like that shoehorning |
| 2025-01-27 12:03:59 +0100 | <lisbeths`> | end shoehorning forever |
| 2025-01-27 12:04:01 +0100 | <dminuoso> | that said, |
| 2025-01-27 12:04:06 +0100 | <dminuoso> | nixos is the only reason Im using nix. :-) |
| 2025-01-27 12:04:17 +0100 | <lisbeths`> | nonguix tho |
| 2025-01-27 12:05:30 +0100 | <dminuoso> | I would like to use guix, but the ecosystem is just not rich enough for our needs. |
| 2025-01-27 12:05:53 +0100 | <dminuoso> | (that is guix system) |
| 2025-01-27 12:06:01 +0100 | <lisbeths`> | you can install the nix package manager on guixos and you can install the guix package manager on nixos |
| 2025-01-27 12:06:27 +0100 | <lisbeths`> | should be pretty painless to migrate over except for a little disc space |
| 2025-01-27 12:07:19 +0100 | <lisbeths`> | if you look at the direction the gnu project is headed guix has got mainline support from powerful industrialists. they want it to be able to replace debian |
| 2025-01-27 12:07:21 +0100 | <__monty__> | That's like saying Fedora and Debian are both Linux distros so it should be pretty painless to migrate over without a reinstall... |
| 2025-01-27 12:07:50 +0100 | <lisbeths`> | nah cause fedora has yum and debian has apt. youc ant install apt on fedora nad youc ant install yum on debian and expect things to just work |
| 2025-01-27 12:08:05 +0100 | <__monty__> | ... |
| 2025-01-27 12:08:43 +0100 | <lisbeths`> | ultimately all we are learning is "sudo package-manager-name install-keyword packagename1 packagename2 packagenamen..." |
| 2025-01-27 12:08:56 +0100 | <lisbeths`> | so migration is as easy as filling in the blanks for that adlib |
| 2025-01-27 12:09:51 +0100 | <lisbeths`> | it should even be possible to list nix pacakges in a guix package repo and list guix package in a nix package repo and one package manger will install packages from another package manager |
| 2025-01-27 12:11:33 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 12:15:46 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-27 12:16:23 +0100 | xff0x | (~xff0x@2405:6580:b080:900:ee1a:7699:189f:a423) |
| 2025-01-27 12:16:32 +0100 | <dminuoso> | The problem is just that libcrystalball is rather expensive. |
| 2025-01-27 12:16:54 +0100 | <dminuoso> | Of course it is not technically impossible, just completely infeasible to build a magic integration between the two. |
| 2025-01-27 12:17:09 +0100 | <dminuoso> | Dont conflate nix with NixOS and guix with guix system here. |
| 2025-01-27 12:17:24 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 265 seconds) |
| 2025-01-27 12:17:41 +0100 | <dminuoso> | While nix and guix, the repository "ecosystems", themselves are easy to install isolated, nixos/guix system are management frameworks to manage an entire system installation |
| 2025-01-27 12:18:03 +0100 | <lisbeths`> | thats true |
| 2025-01-27 12:18:12 +0100 | <lisbeths`> | but their objective is also to produce a standalone package manager |
| 2025-01-27 12:18:18 +0100 | <dminuoso> | hardly |
| 2025-01-27 12:18:31 +0100 | <dminuoso> | nix the package manage is not an objective of nixos, its a requirement,. |
| 2025-01-27 12:18:46 +0100 | <lisbeths`> | oh well thats not what I was told years ago so maybe thats changed |
| 2025-01-27 12:18:49 +0100 | <dminuoso> | It's an implementation artifact, rather. |
| 2025-01-27 12:18:54 +0100 | <lisbeths`> | ah |
| 2025-01-27 12:19:03 +0100 | <lisbeths`> | are you a fan of nixos? |
| 2025-01-27 12:19:32 +0100 | <dminuoso> | Put it this way, between all the various deadly diseases you can pick from, I prefer NixOS over the alternatives. |
| 2025-01-27 12:19:48 +0100 | <dminuoso> | But I can rant all day long about how poor and terrible it is. |
| 2025-01-27 12:20:43 +0100 | <lisbeths`> | so what would you would prefer instead of the design of nixos |
| 2025-01-27 12:21:02 +0100 | <dminuoso> | Internally Guix System is better designed. |
| 2025-01-27 12:21:15 +0100 | <dminuoso> | But the lack of a rich and vibrant ecosystem means its not an option for us. |
| 2025-01-27 12:21:42 +0100 | <dminuoso> | K8s would also a different approach, so its comparable in some sense. |
| 2025-01-27 12:22:02 +0100 | <lisbeths`> | nonguix is really the solution there I believe |
| 2025-01-27 12:22:07 +0100 | <dminuoso> | But the tech stack is designed to address problems we dont exactly have.. |
| 2025-01-27 12:22:36 +0100 | <lisbeths`> | the guix project is very selective about what code they let into guix: that is why its repositories are so barren |
| 2025-01-27 12:22:44 +0100 | <lisbeths`> | the nonguix project lets you package what you choose |
| 2025-01-27 12:22:48 +0100 | <dminuoso> | lisbeths`: https://gitlab.com/nonguix/nonguix/-/commits/master?ref_type=HEADS |
| 2025-01-27 12:22:53 +0100 | <dminuoso> | Except for it being pretty much dead and inactive. |
| 2025-01-27 12:23:18 +0100 | <lisbeths`> | the nonguix irc channel is pretty active |
| 2025-01-27 12:23:24 +0100 | <dminuoso> | I dont debate that. |
| 2025-01-27 12:23:37 +0100 | <lisbeths`> | it doesnt take much development to produce nonguix because the guix devs write all the main code |
| 2025-01-27 12:23:45 +0100 | <dminuoso> | But when we pick a distribution to run the hundreds of servers at work, we need stability of updates. |
| 2025-01-27 12:23:45 +0100 | <lisbeths`> | all nonguix has to do is add a custom repository |
| 2025-01-27 12:24:47 +0100 | <__monty__> | I feel like you would be served well by actually trying out all your knowledge in practice. |
| 2025-01-27 12:25:05 +0100 | <lisbeths`> | not yet I'm afraid |
| 2025-01-27 12:25:23 +0100 | <lisbeths`> | I have been learning to summon a powerful dragon |
| 2025-01-27 12:25:39 +0100 | <lisbeths`> | once I learn to ride this dragon then i will complete my quest |
| 2025-01-27 12:25:54 +0100 | <dminuoso> | lisbeths`: The question is eventually how do you maintain the packages? How do you ensure that critical updates get included, build and tested on the same day they get released? |
| 2025-01-27 12:25:58 +0100 | CiaoSen | (~Jura@2a05:5800:20d:d600:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-01-27 12:26:13 +0100 | <dminuoso> | And once you scale out, you need a lot of money to run the infrastructure to do just that. |
| 2025-01-27 12:26:22 +0100 | <dminuoso> | Which is prohibitive. |
| 2025-01-27 12:26:30 +0100 | <dminuoso> | Do I want guix to succeed in that sense? Absolutely. |
| 2025-01-27 12:27:01 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2025-01-27 12:27:10 +0100 | <lisbeths`> | if you dont like guix dont use it lol |
| 2025-01-27 12:27:25 +0100 | <lisbeths`> | i have trouble with guix too it doenst run on android on arm |
| 2025-01-27 12:28:11 +0100 | <lisbeths`> | you have to be the change you want to see in the world. if nix is pissing on you and telling you its raining look for better friends |
| 2025-01-27 12:28:29 +0100 | <lisbeths`> | packing things yourself and taking responsiblity for your stack is part of being the change you want to see in the world |
| 2025-01-27 12:29:33 +0100 | <lisbeths`> | guix isnt ready for production thats true |
| 2025-01-27 12:31:39 +0100 | <dminuoso> | lisbeths`: We have several hundred servers. Now I'd have to check some numbers, but I think its plausible that we're fleeting somewhere around 5,000 distinct software packages. Now of course we could hire a team of 20 people to constantly monitor upstream packages we use, package them, fix things downstream, fix things upstream.. |
| 2025-01-27 12:33:02 +0100 | <dminuoso> | Of course there's only three solutions: Either you rely on an ecosystem that works on its own, you are willing to fill the void, or you pay for it..b |
| 2025-01-27 12:33:11 +0100 | <lisbeths`> | yeah thats rough I guess you have no choice but to use nix :) |
| 2025-01-27 12:33:29 +0100 | <lisbeths`> | just undertstand that is still your choice |
| 2025-01-27 12:33:59 +0100 | <lisbeths`> | some people still be running phyiscal windows xp machines on pentium using microsoft excel |
| 2025-01-27 12:34:31 +0100 | <lisbeths`> | nixos will eventually catch up with guix |
| 2025-01-27 12:35:18 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-01-27 12:35:40 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-27 12:36:07 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-01-27 12:36:29 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-27 12:36:55 +0100 | <haskellbridge> | <magic_rb> Hardcore NixOS user here, what are your gripes with Nix/NixOS? |
| 2025-01-27 12:37:23 +0100 | <haskellbridge> | <magic_rb> And yes the Guix folk do have a few things working way better than we do. One of them is bootstrapping |
| 2025-01-27 12:38:38 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-27 12:39:41 +0100 | <lisbeths`> | the scheme langauge is better suited for rapid development but the compiler is not as good which is a technical debt |
| 2025-01-27 12:39:53 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-458a-5c2c-c01a-04f9.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-01-27 12:40:08 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-458a-5c2c-c01a-04f9.pool6.digikabel.hu) |
| 2025-01-27 12:40:33 +0100 | <dminuoso> | magic_rb: The module evaluator has very poor diagnostics. It's about the equivalent of a high school java project that just prints out Thread.currentThread().getStackTrace() |
| 2025-01-27 12:41:01 +0100 | <haskellbridge> | <magic_rb> Is scheme more suited? I think it really depends on your preferences, i find lisps quite hard to work with. Even good ones |
| 2025-01-27 12:41:38 +0100 | <dminuoso> | In scheme it is simple do write control flow and error handling, yes. |
| 2025-01-27 12:41:42 +0100 | <haskellbridge> | <magic_rb> As for the module system, i feel you there. Its a mess, and while its not an excuse, if you use it enough the stack traves do start making sense and are quite helpful |
| 2025-01-27 12:41:46 +0100 | <dminuoso> | Not any different from Haskell, honestly. |
| 2025-01-27 12:42:08 +0100 | <haskellbridge> | <magic_rb> Control flow is easy in nix imo, error handling, uh if then error dunno |
| 2025-01-27 12:42:18 +0100 | <lisbeths`> | when I code in haskell (i (just (code (it (like (this)))))) |
| 2025-01-27 12:42:24 +0100 | <lisbeths`> | cause my brain is smol |
| 2025-01-27 12:42:26 +0100 | <dminuoso> | magic_rb: Imagine we had GHC internal stack traces on any compiler error instead of context, and you said "if you learn GHC enough, the stack traces do start making sense and are quite helpful" |
| 2025-01-27 12:42:40 +0100 | <haskellbridge> | <magic_rb> As i said not an excuse |
| 2025-01-27 12:42:43 +0100 | <dminuoso> | ;) |
| 2025-01-27 12:43:05 +0100 | <dminuoso> | Of course the stack tracers are helpful on the basis of "its better than nothing" |
| 2025-01-27 12:43:26 +0100 | <dminuoso> | But the same could be said of just giving you a memory dump. |
| 2025-01-27 12:43:28 +0100 | <haskellbridge> | <magic_rb> But also since i somewhat understand how the modulr system works i will say that not much can be improved without moving the implementation into Nix itself |
| 2025-01-27 12:43:31 +0100 | <haskellbridge> | <magic_rb> Which im personally against |
| 2025-01-27 12:43:41 +0100 | <haskellbridge> | <linj> what are your gripes with NixOS modules other than error messages? |
| 2025-01-27 12:43:56 +0100 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-01-27 12:44:05 +0100 | <dminuoso> | Evaluation speed is horrible. |
| 2025-01-27 12:44:18 +0100 | <haskellbridge> | <magic_rb> Thats not a module system problem |
| 2025-01-27 12:44:26 +0100 | <haskellbridge> | <magic_rb> Thats a nix problem, the evaluator is shit |
| 2025-01-27 12:44:29 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Ping timeout: 260 seconds) |
| 2025-01-27 12:44:39 +0100 | <haskellbridge> | <linj> any more |
| 2025-01-27 12:44:41 +0100 | <dminuoso> | Given that the module system is written in nix, I dont see how the distinction is meaningful. |
| 2025-01-27 12:44:58 +0100 | <dminuoso> | I pointed out earlier: I think it would be better if it was not written and shoehorned into nix. |
| 2025-01-27 12:45:01 +0100 | <dminuoso> | But its not. |
| 2025-01-27 12:45:07 +0100 | <haskellbridge> | <magic_rb> I disagree |
| 2025-01-27 12:45:21 +0100 | <haskellbridge> | <magic_rb> Nix doesnt change often, the module system does |
| 2025-01-27 12:45:53 +0100 | <haskellbridge> | <magic_rb> And the module system isnt slow, feel free to fix interpreter into a proper byte code one. Anyway sorry i gotta go do stuff |
| 2025-01-27 12:47:56 +0100 | <dminuoso> | Given that the evaluator is built directly into nix, this turns into a "feel free to write a byte code compiler for nix" discussion. |
| 2025-01-27 12:49:00 +0100 | <haskellbridge> | <magic_rb> you dont have to do it in nix tbh |
| 2025-01-27 12:49:04 +0100 | haritzondo | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host) |
| 2025-01-27 12:49:04 +0100 | haritzondo | (~hrtz@user/haritz) haritz |
| 2025-01-27 12:49:08 +0100 | <haskellbridge> | <magic_rb> you can also use libnix these days and spit out derivations |
| 2025-01-27 12:49:10 +0100 | haritzondo | haritz |
| 2025-01-27 12:49:49 +0100 | <lisbeths`> | lets say you compose a list of all of these technological problems you have mentioned about nix. and lets say you composed another list of all the reasons why you cant fix those problems on the first list. if you fix the problems on the second list then you will eliminate the issues youve mentioned with nix |
| 2025-01-27 12:52:23 +0100 | <dminuoso> | well, you still have to fix the first list. ;) |
| 2025-01-27 12:53:37 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-01-27 12:55:23 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-27 12:57:46 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-27 12:59:57 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 13:00:14 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 260 seconds) |
| 2025-01-27 13:04:06 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-01-27 13:26:27 +0100 | jespada | (~jespada@2800:a4:2336:fe00:d464:ab03:58c1:4d04) jespada |
| 2025-01-27 13:31:38 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-27 13:35:37 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-27 13:36:09 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-01-27 13:40:32 +0100 | hellwolf | (~user@6089-cf2c-df57-f396-0f00-4d40-07d0-2001.sta.estpak.ee) (Remote host closed the connection) |
| 2025-01-27 13:40:51 +0100 | hellwolf | (~user@6089-cf2c-df57-f396-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2025-01-27 13:48:21 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 13:51:47 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-01-27 13:52:46 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-27 13:53:48 +0100 | lisbeths` | (~user@2603:3023:4be:4000:216:3eff:fe17:d69d) (Ping timeout: 272 seconds) |
| 2025-01-27 13:57:53 +0100 | tabaqui1 | (~root@87.200.129.102) tabaqui |
| 2025-01-27 14:02:07 +0100 | euouae | (~euouae@user/euouae) euouae |
| 2025-01-27 14:02:27 +0100 | <euouae> | Hello I'm trying to use `cabal test` from out of project directory testing |
| 2025-01-27 14:02:50 +0100 | <euouae> | I tried --project-dir="$path" but it is telling me that no cabal.project file or cabal file matching *.cabal was found |
| 2025-01-27 14:02:55 +0100 | <euouae> | I think it's searching in CWD |
| 2025-01-27 14:05:53 +0100 | <mauke> | I recall getting that error for a project file that couldn't be parsed |
| 2025-01-27 14:05:58 +0100 | <mauke> | or something like that |
| 2025-01-27 14:06:07 +0100 | <euouae> | hm, apparently if I append 'all' to the above it works |
| 2025-01-27 14:06:21 +0100 | <euouae> | it's just a slight behavior deviation from `cabal test` in-source where it assumes the default target |
| 2025-01-27 14:08:49 +0100 | <hellwolf> | can you do a `ls -R` there and paste to https://paste.tomsmeding.com/? |
| 2025-01-27 14:09:10 +0100 | <euouae> | on project dir? it's a default `cabal init` |
| 2025-01-27 14:10:00 +0100 | <hellwolf> | I just did a cabal init, and it worked. |
| 2025-01-27 14:10:11 +0100 | <hellwolf> | did you choose "3) Library and Executable" |
| 2025-01-27 14:10:16 +0100 | <hellwolf> | or, which one did you choose? |
| 2025-01-27 14:10:21 +0100 | <euouae> | I chose Library |
| 2025-01-27 14:10:33 +0100 | <euouae> | You just need to provide the test target, that's all |
| 2025-01-27 14:10:38 +0100 | <euouae> | I figured it out |
| 2025-01-27 14:10:49 +0100 | <hellwolf> | good |
| 2025-01-27 14:11:02 +0100 | <hellwolf> | not for me though. which cabal version you are using. |
| 2025-01-27 14:11:19 +0100 | <hellwolf> | I guess maybe you made some modifications too. |
| 2025-01-27 14:11:25 +0100 | <hellwolf> | I just tried the default cabal init |
| 2025-01-27 14:12:32 +0100 | <euouae> | 3.12 |
| 2025-01-27 14:16:20 +0100 | alx741 | (~alx741@186.33.188.229) |
| 2025-01-27 14:26:08 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-01-27 14:34:02 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-27 14:36:18 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-27 14:36:24 +0100 | penteract | (~toby@blbn-12-b2-v4wan-167809-cust345.vm18.cable.virginm.net) |
| 2025-01-27 14:37:25 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 14:38:29 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-01-27 14:38:51 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-27 14:39:39 +0100 | alp_ | (~alp@128-79-174-146.hfc.dyn.abo.bbox.fr) |
| 2025-01-27 14:41:05 +0100 | alp | (~alp@2001:861:8ca0:4940:94ba:2e4d:2c57:ff61) (Ping timeout: 248 seconds) |
| 2025-01-27 14:41:41 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-27 14:47:35 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-27 14:50:02 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Client Quit) |
| 2025-01-27 14:53:38 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-01-27 14:53:46 +0100 | euleritian | (~euleritia@dynamic-176-006-143-130.176.6.pool.telefonica.de) |
| 2025-01-27 14:55:55 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 265 seconds) |
| 2025-01-27 14:57:37 +0100 | <euouae> | I have this simple megaparsec code that matches a newline token: <https://paste.tomsmeding.com/Z1YT2YfI> I'm getting the errors: <https://paste.tomsmeding.com/FCbetYRt> |
| 2025-01-27 14:58:14 +0100 | <euouae> | I don't know how to understand this error. "Couldn't match type ‘Token s0’ with ‘Char’". I know it's complaining about some ambiguity in newline, but I don't see it |
| 2025-01-27 15:01:23 +0100 | <ridcully> | euouae: shot in the dark: are you using Text and forgot to enable OverloadedStrings ? |
| 2025-01-27 15:01:37 +0100 | <euouae> | It's there it seems |
| 2025-01-27 15:01:41 +0100 | <dminuoso> | ridcully: No, that is not the issue. |
| 2025-01-27 15:02:18 +0100 | <dminuoso> | parseTest :: (ShowErrorComponent e, Show a, VisualStream s, TraversableStream s) => Parsec e s a -> s -> IO () |
| 2025-01-27 15:02:48 +0100 | <euouae> | Is the issue that newline is MonadParsec? |
| 2025-01-27 15:05:39 +0100 | CiaoSen | (~Jura@2a05:5800:20d:d600:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds) |
| 2025-01-27 15:06:15 +0100 | <dminuoso> | euouae: Im thinking its the opposite of what ridcully suggested. |
| 2025-01-27 15:06:31 +0100 | <dminuoso> | By enabling OverloadedStrings, `"hello world" :: IsText a => a` |
| 2025-01-27 15:06:38 +0100 | <dminuoso> | s/IsText/IsString/ |
| 2025-01-27 15:07:08 +0100 | <dminuoso> | Or.. no that does not quite make sense either |
| 2025-01-27 15:07:31 +0100 | jongkook90_ | (~jongkook9@user/jongkook90) jongkook90 |
| 2025-01-27 15:07:49 +0100 | euleritian | (~euleritia@dynamic-176-006-143-130.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-27 15:08:03 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-01-27 15:08:15 +0100 | euleritian | (~euleritia@77.23.250.232) |
| 2025-01-27 15:08:22 +0100 | lekapuz85_ | (uid686223@user/lekapuz85) (Quit: Connection closed for inactivity) |
| 2025-01-27 15:08:33 +0100 | <dminuoso> | euouae: Lets constrain the type checker. Give the string literal a type annotation. |
| 2025-01-27 15:08:57 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2025-01-27 15:10:39 +0100 | <euouae> | Ambiguous type variable ‘e0’ arising from a use of ‘parseTest’ prevents the constraint ‘(ShowErrorComponent e0)’ from being solved. |
| 2025-01-27 15:10:41 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-27 15:10:45 +0100 | <euouae> | I tried :: Text and :: String |
| 2025-01-27 15:13:07 +0100 | <euouae> | It's a bit depressing how difficult haskell is with regards to its polymorphism |
| 2025-01-27 15:14:08 +0100 | <dminuoso> | euouae: Well, partially the libraries are to blame. |
| 2025-01-27 15:14:16 +0100 | <dminuoso> | euouae: Now this issue I can explain. |
| 2025-01-27 15:14:37 +0100 | <dminuoso> | parseTest :: (ShowErrorComponent e, Show a, VisualStream s, TraversableStream s) => Parsec e s a -> s -> IO () |
| 2025-01-27 15:15:26 +0100 | <dminuoso> | Note how the type has `e` (and a) only in negative position, but not in positive position. That is, it cannot infer from the output what kind of `e` (and a) you want from the fact that you use it. |
| 2025-01-27 15:15:41 +0100 | <dminuoso> | `s` can be inferred from the second argument |
| 2025-01-27 15:15:49 +0100 | <dminuoso> | but `e` and `a` must be inferred from the first argument |
| 2025-01-27 15:16:04 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2025-01-27 15:16:13 +0100 | acidjnk | (~acidjnk@p200300d6e7283f58c4cea7af3a5e8af9.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-01-27 15:16:55 +0100 | <dminuoso> | euouae: Note, that while you defined `type Parser = Parsec Void Text` (which would set the error to Void), you do not use that type anywhere. |
| 2025-01-27 15:17:17 +0100 | <dminuoso> | The same holds true for `s` here too, which is why you got the error before. |
| 2025-01-27 15:17:28 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-01-27 15:17:41 +0100 | acidjnk | (~acidjnk@p200300d6e7283f58c4cea7af3a5e8af9.dip0.t-ipconnect.de) acidjnk |
| 2025-01-27 15:18:01 +0100 | <euouae> | yeah I don't use the type, it's what is recommended to do, but who knows why |
| 2025-01-27 15:18:27 +0100 | <euouae> | I was trying to see how I like haskell (revisiting after a long time) but in parallel I'm giving OCaml a go |
| 2025-01-27 15:18:30 +0100 | <dminuoso> | euouae: Lets step back, and remove the type annotation on the string literal. |
| 2025-01-27 15:18:34 +0100 | fmira | (~user@user/fmira) (Remote host closed the connection) |
| 2025-01-27 15:19:06 +0100 | <dminuoso> | euouae: The core idea is that you write `a :: Parser _; a = ...` where _ should be some type |
| 2025-01-27 15:19:23 +0100 | <dminuoso> | euouae: Then, when you use `parseTest a` it can unify types accordingly. |
| 2025-01-27 15:19:30 +0100 | fmira | (~user@user/fmira) fmira |
| 2025-01-27 15:19:34 +0100 | <euouae> | so e.g. how would I write newline with Parser? |
| 2025-01-27 15:19:56 +0100 | <dminuoso> | euouae: Well, you could just write `newline :: Parser ()` instead |
| 2025-01-27 15:20:08 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-27 15:20:23 +0100 | <dminuoso> | euouae: In other words, you must monomorphize your parser eventually, or parseTest |
| 2025-01-27 15:20:49 +0100 | <euouae> | What you're saying does make sense, it's just that I don't know all the moving parts of megaparsec nor are they illustrated in a straightforward manner (for me) to digest |
| 2025-01-27 15:20:59 +0100 | <dminuoso> | Yeah, I'm not a big fan of megaparsec either. |
| 2025-01-27 15:21:08 +0100 | ski | (~ski@remote11.chalmers.se) ski |
| 2025-01-27 15:21:20 +0100 | <euouae> | For exmaple with newline :: Parser () I get an error Couldn't match type ‘Char’ with ‘()’ |
| 2025-01-27 15:21:26 +0100 | <euouae> | What do you prefer instead? |
| 2025-01-27 15:21:32 +0100 | <dminuoso> | euouae: Oh `Parser Char` of course. |
| 2025-01-27 15:21:58 +0100 | <dminuoso> | There's probably a combinator to throw the result away |
| 2025-01-27 15:22:07 +0100 | <dminuoso> | Since you dont care about the actual newline character in all likelihood |
| 2025-01-27 15:22:23 +0100 | <dminuoso> | () <$ single '\n' |
| 2025-01-27 15:22:30 +0100 | <dminuoso> | Probably some megaparsec builtin for that *shrugs* |
| 2025-01-27 15:22:44 +0100 | <euouae> | Good point |
| 2025-01-27 15:23:01 +0100 | <dminuoso> | THen you can use `Parser ()` of course |
| 2025-01-27 15:23:28 +0100 | <dminuoso> | My personal favourite library for parsing is `flatparse`. |
| 2025-01-27 15:24:03 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2025-01-27 15:24:03 +0100 | <euouae> | It seems that megaparsec is as general as possible so that you can parse general types |
| 2025-01-27 15:24:12 +0100 | <euouae> | but in practice people just parse byte strings |
| 2025-01-27 15:24:21 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-01-27 15:24:27 +0100 | <euouae> | is that fair to say? |
| 2025-01-27 15:24:29 +0100 | <dminuoso> | Plenty people parse on Text or String too |
| 2025-01-27 15:24:38 +0100 | <euouae> | yeah, those too |
| 2025-01-27 15:25:38 +0100 | sprotte24 | (~sprotte24@p200300d16f2a5f00a9408391bb436145.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-27 15:25:45 +0100 | <dminuoso> | If you want a simplistic and fast library, do take a look at flatparse |
| 2025-01-27 15:25:49 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 15:25:59 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-01-27 15:27:08 +0100 | <euouae> | "Informative tutorials are work in progress. See src/FlatParse/Examples for a lexer/parser example with acceptably good error messages." then you click the examples for 404 |
| 2025-01-27 15:27:11 +0100 | <euouae> | <https://hackage.haskell.org/package/flatparse> |
| 2025-01-27 15:27:51 +0100 | <euouae> | maybe that's some README.md issue. anbyway I located them on github |
| 2025-01-27 15:27:59 +0100 | lisbeths | (~user@c-174-164-24-226.hsd1.wa.comcast.net) lisbeths |
| 2025-01-27 15:28:11 +0100 | <dminuoso> | Yeah that's not meant for hackage |
| 2025-01-27 15:28:11 +0100 | <__monty__> | Megaparsec is fairly convenient once you get used to its particular model IMO. |
| 2025-01-27 15:28:30 +0100 | sprotte24 | (~sprotte24@p200300d16f2a5f00a9408391bb436145.dip0.t-ipconnect.de) |
| 2025-01-27 15:28:57 +0100 | <dminuoso> | Note that flatparse is rather low level in a bunch of ways. Error handling you pretty much have to conjure yourself, but there's a bunch of primitives and examples |
| 2025-01-27 15:29:00 +0100 | <euouae> | but how do you begin __monty__ ? |
| 2025-01-27 15:30:13 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-27 15:31:33 +0100 | jongkook90_ | jongkook90 |
| 2025-01-27 15:31:42 +0100 | <__monty__> | euouae: Have you checked out the tutorials? https://markkarpov.com/tutorial/megaparsec.html |
| 2025-01-27 15:32:01 +0100 | <euouae> | Yeah something confusnig about this tutorial is that it re-defines things that are already in megaparsec |
| 2025-01-27 15:32:07 +0100 | <dminuoso> | __monty__: Honestly the tutorial is very intimidating. |
| 2025-01-27 15:33:11 +0100 | <haskellbridge> | <sm> g'day all. megaparsec is the only industrial strength one AFAIK, having all the features you eventually need like good errors support. But it's not always the easiest. With it and maybe the others I find having the api / combinators scattered across different modules and packages makes them hard to learn |
| 2025-01-27 15:33:39 +0100 | <haskellbridge> | <sm> though mp has an excellent tutorial |
| 2025-01-27 15:34:01 +0100 | <haskellbridge> | <sm> oh you mentioned it |
| 2025-01-27 15:34:03 +0100 | <haskellbridge> | <sm> what's wrong with the flatparse readme ? |
| 2025-01-27 15:34:16 +0100 | <euouae> | Its examples link is broken on hackage |
| 2025-01-27 15:34:31 +0100 | <haskellbridge> | <sm> ah |
| 2025-01-27 15:34:45 +0100 | <__monty__> | euouae: I think that's a pedagogic approach, teaching you how it works through reimplementing. |
| 2025-01-27 15:34:46 +0100 | <dminuoso> | sm: flatparse has more potential for rich errors than megaparsec by far. |
| 2025-01-27 15:35:37 +0100 | <euouae> | __monty__: it is not well-written. it is not clear that it is demonstrating something that already exists |
| 2025-01-27 15:35:46 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 272 seconds) |
| 2025-01-27 15:35:47 +0100 | <euouae> | __monty__: see e.g. the text surrounding "The first primitive is called token" |
| 2025-01-27 15:35:54 +0100 | <euouae> | there is no indication that token is in fact in megaparsec |
| 2025-01-27 15:35:59 +0100 | <dminuoso> | It's a double edged sword: You *can* make error behavior any way you want (by switching between errors and failure, and defining custom merge logic at cuts), but you *have* to do it all yourself. |
| 2025-01-27 15:36:28 +0100 | <dminuoso> | Want to display a source span? It's easy, just do it. |
| 2025-01-27 15:36:53 +0100 | <haskellbridge> | <sm> I was going to say.. potential is good.. is there good api to make good errors practical ? |
| 2025-01-27 15:37:17 +0100 | fp | (~Thunderbi@2001:708:150:10::7390) fp |
| 2025-01-27 15:37:20 +0100 | <dminuoso> | sm: The full power of the API is described by one combinator: |
| 2025-01-27 15:37:23 +0100 | <dminuoso> | cutting :: ParserT st e a -> e -> (e -> e -> e) -> ParserT st e a |
| 2025-01-27 15:38:09 +0100 | <dminuoso> | It's that single thing that enables you to build all the custom magic for contextual build up |
| 2025-01-27 15:38:54 +0100 | <__monty__> | euouae: I'm not saying it's without faults but I don't know of better introductions. |
| 2025-01-27 15:39:05 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-27 15:39:11 +0100 | <haskellbridge> | <sm> sure but is that a lot of work ? do you get the feeling that the lib has been used in the real world so the common things you want to do are relatively easy ? |
| 2025-01-27 15:39:17 +0100 | <euouae> | __monty__: I'll give some more time to megaparsec and I'll try to writ emy own introduction for basic things that can be done |
| 2025-01-27 15:39:17 +0100 | <__monty__> | euouae: What I did was get to grips with ReadP first. And then Megaparsec kinda just was more of the same. |
| 2025-01-27 15:39:46 +0100 | <euouae> | __monty__: sure -- if ReadP is a good pre-requisite then a good introduction to megaparsec should mention that :P |
| 2025-01-27 15:39:58 +0100 | <euouae> | but thanks for sharing, I'll keep it in mind |
| 2025-01-27 15:40:16 +0100 | <haskellbridge> | <sm> mp had a bunch of blog posts IIRC, not just one tutorial |
| 2025-01-27 15:40:48 +0100 | <__monty__> | euouae: I don't know if it's really the best way to get introduced to parser combinators but it was enough to turn the cliff into a slope. |
| 2025-01-27 15:42:08 +0100 | <dminuoso> | sm: Depends on your expectations, as usual. |
| 2025-01-27 15:42:54 +0100 | <dminuoso> | sm: Its definitely not a library for "Oh I just want to explore the wonders of Haskell". But "industry strength" to me suggests high performance and full customizability. Both which flatparse is exceptionally good at. |
| 2025-01-27 15:44:08 +0100 | <dminuoso> | https://paste.tomsmeding.com/nrjGqfML this is an example from one of our simple parser on how I use `cutting` to build a simple `label` combinator to annotate parsers a simple label what they are currently parsing. |
| 2025-01-27 15:44:49 +0100 | <dminuoso> | Where `merge` is just a function to merge an inner and outer error together in a sensible fashion |
| 2025-01-27 15:45:26 +0100 | <__monty__> | Do you use flatparse with the parser-combinators package? |
| 2025-01-27 15:45:36 +0100 | <haskellbridge> | <sm> I hear that. For me it's more than that, it's also things like practical api already there for real world needs, good maintenance, good ecosystem support, and especially excellent documentation |
| 2025-01-27 15:46:11 +0100 | <haskellbridge> | <sm> I don't know what flatparse has, so I'm just picking your brains in case I'm missing something better. Docs are certainly not what I'd want |
| 2025-01-27 15:46:21 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-27 15:46:31 +0100 | <haskellbridge> | <sm> (need.. as a person who struggled with parsers :) |
| 2025-01-27 15:47:05 +0100 | <haskellbridge> | <sm> I mean: the flatparse docs look fairly minimal. That's something I appreciated about mp |
| 2025-01-27 15:47:29 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-01-27 15:48:13 +0100 | <euouae> | Another thing I can't figure out is how to use megaparsec in a test suite |
| 2025-01-27 15:48:37 +0100 | <euouae> | the parseTest function is not appropriate since it just prints stuff in failure but the test checks pass |
| 2025-01-27 15:49:59 +0100 | <haskellbridge> | <sm> https://markkarpov.com/posts has the blog posts I was thinking of. They're not really beginner oriented but I think they can be helpful to give an idea of the evolution and why things are as they are now |
| 2025-01-27 15:50:36 +0100 | <__monty__> | euouae: That function's more intended for interactive "testing", like in the repl. |
| 2025-01-27 15:50:38 +0100 | <haskellbridge> | <sm> https://markkarpov.com/tutorial/megaparsec.html#testing-megaparsec-parsers ? |
| 2025-01-27 15:51:21 +0100 | <__monty__> | euouae: You'd probably just use `parse` in a testsuite. |
| 2025-01-27 15:54:14 +0100 | <euouae> | makes sense, thank you |
| 2025-01-27 15:54:39 +0100 | euleritian | (~euleritia@77.23.250.232) (Ping timeout: 260 seconds) |
| 2025-01-27 15:55:37 +0100 | euleritian | (~euleritia@dynamic-176-006-143-130.176.6.pool.telefonica.de) |
| 2025-01-27 16:03:46 +0100 | alp_ | (~alp@128-79-174-146.hfc.dyn.abo.bbox.fr) (Ping timeout: 248 seconds) |
| 2025-01-27 16:05:03 +0100 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Ping timeout: 246 seconds) |
| 2025-01-27 16:11:33 +0100 | alp_ | (~alp@2001:861:8ca0:4940:e570:5962:9fdf:417e) |
| 2025-01-27 16:13:57 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-27 16:17:13 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 16:18:04 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-27 16:18:22 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-27 16:20:05 +0100 | jcarpenter2 | (~lol@2603:3016:1e01:b9c0:f81e:e0f5:bc3d:aa5) |
| 2025-01-27 16:21:37 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-27 16:24:59 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 260 seconds) |
| 2025-01-27 16:26:50 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-01-27 16:27:58 +0100 | caubert_ | caubert |
| 2025-01-27 16:33:10 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2025-01-27 16:36:39 +0100 | acidjnk | (~acidjnk@p200300d6e7283f58c4cea7af3a5e8af9.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-01-27 16:37:49 +0100 | euleritian | (~euleritia@dynamic-176-006-143-130.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-27 16:38:08 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-27 16:40:20 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-01-27 16:40:46 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-27 16:41:10 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-27 16:45:45 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 276 seconds) |
| 2025-01-27 16:48:36 +0100 | acidjnk | (~acidjnk@p200300d6e7283f58c43e5382bd47b9f2.dip0.t-ipconnect.de) acidjnk |
| 2025-01-27 16:49:15 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-27 16:53:24 +0100 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) Miroboru |
| 2025-01-27 16:53:31 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2025-01-27 17:02:06 +0100 | fp | (~Thunderbi@2001:708:150:10::7390) (Ping timeout: 246 seconds) |
| 2025-01-27 17:03:48 +0100 | alecs | (~alecs@nat16.software.imdea.org) (Ping timeout: 252 seconds) |
| 2025-01-27 17:05:57 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 17:10:24 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-27 17:10:46 +0100 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2025-01-27 17:11:54 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2025-01-27 17:17:48 +0100 | Fijxu | (~Fijxu@user/fijxu) (Ping timeout: 244 seconds) |
| 2025-01-27 17:27:19 +0100 | ft | (~ft@p3e9bcd97.dip0.t-ipconnect.de) ft |
| 2025-01-27 17:28:14 +0100 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-01-27 17:38:51 +0100 | acidjnk | (~acidjnk@p200300d6e7283f58c43e5382bd47b9f2.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-01-27 17:40:37 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-27 17:41:54 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2025-01-27 17:42:20 +0100 | jespada | (~jespada@2800:a4:2336:fe00:d464:ab03:58c1:4d04) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-01-27 17:43:23 +0100 | lisbeths | (~user@c-174-164-24-226.hsd1.wa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-27 17:45:09 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 248 seconds) |
| 2025-01-27 17:47:58 +0100 | son0p | (~ff@2800:e6:4001:6cc3:2e2c:4b4e:bc2a:6f17) son0p |
| 2025-01-27 17:49:28 +0100 | fmira | (~user@user/fmira) (Remote host closed the connection) |
| 2025-01-27 17:49:58 +0100 | fmira | (~user@user/fmira) fmira |
| 2025-01-27 17:51:18 +0100 | penteract | (~toby@blbn-12-b2-v4wan-167809-cust345.vm18.cable.virginm.net) (Quit: leaving) |
| 2025-01-27 17:55:22 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-27 17:59:39 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-27 18:00:10 +0100 | alp_ | (~alp@2001:861:8ca0:4940:e570:5962:9fdf:417e) (Ping timeout: 272 seconds) |
| 2025-01-27 18:04:53 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |