| 2024-04-27 00:00:22 +0200 | ph88 | (~ph88@ip5b403f30.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-04-27 00:05:50 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-27 00:12:04 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-04-27 00:27:03 +0200 | sadie-sorceress | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
| 2024-04-27 00:27:50 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2024-04-27 00:31:41 +0200 | yin | (~yin@user/zero) (Quit: Lost terminal) |
| 2024-04-27 00:40:08 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-04-27 00:43:10 +0200 | yin | (~yin@user/zero) |
| 2024-04-27 00:43:33 +0200 | yin | zzz |
| 2024-04-27 00:51:17 +0200 | acidjnk | (~acidjnk@p200300d6e714dc76fc9e8da7e9a4142b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-04-27 00:57:59 +0200 | <haskellbridge> | <irregularsphere> I sometimes use Haskell on my phone, too! |
| 2024-04-27 00:58:00 +0200 | <haskellbridge> | <irregularsphere> It's on 8.10.7 rn (upgradable to 9.2.5-1) but Termux fills up 18GB of my phone's storage mostly due to useless packages I installed in the past. Planning to wipe & reinstall, though. |
| 2024-04-27 01:06:39 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2024-04-27 01:15:46 +0200 | sroso | (~sroso@user/SrOso) |
| 2024-04-27 01:16:20 +0200 | destituion | (~destituio@2001:4644:c37:0:6086:64f4:a213:b80d) (Ping timeout: 268 seconds) |
| 2024-04-27 01:18:12 +0200 | destituion | (~destituio@2a02:2121:340:2456:fffe:d0f:7737:dd1) |
| 2024-04-27 01:21:05 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 256 seconds) |
| 2024-04-27 01:22:32 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-04-27 01:25:57 +0200 | hueso | (~root@user/hueso) (Ping timeout: 272 seconds) |
| 2024-04-27 01:28:55 +0200 | hueso | (~root@user/hueso) |
| 2024-04-27 01:29:05 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
| 2024-04-27 01:29:35 +0200 | zzz | (~yin@user/zero) (Ping timeout: 256 seconds) |
| 2024-04-27 01:37:02 +0200 | philopsos | (~caecilius@user/philopsos) |
| 2024-04-27 01:41:05 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Remote host closed the connection) |
| 2024-04-27 01:42:12 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-04-27 01:45:21 +0200 | peterbecich | (~Thunderbi@47.229.123.186) |
| 2024-04-27 01:57:03 +0200 | zzz | (~yin@user/zero) |
| 2024-04-27 02:15:32 +0200 | Inst | (~Inst@user/Inst) (Ping timeout: 268 seconds) |
| 2024-04-27 02:16:29 +0200 | zzz | (~yin@user/zero) (Ping timeout: 256 seconds) |
| 2024-04-27 02:22:11 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 264 seconds) |
| 2024-04-27 02:46:35 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 245 seconds) |
| 2024-04-27 02:55:06 +0200 | zzz | (~yin@user/zero) |
| 2024-04-27 02:56:16 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 255 seconds) |
| 2024-04-27 02:56:48 +0200 | Guest29 | (~Guest29@a89-152-101-97.cpe.netcabo.pt) |
| 2024-04-27 03:01:50 +0200 | elamite | (~elamite@2a07-a880-4603-1035-18b5-1e9f-f698-63a6.pool6.ovpn.com) |
| 2024-04-27 03:07:19 +0200 | elamite | (~elamite@2a07-a880-4603-1035-18b5-1e9f-f698-63a6.pool6.ovpn.com) (Quit: Client closed) |
| 2024-04-27 03:08:53 +0200 | xelxebar | (~xelxebar@wilsonb.com) (Ping timeout: 240 seconds) |
| 2024-04-27 03:09:33 +0200 | xelxebar | (~xelxebar@wilsonb.com) |
| 2024-04-27 03:10:34 +0200 | califax_ | (~califax@user/califx) |
| 2024-04-27 03:11:38 +0200 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-04-27 03:11:52 +0200 | califax_ | califax |
| 2024-04-27 03:16:12 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
| 2024-04-27 03:17:29 +0200 | Guest29 | (~Guest29@a89-152-101-97.cpe.netcabo.pt) (Quit: Client closed) |
| 2024-04-27 03:18:51 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-27 03:19:15 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-27 03:21:51 +0200 | zzz | (~yin@user/zero) (Ping timeout: 272 seconds) |
| 2024-04-27 03:32:36 +0200 | otto_s | (~user@p5b044b31.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-04-27 03:34:27 +0200 | otto_s | (~user@p4ff27de0.dip0.t-ipconnect.de) |
| 2024-04-27 03:42:48 +0200 | zzz | (~yin@user/zero) |
| 2024-04-27 03:47:21 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2024-04-27 03:51:55 +0200 | mzschr | (~mzschr@2a07-a880-4603-1035-18b5-1e9f-f698-63a6.pool6.ovpn.com) |
| 2024-04-27 03:57:00 +0200 | zzz | (~yin@user/zero) (Ping timeout: 245 seconds) |
| 2024-04-27 04:09:28 +0200 | mzschr | (~mzschr@2a07-a880-4603-1035-18b5-1e9f-f698-63a6.pool6.ovpn.com) (Quit: Client closed) |
| 2024-04-27 04:16:55 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 246 seconds) |
| 2024-04-27 04:32:59 +0200 | td_ | (~td@i53870921.versanet.de) (Ping timeout: 264 seconds) |
| 2024-04-27 04:34:12 +0200 | Rodney_ | (~Rodney@176.254.244.83) (Ping timeout: 252 seconds) |
| 2024-04-27 04:34:49 +0200 | td_ | (~td@i5387091B.versanet.de) |
| 2024-04-27 04:35:32 +0200 | Rodney_ | (~Rodney@176.254.244.83) |
| 2024-04-27 04:50:25 +0200 | yin | (~yin@user/zero) |
| 2024-04-27 04:50:32 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
| 2024-04-27 04:59:47 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-04-27 05:02:28 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-04-27 05:06:11 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-04-27 05:07:16 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-04-27 05:10:59 +0200 | aforemny | (~aforemny@i59F516DA.versanet.de) |
| 2024-04-27 05:11:18 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
| 2024-04-27 05:12:31 +0200 | aforemny_ | (~aforemny@2001:9e8:6cf4:e200:c321:623a:48be:28f1) (Ping timeout: 268 seconds) |
| 2024-04-27 05:34:10 +0200 | <dmj`> | monochrom: we need haskellton |
| 2024-04-27 05:36:12 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-04-27 05:39:35 +0200 | tdlgalt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-04-27 05:44:38 +0200 | <probie> | As in a full program optimising compiler? |
| 2024-04-27 05:45:16 +0200 | <probie> | or just something that eats absurd amounts of RAM (which GHC seems quite capable of doing on its own) |
| 2024-04-27 05:45:18 +0200 | <monochrom> | Yeah. |
| 2024-04-27 05:45:26 +0200 | Pixi | (~Pixi@user/pixi) (Quit: Leaving) |
| 2024-04-27 05:45:26 +0200 | <monochrom> | That too. :) |
| 2024-04-27 05:47:33 +0200 | Pixi | (~Pixi@user/pixi) |
| 2024-04-27 05:57:32 +0200 | <dmj`> | probie: if we had haskellton, we wouldn't eat as much memory |
| 2024-04-27 05:57:39 +0200 | <dmj`> | probie: and yes |
| 2024-04-27 06:01:06 +0200 | yin | (~yin@user/zero) (Ping timeout: 252 seconds) |
| 2024-04-27 06:01:21 +0200 | tdlgalt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2024-04-27 06:12:33 +0200 | swamp_ | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2024-04-27 06:25:28 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2024-04-27 06:58:34 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-04-27 06:59:31 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
| 2024-04-27 07:00:11 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-04-27 07:03:21 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2024-04-27 07:05:09 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-04-27 07:10:48 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
| 2024-04-27 07:27:20 +0200 | danza | (~francesco@151.37.225.196) |
| 2024-04-27 07:43:22 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) |
| 2024-04-27 07:49:49 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) |
| 2024-04-27 07:57:47 +0200 | Inst | (~Inst@user/Inst) |
| 2024-04-27 08:04:22 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-04-27 08:10:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-27 08:16:34 +0200 | <bsima> | how do I find out what version of template-haskell is shipped with my ghc version? |
| 2024-04-27 08:16:40 +0200 | <bsima> | I look at the .version field in nixpkgs and its null |
| 2024-04-27 08:18:58 +0200 | phma | (phma@2001:5b0:210f:2ed8:1686:9f1d:3773:c78f) (Read error: Connection reset by peer) |
| 2024-04-27 08:20:05 +0200 | phma | (phma@2001:5b0:210d:77f8:690d:ee85:cd6a:7031) |
| 2024-04-27 08:21:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-27 08:24:08 +0200 | yeitrafferin | (~user@2a04:4540:7202:7600:9288:54b5:ce2d:f3dc) |
| 2024-04-27 08:25:34 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2024-04-27 08:28:25 +0200 | <probie> | `ghc-pkg latest template-haskell` probably |
| 2024-04-27 08:32:49 +0200 | danza | (~francesco@151.37.225.196) (Remote host closed the connection) |
| 2024-04-27 08:33:13 +0200 | danza | (~francesco@151.37.225.196) |
| 2024-04-27 08:33:40 +0200 | Inst | (~Inst@user/Inst) (Ping timeout: 245 seconds) |
| 2024-04-27 08:39:57 +0200 | Inst | (~Inst@user/Inst) |
| 2024-04-27 08:40:45 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-04-27 08:41:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-27 08:46:35 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 245 seconds) |
| 2024-04-27 08:47:20 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
| 2024-04-27 09:01:39 +0200 | danza | (~francesco@151.37.225.196) (Ping timeout: 256 seconds) |
| 2024-04-27 09:03:06 +0200 | yin | (~yin@user/zero) |
| 2024-04-27 09:06:50 +0200 | ykm | (~ykm@user/hylisper) |
| 2024-04-27 09:13:32 +0200 | <bsima> | yeah that worked, i was looking for a webpage or something that would list it |
| 2024-04-27 09:18:54 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-04-27 09:20:59 +0200 | ykm | (~ykm@user/hylisper) () |
| 2024-04-27 09:22:53 +0200 | Inst | (~Inst@user/Inst) (Ping timeout: 268 seconds) |
| 2024-04-27 09:25:24 +0200 | visilii_ | (~visilii@188.254.126.79) |
| 2024-04-27 09:27:30 +0200 | connrs | (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-27 09:28:23 +0200 | connrs | (~connrs@user/connrs) |
| 2024-04-27 09:29:06 +0200 | visilii | (~visilii@213.24.125.229) (Ping timeout: 255 seconds) |
| 2024-04-27 09:31:47 +0200 | notzmv | (~daniel@user/notzmv) (Remote host closed the connection) |
| 2024-04-27 09:33:52 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-04-27 09:36:14 +0200 | acidjnk | (~acidjnk@p200300d6e714dc03d4ff90a1ba0ea518.dip0.t-ipconnect.de) |
| 2024-04-27 09:43:14 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 268 seconds) |
| 2024-04-27 09:47:45 +0200 | <geekosaur> | bsima, https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/libraries/version-history |
| 2024-04-27 09:48:44 +0200 | <bsima> | ah thanks geekosaur |
| 2024-04-27 09:50:04 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-04-27 09:54:28 +0200 | ckname | (~ckname@2a00:f41:18ee:7305:a70d:8cbb:bd16:2bd7) |
| 2024-04-27 09:55:27 +0200 | ckname | (~ckname@2a00:f41:18ee:7305:a70d:8cbb:bd16:2bd7) (Client Quit) |
| 2024-04-27 10:00:10 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Quit: WeeChat 4.2.2) |
| 2024-04-27 10:13:11 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-04-27 10:16:46 +0200 | pera | (~pera@user/pera) |
| 2024-04-27 10:21:17 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a359:eeea:f982:7525) (Ping timeout: 240 seconds) |
| 2024-04-27 10:24:04 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-04-27 10:27:50 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 256 seconds) |
| 2024-04-27 10:28:12 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Quit: https://zer0bitz.dy.fi) |
| 2024-04-27 10:32:25 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-04-27 10:34:11 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a359:eeea:f982:7525) |
| 2024-04-27 10:42:59 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-27 10:47:43 +0200 | paotsaq | (~paotsaq@127.209.37.188.rev.vodafone.pt) |
| 2024-04-27 10:48:49 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-04-27 10:53:24 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-04-27 10:55:11 +0200 | yin | (~yin@user/zero) (Ping timeout: 264 seconds) |
| 2024-04-27 10:55:50 +0200 | danza | (~francesco@151.37.225.196) |
| 2024-04-27 10:56:54 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-04-27 10:57:30 +0200 | ph88 | (~ph88@ip5b403f30.dynamic.kabel-deutschland.de) |
| 2024-04-27 10:57:42 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-04-27 11:01:17 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 2024-04-27 11:01:32 +0200 | causal | (~eric@50.35.88.207) |
| 2024-04-27 11:04:42 +0200 | Rodney_ | (~Rodney@176.254.244.83) (Ping timeout: 252 seconds) |
| 2024-04-27 11:05:24 +0200 | danza | (~francesco@151.37.225.196) (Remote host closed the connection) |
| 2024-04-27 11:05:35 +0200 | Rodney_ | (~Rodney@176.254.244.83) |
| 2024-04-27 11:05:46 +0200 | danza | (~francesco@151.37.225.196) |
| 2024-04-27 11:06:38 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-04-27 11:08:06 +0200 | <ph88> | How can i see the instance implementation of Show :+: ? -ddump-deriv doesn't work because the base library is not recompiled https://hackage.haskell.org/package/base-4.19.1.0/docs/GHC-Generics.html#t:Data |
| 2024-04-27 11:22:28 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Quit: Leaving) |
| 2024-04-27 11:27:17 +0200 | danza_ | (~francesco@151.47.235.82) |
| 2024-04-27 11:27:25 +0200 | <int-e> | How about imitating it? data a ::+:: b = a ::+:: b deriving (Show) |
| 2024-04-27 11:27:38 +0200 | <int-e> | err, that's not the right declaration |
| 2024-04-27 11:28:10 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-04-27 11:28:46 +0200 | danza | (~francesco@151.37.225.196) (Read error: Connection reset by peer) |
| 2024-04-27 11:29:38 +0200 | ph88 | (~ph88@ip5b403f30.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-27 11:45:56 +0200 | yin | (~yin@user/zero) |
| 2024-04-27 11:51:24 +0200 | danza_ | (~francesco@151.47.235.82) (Remote host closed the connection) |
| 2024-04-27 11:51:46 +0200 | danza_ | (~francesco@151.47.235.82) |
| 2024-04-27 11:53:11 +0200 | <tomsmeding> | I have a haskell library that, if a certain cabal flag is set (-fdebug), depends on a whole bunch of additional C++ code that is cloned into a git submodule by Setup.hs if the flag is set. The C++ files are necessary for compilation with -fdebug, so they should be in extra-source-files but only if -fdebug is set. This is impossible because top-level blocks cannot be put in a conditional. |
| 2024-04-27 11:54:05 +0200 | connrs | (~connrs@user/connrs) (Read error: Connection reset by peer) |
| 2024-04-27 11:54:08 +0200 | <tomsmeding> | Now anyone who does `cabal sdist` (for example by using the library as a dependency (!)) but doesn't have -fdebug set, which is most people, will get cabal diagnostics that the extra-source-files are not found |
| 2024-04-27 11:54:11 +0200 | <tomsmeding> | What do? |
| 2024-04-27 11:55:36 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-04-27 11:55:47 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-04-27 11:56:27 +0200 | euleritian | (~euleritia@176.2.139.168) |
| 2024-04-27 11:57:34 +0200 | <tomsmeding> | (_not_ setting the extra-source-files meaning that using the library as a source-repository-package dependency with -fdebug will fail because the C++ files are not copied by cabal before building) |
| 2024-04-27 11:57:48 +0200 | <tomsmeding> | s/meaning that/means that/ |
| 2024-04-27 12:04:11 +0200 | euleritian | (~euleritia@176.2.139.168) (Read error: Connection reset by peer) |
| 2024-04-27 12:04:29 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-27 12:06:07 +0200 | connrs | (~connrs@user/connrs) |
| 2024-04-27 12:11:37 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |
| 2024-04-27 12:18:35 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-04-27 12:22:23 +0200 | euleritian | (~euleritia@dynamic-176-002-139-168.176.2.pool.telefonica.de) |
| 2024-04-27 12:27:09 +0200 | euleritian | (~euleritia@dynamic-176-002-139-168.176.2.pool.telefonica.de) (Ping timeout: 272 seconds) |
| 2024-04-27 12:27:23 +0200 | euleritian | (~euleritia@dynamic-176-000-161-190.176.0.pool.telefonica.de) |
| 2024-04-27 12:27:47 +0200 | Square | (~Square@user/square) |
| 2024-04-27 12:29:23 +0200 | danza_ | (~francesco@151.47.235.82) (Ping timeout: 252 seconds) |
| 2024-04-27 12:29:30 +0200 | yeitrafferin | (~user@2a04:4540:7202:7600:9288:54b5:ce2d:f3dc) (Remote host closed the connection) |
| 2024-04-27 12:33:09 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
| 2024-04-27 12:47:32 +0200 | euleritian | (~euleritia@dynamic-176-000-161-190.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-27 12:48:15 +0200 | euleritian | (~euleritia@dynamic-176-000-161-190.176.0.pool.telefonica.de) |
| 2024-04-27 12:48:51 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2024-04-27 12:49:52 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-04-27 12:51:33 +0200 | dispater- | (~dispater@217.155.58.82) |
| 2024-04-27 12:52:03 +0200 | orcus- | (~orcus@217.155.58.82) |
| 2024-04-27 12:55:15 +0200 | orcus- | (~orcus@217.155.58.82) (Remote host closed the connection) |
| 2024-04-27 12:55:15 +0200 | dispater- | (~dispater@217.155.58.82) (Read error: Connection reset by peer) |
| 2024-04-27 13:01:24 +0200 | orcus- | (~orcus@217.155.58.82) |
| 2024-04-27 13:01:56 +0200 | orcus- | (~orcus@217.155.58.82) (Remote host closed the connection) |
| 2024-04-27 13:04:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-27 13:04:22 +0200 | orcus- | (~orcus@217.155.58.82) |
| 2024-04-27 13:06:10 +0200 | orcus- | (~orcus@217.155.58.82) (Remote host closed the connection) |
| 2024-04-27 13:15:12 +0200 | orcus- | (~orcus@217.155.58.82) |
| 2024-04-27 13:16:06 +0200 | orcus- | (~orcus@217.155.58.82) (Remote host closed the connection) |
| 2024-04-27 13:18:00 +0200 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-04-27 13:18:48 +0200 | orcus- | (~orcus@217.155.58.82) |
| 2024-04-27 13:19:49 +0200 | dispater- | (~dispater@217.155.58.82) |
| 2024-04-27 13:31:18 +0200 | orcus- | (~orcus@217.155.58.82) (Remote host closed the connection) |
| 2024-04-27 13:31:18 +0200 | dispater- | (~dispater@217.155.58.82) (Remote host closed the connection) |
| 2024-04-27 13:36:02 +0200 | hippoid | (~hippoid@user/hippoid) (Quit: WeeChat 4.2.1) |
| 2024-04-27 13:38:25 +0200 | zmt01 | (~zmt00@user/zmt00) |
| 2024-04-27 13:39:31 +0200 | swamp_ | (~zmt00@user/zmt00) |
| 2024-04-27 13:40:07 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 2024-04-27 13:43:23 +0200 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 2024-04-27 13:45:48 +0200 | qqq | (~qqq@92.43.167.61) |
| 2024-04-27 14:07:27 +0200 | mechap | (~mechap@user/mechap) |
| 2024-04-27 14:10:15 +0200 | yin | (~yin@user/zero) (Ping timeout: 268 seconds) |
| 2024-04-27 14:11:37 +0200 | yin | (~yin@user/zero) |
| 2024-04-27 14:13:44 +0200 | euleritian | (~euleritia@dynamic-176-000-161-190.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-27 14:14:01 +0200 | euleritian | (~euleritia@2a02:810a:b00:1568:7f37:121d:4370:f1c5) |
| 2024-04-27 14:17:49 +0200 | greenflower | (~greenflow@2409:4071:211c:5b29:fa93:6314:6e17:5d44) |
| 2024-04-27 14:18:35 +0200 | euleritian | (~euleritia@2a02:810a:b00:1568:7f37:121d:4370:f1c5) (Ping timeout: 268 seconds) |
| 2024-04-27 14:19:00 +0200 | greenflower | (~greenflow@2409:4071:211c:5b29:fa93:6314:6e17:5d44) (Client Quit) |
| 2024-04-27 14:19:44 +0200 | euleritian | (~euleritia@dynamic-176-000-161-190.176.0.pool.telefonica.de) |
| 2024-04-27 14:21:07 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-27 14:27:25 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:2128:605:71c4:66a4) |
| 2024-04-27 14:32:36 +0200 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2024-04-27 14:35:59 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-04-27 14:36:35 +0200 | kilolympus | (~kilolympu@31.205.200.246) (Ping timeout: 245 seconds) |
| 2024-04-27 14:36:47 +0200 | kilolympus | (~kilolympu@31.205.200.246) |
| 2024-04-27 14:47:48 +0200 | euleritian | (~euleritia@dynamic-176-000-161-190.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-27 14:48:10 +0200 | euleritian | (~euleritia@2a02:810a:b00:1568:f2da:fe29:fe06:1289) |
| 2024-04-27 14:59:31 +0200 | yin | (~yin@user/zero) (Quit: Reconnecting) |
| 2024-04-27 14:59:45 +0200 | yin | (~yin@user/zero) |
| 2024-04-27 15:01:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-04-27 15:02:11 +0200 | ocra8 | (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |
| 2024-04-27 15:04:27 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
| 2024-04-27 15:09:46 +0200 | yin | (~yin@user/zero) |
| 2024-04-27 15:10:09 +0200 | ocra8 | (ocra8@user/ocra8) |
| 2024-04-27 15:16:40 +0200 | yin | (~yin@user/zero) (Quit: leaving) |
| 2024-04-27 15:19:45 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 2024-04-27 15:27:59 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2024-04-27 15:35:44 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
| 2024-04-27 15:42:10 +0200 | euleritian | (~euleritia@2a02:810a:b00:1568:f2da:fe29:fe06:1289) (Ping timeout: 255 seconds) |
| 2024-04-27 15:42:48 +0200 | euleritian | (~euleritia@dynamic-176-000-161-190.176.0.pool.telefonica.de) |
| 2024-04-27 15:47:41 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:2128:605:71c4:66a4) (Ping timeout: 268 seconds) |
| 2024-04-27 15:51:04 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:2128:605:71c4:66a4) |
| 2024-04-27 15:53:46 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 2024-04-27 15:56:06 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:2128:605:71c4:66a4) (Ping timeout: 255 seconds) |
| 2024-04-27 16:11:53 +0200 | yin | (~yin@user/zero) |
| 2024-04-27 16:38:12 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-27 16:38:12 +0200 | mima | (~mmh@eduroam-pool4-264.wlan.uni-bremen.de) |
| 2024-04-27 16:49:33 +0200 | <yin> | hi. can someone give me a simple explanation of why 'Pattern matching on GADTs without MonoLocalBinds is fragile'? |
| 2024-04-27 17:00:27 +0200 | mima | (~mmh@eduroam-pool4-264.wlan.uni-bremen.de) (Ping timeout: 268 seconds) |
| 2024-04-27 17:03:06 +0200 | <ncf> | yin: see section 4.2 of https://simon.peytonjones.org/assets/pdfs/outsideinx.pdf |
| 2024-04-27 17:04:55 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
| 2024-04-27 17:04:58 +0200 | <ncf> | (i'm not sure why this makes pattern matching "fragile", but that's the reason given in the documentation) |
| 2024-04-27 17:05:26 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Quit: WeeChat 4.2.2) |
| 2024-04-27 17:11:19 +0200 | jumper149 | (~jumper149@base.felixspringer.xyz) |
| 2024-04-27 17:12:42 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 2024-04-27 17:14:22 +0200 | <ncf> | i also can't reproduce the issue in the paper at all... with their code snippet and NoMonoLocalBinds i get the expected "Couldn't match expected type 'Bool' with actual type 'a'" |
| 2024-04-27 17:14:48 +0200 | <jumper149> | I want to create a value-level literal from a type-level datakind. Do I need singletons or is this possible with `Typeable` or something else? |
| 2024-04-27 17:15:20 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-04-27 17:16:24 +0200 | <jumper149> | So basically I want something like `natVal` or `symbolVal` for my custom enum type. |
| 2024-04-27 17:19:45 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2024-04-27 17:19:48 +0200 | <[Leary]> | jumper149: Make a typeclass? |
| 2024-04-27 17:21:14 +0200 | <jumper149> | data T = A | B |
| 2024-04-27 17:21:27 +0200 | <jumper149> | class TKindToType where |
| 2024-04-27 17:21:54 +0200 | <jumper149> | toVal :: Proxy (t :: T) -> T |
| 2024-04-27 17:22:05 +0200 | <jumper149> | [Leary]: Something like this is what you mean? |
| 2024-04-27 17:24:48 +0200 | <[Leary]> | `t` Should be the parameter to the class, but yes. |
| 2024-04-27 17:25:10 +0200 | <jumper149> | Yeah, I just wrote this directly into weechat, so I forgot... |
| 2024-04-27 17:25:31 +0200 | <jumper149> | Well but that is the same thing singletons would do I think |
| 2024-04-27 17:26:25 +0200 | <jumper149> | The annoying part is you have to write all instances by hand or generate them with singletons. |
| 2024-04-27 17:26:39 +0200 | <jumper149> | But I guess dependent haskell has to wait a little more |
| 2024-04-27 17:27:36 +0200 | someone235 | (uid419897@id-419897.ilkley.irccloud.com) |
| 2024-04-27 17:29:15 +0200 | <someone235> | Hi, I'm getting `/usr/bin/ld.gold: error: cannot find -lgmp` when trying to run `ghc hello.hs`. Anyone has any idea what could be the cause? |
| 2024-04-27 17:30:55 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Quit: WeeChat 4.2.2) |
| 2024-04-27 17:33:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-27 17:35:57 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
| 2024-04-27 17:36:26 +0200 | <geekosaur> | you need to install the OS gmp devel package |
| 2024-04-27 17:36:36 +0200 | <geekosaur> | haskell can't do this for you |
| 2024-04-27 17:37:34 +0200 | <someone235> | geekosaur: it's weird that it's not listed as a dependency in the instructions |
| 2024-04-27 17:38:15 +0200 | <someone235> | Anyway, it worked, so thank you! |
| 2024-04-27 17:38:21 +0200 | <geekosaur> | https://www.haskell.org/ghcup/install/#system-requirements |
| 2024-04-27 17:38:47 +0200 | <geekosaur> | I thought ghcup also output a message about this on install |
| 2024-04-27 17:41:25 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 2024-04-27 17:41:31 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-04-27 17:45:18 +0200 | euleritian | (~euleritia@dynamic-176-000-161-190.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-27 17:45:40 +0200 | euleritian | (~euleritia@2a02:810a:b00:1568:6c1a:bb:e9e2:e9fd) |
| 2024-04-27 17:47:59 +0200 | pera | (~pera@user/pera) (Ping timeout: 264 seconds) |
| 2024-04-27 17:49:48 +0200 | pera | (~pera@user/pera) |
| 2024-04-27 18:01:12 +0200 | <monochrom> | It does. No one reads it. |
| 2024-04-27 18:02:23 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 2024-04-27 18:11:17 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2024-04-27 18:12:13 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-04-27 18:16:28 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
| 2024-04-27 18:16:42 +0200 | pavonia | (~user@user/siracusa) |
| 2024-04-27 18:22:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-04-27 18:26:34 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Quit: https://zer0bitz.dy.fi) |
| 2024-04-27 18:26:36 +0200 | <haskellbridge> | <Jade> im pretty sure this is still out of date for a few distros, I meant to raise an issue about that ... |
| 2024-04-27 18:28:05 +0200 | <geekosaur> | `gmp` has always been a dependency though |
| 2024-04-27 18:36:09 +0200 | <probie> | Does ghcup support installing a GHC which uses integer-simple? |
| 2024-04-27 18:37:16 +0200 | <geekosaur> | probably does but requires extra histrionics if you're not on Alpine |
| 2024-04-27 18:39:51 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Quit: Leaving) |
| 2024-04-27 18:50:30 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-04-27 18:50:30 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-04-27 18:50:30 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-04-27 18:50:30 +0200 | pastly | (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
| 2024-04-27 18:50:33 +0200 | califax | (~califax@user/califx) (Write error: Connection reset by peer) |
| 2024-04-27 18:51:10 +0200 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-04-27 18:51:30 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-04-27 18:51:49 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-04-27 18:52:51 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-04-27 18:52:52 +0200 | califax | (~califax@user/califx) |
| 2024-04-27 18:54:59 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-04-27 18:55:34 +0200 | euleritian | (~euleritia@2a02:810a:b00:1568:6c1a:bb:e9e2:e9fd) (Ping timeout: 256 seconds) |
| 2024-04-27 18:57:00 +0200 | euleritian | (~euleritia@95.90.211.190) |
| 2024-04-27 19:03:24 +0200 | <haskellbridge> | <Jade> geekosaur: this is in reference to libffi6/7 on debian |
| 2024-04-27 19:03:57 +0200 | <haskellbridge> | <Jade> im pretty sure those are out of date, atleast last time I installed ghcup in debian I needed to use a higher version |
| 2024-04-27 19:04:56 +0200 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-27 19:06:29 +0200 | dolio | (~dolio@130.44.134.54) |
| 2024-04-27 19:09:03 +0200 | dolio | (~dolio@130.44.134.54) (Client Quit) |
| 2024-04-27 19:12:28 +0200 | dolio | (~dolio@130.44.134.54) |
| 2024-04-27 19:22:15 +0200 | halloy4906 | (~halloy490@broadband-5-228-80-43.ip.moscow.rt.ru) |
| 2024-04-27 19:22:21 +0200 | halloy4906 | reki |
| 2024-04-27 19:24:06 +0200 | <reki> | Hi all! I've just pushed updated version of Future Monad. It's stateful now and works the same way as IO |
| 2024-04-27 19:24:08 +0200 | <reki> | https://github.com/ibaryshnikov/future-hs |
| 2024-04-27 19:26:22 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-04-27 19:26:55 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-04-27 19:28:39 +0200 | peterbecich | (~Thunderbi@47.229.123.186) |
| 2024-04-27 19:34:11 +0200 | pera | (~pera@user/pera) (Ping timeout: 256 seconds) |
| 2024-04-27 19:40:45 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-04-27 19:46:38 +0200 | euleritian | (~euleritia@95.90.211.190) (Ping timeout: 252 seconds) |
| 2024-04-27 19:47:10 +0200 | euleritian | (~euleritia@dynamic-176-000-161-190.176.0.pool.telefonica.de) |
| 2024-04-27 19:49:45 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-04-27 19:50:44 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-04-27 19:52:09 +0200 | Square | (~Square@user/square) |
| 2024-04-27 19:58:28 +0200 | <tomsmeding> | jumper149: types are erased at runtime in haskell, so you have to get a value from somewhere that is not _just_ the type |
| 2024-04-27 19:59:00 +0200 | <tomsmeding> | generally that "somewhere" is some kind of singleton, be it via the 'singletons' library or otherwise, and via a typeclass or otherwise |
| 2024-04-27 20:04:45 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-04-27 20:04:49 +0200 | sam113101 | (~sam@24.157.253.231) (Quit: WeeChat 4.2.1) |
| 2024-04-27 20:08:30 +0200 | sam113101 | (~sam@24.157.253.231) |
| 2024-04-27 20:15:42 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-27 20:18:42 +0200 | sam113101 | (~sam@24.157.253.231) (Quit: WeeChat 4.2.2) |
| 2024-04-27 20:30:20 +0200 | bilegeek | (~bilegeek@2600:1008:b0ad:1165:c160:8ebf:90b8:5ca) |
| 2024-04-27 20:30:46 +0200 | euleritian | (~euleritia@dynamic-176-000-161-190.176.0.pool.telefonica.de) (Ping timeout: 256 seconds) |
| 2024-04-27 20:36:33 +0200 | michalz | (~michalz@185.246.207.205) |
| 2024-04-27 20:45:48 +0200 | jinsun_ | (~jinsun@user/jinsun) |
| 2024-04-27 20:45:48 +0200 | jinsun | (~jinsun@user/jinsun) (Killed (silver.libera.chat (Nickname regained by services))) |
| 2024-04-27 20:45:48 +0200 | jinsun_ | jinsun |
| 2024-04-27 20:45:52 +0200 | sam113101 | (~sam@24.157.253.231) |
| 2024-04-27 20:46:57 +0200 | someone235 | (uid419897@id-419897.ilkley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-27 20:47:51 +0200 | sam113101 | (~sam@24.157.253.231) (Remote host closed the connection) |
| 2024-04-27 20:56:51 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-04-27 20:57:41 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 240 seconds) |
| 2024-04-27 20:58:17 +0200 | TheOneWhoFuncts | (~Thunderbi@104.28.233.82) |
| 2024-04-27 20:59:41 +0200 | TheOneWhoFuncts | (~Thunderbi@104.28.233.82) (Client Quit) |
| 2024-04-27 21:09:32 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) |
| 2024-04-27 21:09:54 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2024-04-27 21:12:54 +0200 | mechap | (~mechap@user/mechap) (Quit: WeeChat 4.2.2) |
| 2024-04-27 21:13:43 +0200 | mechap | (~mechap@user/mechap) |
| 2024-04-27 21:19:02 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2024-04-27 21:38:23 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 264 seconds) |
| 2024-04-27 21:42:55 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-04-27 21:44:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-27 21:57:14 +0200 | ocra8 | (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |
| 2024-04-27 22:03:12 +0200 | mreh | (~matthew@host86-160-168-68.range86-160.btcentralplus.com) |
| 2024-04-27 22:03:47 +0200 | mreh | (~matthew@host86-160-168-68.range86-160.btcentralplus.com) (Client Quit) |
| 2024-04-27 22:04:43 +0200 | mreh | (~matthew@host86-160-168-68.range86-160.btcentralplus.com) |
| 2024-04-27 22:05:38 +0200 | <mreh> | Should stack build be failing to find the c std lib? For some reason ghci handles compiling this FFI code fine. |
| 2024-04-27 22:05:43 +0200 | darkling | (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) (Summoning his cosmic powers, and glowing slightly from his toes...) |
| 2024-04-27 22:05:51 +0200 | darkling | (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) |
| 2024-04-27 22:06:24 +0200 | pastly | (~pastly@gateway/tor-sasl/pastly) (Quit: pastly) |
| 2024-04-27 22:07:17 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-04-27 22:09:05 +0200 | reki | (~halloy490@broadband-5-228-80-43.ip.moscow.rt.ru) (Remote host closed the connection) |
| 2024-04-27 22:09:12 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-27 22:29:17 +0200 | ocra8 | (ocra8@user/ocra8) |
| 2024-04-27 22:40:27 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-27 22:41:28 +0200 | mreh | (~matthew@host86-160-168-68.range86-160.btcentralplus.com) (Ping timeout: 268 seconds) |
| 2024-04-27 22:59:06 +0200 | yin | (~yin@user/zero) |
| 2024-04-27 23:01:35 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-04-27 23:04:38 +0200 | orcus- | (~orcus@host-78-146-88-32.as13285.net) |
| 2024-04-27 23:04:42 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-04-27 23:05:06 +0200 | dispater- | (~dispater@host-78-146-88-32.as13285.net) |
| 2024-04-27 23:05:26 +0200 | dispater- | (~dispater@host-78-146-88-32.as13285.net) (Remote host closed the connection) |
| 2024-04-27 23:05:27 +0200 | orcus- | (~orcus@host-78-146-88-32.as13285.net) (Remote host closed the connection) |
| 2024-04-27 23:07:59 +0200 | yin | (~yin@user/zero) (Ping timeout: 268 seconds) |
| 2024-04-27 23:09:50 +0200 | yin | (~yin@user/zero) |
| 2024-04-27 23:13:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-27 23:14:02 +0200 | michalz | (~michalz@185.246.207.205) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-27 23:14:53 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-04-27 23:15:15 +0200 | dispater- | (~dispater@host-78-146-88-32.as13285.net) |
| 2024-04-27 23:16:15 +0200 | orcus- | (~orcus@host-78-146-88-32.as13285.net) |
| 2024-04-27 23:16:47 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:2128:605:71c4:66a4) |
| 2024-04-27 23:16:57 +0200 | <haskellbridge> | <Jade> what makes `unsafeInterleaveIO` unsafe? |
| 2024-04-27 23:18:01 +0200 | <geekosaur> | it tells the compiler "I promise this is actually pure", and the compiler will treat it as such and may duplicate it, reorder it, etc. |
| 2024-04-27 23:18:15 +0200 | <geekosaur> | oh, interleave, sorry |
| 2024-04-27 23:18:32 +0200 | <geekosaur> | basically it's doing unchecked I/O behind the scenes |
| 2024-04-27 23:18:34 +0200 | peterbecich | (~Thunderbi@47.229.123.186) |
| 2024-04-27 23:18:52 +0200 | <ski> | as unsafe as concurrency (`forkIO') |
| 2024-04-27 23:19:06 +0200 | <EvanR> | evaluating something containing unsafeInterleaveIO can have side effects |
| 2024-04-27 23:19:43 +0200 | <haskellbridge> | <Jade> yeah but it's `IO a -> IO a`, so it can have side effects either way? |
| 2024-04-27 23:19:46 +0200 | <EvanR> | it requires extra logic beyond haskell to make sure it makes sense |
| 2024-04-27 23:20:07 +0200 | <EvanR> | nevermind me, you're right |
| 2024-04-27 23:20:12 +0200 | <geekosaur> | the problem is, you can use >>= to get at the `a`, but it is not obvious that it can continue to do I/O |
| 2024-04-27 23:20:14 +0200 | <EvanR> | that's what makes it different from unsafePerformIO |
| 2024-04-27 23:20:16 +0200 | dispater- | (~dispater@host-78-146-88-32.as13285.net) (Remote host closed the connection) |
| 2024-04-27 23:20:16 +0200 | orcus- | (~orcus@host-78-146-88-32.as13285.net) (Remote host closed the connection) |
| 2024-04-27 23:22:15 +0200 | dispater- | (~dispater@host-78-146-88-32.as13285.net) |
| 2024-04-27 23:22:35 +0200 | <yin> | what's wrong with the charts at https://ircbrowse.tomsmeding.com/lchaskell ? |
| 2024-04-27 23:22:45 +0200 | orcus- | (~orcus@host-78-146-88-32.as13285.net) |
| 2024-04-27 23:24:06 +0200 | dispater- | (~dispater@host-78-146-88-32.as13285.net) (Remote host closed the connection) |
| 2024-04-27 23:24:06 +0200 | orcus- | (~orcus@host-78-146-88-32.as13285.net) (Remote host closed the connection) |
| 2024-04-27 23:26:33 +0200 | orcus- | (~orcus@host-78-146-88-32.as13285.net) |
| 2024-04-27 23:27:04 +0200 | <EvanR> | "could not load the image" |
| 2024-04-27 23:27:25 +0200 | <EvanR> | it's 404ing, maybe google discontinued that API |
| 2024-04-27 23:27:31 +0200 | orcus- | (~orcus@host-78-146-88-32.as13285.net) (Remote host closed the connection) |
| 2024-04-27 23:27:39 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-04-27 23:29:13 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
| 2024-04-27 23:30:41 +0200 | yin | (~yin@user/zero) |
| 2024-04-27 23:31:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-27 23:32:26 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-04-27 23:33:48 +0200 | dispater- | (~dispater@host-78-146-88-32.as13285.net) |
| 2024-04-27 23:34:53 +0200 | dispater- | (~dispater@host-78-146-88-32.as13285.net) (Remote host closed the connection) |
| 2024-04-27 23:36:00 +0200 | sam113102 | (~sam@24.157.253.231) |
| 2024-04-27 23:37:39 +0200 | sam113102 | (~sam@24.157.253.231) (Client Quit) |
| 2024-04-27 23:38:10 +0200 | <[Leary]> | Jade: It's akin to `pure . unsafePerformIO`; the former does not actually cancel the danger of the latter. In particular, it violates referential transparency: when `unsafeInterleaveIO` is in use, you cannot replace one expression with another equal expression blindly, as one may produce observable side effects when forced, hence the substitution changes the meaning of your program. |
| 2024-04-27 23:38:24 +0200 | <[Leary]> | % traverse (unsafeInterleaveIO . putChar) "hello world" >>= print . void |
| 2024-04-27 23:38:24 +0200 | <yahb2> | [(),(),(),(),(),(),(),(),(),(),()] |
| 2024-04-27 23:38:52 +0200 | <[Leary]> | Here, we're printing a list of units, so the `void` is redundant and should be removed. |
| 2024-04-27 23:38:56 +0200 | <[Leary]> | % traverse (unsafeInterleaveIO . putChar) "hello world" >>= print |
| 2024-04-27 23:38:56 +0200 | <yahb2> | [h(),e(),l(),l(),o(), (),w(),o(),r(),l(),d()] |
| 2024-04-27 23:39:49 +0200 | <EvanR> | it's possible to think yourself out of the side effects and claim what it's doing makes sense, but normally you don't have to do that in haskell. So extra brain cycles required |
| 2024-04-27 23:40:06 +0200 | sam113101 | (~sam@24.157.253.231) |
| 2024-04-27 23:40:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-27 23:41:13 +0200 | sam113101 | (~sam@24.157.253.231) (Client Quit) |
| 2024-04-27 23:45:36 +0200 | sam113101 | (~sam@24.157.253.231) |
| 2024-04-27 23:46:51 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-04-27 23:49:55 +0200 | Square | (~Square@user/square) (Ping timeout: 245 seconds) |