2023-08-20 00:02:00 +0200 | sm | (~sm@plaintextaccounting/sm) |
2023-08-20 00:03:58 +0200 | ursa-major | (~ursa-majo@37.19.210.36) |
2023-08-20 00:05:24 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 256 seconds) |
2023-08-20 00:06:53 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
2023-08-20 00:08:57 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2023-08-20 00:11:43 +0200 | titibandit | (~titibandi@user/titibandit) |
2023-08-20 00:13:00 +0200 | acidjnk | (~acidjnk@p200300d6e7072f50fc6d50d58f49c7f1.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2023-08-20 00:14:19 +0200 | emma-underscores | (~Thunderbi@pool-96-224-232-121.nycmny.fios.verizon.net) |
2023-08-20 00:23:23 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
2023-08-20 00:23:50 +0200 | mima | (~mmh@net-93-148-96-78.cust.dsl.teletu.it) |
2023-08-20 00:24:01 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
2023-08-20 00:25:13 +0200 | son0p | (~ff@191.104.6.44) |
2023-08-20 00:26:20 +0200 | mvk | (~mvk@2607:fea8:5c9a:a600::1c6d) (Ping timeout: 248 seconds) |
2023-08-20 00:27:18 +0200 | BigKozlowski | (~BigKozlow@84.21.165.226) |
2023-08-20 00:31:47 +0200 | BigKozlowski | (~BigKozlow@84.21.165.226) (Ping timeout: 260 seconds) |
2023-08-20 00:35:39 +0200 | szkl | (uid110435@2a03:5180:f:5::1:af63) |
2023-08-20 00:44:22 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
2023-08-20 00:46:54 +0200 | gleostocha | (~runic@2600:1700:3bdd:9810::3b) |
2023-08-20 00:48:13 +0200 | ulysses4ever | (~artem@73.145.240.47) |
2023-08-20 00:52:05 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2023-08-20 00:52:34 +0200 | ulysses4ever | (~artem@73.145.240.47) (Ping timeout: 252 seconds) |
2023-08-20 00:53:00 +0200 | mima | (~mmh@net-93-148-96-78.cust.dsl.teletu.it) (Ping timeout: 256 seconds) |
2023-08-20 00:53:05 +0200 | img | (~img@user/img) |
2023-08-20 00:53:08 +0200 | ulysses4ever | (~artem@2601:408:c405:1b6f:f474:e3f8:9806:671) |
2023-08-20 00:54:05 +0200 | gleostocha | (~runic@2600:1700:3bdd:9810::3b) (Remote host closed the connection) |
2023-08-20 00:58:06 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 256 seconds) |
2023-08-20 00:59:48 +0200 | ulysses4ever | (~artem@2601:408:c405:1b6f:f474:e3f8:9806:671) (Ping timeout: 256 seconds) |
2023-08-20 00:59:52 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 240 seconds) |
2023-08-20 01:00:35 +0200 | falafel | (~falafel@216.68.6.51.dyn.plus.net) |
2023-08-20 01:02:14 +0200 | mikoto-chan | (~mikoto-ch@85-76-165-132-nat.elisa-mobile.fi) |
2023-08-20 01:03:47 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2023-08-20 01:04:21 +0200 | BigKozlowski | (~BigKozlow@84.21.165.226) |
2023-08-20 01:05:54 +0200 | hippoid | (~hippoid@user/hippoid) (Quit: WeeChat 4.0.1) |
2023-08-20 01:08:39 +0200 | BigKozlowski | (~BigKozlow@84.21.165.226) (Ping timeout: 246 seconds) |
2023-08-20 01:13:25 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
2023-08-20 01:14:54 +0200 | ulysses4ever | (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) |
2023-08-20 01:15:58 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds) |
2023-08-20 01:17:50 +0200 | tabemann | (~tabemann@74-33-195-2.dr02.glvv.ny.frontiernet.net) |
2023-08-20 01:19:49 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2023-08-20 01:22:28 +0200 | emma-underscores | (~Thunderbi@pool-96-224-232-121.nycmny.fios.verizon.net) (Ping timeout: 256 seconds) |
2023-08-20 01:29:37 +0200 | tabemann_ | (~tabemann@74-42-162-213.dsl2.nrwc.ny.frontiernet.net) |
2023-08-20 01:31:05 +0200 | shapr | (~user@2600:1700:c640:3100:32f1:35fd:5274:796e) (Remote host closed the connection) |
2023-08-20 01:31:07 +0200 | emma-underscores | (~Thunderbi@pool-96-224-232-121.nycmny.fios.verizon.net) |
2023-08-20 01:31:18 +0200 | shapr | (~user@2600:1700:c640:3100:753c:594:e430:473e) |
2023-08-20 01:31:32 +0200 | tabemann | (~tabemann@74-33-195-2.dr02.glvv.ny.frontiernet.net) (Ping timeout: 256 seconds) |
2023-08-20 01:32:22 +0200 | BigKozlowski | (~BigKozlow@84.21.165.226) |
2023-08-20 01:36:31 +0200 | BigKozlowski | (~BigKozlow@84.21.165.226) (Ping timeout: 246 seconds) |
2023-08-20 01:41:37 +0200 | artem | (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) |
2023-08-20 01:41:38 +0200 | ulysses4ever | (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Read error: Connection reset by peer) |
2023-08-20 01:41:52 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
2023-08-20 01:42:28 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
2023-08-20 01:43:11 +0200 | Lord_of_Life_ | Lord_of_Life |
2023-08-20 01:44:29 +0200 | artem | (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Read error: Connection reset by peer) |
2023-08-20 01:44:32 +0200 | ulysses4ever | (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) |
2023-08-20 01:48:29 +0200 | Tuplanolla | (~Tuplanoll@91.159.68.236) (Quit: Leaving.) |
2023-08-20 01:50:32 +0200 | artem | (~artem@73.145.240.182) |
2023-08-20 01:52:11 +0200 | emma-underscores | (~Thunderbi@pool-96-224-232-121.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
2023-08-20 01:52:53 +0200 | ulysses4ever | (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Ping timeout: 246 seconds) |
2023-08-20 01:53:12 +0200 | ulysses4ever | (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) |
2023-08-20 01:54:20 +0200 | BigKozlowski | (~BigKozlow@84.21.165.226) |
2023-08-20 01:54:52 +0200 | artem | (~artem@73.145.240.182) (Ping timeout: 248 seconds) |
2023-08-20 01:55:30 +0200 | ulysses4ever | (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Read error: Connection reset by peer) |
2023-08-20 01:55:41 +0200 | ulysses4ever | (~artem@172.58.147.22) |
2023-08-20 01:58:14 +0200 | artem | (~artem@73.145.240.182) |
2023-08-20 01:58:26 +0200 | BigKozlowski | (~BigKozlow@84.21.165.226) (Ping timeout: 250 seconds) |
2023-08-20 01:59:04 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::2) |
2023-08-20 02:00:10 +0200 | notzmv | (~zmv@user/notzmv) |
2023-08-20 02:02:08 +0200 | ulysses4ever | (~artem@172.58.147.22) (Ping timeout: 256 seconds) |
2023-08-20 02:04:03 +0200 | arahael | (~arahael@1.145.87.227) |
2023-08-20 02:05:42 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 260 seconds) |
2023-08-20 02:07:49 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
2023-08-20 02:08:02 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::2) (Ping timeout: 260 seconds) |
2023-08-20 02:08:55 +0200 | ulysses4ever | (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) |
2023-08-20 02:11:00 +0200 | artem | (~artem@73.145.240.182) (Ping timeout: 250 seconds) |
2023-08-20 02:15:05 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
2023-08-20 02:17:46 +0200 | BigKozlowski | (~BigKozlow@84.21.165.226) |
2023-08-20 02:19:10 +0200 | artem | (~artem@2601:249:4380:8950:f474:e3f8:9806:671) |
2023-08-20 02:21:32 +0200 | ulysses4ever | (~artem@2607:fb91:2fa3:58e8:f474:e3f8:9806:671) (Ping timeout: 248 seconds) |
2023-08-20 02:22:06 +0200 | BigKozlowski | (~BigKozlow@84.21.165.226) (Ping timeout: 245 seconds) |
2023-08-20 02:28:52 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
2023-08-20 02:30:04 +0200 | ouroboros | (~ouroboros@user/ouroboros) (Ping timeout: 250 seconds) |
2023-08-20 02:30:12 +0200 | acro | (~acro@user/acro) (Ping timeout: 246 seconds) |
2023-08-20 02:34:16 +0200 | ouroboros | (~ouroboros@user/ouroboros) |
2023-08-20 02:36:30 +0200 | acro | (~acro@user/acro) |
2023-08-20 02:37:35 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
2023-08-20 02:37:52 +0200 | doyougnu | (~doyougnu@45.46.170.68) |
2023-08-20 02:41:55 +0200 | szkl | (uid110435@2a03:5180:f:5::1:af63) (Quit: Connection closed for inactivity) |
2023-08-20 02:46:39 +0200 | ulysses4ever | (~artem@73.145.241.182) |
2023-08-20 02:48:20 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
2023-08-20 02:48:25 +0200 | <arahael> | The HLS for cabal scripts works pretty badly. :( |
2023-08-20 02:48:44 +0200 | artem | (~artem@2601:249:4380:8950:f474:e3f8:9806:671) (Ping timeout: 248 seconds) |
2023-08-20 02:49:10 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 256 seconds) |
2023-08-20 02:50:16 +0200 | shapr | (~user@2600:1700:c640:3100:753c:594:e430:473e) (Remote host closed the connection) |
2023-08-20 02:50:51 +0200 | shapr | (~user@2600:1700:c640:3100:28bc:7f2a:b582:a6c) |
2023-08-20 02:51:03 +0200 | lottaquestions | (~nick@2607:fa49:503d:b200:ef5b:a0d5:dc54:1113) (Quit: Konversation terminated!) |
2023-08-20 02:53:15 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
2023-08-20 02:53:54 +0200 | <arahael> | Hmm, and running a single file script (using cabal, not stack), hangs at: Linking /var/folders/wm/zwl_q6c537l7rsh9c6tm4m0m0000gn/T/cabal-repl.-40374/dist-newstyle/build/aarch64-osx/ghc-9.2.8/fake-package-0/x/script/build/script/script ... |
2023-08-20 02:53:58 +0200 | <arahael> | Not sure how to fix that. |
2023-08-20 02:55:34 +0200 | phma | (phma@2001:5b0:210d:fa8:9f82:cebd:52a4:eb8d) (Read error: Connection reset by peer) |
2023-08-20 03:03:52 +0200 | arahael | (~arahael@1.145.87.227) (Ping timeout: 250 seconds) |
2023-08-20 03:04:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-08-20 03:05:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
2023-08-20 03:10:33 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2023-08-20 03:10:36 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds) |
2023-08-20 03:16:42 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2023-08-20 03:19:08 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 248 seconds) |
2023-08-20 03:23:16 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
2023-08-20 03:25:12 +0200 | razetime | (~quassel@117.254.36.38) |
2023-08-20 03:26:14 +0200 | razetime | (~quassel@117.254.36.38) (Client Quit) |
2023-08-20 03:30:15 +0200 | BigKozlowski | (~BigKozlow@84.21.165.226) |
2023-08-20 03:33:12 +0200 | falafel | (~falafel@216.68.6.51.dyn.plus.net) (Ping timeout: 246 seconds) |
2023-08-20 03:34:36 +0200 | BigKozlowski | (~BigKozlow@84.21.165.226) (Ping timeout: 245 seconds) |
2023-08-20 03:35:16 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 244 seconds) |
2023-08-20 03:49:12 +0200 | artem | (~artem@2601:249:4380:8950:f474:e3f8:9806:671) |
2023-08-20 03:51:51 +0200 | ulysses4ever | (~artem@73.145.241.182) (Ping timeout: 260 seconds) |
2023-08-20 03:58:50 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
2023-08-20 04:00:44 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 248 seconds) |
2023-08-20 04:06:09 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
2023-08-20 04:06:10 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
2023-08-20 04:06:18 +0200 | machinedgod | (~machinedg@198.53.218.113) |
2023-08-20 04:07:01 +0200 | BigKozlowski | (~BigKozlow@84.21.165.226) |
2023-08-20 04:07:27 +0200 | vulpine | (xfnw@tilde.team) (Quit: Connection reset by purr) |
2023-08-20 04:08:43 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
2023-08-20 04:11:21 +0200 | BigKozlowski | (~BigKozlow@84.21.165.226) (Ping timeout: 246 seconds) |
2023-08-20 04:12:58 +0200 | td_ | (~td@i5387090E.versanet.de) (Ping timeout: 246 seconds) |
2023-08-20 04:13:27 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
2023-08-20 04:14:51 +0200 | td_ | (~td@i53870934.versanet.de) |
2023-08-20 04:15:23 +0200 | phma | (~phma@host-67-44-208-38.hnremote.net) |
2023-08-20 04:16:33 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
2023-08-20 04:17:50 +0200 | gastus_ | (~gastus@185.6.123.193) |
2023-08-20 04:18:48 +0200 | vulpine | (xfnw@tilde.team) |
2023-08-20 04:20:40 +0200 | gastus | (~gastus@185.6.123.210) (Ping timeout: 246 seconds) |
2023-08-20 04:26:01 +0200 | AlexNoo_ | (~AlexNoo@178.34.150.48) |
2023-08-20 04:28:42 +0200 | Alex_test | (~al_test@178.34.161.177) (Ping timeout: 245 seconds) |
2023-08-20 04:29:12 +0200 | AlexZenon | (~alzenon@178.34.161.177) (Ping timeout: 246 seconds) |
2023-08-20 04:29:32 +0200 | AlexNoo | (~AlexNoo@178.34.161.177) (Ping timeout: 245 seconds) |
2023-08-20 04:30:36 +0200 | ft | (~ft@80.141.190.80) (Ping timeout: 248 seconds) |
2023-08-20 04:32:22 +0200 | ft | (~ft@p4fc2ad78.dip0.t-ipconnect.de) |
2023-08-20 04:33:46 +0200 | AlexZenon | (~alzenon@178.34.150.48) |
2023-08-20 04:34:32 +0200 | Alex_test | (~al_test@178.34.150.48) |
2023-08-20 04:36:14 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Quit: Quit) |
2023-08-20 04:40:03 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2023-08-20 04:40:54 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::2) |
2023-08-20 04:43:45 +0200 | BigKozlowski | (~BigKozlow@84.21.165.226) |
2023-08-20 04:46:20 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) |
2023-08-20 04:47:36 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
2023-08-20 04:47:52 +0200 | BigKozlowski | (~BigKozlow@84.21.165.226) (Ping timeout: 245 seconds) |
2023-08-20 04:48:36 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
2023-08-20 04:49:06 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-08-20 04:49:06 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-08-20 04:49:06 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-08-20 04:51:22 +0200 | ulysses4ever | (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
2023-08-20 04:51:22 +0200 | artem | (~artem@2601:249:4380:8950:f474:e3f8:9806:671) (Read error: Connection reset by peer) |
2023-08-20 04:52:10 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
2023-08-20 04:52:10 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2023-08-20 04:52:10 +0200 | finn_elija | FinnElija |
2023-08-20 04:59:15 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::2) (Ping timeout: 245 seconds) |
2023-08-20 05:05:57 +0200 | aforemny | (~aforemny@i59F516C9.versanet.de) |
2023-08-20 05:06:18 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
2023-08-20 05:06:21 +0200 | aforemny_ | (~aforemny@89.245.22.230) (Ping timeout: 248 seconds) |
2023-08-20 05:08:27 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-08-20 05:08:27 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-08-20 05:08:27 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-08-20 05:09:20 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::ecce) |
2023-08-20 05:09:30 +0200 | <Inst> | Erm, can I ask a question about the runtime and how IO actually works? |
2023-08-20 05:09:52 +0200 | <Inst> | Does GHC compile main to be self-sufficient, or does main end up being bytecode to be interpreted by the runtime system? |
2023-08-20 05:10:36 +0200 | <Inst> | basically, how does main hook into the runtime, how do uses of unsafePerformIO hook into the runtime? |
2023-08-20 05:10:44 +0200 | BigKozlowski | (~BigKozlow@84.21.165.226) |
2023-08-20 05:12:32 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
2023-08-20 05:13:35 +0200 | <probie> | Inst: There is no bytecode to be interpreted by the runtime. `unsafePerformIO` conjures a `State# RealWorld` out of thin air, but as far as compiled code is concerned it is not magical (in fact, how unmagical it is, is a source of many issues when using it) |
2023-08-20 05:14:26 +0200 | <monochrom> | I would go beyond "unmagic". It doesn't even exist in asm code. |
2023-08-20 05:14:37 +0200 | <probie> | `IO a` is a function from `State# RealWorld -> (# State# RealWorld, a #)` and `State# RealWorld` has a 0 byte representation |
2023-08-20 05:14:59 +0200 | BigKozlowski | (~BigKozlow@84.21.165.226) (Ping timeout: 244 seconds) |
2023-08-20 05:16:37 +0200 | myme | (~myme@2a01:799:d60:e400:4a23:a534:a4cd:8840) (Ping timeout: 245 seconds) |
2023-08-20 05:16:54 +0200 | <EvanR> | RealWorld is deeply unmagical |
2023-08-20 05:17:14 +0200 | <monochrom> | Also, unsafePerformIO discards the phantom state, not conjure it. |
2023-08-20 05:17:37 +0200 | myme | (~myme@2a01:799:d60:e400:8c94:2d5b:43cf:54e) |
2023-08-20 05:17:44 +0200 | <monochrom> | err nevermind, it conjures one. |
2023-08-20 05:18:06 +0200 | <probie> | monochrom: it conjures one to be immediately discareded |
2023-08-20 05:18:13 +0200 | <probie> | s/discareded/discarded/ |
2023-08-20 05:18:46 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
2023-08-20 05:26:49 +0200 | <Inst> | so, in general, it occurs at the level of the compiler, with some side effects being calls to the runtime system? |
2023-08-20 05:26:54 +0200 | <Inst> | i.e, let's say I putStrLn |
2023-08-20 05:27:23 +0200 | <Inst> | I forget what it is, but it's a function of type (State# RealWorld -> (# RealWorld, ()#) or is it vice versa |
2023-08-20 05:28:00 +0200 | <Inst> | i know putStrLn is sort of complicated, but in say, main = putStrLn "Hello, Haskell!" |
2023-08-20 05:28:07 +0200 | <EvanR> | :t putStrLn |
2023-08-20 05:28:08 +0200 | <lambdabot> | String -> IO () |
2023-08-20 05:28:19 +0200 | <Inst> | welp, so I'm technically wrong, but you get what I'm asking, right? |
2023-08-20 05:28:35 +0200 | <EvanR> | String -> State# RealWorld -> (# State# RealWorld, () #) |
2023-08-20 05:28:42 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 246 seconds) |
2023-08-20 05:29:06 +0200 | bilegeek | (~bilegeek@2600:1008:b059:ae41:2aa3:6bea:2610:ccf9) |
2023-08-20 05:30:14 +0200 | <Inst> | the actual interaction level with the console, I guess, that's to do with the runtime? |
2023-08-20 05:30:50 +0200 | <EvanR> | yeah to see where I'd drill as far as you can go into the (haskell) code of putStrLn |
2023-08-20 05:31:12 +0200 | <EvanR> | console stuff is pretty involved, so maybe not a great place to start |
2023-08-20 05:31:49 +0200 | <Inst> | so at Cmm level, it's just a normal C function, with some calls to the GHC runtime |
2023-08-20 05:32:28 +0200 | machinedgod | (~machinedg@198.53.218.113) (Ping timeout: 248 seconds) |
2023-08-20 05:33:11 +0200 | <Inst> | so, main = putStrLn "What is your name? >> getLine >>= \u -> for_ putStr ["Hello, ", u, ".\n"] |
2023-08-20 05:33:21 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2023-08-20 05:34:05 +0200 | <Inst> | that actually has a pretty straightforward hypothetical translation to Cmm, tbh |
2023-08-20 05:34:45 +0200 | <EvanR> | putStrLn isn't even close to a primitive so it's just a bad example |
2023-08-20 05:34:52 +0200 | <Inst> | thanks for your time, and sorry about it, I guess trying to understand the Cmm translation and how the semantics of IO >> translation should work under laziness |
2023-08-20 05:35:05 +0200 | <Inst> | is a bit annoying |
2023-08-20 05:35:12 +0200 | <EvanR> | I like to pretend I understand how FFI works |
2023-08-20 05:35:25 +0200 | <EvanR> | and alot of support code ends up calling to the ffi |
2023-08-20 05:36:02 +0200 | <EvanR> | but that's opens up a lot more questions, and yeah you're asking specifically about the runtime |
2023-08-20 05:36:40 +0200 | <Inst> | ummm, let's say |
2023-08-20 05:36:53 +0200 | <Inst> | putStrLn "Hello" >> undefined >> putStrLn "Goodbye" |
2023-08-20 05:37:03 +0200 | <Inst> | in the result code, all the putStrLns exist, right? |
2023-08-20 05:37:29 +0200 | <Inst> | as does a call to the RTS to trigger the undefined exception |
2023-08-20 05:38:41 +0200 | <EvanR> | in the compiled code, no I don't know if putStrLns would exist. Their haskell code could have been inlined transformed optimized etc |
2023-08-20 05:39:13 +0200 | <EvanR> | you could try looking at core to get an idea of what RTS primitives to ask about |
2023-08-20 05:39:14 +0200 | <ski> | (.. i wonder whether it would simplify `error foo blah' and `case error foo of ...' (with refutable matching, forcing) to `error foo' .. if so, the second `putStrLn' might disappear) |
2023-08-20 05:44:31 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
2023-08-20 05:45:22 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
2023-08-20 05:49:28 +0200 | <Inst> | I guess it goes into me not understanding laziness, i.e, via the Hudak "everything is a function" explanation, everything can be understood as a pointer to a value that only gets instantiated when evaluated |
2023-08-20 05:50:01 +0200 | <Inst> | i.e, let's say I have a conditional split IO code into two forks |
2023-08-20 05:50:14 +0200 | <Inst> | does the IO code actually exist before it's evaluated, or does it always exist in the binary? |
2023-08-20 05:52:11 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::ecce) (Remote host closed the connection) |
2023-08-20 05:52:49 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::4a7d) |
2023-08-20 05:53:50 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
2023-08-20 05:54:56 +0200 | <EvanR> | if you write a top level x = 1:2:3:x |
2023-08-20 05:54:57 +0200 | <ski> | not sure what you mean exactly |
2023-08-20 05:55:18 +0200 | <EvanR> | it's not a function, more like a structure with a pointer to code that can compute more structure if needed |
2023-08-20 05:58:07 +0200 | <EvanR> | don't confuse lazy evaluation of non-IO stuff with how IO gets executed by the RTS. When you run main, you are playing a different ball game. The first IO action is what drives the evaluation, so it can execute something and move on |
2023-08-20 05:58:21 +0200 | <EvanR> | the IO itself isn't (normally) lazy |
2023-08-20 05:58:29 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
2023-08-20 05:58:42 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2023-08-20 05:59:15 +0200 | <EvanR> | IO gets interleaved with the lazy evaluation |
2023-08-20 05:59:33 +0200 | <Inst> | I get the feeling that IO was some kind of weird exception |
2023-08-20 05:59:40 +0200 | <ski> | with `foo >>= \x -> if plob x then bar else baz', the code for `bar' and `baz' would exist somewhere, and after executing `foo x', `prob x' would be forced, to (at least conceptually) yield `foo' or `bar' as result to continue execution. but i imagine that this would (in this concrete, non-indirected, example) probably be simiplified to expressing a conditional in the Cmm, whose branches execute `foo' or |
2023-08-20 05:59:46 +0200 | <ski> | `bar' directly, rather than constructing a `IO' action thunk, then making it forced |
2023-08-20 05:59:48 +0200 | <Inst> | and I actually think about ReaderT apparently being costless for the same reason |
2023-08-20 06:00:24 +0200 | <Inst> | like, a monad transformer over IO, does the entire monad transformer line get converted first before the IO parsing begins, or can it be done line by line? |
2023-08-20 06:03:56 +0200 | arahael | (~arahael@1.145.81.2) |
2023-08-20 06:08:57 +0200 | Buggys | (Buggys@Buggy.shelltalk.net) (Ping timeout: 246 seconds) |
2023-08-20 06:10:56 +0200 | <ski> | converted, how ? |
2023-08-20 06:15:55 +0200 | Buggys | (Buggys@Buggy.shelltalk.net) |
2023-08-20 06:16:20 +0200 | shapr | (~user@2600:1700:c640:3100:28bc:7f2a:b582:a6c) (Remote host closed the connection) |
2023-08-20 06:16:33 +0200 | shapr | (~user@2600:1700:c640:3100:7513:7153:4750:76c1) |
2023-08-20 06:20:59 +0200 | arahael | (~arahael@1.145.81.2) (Read error: Connection reset by peer) |
2023-08-20 06:34:02 +0200 | ski | (~ski@ext-1-303.eduroam.chalmers.se) (Ping timeout: 250 seconds) |
2023-08-20 06:35:56 +0200 | libertyprime | (~libertypr@203.96.203.44) |
2023-08-20 06:38:44 +0200 | arahael | (~arahael@1.145.93.51) |
2023-08-20 06:44:54 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 256 seconds) |
2023-08-20 06:57:26 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) |
2023-08-20 06:57:31 +0200 | arahael | (~arahael@1.145.93.51) (Read error: Connection reset by peer) |
2023-08-20 06:58:03 +0200 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
2023-08-20 06:59:46 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
2023-08-20 07:04:43 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
2023-08-20 07:15:40 +0200 | sm | (~sm@plaintextaccounting/sm) |
2023-08-20 07:17:47 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
2023-08-20 07:21:20 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds) |
2023-08-20 07:22:07 +0200 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
2023-08-20 07:25:45 +0200 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Client Quit) |
2023-08-20 07:26:19 +0200 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
2023-08-20 07:28:45 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
2023-08-20 07:37:13 +0200 | BigKozlowski | (~BigKozlow@84.21.165.150) |
2023-08-20 07:38:35 +0200 | bilegeek | (~bilegeek@2600:1008:b059:ae41:2aa3:6bea:2610:ccf9) (Quit: Leaving) |
2023-08-20 07:42:22 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
2023-08-20 07:46:49 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
2023-08-20 07:53:10 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2023-08-20 07:53:11 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::4a7d) (Remote host closed the connection) |
2023-08-20 07:53:21 +0200 | ss4 | (~wootehfoo@user/wootehfoot) |
2023-08-20 07:53:31 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::ecce) |
2023-08-20 07:55:48 +0200 | jargon | (~jargon@174-22-213-62.phnx.qwest.net) (Remote host closed the connection) |
2023-08-20 08:01:10 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
2023-08-20 08:02:28 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
2023-08-20 08:05:57 +0200 | jonathan_ | (~jonathan@193.203.13.25) |
2023-08-20 08:08:35 +0200 | acidjnk | (~acidjnk@p200300d6e7072f96b9b41a1c591e9c90.dip0.t-ipconnect.de) |
2023-08-20 08:16:33 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2023-08-20 08:20:59 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
2023-08-20 08:22:28 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
2023-08-20 08:22:51 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds) |
2023-08-20 08:24:36 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
2023-08-20 08:26:24 +0200 | BigKozlowski | (~BigKozlow@84.21.165.150) (Remote host closed the connection) |
2023-08-20 08:29:36 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-08-20 08:29:36 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-08-20 08:29:36 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-08-20 08:35:10 +0200 | migas | (~migas@62.138.8.62) (Remote host closed the connection) |
2023-08-20 08:35:27 +0200 | migas | (~migas@astra4961.startdedicated.net) |
2023-08-20 08:36:31 +0200 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Quit: Leaving) |
2023-08-20 08:41:21 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
2023-08-20 08:41:34 +0200 | merijn | (~merijn@83.128.129.88) |
2023-08-20 08:42:07 +0200 | misterfish | (~misterfis@178.226.72.131) |
2023-08-20 08:46:04 +0200 | merijn | (~merijn@83.128.129.88) (Ping timeout: 248 seconds) |
2023-08-20 08:50:53 +0200 | NewtonTrendy | (uid282092@user/bopqod) (Quit: Connection closed for inactivity) |
2023-08-20 08:54:59 +0200 | mima | (~mmh@net-93-148-96-78.cust.dsl.teletu.it) |
2023-08-20 08:55:44 +0200 | BigKozlowski | (~BigKozlow@194.5.60.24) |
2023-08-20 08:57:51 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::ecce) (Ping timeout: 246 seconds) |
2023-08-20 09:00:40 +0200 | sm | (~sm@plaintextaccounting/sm) |
2023-08-20 09:05:55 +0200 | BigKozlowski | (~BigKozlow@194.5.60.24) (Ping timeout: 246 seconds) |
2023-08-20 09:09:09 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
2023-08-20 09:12:37 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::d375) |
2023-08-20 09:13:14 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2023-08-20 09:13:57 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2023-08-20 09:17:49 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
2023-08-20 09:18:18 +0200 | fendor | (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) |
2023-08-20 09:25:25 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
2023-08-20 09:29:22 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
2023-08-20 09:35:57 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds) |
2023-08-20 09:36:11 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
2023-08-20 09:36:17 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2023-08-20 09:37:54 +0200 | mikoto-chan | (~mikoto-ch@85-76-165-132-nat.elisa-mobile.fi) (Ping timeout: 246 seconds) |
2023-08-20 09:40:01 +0200 | _ht | (~Thunderbi@82.174.52.28) |
2023-08-20 09:40:47 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
2023-08-20 09:44:21 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
2023-08-20 09:46:32 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-08-20 09:46:33 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-08-20 09:46:33 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-08-20 09:46:57 +0200 | sm | (~sm@plaintextaccounting/sm) |
2023-08-20 09:51:28 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6085:9764:49dd:5dc5) (Remote host closed the connection) |
2023-08-20 09:53:25 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds) |
2023-08-20 09:55:20 +0200 | sm | (~sm@plaintextaccounting/sm) |
2023-08-20 09:59:36 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 246 seconds) |
2023-08-20 09:59:50 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 256 seconds) |
2023-08-20 10:03:27 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
2023-08-20 10:03:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-08-20 10:09:11 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
2023-08-20 10:10:20 +0200 | titibandit | (~titibandi@user/titibandit) |
2023-08-20 10:11:04 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
2023-08-20 10:13:21 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
2023-08-20 10:13:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2023-08-20 10:15:50 +0200 | sm | (~sm@plaintextaccounting/sm) |
2023-08-20 10:16:50 +0200 | mima | (~mmh@net-93-148-96-78.cust.dsl.teletu.it) (Ping timeout: 256 seconds) |
2023-08-20 10:19:02 +0200 | shapr | (~user@2600:1700:c640:3100:7513:7153:4750:76c1) (Remote host closed the connection) |
2023-08-20 10:19:15 +0200 | shapr | (~user@2600:1700:c640:3100:4a10:9cc3:c2a8:452b) |
2023-08-20 10:20:05 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds) |
2023-08-20 10:24:37 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
2023-08-20 10:29:52 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 256 seconds) |
2023-08-20 10:31:35 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
2023-08-20 10:32:06 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2023-08-20 10:33:30 +0200 | dibblego | (~dibblego@116.255.1.151) |
2023-08-20 10:33:31 +0200 | dibblego | (~dibblego@116.255.1.151) (Changing host) |
2023-08-20 10:33:31 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-08-20 10:37:32 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
2023-08-20 10:41:42 +0200 | sm | (~sm@plaintextaccounting/sm) |
2023-08-20 10:45:55 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds) |
2023-08-20 10:47:00 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
2023-08-20 10:47:37 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
2023-08-20 10:49:42 +0200 | jonathan_ | (~jonathan@193.203.13.25) (Ping timeout: 256 seconds) |
2023-08-20 10:52:01 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:bc38:61d8:7af5:2488) |
2023-08-20 10:53:00 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 248 seconds) |
2023-08-20 10:54:37 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-08-20 10:54:37 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-08-20 10:54:37 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-08-20 10:56:09 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:bc38:61d8:7af5:2488) (Ping timeout: 246 seconds) |
2023-08-20 11:02:51 +0200 | gmg | (~user@user/gehmehgeh) |
2023-08-20 11:13:06 +0200 | ursa-major | (~ursa-majo@37.19.210.36) (Ping timeout: 250 seconds) |
2023-08-20 11:15:06 +0200 | ursa-major | (~ursa-majo@static-198-44-128-151.cust.tzulo.com) |
2023-08-20 11:15:19 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::d375) (Remote host closed the connection) |
2023-08-20 11:15:36 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::ecce) |
2023-08-20 11:16:25 +0200 | edwtjo | (~edwtjo@h-155-4-52-185.A213.priv.bahnhof.se) |
2023-08-20 11:16:25 +0200 | edwtjo | (~edwtjo@h-155-4-52-185.A213.priv.bahnhof.se) (Changing host) |
2023-08-20 11:16:25 +0200 | edwtjo | (~edwtjo@fsf/member/edwtjo) |
2023-08-20 11:22:12 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 250 seconds) |
2023-08-20 11:27:02 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 245 seconds) |
2023-08-20 11:33:11 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
2023-08-20 11:37:01 +0200 | shriekingnoise_ | (~shrieking@186.137.175.87) |
2023-08-20 11:37:20 +0200 | hugo | (znc@130.236.254.23) |
2023-08-20 11:38:26 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 256 seconds) |
2023-08-20 11:45:48 +0200 | shriekingnoise_ | (~shrieking@186.137.175.87) (Ping timeout: 256 seconds) |
2023-08-20 11:56:43 +0200 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
2023-08-20 11:57:45 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
2023-08-20 12:01:16 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds) |
2023-08-20 12:02:26 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
2023-08-20 12:04:31 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
2023-08-20 12:04:45 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2023-08-20 12:04:46 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
2023-08-20 12:05:48 +0200 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Ping timeout: 246 seconds) |
2023-08-20 12:06:40 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-08-20 12:06:40 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-08-20 12:06:40 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-08-20 12:08:30 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Client Quit) |
2023-08-20 12:08:48 +0200 | [_] | [itchyjunk] |
2023-08-20 12:11:04 +0200 | misterfish | (~misterfis@178.226.72.131) (Ping timeout: 246 seconds) |
2023-08-20 12:12:33 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
2023-08-20 12:14:29 +0200 | sm | (~sm@plaintextaccounting/sm) |
2023-08-20 12:17:40 +0200 | tv | (~tv@user/tv) |
2023-08-20 12:18:46 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 246 seconds) |
2023-08-20 12:20:50 +0200 | Pickchea | (~private@user/pickchea) |
2023-08-20 12:21:03 +0200 | libertyprime | (~libertypr@203.96.203.44) |
2023-08-20 12:22:47 +0200 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
2023-08-20 12:22:47 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Killed (mercury.libera.chat (Nickname regained by services))) |
2023-08-20 12:22:47 +0200 | Feuermagier_ | Feuermagier |
2023-08-20 12:24:49 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
2023-08-20 12:29:14 +0200 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
2023-08-20 12:41:59 +0200 | tromp | (~textual@92.110.219.57) |
2023-08-20 12:49:04 +0200 | sm | (~sm@plaintextaccounting/sm) |
2023-08-20 12:53:25 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds) |
2023-08-20 12:53:35 +0200 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
2023-08-20 12:53:44 +0200 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Remote host closed the connection) |
2023-08-20 12:58:20 +0200 | acidjnk | (~acidjnk@p200300d6e7072f96b9b41a1c591e9c90.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
2023-08-20 13:01:24 +0200 | mrmr1 | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
2023-08-20 13:01:42 +0200 | acidjnk | (~acidjnk@p200300d6e7072f9611bac84c98e29ab7.dip0.t-ipconnect.de) |
2023-08-20 13:02:55 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) |
2023-08-20 13:05:51 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) (Ping timeout: 245 seconds) |
2023-08-20 13:07:44 +0200 | mrmr1 | (~mrmr@user/mrmr) |
2023-08-20 13:15:01 +0200 | tromp | (~textual@92.110.219.57) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-08-20 13:15:19 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::ecce) (Remote host closed the connection) |
2023-08-20 13:15:24 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 248 seconds) |
2023-08-20 13:15:37 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::d375) |
2023-08-20 13:15:46 +0200 | mima | (~mmh@net-93-148-96-78.cust.dsl.teletu.it) |
2023-08-20 13:18:32 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
2023-08-20 13:21:33 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-08-20 13:24:40 +0200 | acidjnk | (~acidjnk@p200300d6e7072f9611bac84c98e29ab7.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2023-08-20 13:32:32 +0200 | mima | (~mmh@net-93-148-96-78.cust.dsl.teletu.it) (Ping timeout: 244 seconds) |
2023-08-20 13:34:01 +0200 | logothesia | (~logothesi@user/logothesia) |
2023-08-20 13:39:29 +0200 | mima | (~mmh@net-93-148-97-78.cust.vodafonedsl.it) |
2023-08-20 13:39:54 +0200 | <logothesia> | hi folks. I've been trying to build accelerate-examples but it fails with a mysterious c2hs error: https://paste.tomsmeding.com/fSxk209z |
2023-08-20 13:40:07 +0200 | <logothesia> | am I doing something silly, or is this a known issue? |
2023-08-20 13:40:49 +0200 | <logothesia> | sorry if this isn't the right place to ask, I tried emailing the list but I received a notice from google telling me that I don't have permission to post or something like that |
2023-08-20 13:40:49 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
2023-08-20 13:40:57 +0200 | sm | (~sm@plaintextaccounting/sm) |
2023-08-20 13:41:03 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
2023-08-20 13:42:52 +0200 | <logothesia> | I also installed llvm 9.0.1, which seems to be the version of llvm-hs accelerate wants |
2023-08-20 13:44:05 +0200 | <mauke> | out of interest, what are the first lines of .stack-work/dist/x86_64-linux-tinfo6/Cabal-3.2.0.0/build/Foreign/CUDA/Path.i ? |
2023-08-20 13:45:13 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 246 seconds) |
2023-08-20 13:47:56 +0200 | <logothesia> | hmm, .stack-work in the project directory itself doesn't seem to contain dist, only install |
2023-08-20 13:48:35 +0200 | <logothesia> | it does mention lower down a directory in /tmp |
2023-08-20 13:48:46 +0200 | <logothesia> | which seems to get cleaned up after the build |
2023-08-20 13:48:52 +0200 | <logothesia> | not sure if it's referring to that one |
2023-08-20 13:49:24 +0200 | <logothesia> | https://paste.tomsmeding.com/Auuy8l5G |
2023-08-20 13:50:02 +0200 | <logothesia> | this gets printed after the cabal messages (presumably by stack?) |
2023-08-20 13:55:01 +0200 | mima | (~mmh@net-93-148-97-78.cust.vodafonedsl.it) (Ping timeout: 245 seconds) |
2023-08-20 13:58:35 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
2023-08-20 13:59:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2023-08-20 13:59:40 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds) |
2023-08-20 14:01:25 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
2023-08-20 14:09:44 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) (Ping timeout: 244 seconds) |
2023-08-20 14:13:11 +0200 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
2023-08-20 14:18:20 +0200 | Guest45 | (~Guest45@95-25-87-91.broadband.corbina.ru) |
2023-08-20 14:18:45 +0200 | Guest45 | (~Guest45@95-25-87-91.broadband.corbina.ru) (Client Quit) |
2023-08-20 14:25:58 +0200 | falafel | (~falafel@51.6.68.216) |
2023-08-20 14:26:50 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2023-08-20 14:29:17 +0200 | kiro | (~kiro@60.240.169.108) |
2023-08-20 14:29:40 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
2023-08-20 14:31:19 +0200 | kiro | (~kiro@60.240.169.108) (Client Quit) |
2023-08-20 14:31:22 +0200 | sm | (~sm@plaintextaccounting/sm) |
2023-08-20 14:35:27 +0200 | Lycurgus | (~juan@user/Lycurgus) |
2023-08-20 14:35:30 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds) |
2023-08-20 14:41:09 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
2023-08-20 14:41:23 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
2023-08-20 14:42:42 +0200 | mvk | (~mvk@2607:fea8:5c9a:a600::1c6d) |
2023-08-20 14:43:09 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2023-08-20 14:45:18 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
2023-08-20 14:51:29 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
2023-08-20 14:51:43 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
2023-08-20 14:54:15 +0200 | artem | (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
2023-08-20 14:54:16 +0200 | ulysses4ever | (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Read error: Connection reset by peer) |
2023-08-20 14:59:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-08-20 15:04:19 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::d375) (Remote host closed the connection) |
2023-08-20 15:07:02 +0200 | sm | (~sm@plaintextaccounting/sm) |
2023-08-20 15:09:08 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
2023-08-20 15:09:40 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Tschüss) |
2023-08-20 15:11:20 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 245 seconds) |
2023-08-20 15:24:18 +0200 | ulysses4ever | (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
2023-08-20 15:24:18 +0200 | artem | (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Read error: Connection reset by peer) |
2023-08-20 15:27:33 +0200 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Quit: Leaving) |
2023-08-20 15:32:13 +0200 | shapr | (~user@2600:1700:c640:3100:4a10:9cc3:c2a8:452b) (Remote host closed the connection) |
2023-08-20 15:32:14 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::ecce) |
2023-08-20 15:32:28 +0200 | shapr | (~user@2600:1700:c640:3100:e4c2:b6ef:bc7:e0a2) |
2023-08-20 15:32:28 +0200 | <Inst> | You’ll see that the web browser magically refreshes once you save the file changes. |
2023-08-20 15:32:28 +0200 | <Inst> | Did it work? Congratulations 🎉 You’ve officially built your first haskell web application :) That makes you a haskell programmer. Welcome to the Haskell community! :) |
2023-08-20 15:33:11 +0200 | <Inst> | apparently the price of admission via IHP is figuring out how to install Nix, how to install IHP, how to get the sample program up, and how to edit and save the source files to experience the magic of live reloading |
2023-08-20 15:33:29 +0200 | <Inst> | that said, getting Nix working is not trivial |
2023-08-20 15:35:51 +0200 | <Inst> | and you can ship your first Haskell app to production in about 60-90 minutes with IHP. |
2023-08-20 15:47:42 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
2023-08-20 15:48:25 +0200 | zer0bitz_ | zer0bitz |
2023-08-20 15:53:05 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
2023-08-20 15:53:27 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
2023-08-20 15:55:52 +0200 | teddyc | (theodorc@cassarossa.samfundet.no) (Ping timeout: 240 seconds) |
2023-08-20 15:59:28 +0200 | teddyc | (theodorc@cassarossa.samfundet.no) |
2023-08-20 15:59:37 +0200 | sm | (~sm@plaintextaccounting/sm) |
2023-08-20 16:03:57 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 246 seconds) |
2023-08-20 16:05:55 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::ecce) (Ping timeout: 245 seconds) |
2023-08-20 16:16:37 +0200 | <logothesia> | mauke: is there a way to prevent stack from deleting temporary files? |
2023-08-20 16:22:02 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 245 seconds) |
2023-08-20 16:26:38 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
2023-08-20 16:26:49 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
2023-08-20 16:27:06 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
2023-08-20 16:29:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2023-08-20 16:33:19 +0200 | <albet70> | how to find a index of a sub-byetstring in another bytestring? |
2023-08-20 16:34:06 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
2023-08-20 16:36:33 +0200 | christo | (~christo@202.159.165.152) |
2023-08-20 16:37:09 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
2023-08-20 16:37:24 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
2023-08-20 16:40:04 +0200 | NewtonTrendy | (uid282092@user/bopqod) |
2023-08-20 16:40:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2023-08-20 16:46:04 +0200 | anselmschueler | (~anselmsch@user/schuelermine) |
2023-08-20 16:48:44 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 248 seconds) |
2023-08-20 16:48:47 +0200 | <ncf> | https://hackage.haskell.org/package/bytestring-0.12.0.2/docs/Data-ByteString.html#v:breakSubstring |
2023-08-20 16:50:05 +0200 | crazazy | (~user@130.89.171.133) |
2023-08-20 16:50:33 +0200 | anselmschueler | (~anselmsch@user/schuelermine) (Client Quit) |
2023-08-20 16:50:45 +0200 | anselmschueler | (~anselmsch@user/schuelermine) |
2023-08-20 16:50:56 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
2023-08-20 16:51:53 +0200 | artem | (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
2023-08-20 16:51:54 +0200 | ulysses4ever | (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Read error: Connection reset by peer) |
2023-08-20 16:54:14 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
2023-08-20 16:55:46 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 256 seconds) |
2023-08-20 16:56:49 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
2023-08-20 16:57:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2023-08-20 16:58:16 +0200 | anselmschueler | (~anselmsch@user/schuelermine) (Quit: WeeChat 4.0.3) |
2023-08-20 17:03:01 +0200 | christo | (~christo@202.159.165.152) (Quit: WeeChat 3.8) |
2023-08-20 17:06:11 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::2) |
2023-08-20 17:06:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2023-08-20 17:06:36 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) |
2023-08-20 17:08:36 +0200 | acidjnk | (~acidjnk@p200300d6e7072f9611bac84c98e29ab7.dip0.t-ipconnect.de) |
2023-08-20 17:09:56 +0200 | <EvanR> | albet70, the package I linked last night also has that |
2023-08-20 17:11:21 +0200 | <EvanR> | I see breakSubstring exists now, cool |
2023-08-20 17:18:50 +0200 | crazazy | (~user@130.89.171.133) (Ping timeout: 244 seconds) |
2023-08-20 17:20:31 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 258 seconds) |
2023-08-20 17:21:48 +0200 | bratwurst | (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Ping timeout: 248 seconds) |
2023-08-20 17:26:20 +0200 | wroathe | (~wroathe@user/wroathe) |
2023-08-20 17:28:41 +0200 | <wroathe> | So I've got a profile that says roughly a third of my program's allocations are being made by this routine: https://gist.github.com/JustinChristensen/1a260e17984f0daae853fc5d56ab08f5 . This is using Megaparsec. What I'm attemping to do here is advance the parser state to the next field boundary (this is used by another routine that is buffering up positions in a list that gives me random access to their |
2023-08-20 17:28:47 +0200 | <wroathe> | positions at the end of parsing a row to build up my output) |
2023-08-20 17:29:34 +0200 | <wroathe> | Maybe you guys know of a better way to do this with Megaparsec. The two fields I'm updating there on the parser state are the stateInput and stateOffset, which are the remaining input to consume, and the offset from the beginning of the initial input stream |
2023-08-20 17:30:17 +0200 | <wroathe> | From what I can tell using `drop` like that is fairly common... but I'm wondering if that's what's responsible for making so many allocations. I'll attach the profile output to that gist too |
2023-08-20 17:31:32 +0200 | <wroathe> | Ok, gist updated |
2023-08-20 17:32:32 +0200 | <wroathe> | In C terms what I'm trying to model is advancing the pointer to the next field boundary, and then subtracting from the current position |
2023-08-20 17:32:55 +0200 | <wroathe> | So the question is if there's a way to do that here with the Megaparsec model of the parser state |
2023-08-20 17:33:37 +0200 | <wroathe> | Those two operations shouldn't even require memory allocation in C terms (yes, I know this is Haskell, I'm just trying to explain what I'm trying to achieve) |
2023-08-20 17:40:23 +0200 | jonathan_ | (~jonathan@193.203.13.34) |
2023-08-20 17:41:52 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2023-08-20 17:42:05 +0200 | sm | (~sm@plaintextaccounting/sm) |
2023-08-20 17:42:50 +0200 | <wroathe> | The question for this channel is: can anyone point out where the allocations are being made by that routine? |
2023-08-20 17:44:09 +0200 | <mauke> | I assume laziness |
2023-08-20 17:46:27 +0200 | <wroathe> | Or maybe there's a good way to get a report of exactly what's being allocated. I guess I'll try to make sense of that heap profiling thing again. |
2023-08-20 17:47:19 +0200 | <wroathe> | A cool project for ghc would be to try and make it output profiling data that Chrome Developer Tools can consume |
2023-08-20 17:47:23 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
2023-08-20 17:47:36 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
2023-08-20 17:54:32 +0200 | <EvanR> | I know you can profile retainers to see who is holding heap objects |
2023-08-20 17:55:21 +0200 | sm | (~sm@plaintextaccounting/sm) |
2023-08-20 17:55:44 +0200 | <wroathe> | yeah I'll give that a shot |
2023-08-20 17:55:50 +0200 | <EvanR> | note when you try to write haskell algorithms that increment and decrement counters, you need to make sure they get evaluated soon so the thunks don't pile up |
2023-08-20 17:56:22 +0200 | <wroathe> | EvanR: How would I do that in this case? |
2023-08-20 17:56:50 +0200 | <EvanR> | put the counter in a strict field, use bang patterns, or judicious use of seq |
2023-08-20 17:57:26 +0200 | <wroathe> | EvanR: https://github.com/mrkkrp/megaparsec/blob/master/Text/Megaparsec/State.hs#L43 I think this means it's already a strict field, right? |
2023-08-20 17:57:36 +0200 | <EvanR> | yeah it is |
2023-08-20 17:57:49 +0200 | <EvanR> | I was assume megaparsec's inner workings already... work |
2023-08-20 17:57:49 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
2023-08-20 17:58:09 +0200 | gentauro | (~gentauro@user/gentauro) |
2023-08-20 17:58:16 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 246 seconds) |
2023-08-20 17:58:17 +0200 | <wroathe> | I suspect it's the `findIndex` or `drop` calls I'm making there |
2023-08-20 17:58:43 +0200 | <wroathe> | My naive assumption is that something like `drop` allocates an entirely new Text with the remaining content of the original input |
2023-08-20 17:59:31 +0200 | <wroathe> | brb |
2023-08-20 18:00:12 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
2023-08-20 18:01:07 +0200 | <EvanR> | no the result will point into the same underlying array |
2023-08-20 18:02:12 +0200 | <EvanR> | but if you iteratively drop on the same text object without doing anything with the intermediates, it could cause thunks to pile up. |
2023-08-20 18:02:29 +0200 | <mauke> | stateOffset is strict, stateInput is not |
2023-08-20 18:02:46 +0200 | <mauke> | also, I'm not sure the entire state thing is strict |
2023-08-20 18:03:13 +0200 | notzmv | (~zmv@user/notzmv) |
2023-08-20 18:03:51 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
2023-08-20 18:04:56 +0200 | jonathan__ | (~jonathan@193.203.13.91) |
2023-08-20 18:05:06 +0200 | titibandit | (~titibandi@user/titibandit) |
2023-08-20 18:06:23 +0200 | AlexNoo_ | AlexNoo |
2023-08-20 18:06:42 +0200 | <AlexZenon> | ����! |
2023-08-20 18:06:42 +0200 | yahb2 | (~yahb2@2a01:4f8:c0c:5c7b::2) (Remote host closed the connection) |
2023-08-20 18:07:26 +0200 | yahb2 | (~yahb2@2a01:4f8:c0c:5c7b::2) |
2023-08-20 18:07:37 +0200 | jonathan_ | (~jonathan@193.203.13.34) (Ping timeout: 260 seconds) |
2023-08-20 18:08:17 +0200 | sm | (~sm@plaintextaccounting/sm) (Remote host closed the connection) |
2023-08-20 18:08:35 +0200 | wroathe | (~wroathe@user/wroathe) |
2023-08-20 18:08:40 +0200 | <wroathe> | back |
2023-08-20 18:08:57 +0200 | sm | (~sm@plaintextaccounting/sm) |
2023-08-20 18:09:20 +0200 | RSCASTILHO | (~RSCASTILH@187.40.124.54) |
2023-08-20 18:09:57 +0200 | <EvanR> | wroathe, ran into this warning while looking at the megaparsec code, might not be relevant xD https://i.imgur.com/jlc5TYQ.png |
2023-08-20 18:10:23 +0200 | ulysses4ever | (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
2023-08-20 18:10:23 +0200 | artem | (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Read error: Connection reset by peer) |
2023-08-20 18:12:05 +0200 | <wroathe> | EvanR: To my knowledge I'm not calling that anywhere in my program, and I think that warning only pertains to the parser that you pass into that function as argument "p" |
2023-08-20 18:13:26 +0200 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 250 seconds) |
2023-08-20 18:13:28 +0200 | <EvanR> | well it queries the offset, runs the parser, then queries the offset again |
2023-08-20 18:13:50 +0200 | <EvanR> | so if that parser does shenanigans, ... |
2023-08-20 18:13:57 +0200 | <wroathe> | right |
2023-08-20 18:14:13 +0200 | <wroathe> | yeah, but I'm not using that function anywhere (even indirectly) |
2023-08-20 18:14:17 +0200 | mvk | (~mvk@2607:fea8:5c9a:a600::1c6d) (Ping timeout: 246 seconds) |
2023-08-20 18:15:21 +0200 | sm | (~sm@plaintextaccounting/sm) |
2023-08-20 18:16:47 +0200 | <wroathe> | I just need to dig in more to these heap profiling flags |
2023-08-20 18:17:32 +0200 | <EvanR> | is it that your program is very slow? or seems to leak memory or what |
2023-08-20 18:18:27 +0200 | <wroathe> | It's slower than expected. This is just a hobby thing, and I want to make it fast. Especially because the full run of it will consume a few gigabytes worth of data while standing up a docker image with a database. |
2023-08-20 18:19:16 +0200 | <wroathe> | Whole thing takes about ~2s for an 8 MB TSV file |
2023-08-20 18:19:26 +0200 | <EvanR> | I gather megaparsec is geared toward convenience rather than speed |
2023-08-20 18:20:14 +0200 | <wroathe> | It has benchmarks showing that it outperforms the other parser combinator libraries. At this point if it were the libraries fault I think it would be due to a weakness in the parser combinator model of parsing generally, and not something to do with megaparsec specifically |
2023-08-20 18:20:26 +0200 | <wroathe> | But I don't think it's the library. I suspect it's my routine. |
2023-08-20 18:21:05 +0200 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 258 seconds) |
2023-08-20 18:21:11 +0200 | <wroathe> | And in general I have a knack for finding use cases that libraries I use aren't built for :P |
2023-08-20 18:22:37 +0200 | tremon | (~tremon@83.80.159.219) |
2023-08-20 18:22:57 +0200 | son0p | (~ff@191.104.6.44) (Quit: Bye) |
2023-08-20 18:24:42 +0200 | ddellacosta | (~ddellacos@143.244.47.100) |
2023-08-20 18:26:22 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
2023-08-20 18:32:12 +0200 | hugo | (znc@130.236.254.23) (Ping timeout: 248 seconds) |
2023-08-20 18:35:12 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 240 seconds) |
2023-08-20 18:37:10 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
2023-08-20 18:38:45 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2023-08-20 18:42:09 +0200 | <stefan-_> | when creating a jupyter notebook with an IHaskell kernel there is an error shown in the jupyter console: https://gist.github.com/dozed/adafc18951ffd32bc6c6e7c881f7d772 |
2023-08-20 18:42:12 +0200 | <stefan-_> | any ideas how to fix this? |
2023-08-20 18:47:45 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 246 seconds) |
2023-08-20 18:48:01 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
2023-08-20 18:48:12 +0200 | <EvanR> | stefan-_, I see https://github.com/IHaskell/IHaskell/issues/1385 |
2023-08-20 18:48:13 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 244 seconds) |
2023-08-20 18:50:08 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
2023-08-20 18:51:01 +0200 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
2023-08-20 18:52:35 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
2023-08-20 18:53:03 +0200 | son0p | (~ff@191.104.6.44) |
2023-08-20 18:53:09 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.6) |
2023-08-20 18:53:34 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
2023-08-20 18:54:12 +0200 | <stefan-_> | EvanR, thanks, at least I am not the only one facing that issue :) |
2023-08-20 18:59:19 +0200 | danza | (~francesco@151.47.141.240) |
2023-08-20 19:02:30 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
2023-08-20 19:03:22 +0200 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Ping timeout: 246 seconds) |
2023-08-20 19:04:47 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 260 seconds) |
2023-08-20 19:06:50 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
2023-08-20 19:13:06 +0200 | hololeap | (~quassel@user/hololeap) (Quit: Bye) |
2023-08-20 19:14:15 +0200 | hololeap | (~quassel@user/hololeap) |
2023-08-20 19:14:46 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
2023-08-20 19:16:12 +0200 | <wroathe> | lol... I was so excited for https://gitlab.haskell.org/ghc/ghc-debug. Le sigh: https://gist.github.com/JustinChristensen/08af9eeb053217d0e484a2b5dd52255a |
2023-08-20 19:16:50 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
2023-08-20 19:18:56 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
2023-08-20 19:20:36 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
2023-08-20 19:24:58 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:bc38:61d8:7af5:2488) |
2023-08-20 19:26:34 +0200 | sm | (~sm@plaintextaccounting/sm) |
2023-08-20 19:29:01 +0200 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
2023-08-20 19:29:11 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 246 seconds) |
2023-08-20 19:37:15 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 246 seconds) |
2023-08-20 19:41:11 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2023-08-20 19:43:13 +0200 | <AlexZenon> | riamo.ru |
2023-08-20 19:48:53 +0200 | wroathe | (~wroathe@207.153.38.140) |
2023-08-20 19:48:53 +0200 | wroathe | (~wroathe@207.153.38.140) (Changing host) |
2023-08-20 19:48:53 +0200 | wroathe | (~wroathe@user/wroathe) |
2023-08-20 19:56:17 +0200 | connrs | (~connrs@user/connrs) (Read error: Connection reset by peer) |
2023-08-20 19:56:35 +0200 | <shapr> | that looks like spam |
2023-08-20 19:59:24 +0200 | connrs | (~connrs@user/connrs) |
2023-08-20 19:59:47 +0200 | ChanServ | +o shapr |
2023-08-20 19:59:53 +0200 | AlexZenon | shapr (Kicked by shapr) |
2023-08-20 19:59:54 +0200 | AlexZenon | (~alzenon@178.34.150.48) |
2023-08-20 20:00:18 +0200 | <shapr> | AlexZenon: please don't spam |
2023-08-20 20:00:21 +0200 | <shapr> | otherwise I'll have to ban you |
2023-08-20 20:00:33 +0200 | <shapr> | if you want to learn Haskell, this is a great place! |
2023-08-20 20:00:39 +0200 | <shapr> | if you want to spam, you will be removed |
2023-08-20 20:06:22 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
2023-08-20 20:08:57 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2023-08-20 20:09:52 +0200 | thegeekinside | (~thegeekin@189.217.90.224) |
2023-08-20 20:10:20 +0200 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) |
2023-08-20 20:10:46 +0200 | thegeekinside | (~thegeekin@189.217.90.224) (Remote host closed the connection) |
2023-08-20 20:14:12 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
2023-08-20 20:14:57 +0200 | Simikando | (~Simikando@adsl-dyn1.91-127-51.t-com.sk) (Ping timeout: 245 seconds) |
2023-08-20 20:26:10 +0200 | sm | (~sm@plaintextaccounting/sm) |
2023-08-20 20:26:56 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::d375) |
2023-08-20 20:30:51 +0200 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
2023-08-20 20:31:57 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
2023-08-20 20:32:12 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
2023-08-20 20:41:51 +0200 | son0p | (~ff@191.104.6.44) (Quit: Bye) |
2023-08-20 20:47:56 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 245 seconds) |
2023-08-20 20:56:32 +0200 | vgtw | (~vgtw@user/vgtw) |
2023-08-20 20:56:37 +0200 | misterfish | (~misterfis@84.53.85.146) |
2023-08-20 21:15:30 +0200 | jonathan__ | (~jonathan@193.203.13.91) (Ping timeout: 245 seconds) |
2023-08-20 21:19:32 +0200 | fendor | (~fendor@2a02:8388:1640:be00:b586:6c06:a58:19a3) (Remote host closed the connection) |
2023-08-20 21:20:19 +0200 | artem | (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
2023-08-20 21:20:20 +0200 | ulysses4ever | (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Read error: Connection reset by peer) |
2023-08-20 21:20:29 +0200 | ystael | (~ystael@user/ystael) |
2023-08-20 21:20:51 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
2023-08-20 21:26:20 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 245 seconds) |
2023-08-20 21:29:39 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::d375) (Remote host closed the connection) |
2023-08-20 21:30:29 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::bea1) |
2023-08-20 21:38:47 +0200 | danza | (~francesco@151.47.141.240) (Ping timeout: 260 seconds) |
2023-08-20 21:41:53 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
2023-08-20 21:41:53 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
2023-08-20 21:41:53 +0200 | wroathe | (~wroathe@user/wroathe) |
2023-08-20 21:43:22 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 244 seconds) |
2023-08-20 21:50:05 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 245 seconds) |
2023-08-20 21:50:51 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
2023-08-20 21:51:57 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
2023-08-20 21:55:26 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) |
2023-08-20 22:02:23 +0200 | hololeap | (~quassel@user/hololeap) (Quit: Bye) |
2023-08-20 22:03:36 +0200 | hololeap | (~quassel@user/hololeap) |
2023-08-20 22:04:02 +0200 | _ht | (~Thunderbi@82.174.52.28) (Quit: _ht) |
2023-08-20 22:07:08 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 248 seconds) |
2023-08-20 22:09:21 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
2023-08-20 22:12:05 +0200 | Pickchea | (~private@user/pickchea) |
2023-08-20 22:15:04 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
2023-08-20 22:18:52 +0200 | falafel | (~falafel@51.6.68.216) (Ping timeout: 248 seconds) |
2023-08-20 22:21:36 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 244 seconds) |
2023-08-20 22:29:32 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
2023-08-20 22:30:38 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2023-08-20 22:36:41 +0200 | hololeap | (~quassel@user/hololeap) (Quit: Bye) |
2023-08-20 22:42:03 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 246 seconds) |
2023-08-20 22:42:44 +0200 | RSCASTILHO | (~RSCASTILH@187.40.124.54) () |
2023-08-20 22:44:06 +0200 | wroathe | (~wroathe@user/wroathe) |
2023-08-20 22:44:47 +0200 | hololeap | (~quassel@user/hololeap) |
2023-08-20 22:44:49 +0200 | <tomsmeding> | logothesia: ensure you have pull in c2hs 0.28.8 |
2023-08-20 22:44:53 +0200 | <tomsmeding> | s/have// |
2023-08-20 22:45:20 +0200 | <tomsmeding> | try: cabal build --constraint 'c2hs >=0.28.8' |
2023-08-20 22:45:24 +0200 | <tomsmeding> | https://github.com/haskell/c2hs/issues/268 |
2023-08-20 22:49:28 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-209-157.dsl.scarlet.be) (Ping timeout: 246 seconds) |
2023-08-20 22:49:49 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
2023-08-20 22:57:07 +0200 | pavonia | (~user@user/siracusa) |
2023-08-20 22:57:25 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::bea1) (Remote host closed the connection) |
2023-08-20 22:57:44 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::85eb) |
2023-08-20 23:02:35 +0200 | hololeap | (~quassel@user/hololeap) (Quit: Bye) |
2023-08-20 23:04:06 +0200 | AlexZenon | (~alzenon@178.34.150.48) (Ping timeout: 256 seconds) |
2023-08-20 23:05:37 +0200 | hololeap | (~quassel@user/hololeap) |
2023-08-20 23:11:18 +0200 | AlexZenon | (~alzenon@178.34.150.48) |
2023-08-20 23:16:12 +0200 | caryhartline | (~caryhartl@168.182.58.169) |
2023-08-20 23:20:14 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
2023-08-20 23:20:46 +0200 | falafel | (~falafel@51.6.68.216) |
2023-08-20 23:21:48 +0200 | AlexZenon | (~alzenon@178.34.150.48) (Ping timeout: 248 seconds) |
2023-08-20 23:22:40 +0200 | sm | (~sm@plaintextaccounting/sm) |
2023-08-20 23:23:38 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
2023-08-20 23:24:28 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Read error: Connection reset by peer) |
2023-08-20 23:24:45 +0200 | AlexZenon | (~alzenon@178.34.150.48) |
2023-08-20 23:24:48 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2023-08-20 23:25:38 +0200 | caryhartline | (~caryhartl@168.182.58.169) (Quit: caryhartline) |
2023-08-20 23:29:36 +0200 | AlexZenon | (~alzenon@178.34.150.48) (Ping timeout: 245 seconds) |
2023-08-20 23:31:15 +0200 | AlexZenon | (~alzenon@178.34.150.48) |
2023-08-20 23:34:00 +0200 | anselmschueler | (~anselmsch@user/schuelermine) |
2023-08-20 23:34:57 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
2023-08-20 23:35:56 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
2023-08-20 23:36:45 +0200 | Inst | (~liamzy@2601:6c4:4085:6d50::85eb) (Ping timeout: 245 seconds) |
2023-08-20 23:37:16 +0200 | dextaa | (~DV@user/dextaa) (Ping timeout: 248 seconds) |
2023-08-20 23:40:20 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
2023-08-20 23:40:20 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
2023-08-20 23:40:20 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
2023-08-20 23:42:06 +0200 | acidjnk | (~acidjnk@p200300d6e7072f9611bac84c98e29ab7.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
2023-08-20 23:49:13 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) |
2023-08-20 23:49:28 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2023-08-20 23:52:48 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::2) (Ping timeout: 246 seconds) |
2023-08-20 23:53:08 +0200 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
2023-08-20 23:53:42 +0200 | arahael | (~arahael@119-18-1-27.771201.syd.nbn.aussiebb.net) (Ping timeout: 245 seconds) |
2023-08-20 23:53:56 +0200 | shapr | (~user@2600:1700:c640:3100:e4c2:b6ef:bc7:e0a2) (Remote host closed the connection) |
2023-08-20 23:54:09 +0200 | shapr | (~user@2600:1700:c640:3100:5507:bbc0:d0c9:b395) |
2023-08-20 23:54:29 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 246 seconds) |
2023-08-20 23:54:48 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
2023-08-20 23:59:30 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2023-08-20 23:59:32 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
2023-08-20 23:59:39 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Client Quit) |