Logs on 2022-04-14 (liberachat/#haskell)
| 00:00:07 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 00:01:16 | ub1 | is now known as ub |
| 00:02:32 | × | Codaraxis quits (~Codaraxis@user/codaraxis) (Ping timeout: 248 seconds) |
| 00:03:39 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 00:04:25 | → | Guest27 joins (~Guest27@2601:281:d47f:1590:768c:7129:aa80:96d9) |
| 00:04:52 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 250 seconds) |
| 00:08:13 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 00:09:10 | <dons> | interesting, hlint just suggested: null (filter (not.isSpace) rest) ~> all isSpace rest |
| 00:09:17 | <dons> | quite a good spot. |
| 00:10:18 | × | Guest27 quits (~Guest27@2601:281:d47f:1590:768c:7129:aa80:96d9) (Ping timeout: 250 seconds) |
| 00:10:31 | <abastro[m]> | Was hlint this smart |
| 00:10:42 | <dons> | it took two steps, but it got there. |
| 00:11:36 | <dons> | @pointful \rest -> null (filter (not.isSpace) rest) |
| 00:11:37 | <lambdabot> | \ rest -> null (filter (\ x -> not (isSpace x)) rest) |
| 00:15:32 | → | Guest27 joins (~Guest27@2601:281:d47f:1590:768c:7129:aa80:96d9) |
| 00:15:43 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 00:19:27 | <abastro[m]> | @pointfree (null.filter (not.isSpace)) |
| 00:19:27 | <lambdabot> | Unknown command, try @list |
| 00:19:35 | <abastro[m]> | Eh |
| 00:20:05 | → | Guest2782 joins (~Guest27@2601:281:d47f:1590:768c:7129:aa80:96d9) |
| 00:20:21 | × | Guest27 quits (~Guest27@2601:281:d47f:1590:768c:7129:aa80:96d9) (Client Quit) |
| 00:21:37 | <geekosaur> | @pointless (null.filter (not.isSpace)) |
| 00:21:37 | <lambdabot> | null . filter (not . isSpace) |
| 00:22:01 | <geekosaur> | which aside from spacing is a no-op because there are no points (bindings) |
| 00:24:47 | → | Guest27 joins (~Guest27@2601:281:d47f:1590:768c:7129:aa80:96d9) |
| 00:25:02 | × | Guest2782 quits (~Guest27@2601:281:d47f:1590:768c:7129:aa80:96d9) (Ping timeout: 250 seconds) |
| 00:27:36 | × | jgeerds quits (~jgeerds@d5364b87.access.ecotel.net) (Ping timeout: 272 seconds) |
| 00:27:52 | <dons> | i vaguely recall @pointfree being able to reduce things with rewrite rules. |
| 00:28:16 | × | xff0x quits (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) (Ping timeout: 250 seconds) |
| 00:32:46 | → | RevoGen joins (~RevoGen@136.167.108.23) |
| 00:33:48 | × | RevoGen quits (~RevoGen@136.167.108.23) (Remote host closed the connection) |
| 00:43:07 | × | benin quits (~benin@183.82.204.110) (Ping timeout: 240 seconds) |
| 00:43:14 | → | chenqisu1 joins (~chenqisu1@183.217.200.38) |
| 01:00:08 | × | Guest27 quits (~Guest27@2601:281:d47f:1590:768c:7129:aa80:96d9) (Ping timeout: 250 seconds) |
| 01:02:17 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 01:03:48 | × | cyphase quits (~cyphase@user/cyphase) (Ping timeout: 260 seconds) |
| 01:05:11 | → | cyphase joins (~cyphase@user/cyphase) |
| 01:07:04 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 01:07:36 | → | mud joins (~mud@user/kadoban) |
| 01:08:10 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 01:08:10 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 01:08:10 | → | wroathe joins (~wroathe@user/wroathe) |
| 01:08:41 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 01:10:06 | × | Artus quits (~Artus@190.192.80.102) (Ping timeout: 250 seconds) |
| 01:10:42 | × | Midjak quits (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 01:10:56 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:17:03 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:17:47 | × | neurocyte8614492 quits (~neurocyte@user/neurocyte) (Ping timeout: 240 seconds) |
| 01:20:30 | → | Guest27 joins (~Guest27@2601:281:d47f:1590:768c:7129:aa80:96d9) |
| 01:30:57 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 01:32:25 | → | andrey_ joins (~andrey@p200300dbcf0f96005281d43d055d6f73.dip0.t-ipconnect.de) |
| 01:33:19 | → | vysn joins (~vysn@user/vysn) |
| 01:34:48 | × | andrey__ quits (~andrey@p200300dbcf07c100b04d34d7ed81db16.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 01:39:39 | <abastro[m]> | What do I do when want to infinitely loop until some condition is met? |
| 01:40:13 | <abastro[m]> | Well that was poorly put.. I mean |
| 01:40:16 | → | deadmarshal_ joins (~deadmarsh@95.38.115.182) |
| 01:40:34 | <abastro[m]> | I have an IO action. |
| 01:40:34 | <abastro[m]> | It gives `IO (Either e a)` |
| 01:40:43 | <sshine> | :t iterate |
| 01:40:45 | <lambdabot> | (a -> a) -> a -> [a] |
| 01:40:59 | <sshine> | :t fix |
| 01:41:00 | <abastro[m]> | I want to run the action repeatedly until it gives `Left e` |
| 01:41:00 | <lambdabot> | (a -> a) -> a |
| 01:41:43 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 01:41:50 | <abastro[m]> | And then return the value `e` |
| 01:41:54 | <abastro[m]> | How do I do that? |
| 01:42:15 | <abastro[m]> | I mean `iterate` sounds poor fit for impure action |
| 01:42:33 | <sshine> | yeah |
| 01:42:47 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 240 seconds) |
| 01:43:08 | <jackson99> | loop = x <- action; case x of Right _ -> loop; Left e -> return e |
| 01:43:22 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 01:43:23 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 01:43:23 | → | wroathe joins (~wroathe@user/wroathe) |
| 01:44:23 | <abastro[m]> | Oh, |
| 01:44:23 | <abastro[m]> | `loop = action >>= either pure (const loop)` |
| 01:44:38 | <abastro[m]> | Soo that is actually quite simple |
| 01:44:51 | <abastro[m]> | I guess I should avoid overcomplicating problem :P |
| 01:45:07 | × | deadmarshal_ quits (~deadmarsh@95.38.115.182) (Ping timeout: 256 seconds) |
| 01:54:23 | <abastro[m]> | I wonder why I did this: |
| 01:54:23 | <abastro[m]> | newtype TempHandle r = TempHandle{ withTemp :: (Handle -> IO r) -> IO r } |
| 01:58:59 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 02:00:35 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 02:01:35 | × | ubert quits (~Thunderbi@p200300ecdf1588a34b361c912f36e7d5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 02:01:36 | ub | is now known as ubert |
| 02:01:55 | → | ubert1 joins (~Thunderbi@p200300ecdf15889a5b0225aa68853aa4.dip0.t-ipconnect.de) |
| 02:06:24 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 02:07:52 | × | cyphase quits (~cyphase@user/cyphase) (Ping timeout: 248 seconds) |
| 02:11:24 | → | king_gs joins (~Thunderbi@187.201.197.74) |
| 02:12:30 | → | cyphase joins (~cyphase@user/cyphase) |
| 02:15:21 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 02:18:29 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 02:18:58 | × | justache quits (~justache@user/justache) (Remote host closed the connection) |
| 02:19:55 | → | justache joins (~justache@user/justache) |
| 02:22:22 | → | liz joins (~liz@host109-151-125-217.range109-151.btcentralplus.com) |
| 02:25:47 | <dmj`> | abastro[m]: fix is good for that, fix $ \loop -> action >>= \case { Left e -> pure e; Right r -> stuff r >> loop; } |
| 02:25:51 | → | AlexNoo_ joins (~AlexNoo@178.34.151.248) |
| 02:26:45 | dmj` | plays coldplay *fix you* (official video) on youtube |
| 02:28:34 | × | Alex_test quits (~al_test@178.34.151.145) (Ping timeout: 272 seconds) |
| 02:29:03 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 02:29:12 | × | AlexZenon quits (~alzenon@178.34.151.145) (Ping timeout: 272 seconds) |
| 02:29:13 | × | AlexNoo quits (~AlexNoo@178.34.151.145) (Ping timeout: 248 seconds) |
| 02:30:48 | × | king_gs quits (~Thunderbi@187.201.197.74) (Read error: Connection reset by peer) |
| 02:31:45 | → | Alex_test joins (~al_test@178.34.151.248) |
| 02:32:31 | → | king_gs joins (~Thunderbi@2806:103e:29:1de5:8bc8:f08f:4d70:424) |
| 02:33:09 | → | AlexZenon joins (~alzenon@178.34.151.248) |
| 02:34:25 | × | Codaraxis_ quits (~Codaraxis@user/codaraxis) (Ping timeout: 256 seconds) |
| 02:36:58 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
| 02:37:51 | → | xff0x joins (~xff0x@om126156244132.26.openmobile.ne.jp) |
| 02:38:13 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:38:13 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:38:13 | finn_elija | is now known as FinnElija |
| 02:38:29 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 02:39:48 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 02:41:28 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 248 seconds) |
| 02:41:53 | → | waleee joins (~waleee@h-155-4-221-82.NA.cust.bahnhof.se) |
| 02:43:48 | → | z0k joins (~z0k@39.40.10.175) |
| 02:43:48 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 02:44:07 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:44:29 | <abastro[m]> | I like my loop version better tbh |
| 02:44:42 | <abastro[m]> | I was thinking of using `forever`, but that is.. meh |
| 02:46:01 | → | Inst joins (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 02:46:56 | × | tomku quits (~tomku@user/tomku) (Ping timeout: 250 seconds) |
| 02:47:04 | → | tomku joins (~tomku@user/tomku) |
| 02:47:40 | × | terrorjack quits (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 02:48:03 | → | frost joins (~frost@user/frost) |
| 02:48:53 | → | terrorjack joins (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 02:50:51 | × | Inst quits (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 256 seconds) |
| 02:53:48 | → | mbuf joins (~Shakthi@171.61.243.114) |
| 02:54:36 | <Axman6> | :t runExceptT . forever . ExceptT |
| 02:54:38 | <lambdabot> | Monad m => m (Either e a1) -> m (Either e a2) |
| 02:55:57 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 02:56:54 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 250 seconds) |
| 02:57:47 | <abastro[m]> | Axman6: that one requires handling `Void` |
| 02:59:15 | <Axman6> | :t \m -> (runExceptT . forever $ ExceptT m) >>= \case Left e -> pure e -- not sure if GHC is smart enough to know that the right case is impossible |
| 02:59:17 | <lambdabot> | Monad m => m (Either b a) -> m b |
| 02:59:44 | → | Unicorn_Princess joins (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 03:00:29 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 03:03:23 | → | cdman joins (~dcm@27.2.216.167) |
| 03:03:23 | × | cdman quits (~dcm@27.2.216.167) (Changing host) |
| 03:03:23 | → | cdman joins (~dcm@user/dmc/x-4369397) |
| 03:03:43 | × | russruss quits (~russruss@my.russellmcc.com) (Quit: The Lounge - https://thelounge.chat) |
| 03:04:14 | → | russruss joins (~russruss@my.russellmcc.com) |
| 03:09:41 | × | liz quits (~liz@host109-151-125-217.range109-151.btcentralplus.com) (Quit: Lost terminal) |
| 03:09:42 | → | Inst joins (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 03:11:21 | × | anomal quits (~anomal@87.227.196.109) (Remote host closed the connection) |
| 03:15:10 | → | Codaraxis joins (~Codaraxis@user/codaraxis) |
| 03:22:09 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 03:26:27 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 03:27:54 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 03:30:36 | × | cdman quits (~dcm@user/dmc/x-4369397) (Quit: Leaving) |
| 03:32:13 | × | waleee quits (~waleee@h-155-4-221-82.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 03:32:37 | → | cdman joins (~dcm@user/dmc/x-4369397) |
| 03:32:47 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 03:36:25 | → | rawley joins (~rawley@216-197-141-102.nbfr.hsdb.sasknet.sk.ca) |
| 03:39:42 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 03:39:56 | × | matijja quits (~matijja@193.77.181.201) (Quit: ZNC 1.8.2 - https://znc.in) |
| 03:40:56 | × | Guest27 quits (~Guest27@2601:281:d47f:1590:768c:7129:aa80:96d9) (Quit: Client closed) |
| 03:41:21 | <jackdk> | Axman6: I get a warning with that; so I'd probably use |
| 03:41:40 | <jackdk> | :t \m -> (runExceptT . forever $ ExceptT m) >>= either pure absurd |
| 03:41:42 | <lambdabot> | Monad m => m (Either b a) -> m b |
| 03:43:12 | → | matijja joins (~matijja@193.77.181.201) |
| 03:43:51 | × | king_gs quits (~Thunderbi@2806:103e:29:1de5:8bc8:f08f:4d70:424) (Remote host closed the connection) |
| 03:44:11 | → | king_gs joins (~Thunderbi@2806:103e:29:1de5:8bc8:f08f:4d70:424) |
| 03:46:28 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 03:50:09 | → | k8yun joins (~k8yun@user/k8yun) |
| 03:52:16 | × | xff0x quits (~xff0x@om126156244132.26.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 03:57:50 | × | frost quits (~frost@user/frost) (Quit: Client closed) |
| 03:59:54 | × | rawley quits (~rawley@216-197-141-102.nbfr.hsdb.sasknet.sk.ca) (Remote host closed the connection) |
| 04:03:57 | × | z0k quits (~z0k@39.40.10.175) (Ping timeout: 246 seconds) |
| 04:12:42 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 04:16:19 | → | bahamas joins (~lucian@84.232.140.158) |
| 04:16:57 | → | deadmarshal_ joins (~deadmarsh@95.38.115.182) |
| 04:17:43 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 04:31:07 | × | lbseale quits (~ep1ctetus@user/ep1ctetus) (Read error: Connection reset by peer) |
| 04:31:26 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 272 seconds) |
| 04:33:08 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 04:36:22 | → | z0k joins (~z0k@39.40.110.46) |
| 04:40:15 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 04:43:07 | × | bahamas quits (~lucian@84.232.140.158) (Ping timeout: 240 seconds) |
| 04:47:05 | → | _ht joins (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 04:49:50 | × | raym quits (~raym@user/raym) (Remote host closed the connection) |
| 04:50:00 | × | king_gs quits (~Thunderbi@2806:103e:29:1de5:8bc8:f08f:4d70:424) (Ping timeout: 250 seconds) |
| 04:50:05 | → | raym joins (~raym@user/raym) |
| 04:53:38 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 04:53:38 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 04:53:38 | → | wroathe joins (~wroathe@user/wroathe) |
| 04:58:53 | <abastro[m]> | Yea, I'd prefer |
| 04:58:53 | <abastro[m]> | `loop = action >>= either pure (const loop)` |
| 04:59:34 | × | jackson99 quits (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (EOF)) |
| 04:59:58 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 05:01:55 | → | dlwomw^ joins (~dlwomw@50.226.13.122) |
| 05:03:34 | × | raym quits (~raym@user/raym) (Quit: new kernel, rebooting...) |
| 05:05:29 | → | raym joins (~raym@user/raym) |
| 05:11:09 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 05:17:07 | × | deadmarshal_ quits (~deadmarsh@95.38.115.182) (Ping timeout: 240 seconds) |
| 05:18:05 | <jackdk> | It was only after I posted that I realised I'd gone back to where you started ^^ |
| 05:19:04 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 05:22:00 | × | z0k quits (~z0k@39.40.110.46) (Ping timeout: 248 seconds) |
| 05:23:39 | → | z0k joins (~z0k@39.40.110.46) |
| 05:25:58 | × | _ht quits (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 05:26:45 | → | deadmarshal_ joins (~deadmarsh@95.38.115.182) |
| 05:28:34 | → | axeman joins (~quassel@95.90.236.254) |
| 05:29:48 | → | benin joins (~benin@183.82.204.110) |
| 05:30:41 | → | king_gs joins (~Thunderbi@187.201.197.74) |
| 05:38:56 | × | mud quits (~mud@user/kadoban) (Quit: quit) |
| 05:47:59 | → | RevoGen joins (~RevoGen@136.167.108.23) |
| 05:48:12 | <RevoGen> | why are strict right folds not a thing? |
| 05:48:41 | → | xff0x joins (~xff0x@om126167120043.29.openmobile.ne.jp) |
| 05:48:51 | <opqdonut> | RevoGen: if you want one, you can just use reverse + foldl' |
| 05:49:05 | <opqdonut> | it's not a thing because it's not that efficient: you need to effectively reverse the list |
| 05:49:19 | <opqdonut> | which means that you'll force the whole lazy input |
| 05:50:07 | <RevoGen> | ah i see, thanks! |
| 05:51:19 | → | jonathanx joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 05:52:18 | × | k8yun quits (~k8yun@user/k8yun) (Quit: Leaving) |
| 05:53:08 | × | king_gs quits (~Thunderbi@187.201.197.74) (Read error: Connection reset by peer) |
| 05:53:27 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 05:53:42 | <RevoGen> | wait opqdonut, does that mean that it's impossible to do a strict fold on an infinite list? |
| 05:53:58 | <opqdonut> | yes |
| 05:55:36 | → | king_gs joins (~Thunderbi@2806:103e:29:1de5:8bc8:f08f:4d70:424) |
| 05:57:36 | × | bontaq quits (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 250 seconds) |
| 05:59:18 | ← | RevoGen parts (~RevoGen@136.167.108.23) () |
| 05:59:27 | → | RevoGen joins (~RevoGen@136.167.108.23) |
| 06:00:48 | × | xff0x quits (~xff0x@om126167120043.29.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 06:00:52 | × | RevoGen quits (~RevoGen@136.167.108.23) (Remote host closed the connection) |
| 06:01:08 | × | z0k quits (~z0k@39.40.110.46) (Read error: Connection reset by peer) |
| 06:01:45 | → | fendor joins (~fendor@91.141.51.137.wireless.dyn.drei.com) |
| 06:03:43 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 06:03:53 | → | z0k joins (~z0k@39.40.97.231) |
| 06:04:16 | → | michalz joins (~michalz@185.246.204.121) |
| 06:04:18 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 06:05:07 | → | gurkenglas joins (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 06:06:00 | × | kilolympus quits (~kilolympu@31.205.200.235) (Read error: Connection reset by peer) |
| 06:07:28 | × | xsarnik quits (xsarnik@lounge.fi.muni.cz) (Quit: Ping timeout (120 seconds)) |
| 06:07:37 | → | lispy joins (~lispy@82.212.119.196) |
| 06:07:39 | → | xsarnik joins (xsarnik@lounge.fi.muni.cz) |
| 06:09:35 | → | kilolympus joins (~kilolympu@31.205.200.235) |
| 06:09:38 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 06:14:40 | × | deadmarshal_ quits (~deadmarsh@95.38.115.182) (Ping timeout: 272 seconds) |
| 06:14:49 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 06:16:23 | × | jkoshy quits (99b9359beb@2604:bf00:561:2000::10f) (Changing host) |
| 06:16:23 | → | jkoshy joins (99b9359beb@user/jkoshy) |
| 06:21:50 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:586f:6838:910b:9957) |
| 06:23:18 | → | dhouthoo joins (~dhouthoo@178-117-36-167.access.telenet.be) |
| 06:23:33 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 06:25:39 | × | kaph_ quits (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Remote host closed the connection) |
| 06:26:02 | → | kaph_ joins (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) |
| 06:30:16 | × | m5zs7k quits (aquares@web10.mydevil.net) (Ping timeout: 248 seconds) |
| 06:30:51 | → | m5zs7k joins (aquares@web10.mydevil.net) |
| 06:32:23 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 06:32:52 | × | unyu quits (~pyon@user/pyon) (Quit: WeeChat 3.5) |
| 06:33:41 | × | m1dnight quits (~christoph@78-22-9-5.access.telenet.be) (Read error: Connection reset by peer) |
| 06:34:20 | → | alp_ joins (~alp@user/alp) |
| 06:34:32 | → | cfricke joins (~cfricke@user/cfricke) |
| 06:37:46 | × | tubogram4 quits (~tubogram@user/tubogram) (*.net *.split) |
| 06:37:46 | × | dons quits (~dons@user/dons) (*.net *.split) |
| 06:37:46 | × | Axman6 quits (~Axman6@user/axman6) (*.net *.split) |
| 06:39:50 | → | m1dnight joins (~christoph@78-22-9-5.access.telenet.be) |
| 06:41:35 | → | odnes joins (~odnes@5-203-176-169.pat.nym.cosmote.net) |
| 06:41:36 | × | lispy quits (~lispy@82.212.119.196) (Quit: Client closed) |
| 06:42:32 | × | axeman quits (~quassel@95.90.236.254) (Ping timeout: 272 seconds) |
| 06:43:11 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 06:50:53 | → | deadmarshal_ joins (~deadmarsh@95.38.115.182) |
| 06:51:05 | → | anomal joins (~anomal@87.227.196.109) |
| 06:51:35 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 06:53:54 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 06:55:09 | → | acidjnk joins (~acidjnk@p200300d0c722df08e4e71eddc7f69ce5.dip0.t-ipconnect.de) |
| 06:55:20 | × | deadmarshal_ quits (~deadmarsh@95.38.115.182) (Ping timeout: 248 seconds) |
| 06:58:22 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 06:58:57 | → | Axman6 joins (~Axman6@user/axman6) |
| 07:01:11 | × | dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.5) |
| 07:01:27 | <abastro[m]> | What was the elegant fizzbuzz implementation which uses monoid foldmap? |
| 07:01:47 | × | michalz quits (~michalz@185.246.204.121) (Ping timeout: 240 seconds) |
| 07:01:53 | → | dhouthoo joins (~dhouthoo@178-117-36-167.access.telenet.be) |
| 07:02:25 | → | michalz joins (~michalz@185.246.204.45) |
| 07:03:34 | → | mmhat joins (~mmh@55d48cf8.access.ecotel.net) |
| 07:04:30 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 07:04:56 | × | motherfsck quits (~motherfsc@user/motherfsck) (Quit: quit) |
| 07:05:11 | × | hueso quits (~root@user/hueso) (Quit: No Ping reply in 180 seconds.) |
| 07:06:21 | → | hueso joins (~root@user/hueso) |
| 07:06:29 | → | xff0x joins (~xff0x@om126167120043.29.openmobile.ne.jp) |
| 07:09:59 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:11:16 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 250 seconds) |
| 07:12:33 | → | iteratee_ joins (~kyle@162.218.222.107) |
| 07:12:49 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 07:13:42 | × | iteratee quits (~kyle@162.218.222.107) (Ping timeout: 252 seconds) |
| 07:13:49 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 07:14:07 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 07:14:16 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 07:17:08 | × | gehmehgeh quits (~user@user/gehmehgeh) (Client Quit) |
| 07:17:31 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 07:17:34 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 07:17:44 | × | kaph_ quits (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Remote host closed the connection) |
| 07:18:02 | → | kaph_ joins (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) |
| 07:19:57 | × | fjmorazan quits (~quassel@user/fjmorazan) (Remote host closed the connection) |
| 07:20:58 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 07:21:06 | → | fjmorazan joins (~quassel@user/fjmorazan) |
| 07:24:06 | → | bahamas joins (~lucian@84.232.140.158) |
| 07:25:14 | → | redb joins (~nmh@136.49.49.211) |
| 07:25:29 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 07:28:24 | × | bahamas quits (~lucian@84.232.140.158) (Ping timeout: 248 seconds) |
| 07:29:35 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 07:30:06 | <zero> | i like this 1 a lot http://rubymanor.org/3/videos/programming_with_nothing/ |
| 07:30:06 | → | coot joins (~coot@213.134.190.95) |
| 07:30:13 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 07:30:44 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 07:31:12 | → | frost joins (~frost@user/frost) |
| 07:31:13 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 07:32:45 | → | deadmarshal_ joins (~deadmarsh@95.38.115.182) |
| 07:33:03 | × | tomsmeding quits (~tomsmedin@static.21.109.88.23.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 07:33:12 | × | dlwomw^ quits (~dlwomw@50.226.13.122) (Remote host closed the connection) |
| 07:33:47 | → | tomsmeding joins (~tomsmedin@static.21.109.88.23.clients.your-server.de) |
| 07:43:33 | → | robosexual joins (~robosexua@77.223.90.202) |
| 07:46:08 | → | chele joins (~chele@user/chele) |
| 07:46:39 | × | deadmarshal_ quits (~deadmarsh@95.38.115.182) (Ping timeout: 256 seconds) |
| 07:56:15 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 07:56:16 | → | bahamas joins (~lucian@86.120.77.115) |
| 07:56:25 | → | ccntrq joins (~Thunderbi@2a01:e34:eccb:b060:457e:5c98:899e:26ef) |
| 07:56:46 | → | hololeap joins (~hololeap@user/hololeap) |
| 07:58:03 | → | redb joins (~nmh@136.49.49.211) |
| 07:58:07 | → | joo-_ joins (~joo-_@80-62-116-147-mobile.dk.customer.tdc.net) |
| 07:58:07 | × | joo-_ quits (~joo-_@80-62-116-147-mobile.dk.customer.tdc.net) (Changing host) |
| 07:58:07 | → | joo-_ joins (~joo-_@fsf/member/joo--) |
| 08:02:58 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 08:05:26 | → | jgeerds joins (~jgeerds@d5364b87.access.ecotel.net) |
| 08:06:49 | × | mmhat quits (~mmh@55d48cf8.access.ecotel.net) (Quit: WeeChat 3.5) |
| 08:09:08 | → | mmhat joins (~mmh@55d48cf8.access.ecotel.net) |
| 08:11:03 | × | mmhat quits (~mmh@55d48cf8.access.ecotel.net) (Client Quit) |
| 08:11:35 | → | deadmarshal_ joins (~deadmarsh@95.38.115.182) |
| 08:12:52 | → | mmhat joins (~mmh@55d48cf8.access.ecotel.net) |
| 08:13:53 | × | statusbot quits (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection) |
| 08:13:53 | → | statusbot3 joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 08:15:07 | × | Techcable quits (~Techcable@user/Techcable) (Ping timeout: 256 seconds) |
| 08:15:20 | → | Techcable joins (~Techcable@user/Techcable) |
| 08:17:06 | × | xff0x quits (~xff0x@om126167120043.29.openmobile.ne.jp) (Quit: xff0x) |
| 08:18:11 | → | xff0x joins (~xff0x@om126167120043.29.openmobile.ne.jp) |
| 08:18:50 | → | mstksg joins (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 08:19:36 | → | toulene8 joins (~toulene@user/toulene) |
| 08:20:10 | → | jackson99 joins (~bc8147f2@cerf.good1.com) |
| 08:20:24 | × | xff0x quits (~xff0x@om126167120043.29.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 08:20:39 | → | haskl[error] joins (~haskl@user/haskl) |
| 08:21:40 | → | AndrewYu joins (~andrew@user/AndrewYu) |
| 08:21:43 | → | Midjak joins (~Midjak@82.66.147.146) |
| 08:22:34 | × | toulene quits (~toulene@user/toulene) (Quit: Ping timeout (120 seconds)) |
| 08:22:34 | × | jle` quits (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Remote host closed the connection) |
| 08:22:34 | × | Andrew quits (Andrew@user/AndrewYu) (Remote host closed the connection) |
| 08:22:34 | × | haskl quits (~haskl@user/haskl) (Quit: Uh oh... ZNC disconnected.) |
| 08:22:35 | toulene8 | is now known as toulene |
| 08:23:35 | → | notzmv joins (~zmv@user/notzmv) |
| 08:24:30 | → | redb joins (~nmh@136.49.49.211) |
| 08:28:13 | × | mmhat quits (~mmh@55d48cf8.access.ecotel.net) (Quit: WeeChat 3.5) |
| 08:28:33 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 08:30:27 | → | redb joins (~nmh@136.49.49.211) |
| 08:30:54 | → | mmhat joins (~mmh@55d48cf8.access.ecotel.net) |
| 08:34:51 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 08:36:32 | × | deadmarshal_ quits (~deadmarsh@95.38.115.182) (Ping timeout: 272 seconds) |
| 08:40:39 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 08:52:26 | → | mastarija joins (~mastarija@2a05:4f46:e04:6000:68d9:b076:ca11:8c6e) |
| 08:52:44 | <mastarija> | > [5..3] |
| 08:52:45 | <lambdabot> | [] |
| 08:52:51 | <mastarija> | > [3..5] |
| 08:52:53 | <lambdabot> | [3,4,5] |
| 08:53:07 | <tomsmeding> | > [5,4..3] |
| 08:53:09 | <lambdabot> | [5,4,3] |
| 08:53:13 | <mastarija> | Yes... |
| 08:53:22 | <mastarija> | but wasn't this working in earlier versions? |
| 08:53:25 | <tomsmeding> | no |
| 08:53:36 | <tomsmeding> | this behaviour has not changed |
| 08:53:49 | <tomsmeding> | > (enumFromTo 3 5, enumFromTo 5 3) |
| 08:53:51 | <lambdabot> | ([3,4,5],[]) |
| 08:54:05 | <mastarija> | Any reason for that behavior? |
| 08:54:10 | <mastarija> | Just interested |
| 08:54:12 | <tomsmeding> | it gets desugared to calls to those functions from Enum |
| 08:54:31 | <tomsmeding> | Enum doesn't need a reason to do anything :p |
| 08:54:39 | <tomsmeding> | Enum does whatever it wants |
| 08:54:40 | <merijn> | mastarija: It doesn't inspect the final value |
| 08:54:52 | <merijn> | mastarija: If no explicit increment, then the increment is 1 |
| 08:54:59 | <mastarija> | oh.. |
| 08:55:03 | <mastarija> | yes, that makes sense |
| 08:55:27 | × | kaph_ quits (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Ping timeout: 240 seconds) |
| 08:55:27 | <merijn> | (the "explicit" increment getting derived from the second value) |
| 08:55:42 | <tomsmeding> | > ([3 .. 5.2], [5.2 .. 3]) |
| 08:55:44 | <lambdabot> | ([3.0,4.0,5.0],[]) |
| 08:56:03 | <tomsmeding> | what would the second one be, [5,4,3] or [5.2,4.2,3.2]? |
| 08:56:21 | <tomsmeding> | (perhaps this illustrates the weirdness of Enum Double more than anything else though |
| 08:56:22 | <tomsmeding> | ) |
| 08:56:32 | <mastarija> | Yes |
| 08:56:45 | <mastarija> | Well.. guess I'll have to make a little helper function |
| 08:56:56 | <merijn> | Enum for Double is lies |
| 08:57:05 | <mastarija> | xD |
| 08:57:05 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 08:57:39 | <tomsmeding> | > length [0, 0.1+0.1+0.1-0.3 .. 1e-10] |
| 08:57:41 | <lambdabot> | 1801441 |
| 08:58:00 | <tomsmeding> | clearly |
| 08:58:24 | <mastarija> | Yes, that was obvious even to me |
| 08:59:21 | <mastarija> | Btw, do we have any function that deals with "fixing" floating point integers |
| 08:59:37 | <mastarija> | Like `roundWithinMargin` |
| 09:00:06 | <tomsmeding> | multiply by 1/margin, round, multiply by margin? |
| 09:00:24 | × | solomon[m] quits (~solomonco@2001:470:69fc:105::1:6000) (Quit: You have been kicked for being idle) |
| 09:00:26 | <mastarija> | If I do 3.6 - 0.6 and want to make sure I get 3.0 and not 3.0000000000000018 |
| 09:00:36 | × | bahamas quits (~lucian@86.120.77.115) (Ping timeout: 272 seconds) |
| 09:00:40 | → | solomon[m] joins (~solomonco@2001:470:69fc:105::1:6000) |
| 09:01:28 | <tomsmeding> | are you not looking for something like https://hackage.haskell.org/package/Decimal-0.5.2/docs/Data-Decimal.html |
| 09:01:40 | → | bahamas joins (~lucian@93.122.251.65) |
| 09:02:12 | × | king_gs quits (~Thunderbi@2806:103e:29:1de5:8bc8:f08f:4d70:424) (Ping timeout: 250 seconds) |
| 09:02:29 | ← | solomon[m] parts (~solomonco@2001:470:69fc:105::1:6000) () |
| 09:02:41 | <merijn> | mastarija: Eh, how about "round"? :) |
| 09:02:43 | <merijn> | :p |
| 09:02:55 | <merijn> | > round (3.6 - 0.6) |
| 09:02:58 | <lambdabot> | 3 |
| 09:03:08 | <merijn> | Alternatively, use fixed precision |
| 09:03:57 | <merijn> | > (3.6 :: Deci) - 0.6 |
| 09:03:59 | <lambdabot> | 3.0 |
| 09:04:05 | <mastarija> | merijn, I mean, I want to keep it a float until later |
| 09:04:09 | <merijn> | > (3.6 :: Centi) - 0.6 |
| 09:04:13 | <lambdabot> | 3.00 |
| 09:04:21 | <merijn> | > (3.6 :: Centi) - 0.22 |
| 09:04:23 | <lambdabot> | 3.38 |
| 09:04:49 | <jackson99> | > round 1.5 |
| 09:04:51 | <lambdabot> | 2 |
| 09:04:52 | <jackson99> | > round 2.5 |
| 09:04:53 | <mastarija> | Ok, thanks. I never knew about Deci / Centi types |
| 09:04:54 | <lambdabot> | 2 |
| 09:04:58 | <merijn> | mastarija: fixed precision and Rational are superior :) |
| 09:05:16 | <merijn> | mastarija: Deci/Centi are aliases for "Fixed a" which allows arbitrary precision |
| 09:05:17 | → | redb joins (~nmh@136.49.49.211) |
| 09:05:25 | <merijn> | > 3 :: Milli |
| 09:05:26 | <lambdabot> | 3.000 |
| 09:05:33 | <merijn> | See Data.Fixed |
| 09:05:57 | <mastarija> | Cool. I do need a bit higher precision so that will work nicely. |
| 09:06:08 | <merijn> | jackson99: round uses banker's rounding (i.e. round to nearest even) as is the default rounding for IEEE-754 |
| 09:06:27 | <merijn> | mastarija: You can extend it with custom precision super easily if you need it |
| 09:06:35 | <jackson99> | merijn, I know. I find it annoying in some cases |
| 09:09:27 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 09:10:36 | × | jackson99 quits (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC) |
| 09:10:52 | → | jackson99 joins (~bc8147f2@cerf.good1.com) |
| 09:11:40 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 09:11:41 | × | bahamas quits (~lucian@93.122.251.65) (Read error: Connection reset by peer) |
| 09:12:15 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 09:13:26 | → | fendor_ joins (~fendor@178.115.70.32.wireless.dyn.drei.com) |
| 09:15:07 | × | fendor quits (~fendor@91.141.51.137.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 09:15:18 | → | king_gs joins (~Thunderbi@187.201.197.74) |
| 09:17:07 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 09:19:36 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 09:28:05 | <Profpatsch> | Is there |
| 09:28:07 | <Profpatsch> | loopCond :: Monad m1 => (ConduitT o o m1 ()) |
| 09:28:09 | <Profpatsch> | loopCond = Cond.await >>= \case |
| 09:28:11 | <Profpatsch> | Nothing -> pure () |
| 09:28:13 | <Profpatsch> | Just a -> do |
| 09:28:15 | <Profpatsch> | Cond.yield a |
| 09:28:17 | <Profpatsch> | loopCond |
| 09:28:19 | <Profpatsch> | In Conduit somewhere? |
| 09:28:32 | <Profpatsch> | awaitForever has a different signature and uses conduit internals for its implementation |
| 09:29:07 | <Profpatsch> | Is it the same as (awaitForever leftover)? |
| 09:29:16 | <Profpatsch> | At least the type signatures match up |
| 09:30:16 | <Profpatsch> | My use-case is that I’m building a conduit that strips the byte order mark from the beginning of a stream, so it `await`s once, checks if the BOM is there, strips it, then loops the conduit for every further input. |
| 09:33:16 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 09:34:24 | × | king_gs quits (~Thunderbi@187.201.197.74) (Read error: Connection reset by peer) |
| 09:35:15 | → | AlexNoo__ joins (~AlexNoo@178.34.151.248) |
| 09:36:09 | × | AlexNoo_ quits (~AlexNoo@178.34.151.248) (Read error: Connection reset by peer) |
| 09:37:35 | → | king_gs joins (~Thunderbi@187.201.197.74) |
| 09:38:14 | → | redb joins (~nmh@136.49.49.211) |
| 09:38:44 | → | efertone joins (~efertone@user/efertone) |
| 09:42:49 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 09:43:05 | <abastro[m]> | > 0.1+0.1+0.1-0.3 |
| 09:43:09 | <lambdabot> | 5.551115123125783e-17 |
| 09:50:03 | <merijn> | Profpatsch: looks like you want mapMaybe ahead of that conduit instead |
| 09:50:16 | × | acidjnk quits (~acidjnk@p200300d0c722df08e4e71eddc7f69ce5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 09:51:34 | <merijn> | Profpatsch: https://hackage.haskell.org/package/conduit-1.3.4.2/docs/Data-Conduit-List.html#v:mapMaybe |
| 09:51:34 | × | anomal quits (~anomal@87.227.196.109) (Remote host closed the connection) |
| 09:51:53 | → | anomal joins (~anomal@87.227.196.109) |
| 09:52:42 | <Profpatsch> | merijn: that’s applying it to all values in the stream |
| 09:52:50 | <Profpatsch> | not just the first stream element |
| 09:54:05 | <merijn> | oh, wait yours stops after nothing. hmm, maybe I don't understand the use |
| 09:54:15 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 09:54:39 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 09:55:32 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 09:55:42 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 09:56:07 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 09:56:29 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 10:00:57 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 10:02:00 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 250 seconds) |
| 10:02:23 | × | anomal quits (~anomal@87.227.196.109) (Remote host closed the connection) |
| 10:02:55 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 10:03:28 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 10:04:08 | × | z0k quits (~z0k@39.40.97.231) (Ping timeout: 248 seconds) |
| 10:04:13 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 10:06:57 | × | natto quits (~natto@140.238.230.155) (Ping timeout: 252 seconds) |
| 10:09:27 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds) |
| 10:10:01 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 10:10:57 | → | redb joins (~nmh@136.49.49.211) |
| 10:11:03 | → | deadmarshal_ joins (~deadmarsh@95.38.115.182) |
| 10:11:29 | AndrewYu | is now known as Andrew |
| 10:12:22 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 10:13:09 | → | akegalj joins (~akegalj@93-138-22-63.adsl.net.t-com.hr) |
| 10:13:24 | × | ccntrq quits (~Thunderbi@2a01:e34:eccb:b060:457e:5c98:899e:26ef) (Quit: ccntrq) |
| 10:13:35 | → | ccntrq1 joins (~Thunderbi@imx92-1-78-204-187-6.fbx.proxad.net) |
| 10:15:41 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 10:15:53 | ccntrq1 | is now known as ccntrq |
| 10:16:35 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 10:17:56 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 10:18:25 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 10:19:18 | Andrew | is now known as werdnA |
| 10:19:20 | werdnA | is now known as Andrew |
| 10:22:29 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 10:24:55 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 10:27:09 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 10:34:29 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 10:38:23 | × | king_gs quits (~Thunderbi@187.201.197.74) (Quit: king_gs) |
| 10:38:47 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 10:40:02 | × | Andrew quits (~andrew@user/AndrewYu) (Quit: Leaving) |
| 10:42:27 | → | jackson98 joins (~bc8147f2@83.167.180.121) |
| 10:43:46 | → | Andrew joins (Andrew@user/AndrewYu) |
| 10:44:28 | × | EsoAlgo quits (~EsoAlgo@152.70.142.52) (Ping timeout: 272 seconds) |
| 10:46:57 | → | redb joins (~nmh@136.49.49.211) |
| 10:48:01 | → | acidjnk joins (~acidjnk@p200300d0c722df081581cec648b99087.dip0.t-ipconnect.de) |
| 10:51:26 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 10:54:30 | → | Pickchea joins (~private@user/pickchea) |
| 10:57:37 | × | theproffesor quits (~theprofff@user/theproffesor) (Ping timeout: 260 seconds) |
| 11:00:34 | → | z0k joins (~z0k@39.40.125.126) |
| 11:00:35 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 11:01:18 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 11:02:18 | → | theproffesor joins (~theprofff@user/theproffesor) |
| 11:02:55 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 11:03:25 | × | zer0bitz quits (~zer0bitz@2001:2003:f444:8f00:d9de:fb6b:4dff:6b4) (Read error: Connection reset by peer) |
| 11:06:09 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 11:07:06 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 11:07:42 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 11:08:51 | × | z0k quits (~z0k@39.40.125.126) (Ping timeout: 246 seconds) |
| 11:10:07 | → | redb joins (~nmh@136.49.49.211) |
| 11:10:48 | → | z0k joins (~z0k@39.40.9.161) |
| 11:14:27 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 11:15:12 | × | fendor_ quits (~fendor@178.115.70.32.wireless.dyn.drei.com) (Remote host closed the connection) |
| 11:16:27 | × | akegalj quits (~akegalj@93-138-22-63.adsl.net.t-com.hr) (Ping timeout: 240 seconds) |
| 11:18:55 | × | stiell_ quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 11:21:19 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 11:22:57 | → | axeman joins (~quassel@2a02:8109:a380:78:d258:7bac:10e:cc60) |
| 11:23:20 | → | fendor joins (~fendor@178.115.70.32.wireless.dyn.drei.com) |
| 11:24:09 | → | stiell_ joins (~stiell@gateway/tor-sasl/stiell) |
| 11:25:13 | → | redb joins (~nmh@136.49.49.211) |
| 11:29:31 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
| 11:35:06 | × | frost quits (~frost@user/frost) (Quit: Client closed) |
| 11:35:18 | × | littlebobeep quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 11:35:41 | → | littlebobeep joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 11:36:28 | × | axeman quits (~quassel@2a02:8109:a380:78:d258:7bac:10e:cc60) (Ping timeout: 250 seconds) |
| 11:36:39 | <abastro[m]> | Why are there so many streaming libraries |
| 11:36:42 | <abastro[m]> | It is just soooo hard to decide what to use |
| 11:37:40 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 272 seconds) |
| 11:38:02 | <abastro[m]> | So I end up resorting to more boilerplate and monad-loops |
| 11:39:14 | <abastro[m]> | And I like lazy IO but sometimes streaming is necessary |
| 11:39:55 | <hpc> | streaming is a big problem space, and something you end up dealing with rather frequently |
| 11:40:20 | <hpc> | it's like how javascript has so many event frameworks |
| 11:41:05 | <abastro[m]> | Oh no |
| 11:41:27 | <abastro[m]> | Then in which way can I be opinionated? |
| 11:41:35 | <abastro[m]> | I know I have to choose at some point |
| 11:41:48 | <abastro[m]> | And lazy IO is perhaps lame, considering how lazy ST is lame |
| 11:42:15 | <abastro[m]> | (IIRC some guy made me believe in lazy IO.. idk) |
| 11:43:34 | → | redb joins (~nmh@136.49.49.211) |
| 11:44:08 | <tdammers> | problem with lazy IO is that it's unsafe in surprising ways |
| 11:45:37 | <tdammers> | open file, read data, close file, delete file, do stuff with data, oops, you're now reading from a file that no longer exists |
| 11:47:39 | → | frost joins (~frost@user/frost) |
| 11:47:44 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 250 seconds) |
| 11:48:50 | → | redb joins (~nmh@136.49.49.211) |
| 11:50:07 | × | chenqisu1 quits (~chenqisu1@183.217.200.38) (Ping timeout: 240 seconds) |
| 11:50:52 | AlexNoo__ | is now known as AlexNoo |
| 11:51:17 | <abastro[m]> | UNIX has semantics that until the file is actually closed, it is not |
| 11:51:28 | × | deadmarshal_ quits (~deadmarsh@95.38.115.182) (Quit: ZNC 1.8.2 - https://znc.in) |
| 11:51:53 | → | deadmarshal_ joins (~deadmarsh@95.38.115.182) |
| 11:52:38 | <tdammers> | yes, but the problem is that you actually close the file and then proceed to read from it |
| 11:52:52 | <tdammers> | because lazy IO defers the actual reading until the data is demanded |
| 11:53:21 | → | natto joins (~natto@140.238.225.67) |
| 11:54:11 | <abastro[m]> | Yea, doesn't close also deferred then? |
| 11:54:12 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
| 11:54:19 | <abastro[m]> | Oh right, `withFile` exists for this case |
| 11:54:48 | × | hololeap quits (~hololeap@user/hololeap) (Remote host closed the connection) |
| 11:54:48 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 11:55:11 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 11:56:10 | → | hololeap joins (~hololeap@user/hololeap) |
| 11:56:28 | <abastro[m]> | Anyway. Someone persuaded me some time ago that lazy IO hate is actually laziness hate |
| 11:56:39 | → | epolanski joins (uid312403@id-312403.helmsley.irccloud.com) |
| 11:57:48 | × | frost quits (~frost@user/frost) (Quit: Client closed) |
| 11:57:53 | <abastro[m]> | And one should not be afraid of lazy IO |
| 11:57:58 | <abastro[m]> | I miss the person.. |
| 12:00:13 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 12:00:14 | <abastro[m]> | tdammers: Now I wonder, is laziness a misfeature? |
| 12:00:31 | <merijn> | lazy IO /= laziness |
| 12:00:32 | × | travv0 quits (sid293381@user/travv0) (Quit: Connection closed for inactivity) |
| 12:00:38 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 12:01:03 | <merijn> | There's a reason lazy IO requires specific (unsafe!) primitives to introduce laziness |
| 12:03:55 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 12:04:19 | → | redb joins (~nmh@136.49.49.211) |
| 12:05:06 | <abastro[m]> | Hmmm |
| 12:05:14 | <abastro[m]> | Is IO supposed to be strict then? |
| 12:05:23 | <abastro[m]> | Strict for the effect exection I mean |
| 12:05:45 | <abastro[m]> | I guess `readFile` is also a misfeature |
| 12:05:59 | <abastro[m]> | It eases my mind that I do not have to connect lazy IO to laziness |
| 12:06:51 | → | xff0x joins (~xff0x@om126167120043.29.openmobile.ne.jp) |
| 12:08:16 | × | odnes quits (~odnes@5-203-176-169.pat.nym.cosmote.net) (Quit: Leaving) |
| 12:08:36 | → | chenqisu1 joins (~chenqisu1@183.217.200.38) |
| 12:08:42 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 12:14:15 | <merijn> | abastro[m]: The string version of readFile is lazy IO, yes. The text and bytestring packages have strict readFile's which are more sensible |
| 12:14:18 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 246 seconds) |
| 12:15:03 | <merijn> | abastro[m]: The principal guarantee of IO and it's Monad instance is that in "a >> b" all IO/effects of 'a' will have finished before those of 'b' start |
| 12:15:20 | <merijn> | unsafeInterleaveIO (aka the function used to create lazy IO) breaks that promise |
| 12:15:27 | <merijn> | (hence unsafe) |
| 12:16:07 | <merijn> | There's only, like, five lazy IO functions in base, though |
| 12:16:24 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 248 seconds) |
| 12:16:35 | <merijn> | Off the top of my head I can only think of: readFile, getContents, hGetContents |
| 12:17:41 | <merijn> | All off those use String and are thus highly questionable anyway. You'd wanna use Text of ByteString, the strict versions of which give you strict readFile/getContents/hGetContents anyway |
| 12:20:39 | → | redb joins (~nmh@136.49.49.211) |
| 12:22:46 | <abastro[m]> | Yea, Text in base when |
| 12:23:08 | <abastro[m]> | ..but then sometimes you want streaming in the IO input |
| 12:24:23 | <abastro[m]> | I wonder if one could use Text.Lazy with it |
| 12:24:34 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:24:53 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 12:27:27 | <merijn> | abastro[m]: That just brings back lazy IO :p You can already incrementally read using strict Text using hGetLine and hGetChunk |
| 12:27:27 | → | bahamas joins (~lucian@84.232.140.158) |
| 12:33:57 | × | gurkenglas quits (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 12:34:13 | <abastro[m]> | :t T.hGetLine |
| 12:34:15 | <lambdabot> | error: |
| 12:34:15 | <lambdabot> | Not in scope: ‘T.hGetLine’ |
| 12:34:15 | <lambdabot> | Perhaps you meant one of these: |
| 12:34:41 | <abastro[m]> | :t hGetChunk |
| 12:34:43 | <lambdabot> | error: Variable not in scope: hGetChunk |
| 12:34:48 | <abastro[m]> | Whyy |
| 12:35:38 | <merijn> | Because Text's IO stuff isn't in lambdabot :p |
| 12:35:50 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 12:36:08 | <abastro[m]> | :( |
| 12:36:59 | → | gurkenglas joins (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 12:37:19 | <abastro[m]> | Wouldn't using hGetChunk a bit unwieldy |
| 12:38:11 | × | gabiruh_ quits (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 12:38:29 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 12:38:42 | <merijn> | That's why most streaming libraries have support for Text already, which uses hGetChunk internally :p |
| 12:38:55 | <abastro[m]> | Hmm |
| 12:39:01 | <abastro[m]> | How can I become opinionated |
| 12:39:08 | <abastro[m]> | It is tooooooo hard to choose one :( |
| 12:39:37 | × | zyklotomic quits (~ethan@res380d-128-61-81-14.res.gatech.edu) (Ping timeout: 256 seconds) |
| 12:39:39 | <abastro[m]> | Are most haskellers using some kind of streaming library |
| 12:40:34 | geekosaur | wonders if he should dig up the streaming libs discussion from a few weeks ago |
| 12:41:02 | <abastro[m]> | Where is it? |
| 12:41:17 | <abastro[m]> | (I think it is going to be quite messy..) |
| 12:41:19 | <geekosaur> | tl;dr: most of the ecosystem uses conduit, but streamly is up and coming |
| 12:41:30 | <geekosaur> | it'll be in the irc logs somewhere |
| 12:41:38 | → | zyklotomic joins (~ethan@r4-128-61-88-254.res.gatech.edu) |
| 12:42:11 | <abastro[m]> | Oh, good |
| 12:42:18 | <abastro[m]> | conduit and streamly :D |
| 12:42:27 | <abastro[m]> | Now that makes it easier for me to choose |
| 12:42:49 | <abastro[m]> | How do I soothe my dislike towards streaming libraries? |
| 12:43:15 | <abastro[m]> | My lazyIO part of brain is revolting |
| 12:46:10 | <tomsmeding> | "opinionated [adjective] - Characterized by conceited assertiveness and dogmatism." |
| 12:46:32 | <tomsmeding> | I mean I know programming jargon has attached a somewhat different meaning to that word |
| 12:46:47 | <tomsmeding> | but, why do we need a "this is the best and the rest is crap" conclusion? |
| 12:47:04 | <tomsmeding> | what's more useful, I think, is a comparison showing which libraries are better for which circumstances |
| 12:47:22 | <tomsmeding> | (I don't know whether such a comparison already exists, perhaps the discussion that geekosaur referred to?) |
| 12:48:22 | <abastro[m]> | I intentionally used the word |
| 12:48:57 | <abastro[m]> | Because often in SW, ppl have exhaustion by design choices |
| 12:49:18 | <abastro[m]> | So they want an authorative source to follow through, however flawed and problematic it is. |
| 12:51:29 | <tomsmeding> | in which case, use the most common |
| 12:51:43 | <abastro[m]> | I also faced such problems and directly saw how haskell is "hard" - it is because we have to do educated choices |
| 12:51:44 | <abastro[m]> | Most common, yea |
| 12:51:45 | <tomsmeding> | which is presumably not a bad choice, otherwise why would it be the most common |
| 12:51:53 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 12:52:04 | <abastro[m]> | Idk, what is the most common language in industry? |
| 12:52:15 | <tomsmeding> | but I feel it is not useful to actively push and search for one option to tout as "the best and the rest can suck" |
| 12:52:16 | <abastro[m]> | I guess *J a b a* |
| 12:52:21 | <abastro[m]> | And JS |
| 12:52:45 | <tomsmeding> | rather, if the point is to provide a default option for people who don't want to spend the time making a detailed comparison, phrase it like providing a default option :p |
| 12:52:56 | <tomsmeding> | right |
| 12:52:58 | <abastro[m]> | It is more that, worry about the rest later (and that can become never) |
| 12:53:15 | <abastro[m]> | Idk, I've seen ppl loving opinionated stuff |
| 12:53:22 | <tomsmeding> | one can go with the default choice on some parts that you care less about, and make an educated choice on other parts that you care more about |
| 12:53:33 | <abastro[m]> | And the rants/pointless arguments touting the most popular choices |
| 12:53:44 | <abastro[m]> | Which gets tons of likes because, you know, choice is hard |
| 12:53:45 | → | redb joins (~nmh@136.49.49.211) |
| 12:53:49 | <tomsmeding> | hence it's perfectly justifiable to go with haskell because you care about functional programming, but with conduit because you have no idea and want to do some streaming IO |
| 12:54:01 | <tomsmeding> | yes |
| 12:54:03 | <tomsmeding> | and fuck flamewars |
| 12:54:11 | <tomsmeding> | flamewars are fun, but not productive |
| 12:54:15 | <abastro[m]> | Yea |
| 12:54:16 | <abastro[m]> | streamly looks great tho |
| 12:54:16 | <abastro[m]> | Hmm |
| 12:54:27 | × | benin quits (~benin@183.82.204.110) (Ping timeout: 240 seconds) |
| 12:54:33 | <abastro[m]> | I need some info on this |
| 12:54:34 | <abastro[m]> | Is streamly less stable? |
| 12:54:52 | tomsmeding | has no actual clue on streaming libraries, someone else take over from here :p |
| 12:55:08 | <abastro[m]> | <del>I love dramas, but instead of watching it on TV, I like it in chatting channels</del> |
| 12:55:08 | <abastro[m]> | Oof |
| 12:58:00 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 12:58:31 | <geekosaur> | streamly is stable but its API is a bit rough at present |
| 12:58:52 | → | redb joins (~nmh@136.49.49.211) |
| 12:58:55 | <geekosaur> | which may mean a future version will change the API a bit |
| 12:59:15 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 12:59:27 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 12:59:56 | <geekosaur> | it'salso got the best performance of all the streaming libraries |
| 13:00:08 | × | chenqisu1 quits (~chenqisu1@183.217.200.38) (Ping timeout: 248 seconds) |
| 13:00:14 | <geekosaur> | I'd say if you want stable and usable out of the box, conduit is your go-to |
| 13:00:29 | <geekosaur> | if you neef best performance, go for streamly |
| 13:00:32 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 13:01:44 | <geekosaur> | there are a lot of conduit plug-ins for pretty much anything you need on hackage |
| 13:02:04 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 13:02:16 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 13:02:55 | × | zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 13:03:19 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
| 13:04:29 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 13:06:07 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 13:06:35 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 13:06:50 | × | ubert quits (~Thunderbi@p548c8d44.dip0.t-ipconnect.de) (Quit: ubert) |
| 13:06:50 | ubert1 | is now known as ubert |
| 13:08:27 | → | _dmc_ joins (~dcm@user/dmc/x-4369397) |
| 13:08:33 | × | cdman quits (~dcm@user/dmc/x-4369397) (Ping timeout: 246 seconds) |
| 13:08:47 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 13:09:31 | → | frost joins (~frost@user/frost) |
| 13:12:30 | → | zaquest joins (~notzaques@5.130.79.72) |
| 13:12:41 | → | redb joins (~nmh@136.49.49.211) |
| 13:17:01 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 13:17:11 | → | bontaq joins (~user@ool-45779fe5.dyn.optonline.net) |
| 13:18:44 | → | redb joins (~nmh@136.49.49.211) |
| 13:20:32 | → | kaph joins (~kaph@151.36.224.136) |
| 13:22:10 | × | jgeerds quits (~jgeerds@d5364b87.access.ecotel.net) (Ping timeout: 272 seconds) |
| 13:22:50 | × | _dmc_ quits (~dcm@user/dmc/x-4369397) (Quit: Leaving) |
| 13:23:15 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 13:23:30 | → | cdman joins (~dcm@user/dmc/x-4369397) |
| 13:24:23 | × | Henson quits (~kvirc@107-179-133-201.cpe.teksavvy.com) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 13:29:08 | × | bahamas quits (~lucian@84.232.140.158) (Ping timeout: 272 seconds) |
| 13:30:24 | × | xff0x quits (~xff0x@om126167120043.29.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 13:33:41 | × | jespada quits (~jespada@2a0c:5c84:1:3000::3b58) (Remote host closed the connection) |
| 13:34:07 | → | Pickchea joins (~private@user/pickchea) |
| 13:35:26 | → | coot joins (~coot@213.134.190.95) |
| 13:36:30 | → | akegalj joins (~akegalj@93-138-22-63.adsl.net.t-com.hr) |
| 13:36:32 | → | redb joins (~nmh@136.49.49.211) |
| 13:36:44 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 13:38:55 | → | jespada joins (~jespada@2a0c:5c84:1:6000::7f92) |
| 13:40:26 | → | xff0x joins (~xff0x@om126167120043.29.openmobile.ne.jp) |
| 13:40:49 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 13:41:23 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 13:43:05 | → | Guest12 joins (~Guest12@planetx-02-2111.uni-muenster.de) |
| 13:43:10 | → | kaph_ joins (~kaph@151.38.238.0) |
| 13:43:21 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 13:43:21 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 13:43:21 | → | wroathe joins (~wroathe@user/wroathe) |
| 13:43:25 | × | Guest12 quits (~Guest12@planetx-02-2111.uni-muenster.de) (Client Quit) |
| 13:45:28 | × | kaph quits (~kaph@151.36.224.136) (Ping timeout: 248 seconds) |
| 13:51:37 | → | barzo joins (~hd@149.0.146.115) |
| 13:52:02 | × | barzo quits (~hd@149.0.146.115) (Client Quit) |
| 13:56:04 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 13:56:12 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 13:57:35 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:586f:6838:910b:9957) (Quit: WeeChat 2.8) |
| 13:58:47 | → | redb joins (~nmh@136.49.49.211) |
| 14:00:54 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 14:07:47 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 14:08:01 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 14:08:03 | → | slack1256 joins (~slack1256@191.125.227.90) |
| 14:08:41 | → | fockerized joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 14:08:55 | <fockerized> | any ghc flags for creating a smaller binary? |
| 14:09:18 | <fockerized> | my main = return () creates a 11M binary |
| 14:09:21 | × | jespada quits (~jespada@2a0c:5c84:1:6000::7f92) (Remote host closed the connection) |
| 14:10:15 | × | akegalj quits (~akegalj@93-138-22-63.adsl.net.t-com.hr) (Quit: leaving) |
| 14:10:44 | <[exa]> | fockerized: you can strip it, should remove a lot of unnecessary data |
| 14:11:25 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 14:12:03 | <fockerized> | manually strip it with a editor? |
| 14:12:33 | <[exa]> | no, there's a `strip` program that removes unnecessary stuff from binaries, like debug info and symbols |
| 14:12:52 | <[exa]> | if you are on some kind of unix just type `strip yourProgram` and that's it |
| 14:12:54 | × | pranshukhandal quits (pranshukha@envs.net) (Quit: the lounge - https://webirc.envs.net) |
| 14:13:06 | → | pranshukhandal joins (pranshukha@envs.net) |
| 14:13:19 | × | acidjnk quits (~acidjnk@p200300d0c722df081581cec648b99087.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 14:13:33 | × | phma quits (phma@2001:5b0:212a:b288:54de:f56:6f6c:c5f8) (Read error: Connection reset by peer) |
| 14:13:47 | → | jao joins (~jao@92.233.85.247) |
| 14:14:01 | <[exa]> | the other option is to go for dynamic libraries, just compile with `-dynamic`, my test program here is literally 10616 bytes with that, after stripping |
| 14:14:33 | → | phma joins (phma@2001:5b0:211c:1d48:c79f:ef32:78e6:f8b1) |
| 14:14:54 | → | jespada joins (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) |
| 14:15:28 | <[exa]> | (and roughly 18kB before stripping) |
| 14:15:38 | → | CiaoSen joins (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 14:15:56 | <[exa]> | without -dynamic I'm getting something like 3.5MB (unstripped) and 900kB (stripped) |
| 14:18:11 | <fockerized> | 3.5MB is still quite smaller than mine 11MB |
| 14:18:25 | <fockerized> | I tried with ghc file.hs -o h.out |
| 14:19:24 | × | slack1256 quits (~slack1256@191.125.227.90) (Remote host closed the connection) |
| 14:21:59 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 14:22:24 | × | Inst quits (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 246 seconds) |
| 14:24:03 | × | gurkenglas quits (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 14:25:27 | → | jgeerds joins (~jgeerds@d5364b87.access.ecotel.net) |
| 14:30:18 | → | motherfsck joins (~motherfsc@user/motherfsck) |
| 14:31:24 | × | frost quits (~frost@user/frost) (Quit: Client closed) |
| 14:32:18 | → | zebrag joins (~chris@user/zebrag) |
| 14:32:24 | × | kaph_ quits (~kaph@151.38.238.0) (Ping timeout: 248 seconds) |
| 14:35:09 | → | redb joins (~nmh@136.49.49.211) |
| 14:39:33 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 14:39:49 | × | jackson99 quits (~bc8147f2@cerf.good1.com) (Quit: quit) |
| 14:39:54 | jackson98 | is now known as jackson99 |
| 14:42:22 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: Textual IRC Client: www.textualapp.com) |
| 14:43:30 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 14:44:26 | → | califax joins (~califax@user/califx) |
| 14:48:57 | → | redb joins (~nmh@136.49.49.211) |
| 14:51:08 | × | notzmv quits (~zmv@user/notzmv) (Remote host closed the connection) |
| 14:51:15 | → | oxide joins (~lambda@user/oxide) |
| 14:51:55 | → | rawley joins (~rawley@142.99.241.242) |
| 14:52:54 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 14:56:15 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 14:59:11 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 14:59:37 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Client Quit) |
| 15:00:05 | → | yauhsien joins (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 15:02:07 | → | gentauro joins (~gentauro@user/gentauro) |
| 15:02:40 | → | notzmv joins (~zmv@user/notzmv) |
| 15:04:24 | × | z0k quits (~z0k@39.40.9.161) (Quit: WeeChat 3.4.1) |
| 15:04:46 | × | yauhsien quits (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 15:06:11 | → | ishaan joins (~ishaan@122.161.51.210) |
| 15:12:51 | → | sprout joins (~quassel@2a02-a467-ccd6-1-d9a7-d237-b363-1f2.fixed6.kpn.net) |
| 15:14:37 | × | jinsun quits (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 15:14:41 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 15:15:02 | → | tmo24 joins (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) |
| 15:16:09 | × | sprout_ quits (~quassel@2a02:a467:ccd6:1:cc9d:606d:275:46cf) (Ping timeout: 248 seconds) |
| 15:25:00 | → | jinsun joins (~jinsun@user/jinsun) |
| 15:27:54 | × | tmo24 quits (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) (Remote host closed the connection) |
| 15:28:11 | → | tmo24 joins (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) |
| 15:31:56 | × | tmo24 quits (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) (Remote host closed the connection) |
| 15:32:01 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 15:32:13 | → | tmo24 joins (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) |
| 15:37:48 | pranshukhandal | is now known as ghost1999 |
| 15:39:30 | → | Guest92 joins (~Guest92@2001:818:da34:b400:2cdc:89c5:4785:3c6) |
| 15:41:52 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 15:42:01 | <carbolymer> | fockerized: you can also use upx to compress your binary |
| 15:42:56 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 15:43:08 | × | mastarija quits (~mastarija@2a05:4f46:e04:6000:68d9:b076:ca11:8c6e) (Quit: Leaving) |
| 15:43:21 | → | gurkenglas joins (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 15:44:22 | → | lbseale joins (~ep1ctetus@user/ep1ctetus) |
| 15:44:23 | <geekosaur> | dynamic will reduce it by quite a lot, ghc's default is to use static which makes for more self-contained but significantly larger binaries |
| 15:44:30 | × | Guest92 quits (~Guest92@2001:818:da34:b400:2cdc:89c5:4785:3c6) (Quit: Client closed) |
| 15:45:11 | <geekosaur> | if you use dynamic you have to make sure the exact versions of the shared objects are available (and I think there are location restrictions as well) |
| 15:47:48 | × | lbseale quits (~ep1ctetus@user/ep1ctetus) (Read error: Connection reset by peer) |
| 15:48:36 | × | ubert quits (~Thunderbi@p200300ecdf15889a5b0225aa68853aa4.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 15:48:54 | → | ubert joins (~Thunderbi@p200300ecdf15889a6dd735575757d7c8.dip0.t-ipconnect.de) |
| 15:48:59 | × | alp_ quits (~alp@user/alp) (Ping timeout: 260 seconds) |
| 15:50:48 | × | cdman quits (~dcm@user/dmc/x-4369397) (Ping timeout: 248 seconds) |
| 15:55:27 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 16:00:12 | → | Hanicef joins (~gustaf@81-229-9-108-no92.tbcn.telia.com) |
| 16:00:12 | × | Hanicef quits (~gustaf@81-229-9-108-no92.tbcn.telia.com) (Client Quit) |
| 16:01:52 | × | tmo24 quits (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) (Remote host closed the connection) |
| 16:02:05 | → | Hanicef joins (~gustaf@81-229-9-108-no92.tbcn.telia.com) |
| 16:02:09 | → | tmo24 joins (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) |
| 16:02:13 | × | ccntrq quits (~Thunderbi@imx92-1-78-204-187-6.fbx.proxad.net) (Quit: ccntrq) |
| 16:03:14 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 16:05:14 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 16:08:44 | × | jgeerds quits (~jgeerds@d5364b87.access.ecotel.net) (Ping timeout: 272 seconds) |
| 16:09:43 | × | ishaan quits (~ishaan@122.161.51.210) (Quit: Ping timeout (120 seconds)) |
| 16:16:03 | × | CiaoSen quits (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 16:18:54 | × | xff0x quits (~xff0x@om126167120043.29.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 16:22:32 | → | pretty_d1 joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 16:22:44 | × | pretty_d1 quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 16:22:45 | × | ghost1999 quits (pranshukha@envs.net) (Quit: the lounge - https://webirc.envs.net) |
| 16:24:24 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 248 seconds) |
| 16:27:24 | × | tmo24 quits (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) (Remote host closed the connection) |
| 16:27:27 | → | axeman joins (~quassel@2a02:8109:a380:78:be44:98d7:7a12:c9cf) |
| 16:27:41 | → | tmo24 joins (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) |
| 16:29:13 | → | benin joins (~benin@183.82.204.110) |
| 16:31:18 | × | tmo24 quits (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) (Remote host closed the connection) |
| 16:31:35 | → | tmo24 joins (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) |
| 16:35:28 | × | tmo24 quits (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) (Remote host closed the connection) |
| 16:35:46 | → | tmo24 joins (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) |
| 16:38:16 | → | ishaan joins (~ishaan@122.161.51.210) |
| 16:39:57 | × | rawley quits (~rawley@142.99.241.242) (Ping timeout: 246 seconds) |
| 16:44:04 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 16:44:36 | → | Vajb joins (~Vajb@2001:999:504:1dda:267d:6860:bdf7:f68b) |
| 16:47:03 | × | Vajb quits (~Vajb@2001:999:504:1dda:267d:6860:bdf7:f68b) (Read error: Connection reset by peer) |
| 16:47:07 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 16:47:26 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 16:47:53 | × | axeman quits (~quassel@2a02:8109:a380:78:be44:98d7:7a12:c9cf) (Ping timeout: 248 seconds) |
| 16:48:11 | → | Vajb joins (~Vajb@85-76-73-177-nat.elisa-mobile.fi) |
| 16:49:08 | → | alp_ joins (~alp@user/alp) |
| 16:54:42 | × | tmo24 quits (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) (Remote host closed the connection) |
| 16:54:59 | → | tmo24 joins (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) |
| 16:56:46 | × | tmo24 quits (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) (Remote host closed the connection) |
| 16:57:04 | → | tmo24 joins (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) |
| 16:57:59 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 16:58:20 | × | cheater quits (~Username@user/cheater) (Read error: Connection reset by peer) |
| 16:59:09 | → | cheater joins (~Username@user/cheater) |
| 17:09:26 | × | tmo24 quits (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) (Remote host closed the connection) |
| 17:09:46 | → | tmo24 joins (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) |
| 17:12:22 | × | Codaraxis quits (~Codaraxis@user/codaraxis) (Read error: Connection reset by peer) |
| 17:14:02 | × | tmo24 quits (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) (Remote host closed the connection) |
| 17:14:19 | → | tmo24 joins (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) |
| 17:14:57 | × | statusbot3 quits (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection) |
| 17:15:11 | → | statusbot joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 17:17:20 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 17:17:20 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 17:17:20 | → | wroathe joins (~wroathe@user/wroathe) |
| 17:19:06 | × | Hanicef quits (~gustaf@81-229-9-108-no92.tbcn.telia.com) (Quit: leaving) |
| 17:21:20 | → | _ht joins (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 17:22:14 | → | Guest31 joins (~Guest31@201.110.214.194) |
| 17:25:00 | × | tmo24 quits (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) (Remote host closed the connection) |
| 17:25:18 | → | tmo24 joins (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) |
| 17:25:49 | × | Guest31 quits (~Guest31@201.110.214.194) (Client Quit) |
| 17:26:31 | → | Athas_ joins (athas@2a01:7c8:aaac:1cf:1c09:1958:649b:4873) |
| 17:26:36 | × | califax quits (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 17:26:41 | → | lemonsni- joins (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 17:26:49 | → | califax joins (~califax@user/califx) |
| 17:27:10 | → | hammock joins (~Hammock@2600:1700:19a1:3330::588) |
| 17:27:11 | → | zachel_ joins (~zachel@user/zachel) |
| 17:27:41 | → | eggplant_ joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 17:27:48 | → | jinsun__ joins (~jinsun@user/jinsun) |
| 17:28:01 | → | hyiltiz_ joins (~quassel@31.220.5.250) |
| 17:28:09 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 17:28:13 | → | Trattue- joins (~Trattue@152.70.182.158) |
| 17:28:17 | × | eggplant_ quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 17:28:39 | → | ptrcmd_ joins (~ptrcmd@user/ptrcmd) |
| 17:28:42 | → | janus__ joins (janus@anubis.0x90.dk) |
| 17:28:44 | → | Cheery_ joins (~cheery@7-239-179-185.static.tentacle.fi) |
| 17:28:45 | → | a1paca_ joins (~a1paca@user/a1paca) |
| 17:28:57 | → | Zemyla_ joins (~ec2-user@ec2-54-80-174-150.compute-1.amazonaws.com) |
| 17:28:58 | → | zyklotom1 joins (~ethan@r4-128-61-88-254.res.gatech.edu) |
| 17:29:05 | → | simeon_ joins (~pi@dslb-088-076-113-221.088.076.pools.vodafone-ip.de) |
| 17:29:07 | → | sweater1 joins (~sweater@206.81.18.26) |
| 17:29:07 | → | Maxdaman1us joins (~Maxdamant@user/maxdamantus) |
| 17:29:11 | → | lucifero joins (~satan@ip-046-223-003-068.um13.pools.vodafone-ip.de) |
| 17:29:15 | → | some02 joins (~cat@user/sudden) |
| 17:29:16 | → | stilgart_ joins (~Christoph@chezlefab.net) |
| 17:29:31 | → | tomku|two joins (~tomku@user/tomku) |
| 17:29:33 | → | opqdonut_ joins (opqdonut@pseudo.fixme.fi) |
| 17:29:38 | → | gabriel_1 joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 17:29:53 | → | _ht_ joins (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 17:31:28 | × | Vajb quits (~Vajb@85-76-73-177-nat.elisa-mobile.fi) (Read error: Connection reset by peer) |
| 17:31:56 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 17:32:47 | → | mniip_ joins (mniip@libera/staff/mniip) |
| 17:33:22 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: Textual IRC Client: www.textualapp.com) |
| 17:33:56 | × | _ht quits (~quassel@231-169-21-31.ftth.glasoperator.nl) (*.net *.split) |
| 17:33:56 | × | wroathe quits (~wroathe@user/wroathe) (*.net *.split) |
| 17:33:56 | × | cheater quits (~Username@user/cheater) (*.net *.split) |
| 17:33:56 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (*.net *.split) |
| 17:33:56 | × | jinsun quits (~jinsun@user/jinsun) (*.net *.split) |
| 17:33:56 | × | oxide quits (~lambda@user/oxide) (*.net *.split) |
| 17:33:56 | × | zebrag quits (~chris@user/zebrag) (*.net *.split) |
| 17:33:56 | × | zyklotomic quits (~ethan@r4-128-61-88-254.res.gatech.edu) (*.net *.split) |
| 17:33:56 | × | theproffesor quits (~theprofff@user/theproffesor) (*.net *.split) |
| 17:33:56 | × | Midjak quits (~Midjak@82.66.147.146) (*.net *.split) |
| 17:33:56 | × | haskl[error] quits (~haskl@user/haskl) (*.net *.split) |
| 17:33:56 | × | toulene quits (~toulene@user/toulene) (*.net *.split) |
| 17:33:56 | × | russruss quits (~russruss@my.russellmcc.com) (*.net *.split) |
| 17:33:56 | × | tomku quits (~tomku@user/tomku) (*.net *.split) |
| 17:33:56 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (*.net *.split) |
| 17:33:56 | × | JimL quits (~quassel@89-162-2-132.fiber.signal.no) (*.net *.split) |
| 17:33:56 | × | wolfshappen quits (~waff@irc.furworks.de) (*.net *.split) |
| 17:33:56 | × | Putonlalla quits (~sapekiis@it-cyan.it.jyu.fi) (*.net *.split) |
| 17:33:56 | × | blades quits (~blades@204.48.29.163) (*.net *.split) |
| 17:33:56 | × | drewr quits (~drew@user/drewr) (*.net *.split) |
| 17:33:56 | × | janus quits (janus@anubis.0x90.dk) (*.net *.split) |
| 17:33:56 | × | asm quits (~alexander@burner.asm89.io) (*.net *.split) |
| 17:33:56 | × | lemonsnicks quits (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (*.net *.split) |
| 17:33:56 | × | dwt_ quits (~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) (*.net *.split) |
| 17:33:57 | × | statusfailed quits (~statusfai@statusfailed.com) (*.net *.split) |
| 17:33:57 | × | simeon quits (~pi@dslb-088-076-113-221.088.076.pools.vodafone-ip.de) (*.net *.split) |
| 17:33:57 | × | sweater quits (~sweater@206.81.18.26) (*.net *.split) |
| 17:33:57 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (*.net *.split) |
| 17:33:57 | × | mniip quits (~mniip@libera/staff/mniip) (*.net *.split) |
| 17:33:57 | × | Athas quits (athas@sigkill.dk) (*.net *.split) |
| 17:33:57 | × | belphegor666 quits (~satan@user/belphegor666) (*.net *.split) |
| 17:33:57 | × | sudden quits (~cat@user/sudden) (*.net *.split) |
| 17:33:57 | × | Cheery quits (~cheery@7-239-179-185.static.tentacle.fi) (*.net *.split) |
| 17:33:57 | × | a1paca quits (~a1paca@user/a1paca) (*.net *.split) |
| 17:33:57 | × | APic quits (~apic@apic.name) (*.net *.split) |
| 17:33:57 | × | adium quits (adium@user/adium) (*.net *.split) |
| 17:33:57 | × | bah quits (~bah@l1.tel) (*.net *.split) |
| 17:33:57 | × | stilgart quits (~Christoph@chezlefab.net) (*.net *.split) |
| 17:33:57 | × | ptrcmd quits (~ptrcmd@user/ptrcmd) (*.net *.split) |
| 17:33:57 | × | opqdonut quits (~opqdonut@pseudo.fixme.fi) (*.net *.split) |
| 17:33:57 | × | zachel quits (~zachel@user/zachel) (*.net *.split) |
| 17:33:57 | × | Zemyla quits (~ec2-user@ec2-54-80-174-150.compute-1.amazonaws.com) (*.net *.split) |
| 17:33:57 | × | hyiltiz quits (~quassel@31.220.5.250) (*.net *.split) |
| 17:33:57 | × | finsternis quits (~X@23.226.237.192) (*.net *.split) |
| 17:33:57 | × | lyxia quits (~lyxia@poisson.chat) (*.net *.split) |
| 17:33:57 | × | Benzi-Junior quits (~BenziJuni@dsl-149-64-179.hive.is) (*.net *.split) |
| 17:33:57 | × | eL_Bart0 quits (eL_Bart0@dietunichtguten.org) (*.net *.split) |
| 17:33:57 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (*.net *.split) |
| 17:33:57 | × | lechner quits (~lechner@debian/lechner) (*.net *.split) |
| 17:33:57 | × | Trattue quits (~Trattue@152.70.182.158) (*.net *.split) |
| 17:34:05 | → | bah_ joins (~bah@l1.tel) |
| 17:35:00 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 17:35:12 | → | tubogram4 joins (~tubogram@user/tubogram) |
| 17:36:29 | × | jonathanx quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 17:37:07 | → | econo joins (uid147250@user/econo) |
| 17:37:15 | → | JimL joins (~quassel@89-162-2-132.fiber.signal.no) |
| 17:37:15 | → | cheater joins (~Username@user/cheater) |
| 17:37:15 | → | oxide joins (~lambda@user/oxide) |
| 17:37:15 | → | zebrag joins (~chris@user/zebrag) |
| 17:37:15 | → | theproffesor joins (~theprofff@user/theproffesor) |
| 17:37:15 | → | Midjak joins (~Midjak@82.66.147.146) |
| 17:37:15 | → | haskl[error] joins (~haskl@user/haskl) |
| 17:37:15 | → | russruss joins (~russruss@my.russellmcc.com) |
| 17:37:15 | → | wolfshappen joins (~waff@irc.furworks.de) |
| 17:37:15 | → | blades joins (~blades@204.48.29.163) |
| 17:37:15 | → | dwt_ joins (~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) |
| 17:37:15 | → | statusfailed joins (~statusfai@statusfailed.com) |
| 17:37:15 | → | adium joins (adium@user/adium) |
| 17:37:15 | → | finsternis joins (~X@23.226.237.192) |
| 17:37:15 | → | Benzi-Junior joins (~BenziJuni@dsl-149-64-179.hive.is) |
| 17:37:15 | → | eL_Bart0 joins (eL_Bart0@dietunichtguten.org) |
| 17:37:15 | → | troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 17:37:15 | → | lechner joins (~lechner@debian/lechner) |
| 17:37:53 | × | finsternis quits (~X@23.226.237.192) (Max SendQ exceeded) |
| 17:37:53 | × | wolfshappen quits (~waff@irc.furworks.de) (Max SendQ exceeded) |
| 17:38:10 | → | wolfshappen joins (~waff@irc.furworks.de) |
| 17:38:35 | → | finsternis joins (~X@23.226.237.192) |
| 17:38:48 | × | ishaan quits (~ishaan@122.161.51.210) (Quit: Client closed) |
| 17:38:56 | → | dextaa joins (~dextaa@user/dextaa) |
| 17:39:47 | → | kaph joins (~kaph@151.38.238.0) |
| 17:40:11 | → | vicfred joins (~vicfred@user/vicfred) |
| 17:40:43 | → | asm joins (~alexander@burner.asm89.io) |
| 17:41:00 | → | APic joins (apic@apic.name) |
| 17:41:10 | → | coot joins (~coot@213.134.190.95) |
| 17:41:10 | → | anomal joins (~anomal@87.227.196.109) |
| 17:41:10 | → | lyxia joins (~lyxia@poisson.chat) |
| 17:41:13 | → | drewr joins (~drew@user/drewr) |
| 17:42:52 | → | Putonlalla joins (~sapekiis@it-cyan.it.jyu.fi) |
| 17:42:58 | → | kaph_ joins (~kaph@151.82.248.223) |
| 17:43:02 | → | MajorBiscuit joins (~MajorBisc@83.22.32.182.ipv4.supernova.orange.pl) |
| 17:43:05 | × | kaph quits (~kaph@151.38.238.0) (Read error: Connection reset by peer) |
| 17:45:12 | × | kaph_ quits (~kaph@151.82.248.223) (Read error: Connection reset by peer) |
| 17:45:14 | → | kaph joins (~kaph@151.82.248.223) |
| 17:45:18 | → | Tisoxin joins (~ikosit@user/ikosit) |
| 17:46:16 | → | niemand joins (~niemand@p2e52f858.dip0.t-ipconnect.de) |
| 17:46:20 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 17:46:32 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 17:46:57 | → | ishaan joins (~ishaan@122.161.51.210) |
| 17:47:34 | → | MrLi joins (~MrLi@240e:47c:2c38:1908:d804:ffb6:8a7e:7082) |
| 17:48:24 | × | MrLi quits (~MrLi@240e:47c:2c38:1908:d804:ffb6:8a7e:7082) (Client Quit) |
| 17:48:55 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 260 seconds) |
| 17:50:00 | × | kaph quits (~kaph@151.82.248.223) (Ping timeout: 250 seconds) |
| 17:50:48 | → | haskellberryfinn joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 17:52:46 | × | tmo24 quits (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) (Remote host closed the connection) |
| 17:53:03 | → | tmo24 joins (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) |
| 17:53:52 | × | dextaa quits (~dextaa@user/dextaa) (Ping timeout: 272 seconds) |
| 17:58:48 | × | ptrcmd_ quits (~ptrcmd@user/ptrcmd) (Ping timeout: 248 seconds) |
| 17:59:20 | × | zyklotom1 quits (~ethan@r4-128-61-88-254.res.gatech.edu) (Ping timeout: 248 seconds) |
| 18:00:30 | × | niemand quits (~niemand@p2e52f858.dip0.t-ipconnect.de) (Quit: Connection closed) |
| 18:00:54 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 18:01:17 | → | zyklotom1 joins (~ethan@res380d-128-61-83-86.res.gatech.edu) |
| 18:03:06 | → | niemand joins (~niemand@p2e52f858.dip0.t-ipconnect.de) |
| 18:03:55 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 18:04:01 | → | arjun joins (~arjun@user/arjun) |
| 18:04:34 | → | ptrcmd joins (~ptrcmd@user/ptrcmd) |
| 18:05:35 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 18:06:36 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 18:11:50 | × | tmo24 quits (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) (Remote host closed the connection) |
| 18:12:07 | → | tmo24 joins (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) |
| 18:17:54 | × | tmo24 quits (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) (Remote host closed the connection) |
| 18:18:03 | → | axeman joins (~quassel@2a02:8109:a380:78:5d90:f8a6:2503:657b) |
| 18:18:11 | → | tmo24 joins (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) |
| 18:19:17 | → | xkuru joins (~xkuru@user/xkuru) |
| 18:19:54 | × | haskellberryfinn quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 250 seconds) |
| 18:20:57 | <hololeap> | it looks like changing the line endings of a .cabal file changes the hash string on the resulting .so library file |
| 18:22:01 | <hololeap> | so does this mean the hashing algorithm just uses a byte-by-byte encoding of the .cabal file, rather than some logical parsing of the contents? |
| 18:22:40 | × | anomal quits (~anomal@87.227.196.109) (Remote host closed the connection) |
| 18:22:59 | → | anomal joins (~anomal@87.227.196.109) |
| 18:23:00 | × | MajorBiscuit quits (~MajorBisc@83.22.32.182.ipv4.supernova.orange.pl) (Ping timeout: 272 seconds) |
| 18:23:08 | → | Codaraxis joins (~Codaraxis@user/codaraxis) |
| 18:25:44 | <hololeap> | I could be wrong here, something else might have changed the hash, but I'm not sure what... |
| 18:26:31 | <glguy> | just hashing the file bytes seems like the most likely approach |
| 18:28:18 | × | tmo24 quits (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) (Remote host closed the connection) |
| 18:28:19 | <geekosaur> | I think it's not supposed to be that simple: cabal distinguishes between options that change the generated objects and those that don't |
| 18:28:35 | → | tmo24 joins (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) |
| 18:28:52 | <geekosaur> | plus versions etc. |
| 18:29:01 | <geekosaur> | this might be a question for #hackage |
| 18:29:20 | <hololeap> | ok |
| 18:32:12 | × | tmo24 quits (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) (Remote host closed the connection) |
| 18:32:29 | → | tmo24 joins (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) |
| 18:36:33 | × | arjun quits (~arjun@user/arjun) (Remote host closed the connection) |
| 18:36:41 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 18:37:27 | × | niemand quits (~niemand@p2e52f858.dip0.t-ipconnect.de) (Quit: Connection closed) |
| 18:37:44 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 18:38:44 | <sclv> | its not clear to me why a cabal file would be hashed into an so at all? the latter is ghc and the former is cabal |
| 18:39:43 | <sclv> | and certainly the calculated component hash uses a data structure and not raw bytes |
| 18:40:44 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 272 seconds) |
| 18:40:51 | → | bahamas joins (~lucian@84.232.140.158) |
| 18:42:04 | <hololeap> | I can't reproduce it now. _something_ changed the hash for a package and the only difference I saw was running dos2unix on the .cabal file, but now it is keeping the same hash even on a freshly fetched project directory |
| 18:42:20 | → | redb joins (~nmh@136.49.49.211) |
| 18:42:53 | × | mbuf quits (~Shakthi@171.61.243.114) (Quit: Leaving) |
| 18:42:53 | <hololeap> | this was not a package that showed up when running `ghc-pkg check`, so I don't know what could have changed... is there possibly a debug setting that shows how the hash is calculated? |
| 18:44:47 | × | tmo24 quits (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) (Remote host closed the connection) |
| 18:45:01 | <hololeap> | I can try looking in the ghc docs or asking in #ghc, but what is the technical name for this hash I'm referring to? |
| 18:45:04 | → | tmo24 joins (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) |
| 18:46:46 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 250 seconds) |
| 18:50:50 | × | tmo24 quits (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) (Remote host closed the connection) |
| 18:51:07 | → | tmo24 joins (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) |
| 18:51:59 | → | redb joins (~nmh@136.49.49.211) |
| 18:53:11 | Zemyla_ | is now known as Zemyla |
| 18:54:35 | <geekosaur> | ABI hash |
| 18:55:18 | <geekosaur> | I believe ghc computes it from the object and .hi files, and doesn't even know about the cabal file |
| 18:55:53 | × | alp_ quits (~alp@user/alp) (Ping timeout: 248 seconds) |
| 18:57:34 | → | MajorBiscuit joins (~MajorBisc@83.22.32.182.ipv4.supernova.orange.pl) |
| 18:58:37 | × | anomal quits (~anomal@87.227.196.109) (Remote host closed the connection) |
| 18:58:56 | → | anomal joins (~anomal@87.227.196.109) |
| 18:59:27 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 19:00:19 | <hololeap> | ok, that's good |
| 19:00:48 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 19:01:30 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 19:02:04 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 19:02:15 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 19:02:25 | <sclv> | i think this is the code one would want to look at https://hackage.haskell.org/package/Cabal-3.6.3.0/docs/src/Distribution.Simple.GHC.html#libAbiHash |
| 19:02:55 | → | redb joins (~nmh@136.49.49.211) |
| 19:03:47 | <sclv> | actually wait that's just cabal reinvoking ghc, sigh |
| 19:04:27 | → | vicfred joins (~vicfred@user/vicfred) |
| 19:06:02 | <sclv> | the ghc code for computing the actual abi hash of an so in particular seems to be a bit hard to pin down. it may be done incrementally in various places |
| 19:06:28 | × | epolanski quits (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 19:07:14 | ← | tmo24 parts (~tmo24@2a02:8108:8440:16f4:541b:f0fd:c53f:72c3) () |
| 19:08:43 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
| 19:09:55 | → | redb joins (~nmh@136.49.49.211) |
| 19:10:30 | × | ishaan quits (~ishaan@122.161.51.210) (Quit: Client closed) |
| 19:14:15 | → | robosexual- joins (~spaceoyst@77.223.90.202) |
| 19:14:19 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
| 19:14:40 | × | robosexual- quits (~spaceoyst@77.223.90.202) (Client Quit) |
| 19:16:15 | → | redb joins (~nmh@136.49.49.211) |
| 19:16:24 | <energizer> | is there an AVX-512 foldr? |
| 19:16:28 | → | kaph joins (~kaph@37.39.168.109.cust.ip.kpnqwest.it) |
| 19:16:40 | × | bahamas quits (~lucian@84.232.140.158) (Ping timeout: 250 seconds) |
| 19:18:44 | <[exa]> | how'd that work? |
| 19:19:00 | → | niemand joins (~niemand@p2e52f858.dip0.t-ipconnect.de) |
| 19:19:52 | <energizer> | s/foldr/fold/ |
| 19:20:29 | <energizer> | replacing individual steps with a batch of steps |
| 19:21:36 | <niemand> | (GHC) Haskell doesn't first compare the pointers when testing lists on equality, does it? |
| 19:24:09 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 19:27:01 | → | alp_ joins (~alp@user/alp) |
| 19:27:03 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 19:27:28 | <sclv> | absolutely not |
| 19:28:28 | <geekosaur> | % let l = [traceShowId 'a', traceShowId 'b'] in l == l |
| 19:28:28 | <yahb> | geekosaur: 'a'; 'b'; True |
| 19:28:48 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 19:28:49 | <geekosaur> | comparing pointers is a bit unsafe since a gc may happen |
| 19:29:41 | <geekosaur> | energizer, I think nothing uses AVX as yet except possibly some libraries like Accelerate |
| 19:32:40 | → | hololeap_ joins (~hololeap@user/hololeap) |
| 19:33:10 | → | rawley joins (~rawley@142.99.241.242) |
| 19:33:35 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 19:34:47 | <niemand> | kk |
| 19:35:45 | <[exa]> | energizer: it might make sense as a specialization in very specific cases (eg. on vectors of unboxed stuff), but certainly I wouldn't expect the traditional list-ish fold to benefit from any SIMD |
| 19:36:20 | <niemand> | I wondered if this was this case, since I made an optimization on my code under the assumption that it compares the value but it didn't get noticeable faster |
| 19:37:08 | <niemand> | (though there are other areas that could be the bottleneck) |
| 19:37:20 | → | zincy joins (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 19:38:25 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 19:38:42 | hololeap_ | is now known as hololeap |
| 19:39:12 | → | redb joins (~nmh@136.49.49.211) |
| 19:40:20 | → | Pickchea joins (~private@user/pickchea) |
| 19:40:27 | × | niemand quits (~niemand@p2e52f858.dip0.t-ipconnect.de) (Quit: Connection closed) |
| 19:42:55 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 19:43:32 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 250 seconds) |
| 19:45:05 | → | pnotequalnp joins (~pnotequal@user/pnotequalnp) |
| 19:46:35 | → | jgeerds joins (~jgeerds@d5364b87.access.ecotel.net) |
| 19:52:32 | × | renzhi quits (~xp@2607:fa49:6500:b100::19a0) (Ping timeout: 260 seconds) |
| 19:54:47 | → | jhagborg joins (~jhagborg@068-187-237-099.res.spectrum.com) |
| 20:00:15 | <Zemyla> | geekosaur: Other languages can compare pointers while having gc. Why not GHC? |
| 20:00:43 | → | redb joins (~nmh@136.49.49.211) |
| 20:00:56 | → | zeenk joins (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) |
| 20:04:47 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 20:04:47 | × | _ht_ quits (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 20:05:05 | → | renzhi joins (~xp@2607:fa49:6500:b100::229c) |
| 20:05:24 | × | robosexual quits (~robosexua@77.223.90.202) (Quit: WeeChat 3.4) |
| 20:07:09 | <geekosaur> | can they gc in the middle of an operation because some other thread allocated? (python, for instance, can't trigger this) |
| 20:07:13 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 20:07:20 | × | Unicorn_Princess quits (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 20:08:24 | <dolio> | Can't the unsafe pointer equality only give false negatives? Or am I forgetting? |
| 20:08:40 | → | redb joins (~nmh@136.49.49.211) |
| 20:09:00 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 20:09:00 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 20:09:00 | → | wroathe joins (~wroathe@user/wroathe) |
| 20:09:07 | → | Guest27 joins (~Guest27@2601:281:d47f:1590::7e6a) |
| 20:10:08 | Athas_ | is now known as Athas |
| 20:10:19 | <dolio> | Not that I'm an advocate for using it on all comparisons. |
| 20:10:39 | <geekosaur> | it could be a false positive if something in gen1 or later gets moved in just the right way |
| 20:10:49 | <geekosaur> | this should be fairly rare, but possible |
| 20:13:15 | <dolio> | The docs aren't very specific. |
| 20:14:48 | × | jhagborg quits (~jhagborg@068-187-237-099.res.spectrum.com) (Ping timeout: 248 seconds) |
| 20:14:59 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
| 20:15:12 | <[exa]> | this would require == to be a primitive operation, right? |
| 20:15:27 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 20:16:08 | <dolio> | Yeah, it'd probably mean you'd define structural equality in the Eq class, and then (==) would be a wrapper, if you wanted it to happen for everything. |
| 20:16:23 | <[exa]> | also, what should the magic == say when comparing 2 same-pointer thunks and (philosophically more intense:) 2 same-pointer functions? |
| 20:16:32 | → | redb joins (~nmh@136.49.49.211) |
| 20:16:38 | × | dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.5) |
| 20:16:47 | → | hololeap_ joins (~hololeap@user/hololeap) |
| 20:17:55 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 20:19:29 | hololeap_ | is now known as hololeap |
| 20:20:41 | <[exa]> | finally, since there can be 2 equal things with different pointers, you'd need to be prepared for false negatives anyway-- so why not do the same in a less unsafe way by e.g. hashing the subtree in each object and safely quickfailing on hash inequality? |
| 20:21:59 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
| 20:22:30 | → | redb joins (~nmh@136.49.49.211) |
| 20:22:47 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 20:23:04 | → | califax joins (~califax@user/califx) |
| 20:25:13 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 20:25:59 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 20:26:00 | × | deadmarshal_ quits (~deadmarsh@95.38.115.182) (Ping timeout: 248 seconds) |
| 20:28:00 | Lord_of_Life_ | is now known as Lord_of_Life |
| 20:28:31 | → | jhagborg joins (~jhagborg@068-187-237-099.res.spectrum.com) |
| 20:30:35 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 20:32:06 | × | Guest27 quits (~Guest27@2601:281:d47f:1590::7e6a) (Quit: Client closed) |
| 20:35:12 | → | hololeap joins (~hololeap@user/hololeap) |
| 20:39:40 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 20:39:55 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 20:41:14 | → | stackdroid18 joins (14094@user/stackdroid) |
| 20:42:24 | → | hololeap joins (~hololeap@user/hololeap) |
| 20:43:09 | → | dsrt^ joins (~dsrt@50.226.13.122) |
| 20:44:23 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 20:45:35 | → | acidjnk joins (~acidjnk@p200300d0c722df081581cec648b99087.dip0.t-ipconnect.de) |
| 20:46:21 | × | Codaraxis quits (~Codaraxis@user/codaraxis) (Remote host closed the connection) |
| 20:46:23 | × | kaph quits (~kaph@37.39.168.109.cust.ip.kpnqwest.it) (Ping timeout: 256 seconds) |
| 20:46:40 | → | Codaraxis joins (~Codaraxis@user/codaraxis) |
| 20:49:07 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
| 20:50:19 | × | Codaraxis quits (~Codaraxis@user/codaraxis) (Remote host closed the connection) |
| 20:50:53 | → | neurocyte8614492 joins (~neurocyte@user/neurocyte) |
| 20:51:09 | → | deadmarshal_ joins (~deadmarsh@95.38.115.182) |
| 20:53:14 | × | zincy quits (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 20:54:59 | → | redb joins (~nmh@136.49.49.211) |
| 20:55:28 | × | deadmarshal_ quits (~deadmarsh@95.38.115.182) (Ping timeout: 250 seconds) |
| 20:58:24 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 21:00:06 | → | kawzeg joins (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) |
| 21:00:11 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 21:03:27 | × | coot quits (~coot@213.134.190.95) (Quit: coot) |
| 21:05:17 | → | kenran joins (~kenran@200116b82b0a3400611dd27e2468a6bc.dip.versatel-1u1.de) |
| 21:07:05 | × | pnotequalnp quits (~pnotequal@user/pnotequalnp) (Quit: Client closed) |
| 21:07:22 | → | pnotequalnp joins (~pnotequal@user/pnotequalnp) |
| 21:17:09 | × | jackson99 quits (~bc8147f2@83.167.180.121) (Quit: CGI:IRC (Session timeout)) |
| 21:17:15 | Maxdaman1us | is now known as Maxdamantus |
| 21:17:27 | × | axeman quits (~quassel@2a02:8109:a380:78:5d90:f8a6:2503:657b) (Ping timeout: 240 seconds) |
| 21:18:06 | × | bontaq quits (~user@ool-45779fe5.dyn.optonline.net) (Remote host closed the connection) |
| 21:18:30 | × | rawley quits (~rawley@142.99.241.242) (Remote host closed the connection) |
| 21:20:34 | → | kaph joins (~kaph@37.39.168.109.cust.ip.kpnqwest.it) |
| 21:22:00 | × | MajorBiscuit quits (~MajorBisc@83.22.32.182.ipv4.supernova.orange.pl) (Ping timeout: 248 seconds) |
| 21:23:11 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 21:23:50 | → | MajorBiscuit joins (~MajorBisc@83.22.31.167.ipv4.supernova.orange.pl) |
| 21:24:01 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 21:24:30 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 21:25:04 | × | Techcable quits (~Techcable@user/Techcable) (Remote host closed the connection) |
| 21:26:38 | → | Techcable joins (~Techcable@user/Techcable) |
| 21:29:24 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:29:30 | → | haskellberryfinn joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 21:33:17 | × | jhagborg quits (~jhagborg@068-187-237-099.res.spectrum.com) (Remote host closed the connection) |
| 21:33:20 | × | michalz quits (~michalz@185.246.204.45) (Remote host closed the connection) |
| 21:33:41 | → | jhagborg joins (~jhagborg@068-187-237-099.res.spectrum.com) |
| 21:36:00 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 21:40:01 | → | zincy joins (~zincy@2a00:23c8:970c:4801:2944:efb3:93ff:a753) |
| 21:40:16 | <lechner> | Hi, what's a common Hackage module with external C library prerequisites, please? |
| 21:41:36 | <geekosaur> | https://hackage.haskell.org/package/zlib |
| 21:43:08 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 250 seconds) |
| 21:43:20 | × | lemonsni- quits (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Ping timeout: 248 seconds) |
| 21:43:37 | × | jao quits (~jao@92.233.85.247) (Ping timeout: 256 seconds) |
| 21:44:25 | × | zincy quits (~zincy@2a00:23c8:970c:4801:2944:efb3:93ff:a753) (Ping timeout: 248 seconds) |
| 21:47:35 | × | MajorBiscuit quits (~MajorBisc@83.22.31.167.ipv4.supernova.orange.pl) (Ping timeout: 256 seconds) |
| 21:47:44 | → | lemonsnicks joins (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 21:50:07 | × | euandreh quits (~euandreh@2804:14c:33:9fe5:2b05:e929:4a1b:5380) (Ping timeout: 240 seconds) |
| 21:51:32 | → | euandreh joins (~euandreh@2804:14c:33:9fe5:af86:3007:d527:d573) |
| 21:52:27 | → | Guest27 joins (~Guest27@2601:281:d47f:1590::7e6a) |
| 21:52:28 | → | ishaan joins (~ishaan@122.161.51.210) |
| 21:52:50 | × | ishaan quits (~ishaan@122.161.51.210) (Client Quit) |
| 21:53:21 | → | redb joins (~nmh@136.49.49.211) |
| 21:54:06 | <Guest27> | Is there a function-composition version of <$>? So rather than writing e.g. `k >=> return . f` it'd be something like `f <comp$> k` |
| 21:54:24 | <hpc> | :t \k f -> k >=> return . f |
| 21:54:25 | <lambdabot> | Monad m => (a1 -> m a2) -> (a2 -> c) -> a1 -> m c |
| 21:54:55 | <lechner> | geekosaur: thanks! |
| 21:54:56 | <koz> | :t flip traverse |
| 21:54:57 | <lambdabot> | (Traversable t, Applicative f) => t a -> (a -> f b) -> f (t b) |
| 21:55:24 | <koz> | :t flip traverse [1, 2, 3] |
| 21:55:26 | <lambdabot> | (Applicative f, Num a) => (a -> f b) -> f [b] |
| 21:55:36 | × | haskellberryfinn quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 248 seconds) |
| 21:55:54 | <hpc> | :t fmap (.) |
| 21:55:55 | <lambdabot> | Functor f => f (b -> c) -> f ((a -> b) -> a -> c) |
| 21:56:07 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 21:56:07 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 21:56:08 | × | allbery_b quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 21:56:32 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 21:57:44 | <dolio> | @type \k f -> k . fmap f |
| 21:57:45 | <lambdabot> | Functor f => (f b -> c) -> (a -> b) -> f a -> c |
| 21:58:12 | <hpc> | @src (>=>) |
| 21:58:12 | <lambdabot> | Source not found. Have you considered trying to match wits with a rutabaga? |
| 21:59:06 | <dolio> | Oh, that's backwards. |
| 22:00:11 | <Guest27> | dolio the forwards version is just what I needed, thanks |
| 22:03:21 | × | hammock quits (~Hammock@2600:1700:19a1:3330::588) (Quit: WeeChat 3.4) |
| 22:04:43 | × | kenran quits (~kenran@200116b82b0a3400611dd27e2468a6bc.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 22:05:13 | × | alp_ quits (~alp@user/alp) (Ping timeout: 248 seconds) |
| 22:12:24 | × | Guest27 quits (~Guest27@2601:281:d47f:1590::7e6a) (Ping timeout: 250 seconds) |
| 22:14:32 | → | xff0x joins (~xff0x@om126167120043.29.openmobile.ne.jp) |
| 22:14:58 | × | xff0x quits (~xff0x@om126167120043.29.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 22:15:21 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 22:15:30 | <shapr> | is there a friendly help ghc core viewer? |
| 22:16:04 | × | sander quits (~sander@user/sander) (Ping timeout: 272 seconds) |
| 22:16:17 | <shapr> | oh, didn't know about https://hackage.haskell.org/package/dump-core |
| 22:16:32 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:18:28 | → | sander joins (~sander@user/sander) |
| 22:20:50 | → | xff0x joins (~xff0x@om126167120043.29.openmobile.ne.jp) |
| 22:20:52 | → | Guest27 joins (~Guest27@2601:281:d47f:1590::7e6a) |
| 22:25:24 | × | Guest27 quits (~Guest27@2601:281:d47f:1590::7e6a) (Ping timeout: 250 seconds) |
| 22:25:57 | <geekosaur> | there used to be ghc-core as well, dunno how supported it is |
| 22:26:03 | → | anon12545 joins (~anon12545@2a01:e34:ef4f:30c0:9452:1f20:3db:7152) |
| 22:26:36 | <shapr> | also turns out my ancient zsh alias is really handy: alias ghci-core="ghci -ddump-simpl -dsuppress-idinfo -dsuppress-coercions -dsuppress-type-applications -dsuppress-uniques -dsuppress-module-prefixes" |
| 22:26:52 | × | anon12545 quits (~anon12545@2a01:e34:ef4f:30c0:9452:1f20:3db:7152) (Remote host closed the connection) |
| 22:27:19 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:29:23 | × | anomal quits (~anomal@87.227.196.109) (Remote host closed the connection) |
| 22:30:05 | → | dhil joins (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) |
| 22:30:10 | × | pnotequalnp quits (~pnotequal@user/pnotequalnp) (Ping timeout: 250 seconds) |
| 22:34:56 | × | jhagborg quits (~jhagborg@068-187-237-099.res.spectrum.com) (Remote host closed the connection) |
| 22:35:20 | → | jhagborg joins (~jhagborg@068-187-237-099.res.spectrum.com) |
| 22:38:31 | → | fendor_ joins (~fendor@91.141.65.122.wireless.dyn.drei.com) |
| 22:41:12 | × | fendor quits (~fendor@178.115.70.32.wireless.dyn.drei.com) (Ping timeout: 250 seconds) |
| 22:43:51 | × | acidjnk quits (~acidjnk@p200300d0c722df081581cec648b99087.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 22:44:19 | × | jhagborg quits (~jhagborg@068-187-237-099.res.spectrum.com) (Ping timeout: 260 seconds) |
| 22:46:19 | × | fendor_ quits (~fendor@91.141.65.122.wireless.dyn.drei.com) (Remote host closed the connection) |
| 22:54:59 | → | acidjnk joins (~acidjnk@p200300d0c722df1624fdec3763db0ed4.dip0.t-ipconnect.de) |
| 22:56:21 | → | niemand joins (~niemand@p2e52f858.dip0.t-ipconnect.de) |
| 22:56:59 | <niemand> | Do SCC pragrams affect optimization (ghc)? |
| 23:02:07 | × | redb quits (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
| 23:07:37 | × | dhil quits (~dhil@cpc103052-sgyl39-2-0-cust260.18-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 23:08:51 | × | Me-me quits (~me-me@user/me-me) (Remote host closed the connection) |
| 23:09:12 | → | Me-me joins (~me-me@tunnel690570-pt.tunnel.tserv12.mia1.ipv6.he.net) |
| 23:09:14 | → | pavonia joins (~user@user/siracusa) |
| 23:10:01 | × | Me-me quits (~me-me@tunnel690570-pt.tunnel.tserv12.mia1.ipv6.he.net) (Changing host) |
| 23:10:01 | → | Me-me joins (~me-me@user/me-me) |
| 23:11:52 | × | gurkenglas quits (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 23:19:52 | → | redb joins (~nmh@136.49.49.211) |
| 23:28:19 | × | niemand quits (~niemand@p2e52f858.dip0.t-ipconnect.de) (Quit: Connection closed) |
| 23:44:34 | → | deadmarshal_ joins (~deadmarsh@95.38.117.212) |
| 23:44:45 | × | agrosant quits (~agrosant@79.103.182.92.dsl.dyn.forthnet.gr) (Ping timeout: 272 seconds) |
| 23:45:31 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 23:48:17 | × | cyphase quits (~cyphase@user/cyphase) (Ping timeout: 256 seconds) |
| 23:48:57 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 23:49:13 | × | deadmarshal_ quits (~deadmarsh@95.38.117.212) (Ping timeout: 248 seconds) |
| 23:52:49 | → | cyphase joins (~cyphase@user/cyphase) |
| 23:55:36 | × | acidjnk quits (~acidjnk@p200300d0c722df1624fdec3763db0ed4.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
All times are in UTC on 2022-04-14.