Logs: liberachat/#haskell
| 2021-06-06 15:44:43 | → | Hanicef joins (~gustaf@81-229-9-108-no92.tbcn.telia.com) |
| 2021-06-06 15:46:10 | × | Toast52__ quits (~Toast52@151.192.167.120) (Ping timeout: 245 seconds) |
| 2021-06-06 15:49:04 | <boxscape> | the libraries implementing it all say it's form Conor McBride's work on Epigram, but without an actual reference where I could read about this particular aspect |
| 2021-06-06 15:49:12 | → | shailangsa joins (~shailangs@host86-186-177-181.range86-186.btcentralplus.com) |
| 2021-06-06 15:49:18 | → | mc47 joins (~yecinem@89.246.239.190) |
| 2021-06-06 15:54:36 | → | Toast52 joins (~Toast52@151.192.167.120) |
| 2021-06-06 15:57:29 | <boxscape> | % ala Product traverse [1..5] |
| 2021-06-06 15:57:29 | <yahb> | boxscape: [1,2,3,4,5] |
| 2021-06-06 15:57:30 | <boxscape> | amazing |
| 2021-06-06 15:59:43 | → | ddellacosta joins (~ddellacos@86.106.143.248) |
| 2021-06-06 16:01:20 | → | gldisater joins (~iefer@2804:14d:3280:59a8:b5b9:ddc7:aec2:cc72) |
| 2021-06-06 16:01:20 | <boxscape> | new id function for obfuscation? |
| 2021-06-06 16:01:37 | × | gldisater quits (~iefer@2804:14d:3280:59a8:b5b9:ddc7:aec2:cc72) (Remote host closed the connection) |
| 2021-06-06 16:03:32 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-06-06 16:04:18 | → | ddellaco_ joins (~ddellacos@86.106.143.196) |
| 2021-06-06 16:05:07 | × | ddellacosta quits (~ddellacos@86.106.143.248) (Ping timeout: 264 seconds) |
| 2021-06-06 16:06:18 | <boxscape> | % let id' :: a -> a; id' = fromMaybe (fix . const $ fix id) . listToMaybe . ala Product traverse . pure |
| 2021-06-06 16:06:18 | <yahb> | boxscape: |
| 2021-06-06 16:07:12 | <tomsmeding> | % id' 42 |
| 2021-06-06 16:07:12 | <yahb> | tomsmeding: 42 |
| 2021-06-06 16:08:02 | → | zyklotomic joins (~ethan@23.228.121.194) |
| 2021-06-06 16:09:19 | × | ddellaco_ quits (~ddellacos@86.106.143.196) (Ping timeout: 264 seconds) |
| 2021-06-06 16:11:42 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 264 seconds) |
| 2021-06-06 16:12:43 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-06-06 16:13:53 | × | Toast52 quits (~Toast52@151.192.167.120) (Ping timeout: 252 seconds) |
| 2021-06-06 16:16:43 | <boxscape> | okay, I have found Conor using it for something that's not foldMap: `ala Cont traverse` https://www.mail-archive.com/haskell-cafe@haskell.org/msg37213.html |
| 2021-06-06 16:17:17 | <tomsmeding> | why does hlint suggest turning sortBy into sortOn when the two have very different performance semantics |
| 2021-06-06 16:17:30 | <tomsmeding> | s/semantics/characteristics/ |
| 2021-06-06 16:17:31 | → | Bartosz joins (~textual@24.35.90.211) |
| 2021-06-06 16:17:37 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-06 16:17:43 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 272 seconds) |
| 2021-06-06 16:18:25 | <boxscape> | isn't sortOn faster? Doesn't hlint suggest faster variants in a few places? |
| 2021-06-06 16:18:43 | <boxscape> | (like turning concat . map f into concatMap f) |
| 2021-06-06 16:19:35 | <tomsmeding> | sortOn first computes and caches a list containing (map f l), then sorts by looking up the keys in that cached list |
| 2021-06-06 16:19:52 | <tomsmeding> | so it calls f only O(n) times, whereas sortBy calls it O(n log n) times |
| 2021-06-06 16:19:59 | × | Bartosz quits (~textual@24.35.90.211) (Client Quit) |
| 2021-06-06 16:20:02 | <tomsmeding> | sortBy is faster if f is cheap, like a simple projection |
| 2021-06-06 16:20:11 | <boxscape> | ah |
| 2021-06-06 16:20:27 | <tomsmeding> | which is nigh always the case for me :p |
| 2021-06-06 16:20:31 | → | Bartosz joins (~textual@24.35.90.211) |
| 2021-06-06 16:20:33 | <boxscape> | right, makes sense |
| 2021-06-06 16:24:55 | → | python476 joins (~user@88.160.31.174) |
| 2021-06-06 16:25:08 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-06-06 16:25:31 | × | vicentius quits (~vicentius@user/vicentius) (Ping timeout: 264 seconds) |
| 2021-06-06 16:28:37 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Remote host closed the connection) |
| 2021-06-06 16:29:17 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-06-06 16:29:47 | <albet70> | how to make a very simple language and use parsec to parse it? |
| 2021-06-06 16:30:08 | <Hanicef> | albet70: well, do you have a design for a simple language? |
| 2021-06-06 16:30:31 | <albet70> | scheme? |
| 2021-06-06 16:30:43 | <Hanicef> | i dont think you need parsec for that :) |
| 2021-06-06 16:30:44 | → | ddellacosta joins (~ddellacos@86.106.121.50) |
| 2021-06-06 16:31:13 | <Hanicef> | afaik parsec is for more complex parsing, but im no expert |
| 2021-06-06 16:31:28 | <albet70> | is there an article to design a simple language? |
| 2021-06-06 16:31:29 | <boxscape> | albet70 there's a free book about using Haskell to write a Scheme interpreter, which does happen to use Parsec https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours |
| 2021-06-06 16:31:56 | <boxscape> | ...I guess you could also call it a series of blog posts |
| 2021-06-06 16:32:33 | anderson_ | is now known as anderson |
| 2021-06-06 16:32:38 | <Hanicef> | boxscape: +1, didnt know that existed |
| 2021-06-06 16:32:41 | <albet70> | boxscape, any others like this? |
| 2021-06-06 16:32:55 | <boxscape> | quite possibly, but nothing that I'm aware of |
| 2021-06-06 16:33:04 | <albet70> | I saw a few chapters of it |
| 2021-06-06 16:33:16 | <albet70> | until that environment |
| 2021-06-06 16:33:25 | <albet70> | evaluation |
| 2021-06-06 16:33:54 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 264 seconds) |
| 2021-06-06 16:34:52 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-06-06 16:36:43 | × | ikex quits (~ash@user/ikex) (Ping timeout: 272 seconds) |
| 2021-06-06 16:36:49 | → | V joins (~v@anomalous.eu) |
| 2021-06-06 16:37:07 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-06 16:38:27 | → | reumeth2 joins (~reumeth@user/reumeth) |
| 2021-06-06 16:38:37 | → | econo joins (uid147250@user/econo) |
| 2021-06-06 16:38:41 | × | ozzymcduff quits (~mathieu@81-234-151-21-no94.tbcn.telia.com) (Remote host closed the connection) |
| 2021-06-06 16:40:25 | × | pierrot quits (~pi@user/pierrot) (Quit: ZNC 1.6.4 - http://znc.in) |
| 2021-06-06 16:41:01 | → | pierrot joins (~pi@user/pierrot) |
| 2021-06-06 16:41:32 | × | reumeth quits (~reumeth@user/reumeth) (Ping timeout: 272 seconds) |
| 2021-06-06 16:41:43 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 264 seconds) |
| 2021-06-06 16:41:58 | × | python476 quits (~user@88.160.31.174) (Read error: Connection reset by peer) |
| 2021-06-06 16:42:20 | → | ozzymcduff joins (~mathieu@81-234-151-21-no94.tbcn.telia.com) |
| 2021-06-06 16:46:15 | → | python476 joins (~user@88.160.31.174) |
| 2021-06-06 16:49:27 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) |
| 2021-06-06 16:51:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-06-06 16:52:53 | × | pierrot quits (~pi@user/pierrot) (Quit: ZNC 1.6.4 - http://znc.in) |
| 2021-06-06 16:54:00 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-06 16:54:12 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:e061:bfad:5c85:da98) (Ping timeout: 272 seconds) |
| 2021-06-06 16:58:36 | × | ddellacosta quits (~ddellacos@86.106.121.50) (Read error: Connection reset by peer) |
| 2021-06-06 16:58:53 | → | ddellacosta joins (~ddellacos@86.106.121.50) |
| 2021-06-06 16:58:59 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-06-06 16:59:29 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-06 17:00:16 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-06 17:00:57 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-06-06 17:02:19 | → | ddellaco_ joins (~ddellacos@89.46.62.25) |
| 2021-06-06 17:05:36 | → | pierrot joins (~pi@user/pierrot) |
| 2021-06-06 17:06:20 | → | ikex joins (~ash@user/ikex) |
| 2021-06-06 17:07:19 | × | alx741 quits (~alx741@186.178.108.47) (Ping timeout: 268 seconds) |
| 2021-06-06 17:07:25 | × | python476 quits (~user@88.160.31.174) (Ping timeout: 245 seconds) |
| 2021-06-06 17:08:23 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-06 17:08:55 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2021-06-06 17:10:26 | → | chkno_ joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-06 17:11:04 | × | chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 2021-06-06 17:18:06 | × | Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-06 17:20:07 | → | alx741 joins (~alx741@181.196.69.96) |
| 2021-06-06 17:21:54 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 264 seconds) |
All times are in UTC.