Logs: liberachat/#haskell
| 2021-07-18 22:31:08 | <lechner> | I'm trying to do this: https://salsa.debian.org/lintian/kickoff/-/blob/master/runner#L57 |
| 2021-07-18 22:31:36 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-18 22:31:50 | → | Vajb joins (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) |
| 2021-07-18 22:34:05 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 244 seconds) |
| 2021-07-18 22:34:46 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-18 22:35:03 | → | yauhsien joins (~yauhsien@61-231-35-149.dynamic-ip.hinet.net) |
| 2021-07-18 22:35:40 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2021-07-18 22:37:34 | × | azeem quits (~azeem@dynamic-adsl-94-34-39-251.clienti.tiscali.it) (Remote host closed the connection) |
| 2021-07-18 22:37:44 | → | azeem joins (~azeem@dynamic-adsl-94-34-39-251.clienti.tiscali.it) |
| 2021-07-18 22:44:29 | × | yauhsien quits (~yauhsien@61-231-35-149.dynamic-ip.hinet.net) (Ping timeout: 258 seconds) |
| 2021-07-18 22:44:34 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-07-18 22:45:55 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-18 22:47:27 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-18 22:48:54 | × | chomwitt quits (~Pitsikoko@athedsl-32487.home.otenet.gr) (Quit: Leaving) |
| 2021-07-18 22:49:07 | → | chomwitt joins (~chomwitt@2a02:587:dc04:b400:12c3:7bff:fe6d:d374) |
| 2021-07-18 22:51:00 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 2021-07-18 22:52:55 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2021-07-18 22:54:15 | ← | chomwitt parts (~chomwitt@2a02:587:dc04:b400:12c3:7bff:fe6d:d374) (Leaving) |
| 2021-07-18 22:56:54 | × | acidjnk quits (~acidjnk@p200300d0c72b9531605cd8043a67e221.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2021-07-18 22:57:09 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 255 seconds) |
| 2021-07-18 22:57:18 | → | acidjnk joins (~acidjnk@p200300d0c72b9531605cd8043a67e221.dip0.t-ipconnect.de) |
| 2021-07-18 22:57:24 | × | vysn quits (~vysn@user/vysn) (Quit: WeeChat 3.0.1) |
| 2021-07-18 22:58:14 | → | vysn joins (~vysn@user/vysn) |
| 2021-07-18 22:58:38 | × | vysn quits (~vysn@user/vysn) (Client Quit) |
| 2021-07-18 22:58:44 | × | acid quits (~acid@user/acid) (Read error: Connection reset by peer) |
| 2021-07-18 22:58:52 | → | acid joins (~acid@2a01:4f9:c010:898a::1) |
| 2021-07-18 22:59:07 | → | econo joins (uid147250@user/econo) |
| 2021-07-18 22:59:15 | acid | is now known as Guest152 |
| 2021-07-18 23:03:14 | smichel17[m] | is now known as silly17[m] |
| 2021-07-18 23:05:32 | <lechner> | why do ++ and concat not do the same thing, please? |
| 2021-07-18 23:05:51 | <int-e> | they have different types? |
| 2021-07-18 23:06:39 | <geekosaur> | what do you mean by "not do the same thing"? |
| 2021-07-18 23:06:45 | <geekosaur> | :t (++) |
| 2021-07-18 23:06:46 | <lambdabot> | [a] -> [a] -> [a] |
| 2021-07-18 23:06:46 | <int-e> | concat takes a list of lists (well, a traversable of lists, but let's simplify) and appends those; ++ takes two lists and appends them |
| 2021-07-18 23:06:58 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2021-07-18 23:06:58 | <geekosaur> | :t concat |
| 2021-07-18 23:06:59 | <lambdabot> | Foldable t => t [a] -> [a] |
| 2021-07-18 23:07:04 | <int-e> | foldable, my bad |
| 2021-07-18 23:07:14 | <int-e> | Why do we use "t" for a Foldable. |
| 2021-07-18 23:07:27 | → | cheater joins (~Username@user/cheater) |
| 2021-07-18 23:07:47 | <lechner> | are they different when used with String? |
| 2021-07-18 23:07:55 | <int-e> | (That's what misled me, though it shouldn't have.) |
| 2021-07-18 23:07:58 | <geekosaur> | I think this may be ghc inferring a type and calling it "t" because that's the default |
| 2021-07-18 23:08:07 | <int-e> | > concat ["a","b","c"] |
| 2021-07-18 23:08:09 | <lambdabot> | "abc" |
| 2021-07-18 23:08:09 | <geekosaur> | lechner, a String is just a list of Char |
| 2021-07-18 23:08:11 | <int-e> | > "a" ++ "b" |
| 2021-07-18 23:08:12 | <lambdabot> | "ab" |
| 2021-07-18 23:08:19 | <int-e> | it's still a completely different type |
| 2021-07-18 23:08:37 | <dsal> | Two things and a list of two things are not the same type. |
| 2021-07-18 23:08:58 | <int-e> | You can rewrite xs ++ ys as concat [xs,ys] if you like. |
| 2021-07-18 23:09:22 | <lechner> | that's what i meant. thanks! |
| 2021-07-18 23:09:27 | <int-e> | (it may come at a small performance penalty) |
| 2021-07-18 23:09:34 | <int-e> | (I haven't checked) |
| 2021-07-18 23:10:22 | <lechner> | performance is a binary event here atm |
| 2021-07-18 23:11:55 | <int-e> | Checked, evidently concat [xs, ys] gets rewritten to xs ++ ys, so there's no difference. |
| 2021-07-18 23:12:10 | <int-e> | (when compiling with ghc with optimizations enabled) |
| 2021-07-18 23:12:46 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-18 23:13:41 | <int-e> | I don't know what "binary event" means. |
| 2021-07-18 23:13:44 | <arahael> | The joy of a bit of early-morning haskell before work. :D |
| 2021-07-18 23:14:08 | <beaky> | hello does ghc do whole program optimization like mlton |
| 2021-07-18 23:14:24 | <arahael> | It's _remarkable_ how one can get by with sloppy code in haskell: You can trivially and painlessly refactor it. So nice. |
| 2021-07-18 23:15:18 | <int-e> | beaky: no, it compiles modules separately, though there's inlining across modules for small functions. |
| 2021-07-18 23:17:27 | <arahael> | int-e: There was this last year, though: https://www.patreon.com/posts/introducing-ghc-38173710 Has anything happened in that space since then or has it fizzled out? |
| 2021-07-18 23:18:45 | <int-e> | I don't really know. I saw that there was some discussion on GRIN on here 2 hours ago... |
| 2021-07-18 23:19:43 | <geekosaur> | there is apparently still some ongoing work but it hasn't been upstreamed and isn't yet usable in production |
| 2021-07-18 23:19:54 | → | cjb joins (~cjb@user/cjb) |
| 2021-07-18 23:21:12 | silly17[m] | is now known as smichel17[m] |
| 2021-07-18 23:21:49 | <int-e> | Or is that 26 hours ago, my client has no dates in the timestamp, and my feeling for time is all messed up |
| 2021-07-18 23:22:39 | <arahael> | I'm personally a bit torn between thinking that that research is awesome - and or wishing that compilation took way less memory, even though memory doesn't seem to affect me because I never have less than 16 GB of RAM these days. |
| 2021-07-18 23:23:25 | <geekosaur> | 26 hours ago more likely |
| 2021-07-18 23:23:37 | <geekosaur> | was when I was in the discussion at least |
| 2021-07-18 23:24:18 | <int-e> | cf. https://paste.debian.net/hidden/d3d82af6/ |
| 2021-07-18 23:25:17 | <int-e> | Yes, it was 26 hours ago. I still don't know whether it's related to that patreon thing. The topic clearly overlaps heavily. |
| 2021-07-18 23:26:10 | <int-e> | (don't bookmark that paste, I set it to expire in 24h) |
| 2021-07-18 23:27:15 | <geekosaur> | people can get it from ircbrowse if they want it :) |
| 2021-07-18 23:27:40 | <geekosaur> | admittedly it'd help if it were searchable, but can't have everything |
| 2021-07-18 23:29:29 | <geekosaur> | that was the one I was talking about, at least. don't know with 100% certainty it was the one dmj` intended, but it seemed to match up |
| 2021-07-18 23:33:57 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 265 seconds) |
| 2021-07-18 23:34:41 | × | acidjnk quits (~acidjnk@p200300d0c72b9531605cd8043a67e221.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2021-07-18 23:36:07 | × | caubert quits (~caubert@136.244.111.235) (Quit: WeeChat 3.1) |
| 2021-07-18 23:38:48 | → | caubert joins (~caubert@136.244.111.235) |
| 2021-07-18 23:39:44 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-07-18 23:41:13 | × | ph88^ quits (~ph88@ip5f5af6fd.dynamic.kabel-deutschland.de) (Ping timeout: 258 seconds) |
| 2021-07-18 23:42:43 | → | ph88^ joins (~ph88@2a02:8109:9e00:7e5c:f938:d06a:9ad7:b39c) |
| 2021-07-18 23:42:47 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2021-07-18 23:48:22 | × | caubert quits (~caubert@136.244.111.235) (Quit: WeeChat 3.2) |
| 2021-07-18 23:50:01 | → | caubert joins (~caubert@136.244.111.235) |
| 2021-07-18 23:50:43 | → | dajoer joins (~david@user/gvx) |
| 2021-07-18 23:54:57 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-18 23:55:03 | × | phma quits (phma@2001:5b0:211f:63f8:7d7f:3315:17e4:ee3e) (Read error: Connection reset by peer) |
| 2021-07-18 23:55:31 | → | _xor joins (~xor@74.215.232.67) |
| 2021-07-18 23:58:15 | → | phma joins (phma@2001:0:c38c:c38c:3cee:b989:bcd3:2f3d) |
| 2021-07-19 00:04:52 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-07-19 00:07:48 | × | phma quits (phma@2001:0:c38c:c38c:3cee:b989:bcd3:2f3d) (Ping timeout: 255 seconds) |
| 2021-07-19 00:07:50 | → | phma_ joins (phma@2001:5b0:211f:1178:dd66:934e:c06f:5919) |
| 2021-07-19 00:10:14 | × | Null_A quits (~null_a@2601:645:8700:2290:a961:38e5:e25d:7cd0) () |
| 2021-07-19 00:10:17 | phma_ | is now known as phma |
| 2021-07-19 00:11:34 | → | machinedgod joins (~machinedg@24.105.81.50) |
All times are in UTC.