Logs: freenode/#haskell
| 2021-03-29 22:53:27 | sclv | thanks monochrom |
| 2021-03-29 22:53:54 | <sclv> | (and i think, by construction, really didn't ever make things worse) |
| 2021-03-29 22:54:41 | → | hiptobecubic joins (~john@unaffiliated/hiptobecubic) |
| 2021-03-29 22:54:53 | <sclv> | if you know the specific structure of your expressions ahead of time, you can often decide on a normalization procedure for _precisely those expressions_ that is suited to your domain, and is straightforward and efficient to calculate. |
| 2021-03-29 22:55:12 | <sclv> | that's the general law of algorithms -- the more you know about the input, the better the algo you can write |
| 2021-03-29 22:55:13 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:f159:ca44:c706:a1d8) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-29 22:56:14 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:b177:1e40:d97b:578c) (Remote host closed the connection) |
| 2021-03-29 22:57:41 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-03-29 22:58:36 | × | DavidEichmann quits (~david@47.27.93.209.dyn.plus.net) (Ping timeout: 268 seconds) |
| 2021-03-29 23:00:59 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-03-29 23:01:03 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 2021-03-29 23:01:03 | → | niklasb joins (~niklasb@dtun.de) |
| 2021-03-29 23:01:03 | × | niklasb quits (~niklasb@dtun.de) (Changing host) |
| 2021-03-29 23:01:03 | → | niklasb joins (~niklasb@unaffiliated/codeslay0r) |
| 2021-03-29 23:02:06 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2021-03-29 23:04:27 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-03-29 23:08:05 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:b177:1e40:d97b:578c) |
| 2021-03-29 23:08:32 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:6903:50f7:234a:96c5) |
| 2021-03-29 23:12:46 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-03-29 23:14:34 | × | acidjnk_new quits (~acidjnk@p200300d0c72b95739d8477eb9e4283c0.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2021-03-29 23:15:24 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-03-29 23:16:02 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-03-29 23:16:16 | <ph88^> | thank you sclv |
| 2021-03-29 23:16:55 | × | ph88^ quits (~ph88@2a02:8109:9e00:7e5c:44c9:a8ba:908e:c8fa) (Quit: Leaving) |
| 2021-03-29 23:17:59 | → | Vadrigar_ joins (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) |
| 2021-03-29 23:17:59 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-03-29 23:18:07 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:6903:50f7:234a:96c5) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-29 23:18:25 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-03-29 23:20:55 | → | nbloomf joins (~nbloomf@76.217.43.73) |
| 2021-03-29 23:21:05 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2021-03-29 23:21:59 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-03-29 23:23:08 | × | LKoen quits (~LKoen@65.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-03-29 23:23:16 | × | Vadrigar_ quits (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2021-03-29 23:23:50 | × | codygman` quits (~user@47.186.207.161) (Ping timeout: 246 seconds) |
| 2021-03-29 23:24:46 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-03-29 23:26:06 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:a5da:1e25:ab26:50f2) (Remote host closed the connection) |
| 2021-03-29 23:29:58 | × | usr25 quits (~J@121.red-88-0-140.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-03-29 23:30:33 | × | zjp quits (~zjp@66-45-138-104-dynamic.midco.net) (Remote host closed the connection) |
| 2021-03-29 23:32:41 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2021-03-29 23:33:25 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:a5da:1e25:ab26:50f2) |
| 2021-03-29 23:35:14 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-03-29 23:38:45 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-03-29 23:40:46 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-03-29 23:41:06 | × | gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2021-03-29 23:46:56 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 2021-03-29 23:49:44 | × | niklasb quits (~niklasb@unaffiliated/codeslay0r) (Ping timeout: 246 seconds) |
| 2021-03-29 23:52:38 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 2021-03-29 23:53:02 | → | Tario joins (~Tario@200.119.187.104) |
| 2021-03-29 23:56:29 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-29 23:56:36 | → | niklasb joins (~niklasb@unaffiliated/codeslay0r) |
| 2021-03-30 00:00:14 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-03-30 00:00:23 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-30 00:01:08 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-03-30 00:02:44 | × | Tario quits (~Tario@200.119.187.104) (Ping timeout: 268 seconds) |
| 2021-03-30 00:03:38 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 2021-03-30 00:03:40 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-03-30 00:03:51 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-30 00:04:22 | × | Jd007 quits (~Jd007@162.156.11.151) (Client Quit) |
| 2021-03-30 00:07:58 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-03-30 00:10:45 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-03-30 00:11:00 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-30 00:13:08 | × | notzmv quits (~zmv@unaffiliated/zmv) (Read error: Connection reset by peer) |
| 2021-03-30 00:13:16 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 245 seconds) |
| 2021-03-30 00:14:45 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-03-30 00:15:13 | × | Tops2 quits (~Tobias@dyndsl-095-033-095-007.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2021-03-30 00:15:57 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 2021-03-30 00:16:56 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 268 seconds) |
| 2021-03-30 00:19:56 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-03-30 00:21:45 | × | son0p quits (~son0p@181.136.122.143) (Quit: leaving) |
| 2021-03-30 00:22:33 | × | nij quits (~user@2001-48F8-9021-806-0-0-0-49D8-dynamic.midco.net) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2021-03-30 00:23:25 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:a1fc:3960:13f3:19f3) |
| 2021-03-30 00:28:04 | × | nbloomf quits (~nbloomf@76.217.43.73) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-30 00:31:25 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:4409:3d6f:5ab7:cfa2) |
| 2021-03-30 00:32:40 | × | average quits (uid473595@gateway/web/irccloud.com/x-tblkdtktwteghrni) (Quit: Connection closed for inactivity) |
| 2021-03-30 00:33:02 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-30 00:33:14 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-30 00:33:43 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 2021-03-30 00:34:49 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2021-03-30 00:35:21 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-30 00:37:53 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 268 seconds) |
| 2021-03-30 00:39:16 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:54a5:8b06:7d0d:55e6) (Ping timeout: 276 seconds) |
| 2021-03-30 00:45:19 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:4409:3d6f:5ab7:cfa2) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-30 00:45:36 | → | shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:49d1:c68b:dd68:855d) |
| 2021-03-30 00:45:38 | <koz_> | Is there some fancy built-in that does 'concat . unfoldr f'? |
| 2021-03-30 00:45:55 | <emilypi> | i don't think `build/destroy` fusion exists in ghc currently |
| 2021-03-30 00:46:24 | <koz_> | emilypi: So basically, I might as well use 'concat . unfoldr f'? |
| 2021-03-30 00:46:25 | <emilypi> | er, destroy/unfoldr |
| 2021-03-30 00:47:22 | <emilypi> | koz_: yeah. GHC didn't opt into this so you don't get much unless you write it yoruself |
| 2021-03-30 00:47:40 | → | chstan joins (~chstan@157-131-252-199.fiber.dynamic.sonic.net) |
| 2021-03-30 00:47:41 | <koz_> | I think I'll save on resorting to that unless I really need it. |
| 2021-03-30 00:48:53 | × | kupi quits (uid212005@gateway/web/irccloud.com/x-ufrrxovbropqrvyy) (Quit: Connection closed for inactivity) |
| 2021-03-30 00:49:31 | <Axman6> | is it an optimisation that could come naturally from other optimisations? I imagine enough inlining would give the same effect |
| 2021-03-30 00:49:50 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:b177:1e40:d97b:578c) (Remote host closed the connection) |
| 2021-03-30 00:50:11 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:4409:3d6f:5ab7:cfa2) |
| 2021-03-30 00:50:16 | <emilypi> | bgamari: ^? |
| 2021-03-30 00:50:32 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:b177:1e40:d97b:578c) |
| 2021-03-30 00:50:38 | <bgamari> | emilypi, correct |
| 2021-03-30 00:50:47 | <bgamari> | maybe some day |
| 2021-03-30 00:50:50 | <emilypi> | RIP |
| 2021-03-30 00:53:06 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds) |
All times are in UTC.