Logs: liberachat/#haskell
| 2021-06-15 14:45:20 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-15 14:45:39 | × | Guest91 quits (~Guest91@p200300f4c70f24004558d010706c3ebd.dip0.t-ipconnect.de) (Client Quit) |
| 2021-06-15 14:45:54 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-06-15 14:45:55 | → | _73 joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-06-15 14:47:28 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 252 seconds) |
| 2021-06-15 14:47:51 | → | fishfinger joins (~fishfinge@cpc68330-cdif16-2-0-cust557.5-1.cable.virginm.net) |
| 2021-06-15 14:49:26 | × | chexum quits (~chexum@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2021-06-15 14:49:37 | → | chexum joins (~chexum@gateway/tor-sasl/chexum) |
| 2021-06-15 14:50:10 | → | azeem joins (~azeem@176.201.22.245) |
| 2021-06-15 14:50:29 | × | fiddlerwoaroof quits (~fiddlerwo@user/fiddlerwoaroof) (Quit: Gone.) |
| 2021-06-15 14:51:34 | × | kayprish quits (~kayprish@cable-188-2-229-172.dynamic.sbb.rs) (Remote host closed the connection) |
| 2021-06-15 14:51:51 | → | fiddlerwoaroof joins (~fiddlerwo@user/fiddlerwoaroof) |
| 2021-06-15 14:53:49 | <siraben> | given a parse tree by cmark (for markdown parsing), how can I get all the list items? |
| 2021-06-15 14:54:02 | → | fef joins (~thedawn@user/thedawn) |
| 2021-06-15 14:54:03 | <siraben> | is this something suitable for lens? I'm trying recursion schemes right now and it seems awkward to express as a catamorphism |
| 2021-06-15 14:55:07 | → | ef joins (~thedawn@user/thedawn) |
| 2021-06-15 14:55:08 | × | ef quits (~thedawn@user/thedawn) (Client Quit) |
| 2021-06-15 14:55:43 | fendor_ | is now known as fendor |
| 2021-06-15 14:55:45 | <c_wraith> | how do you want nested lists to be handled? |
| 2021-06-15 14:56:01 | ← | _73 parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (ERC (IRC client for Emacs 27.2)) |
| 2021-06-15 14:56:09 | <siraben> | c_wraith: assume no nested lists |
| 2021-06-15 14:56:43 | <c_wraith> | that sounds like an implausible assumption, but ok. :P |
| 2021-06-15 14:56:48 | <siraben> | there's a flat list of items somewhere in the markdown file, and I want to get the items in order |
| 2021-06-15 14:57:02 | <siraben> | c_wraith: the list is https://github.com/siraben/freenode-exodus/ :P |
| 2021-06-15 14:57:19 | <siraben> | currently I have an ad-hoc parser for it which doesn't handle locales well |
| 2021-06-15 14:57:21 | <c_wraith> | This is a thing you can do with lenses, but you need them to be written |
| 2021-06-15 14:57:25 | <sshine> | siraben, "I'm trying recursion schemes right now and it seems awkward to express as a catamorphism" -- they should put that in the reviews. |
| 2021-06-15 14:58:18 | <siraben> | sshine: haha, the difficulty is that as I'm going down the node tree I'm looking for different types of nodes, first a LIST, then an ITEM |
| 2021-06-15 14:58:28 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 252 seconds) |
| 2021-06-15 14:58:44 | <sshine> | yea :) |
| 2021-06-15 14:58:50 | <sshine> | paramorphism |
| 2021-06-15 14:59:29 | <sshine> | https://hackage.haskell.org/package/recursion-schemes-5.2.2.1/docs/Data-Functor-Foldable.html#v:para |
| 2021-06-15 14:59:51 | → | muto joins (~muto@d75-159-225-7.abhsia.telus.net) |
| 2021-06-15 15:00:10 | × | fluffyballoon quits (~fluffybal@2620:72:0:6480::10f7) (Quit: Client closed) |
| 2021-06-15 15:00:43 | × | larkfisherman quits (~larkfishe@217.75.204.126) (Remote host closed the connection) |
| 2021-06-15 15:02:14 | <sshine> | I had this idea that recursion-schemes would be neat if you wrote your original tree as a fixed point type, and then wrote a whole lot of convenience patterns and values so you get an unwrapped experience, too. then you'd be able to have nice patterns when doing explicit matching/building, and still some generic traversal. |
| 2021-06-15 15:02:55 | <c_wraith> | yeah, I've done that. it ends up with a lot of boilerplate if you're not using it a *lot* |
| 2021-06-15 15:02:58 | <sshine> | my one attempt with data-fix made me a little tired, though. >_< |
| 2021-06-15 15:03:07 | <siraben> | Oh god now I'm reading into unicode normalization |
| 2021-06-15 15:03:14 | <siraben> | all I wanted was to sort ö nicely 😭 |
| 2021-06-15 15:03:18 | × | abrar_ quits (~abrar@static-108-2-152-54.phlapa.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2021-06-15 15:03:36 | <c_wraith> | well, the good thing is you can just let text-icu handle all of that for you |
| 2021-06-15 15:04:27 | <sshine> | siraben, the cmark/cmark-gfm AST doesn't provide an ordered list? |
| 2021-06-15 15:04:45 | <siraben> | c_wraith: I want to sort strings but that requires me to talk about normalization and locales |
| 2021-06-15 15:04:57 | × | nschoe quits (~quassel@178.251.84.79) (Ping timeout: 268 seconds) |
| 2021-06-15 15:05:12 | → | spicyrice joins (~ubuntu@2600:1f11:52a:4400:ada3:7fcd:e4c0:53a1) |
| 2021-06-15 15:05:18 | <sshine> | siraben, just sort on casefold? ;-D |
| 2021-06-15 15:05:18 | × | azeem quits (~azeem@176.201.22.245) (Read error: Connection reset by peer) |
| 2021-06-15 15:05:40 | <sshine> | squint :: Char -> Char |
| 2021-06-15 15:05:46 | → | ddellacosta joins (~ddellacos@86.106.121.177) |
| 2021-06-15 15:05:59 | <siraben> | hmm, ok, I'll just continue with the naïve sort in Data.List, not ideal but this is a silly little list that doesn't need other dependencies haha |
| 2021-06-15 15:06:04 | → | azeem joins (~azeem@dynamic-adsl-78-13-238-239.clienti.tiscali.it) |
| 2021-06-15 15:06:49 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 2021-06-15 15:08:31 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b9b1:9fc2:289f:a533) |
| 2021-06-15 15:10:09 | → | Sgeo_ joins (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 2021-06-15 15:10:18 | × | ddellacosta quits (~ddellacos@86.106.121.177) (Ping timeout: 240 seconds) |
| 2021-06-15 15:10:20 | → | aplainze1akind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-06-15 15:10:24 | → | listofoptions_ joins (~haha@nat.syssrc.com) |
| 2021-06-15 15:10:47 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2021-06-15 15:11:12 | → | gentauro joins (~gentauro@user/gentauro) |
| 2021-06-15 15:11:35 | → | ixlun- joins (~matthew@213.205.241.86) |
| 2021-06-15 15:12:40 | → | berberman joins (~berberman@user/berberman) |
| 2021-06-15 15:12:42 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b9b1:9fc2:289f:a533) (Ping timeout: 240 seconds) |
| 2021-06-15 15:13:17 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-06-15 15:13:34 | → | reumeth2 joins (~reumeth@user/reumeth) |
| 2021-06-15 15:13:39 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-06-15 15:13:43 | → | pbrisbin_ joins (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) |
| 2021-06-15 15:13:43 | → | ikex1 joins (~ash@user/ikex) |
| 2021-06-15 15:14:00 | → | muto_ joins (~muto@d75-159-225-7.abhsia.telus.net) |
| 2021-06-15 15:14:13 | → | shapr` joins (~user@pool-108-28-144-11.washdc.fios.verizon.net) |
| 2021-06-15 15:15:02 | <c_wraith> | siraben: for what it's worth, use Normal Form C unless you have a specific requirement to use something else |
| 2021-06-15 15:15:03 | × | berberman_ quits (~berberman@user/berberman) (Ping timeout: 265 seconds) |
| 2021-06-15 15:15:03 | × | ixlun quits (~matthew@213.205.241.86) (Ping timeout: 265 seconds) |
| 2021-06-15 15:15:03 | × | spicyrice quits (~ubuntu@2600:1f11:52a:4400:ada3:7fcd:e4c0:53a1) (Ping timeout: 265 seconds) |
| 2021-06-15 15:15:03 | × | ikex quits (~ash@user/ikex) (Ping timeout: 265 seconds) |
| 2021-06-15 15:15:03 | × | pbrisbin quits (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-06-15 15:15:03 | × | muto quits (~muto@d75-159-225-7.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2021-06-15 15:15:03 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Ping timeout: 265 seconds) |
| 2021-06-15 15:15:03 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 265 seconds) |
| 2021-06-15 15:15:03 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 265 seconds) |
| 2021-06-15 15:15:03 | × | listofoptions quits (~haha@nat.syssrc.com) (Ping timeout: 265 seconds) |
| 2021-06-15 15:15:03 | × | alx741 quits (~alx741@186.178.108.66) (Ping timeout: 265 seconds) |
| 2021-06-15 15:15:03 | × | shapr quits (~user@pool-108-28-144-11.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-06-15 15:15:03 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 265 seconds) |
| 2021-06-15 15:15:04 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Ping timeout: 265 seconds) |
| 2021-06-15 15:15:04 | × | zebrag quits (~chris@user/zebrag) (Ping timeout: 265 seconds) |
| 2021-06-15 15:15:04 | × | reumeth quits (~reumeth@user/reumeth) (Ping timeout: 265 seconds) |
| 2021-06-15 15:15:11 | shapr` | is now known as shapr |
| 2021-06-15 15:15:14 | → | LukeHoer_ joins (~LukeHoers@user/lukehoersten) |
| 2021-06-15 15:15:25 | → | spicyrice joins (~ubuntu@2600:1f11:52a:4400:ada3:7fcd:e4c0:53a1) |
| 2021-06-15 15:15:28 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-06-15 15:15:41 | → | zebrag joins (~chris@user/zebrag) |
| 2021-06-15 15:16:35 | → | alx741 joins (~alx741@186.178.108.66) |
| 2021-06-15 15:17:39 | × | spicyrice quits (~ubuntu@2600:1f11:52a:4400:ada3:7fcd:e4c0:53a1) (Client Quit) |
| 2021-06-15 15:17:53 | → | spicyrice joins (~ubuntu@2600:1f11:52a:4400:ada3:7fcd:e4c0:53a1) |
| 2021-06-15 15:18:26 | allbery_b | is now known as geekosaur |
| 2021-06-15 15:18:43 | × | NanoC quits (~NanoCoast@p200300e127264d0058cc7c623629969e.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2021-06-15 15:19:03 | × | shredder quits (~shredder@user/shredder) (Remote host closed the connection) |
| 2021-06-15 15:19:06 | × | spicyrice quits (~ubuntu@2600:1f11:52a:4400:ada3:7fcd:e4c0:53a1) (Client Quit) |
| 2021-06-15 15:19:21 | → | spicyrice joins (~ubuntu@2600:1f11:52a:4400:ada3:7fcd:e4c0:53a1) |
All times are in UTC.