Logs: freenode/#haskell
| 2021-04-04 03:02:35 | → | conal joins (~conal@64.71.133.70) |
| 2021-04-04 03:03:34 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-04 03:12:52 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:1064:5b4f:c9cd:bb5a) (Remote host closed the connection) |
| 2021-04-04 03:16:45 | × | rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-04-04 03:19:39 | → | spi85 joins (b641dde8@182.65.221.232) |
| 2021-04-04 03:19:40 | → | rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 2021-04-04 03:21:38 | × | spi85 quits (b641dde8@182.65.221.232) (Client Quit) |
| 2021-04-04 03:21:45 | × | finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection) |
| 2021-04-04 03:22:06 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-04-04 03:22:06 | FinnElija | is now known as finn_elija |
| 2021-04-04 03:22:24 | × | petersen quits (~petersen@redhat/juhp) (Quit: petersen) |
| 2021-04-04 03:23:06 | → | petersen joins (~petersen@redhat/juhp) |
| 2021-04-04 03:23:15 | × | rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-04-04 03:23:35 | → | rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 2021-04-04 03:26:33 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:18c6:bbe2:41d0:8242) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-04 03:31:35 | → | ninedotnine joins (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) |
| 2021-04-04 03:31:59 | × | ninedotnine quits (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Client Quit) |
| 2021-04-04 03:32:50 | × | danso quits (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Read error: Connection reset by peer) |
| 2021-04-04 03:33:41 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-04-04 03:36:20 | → | danso joins (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) |
| 2021-04-04 03:37:05 | → | remby joins (~rcg@bras-base-london1483w-grc-33-70-50-136-176.dsl.bell.ca) |
| 2021-04-04 03:37:29 | → | DTZUZU_ joins (~DTZUZO@207.81.119.43) |
| 2021-04-04 03:37:41 | × | remby quits (~rcg@bras-base-london1483w-grc-33-70-50-136-176.dsl.bell.ca) (Client Quit) |
| 2021-04-04 03:37:58 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-04-04 03:39:39 | × | DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 252 seconds) |
| 2021-04-04 03:42:58 | → | puke joins (~vroom@217.138.252.196) |
| 2021-04-04 03:44:43 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:4c29:bb07:9985:fb29) (Ping timeout: 250 seconds) |
| 2021-04-04 03:46:54 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-04 03:52:53 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:781f:32cc:516c:6db5) |
| 2021-04-04 03:53:19 | → | minoru_shiraeesh joins (~shiraeesh@109.166.57.249) |
| 2021-04-04 03:57:48 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:b427:466b:a007:50eb) |
| 2021-04-04 04:01:11 | × | Wuzzy quits (~Wuzzy@p57a2fb8a.dip0.t-ipconnect.de) (Quit: Wuzzy) |
| 2021-04-04 04:02:16 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-tyfptednkskarnir) (Quit: Connection closed for inactivity) |
| 2021-04-04 04:02:36 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-04-04 04:03:00 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-04-04 04:11:58 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 2021-04-04 04:28:11 | × | minoru_shiraeesh quits (~shiraeesh@109.166.57.249) (Ping timeout: 260 seconds) |
| 2021-04-04 04:30:53 | <wroathe> | Say I've got a datatype like data Foo a = A [Bar a] [Foo a] | B [Bar a] [Foo a], and I want to derive a Foldable instance, is there a way to get it to ignore the first field of each data constructor and just use the second [Foo a] field when doing so with DeriveFoldable? |
| 2021-04-04 04:31:07 | <wroathe> | Or do I have to roll the instance by hand? |
| 2021-04-04 04:31:11 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2021-04-04 04:32:02 | <Uniaika> | wroathe: the level of control you wish to have asks for a manual instance |
| 2021-04-04 04:32:29 | → | DTZUZU joins (~DTZUZO@205.ip-149-56-132.net) |
| 2021-04-04 04:32:38 | <wroathe> | Uniaika: Cool. I thought so, but I figured it couldn't hurt to ask. |
| 2021-04-04 04:33:00 | <Uniaika> | :) |
| 2021-04-04 04:34:23 | × | DTZUZU_ quits (~DTZUZO@207.81.119.43) (Ping timeout: 260 seconds) |
| 2021-04-04 04:41:21 | <arahael> | I'm finding xml processing tedious and painful. I'm trying to get the child nodes from an XmlTree, so I'm tryhing to find a function XmlTree -> XmlTrees |
| 2021-04-04 04:41:46 | → | minoru_shiraeesh joins (~shiraeesh@109.166.57.249) |
| 2021-04-04 04:42:04 | <arahael> | (Using HXT). I've found `childNodes`, but it returns a ChildNodes, which is a [(Int, XmlNodeSet)], which is not what I want. |
| 2021-04-04 04:47:36 | × | mrchampion quits (~mrchampio@38.18.109.23) (Remote host closed the connection) |
| 2021-04-04 04:54:08 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-04-04 04:55:24 | <wroathe> | arahael: This isn't very popular, but it looks like they're keeping it up to date, and I tried it out a couple of years ago and remember liking it: https://hackage.haskell.org/package/xeno |
| 2021-04-04 04:55:55 | <arahael> | wroathe: Yeah, I'm thinking HXT was a bad choice. |
| 2021-04-04 05:11:20 | × | alx741 quits (~alx741@181.196.68.6) (Quit: alx741) |
| 2021-04-04 05:11:58 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-04-04 05:13:18 | → | Feuermagier joins (~Feuermagi@213.178.26.41) |
| 2021-04-04 05:13:45 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:fc90:fc9e:e06f:7ac5) |
| 2021-04-04 05:13:59 | → | s00pcan joins (~chris@107.181.165.217) |
| 2021-04-04 05:18:27 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:fc90:fc9e:e06f:7ac5) (Ping timeout: 258 seconds) |
| 2021-04-04 05:20:08 | <wroathe> | Say I've got a datatype like the above, but instead of just the A and B constructors, I've got a bunch that all have the same structure... Is there a way to write accessor functions for the first field and the second field that doesn't require me to pattern match against all of the data constructors? |
| 2021-04-04 05:20:25 | × | cods quits (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 265 seconds) |
| 2021-04-04 05:21:04 | <wroathe> | Technically I think I could use Generic for that, but I'm thinking even simpler than that |
| 2021-04-04 05:23:36 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-bfjhbskdtcpabmnv) |
| 2021-04-04 05:26:02 | → | cods joins (~fred@82-65-232-44.subs.proxad.net) |
| 2021-04-04 05:32:00 | → | ert345t joins (9a10a691@154.16.166.145) |
| 2021-04-04 05:32:51 | × | jneira quits (501e65b6@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.182) (Remote host closed the connection) |
| 2021-04-04 05:34:11 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-04 05:35:18 | × | xff0x quits (~xff0x@2001:1a81:5213:6700:e31e:a344:a799:7115) (Ping timeout: 258 seconds) |
| 2021-04-04 05:37:02 | → | xff0x joins (~xff0x@2001:1a81:5222:4e00:3716:e584:9ec2:915) |
| 2021-04-04 05:45:25 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-04 05:48:38 | × | elliott_ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-04 05:49:49 | × | ert345t quits (9a10a691@154.16.166.145) (Quit: Connection closed) |
| 2021-04-04 05:54:46 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-04-04 05:57:27 | × | xff0x quits (~xff0x@2001:1a81:5222:4e00:3716:e584:9ec2:915) (Ping timeout: 260 seconds) |
| 2021-04-04 05:59:14 | → | xff0x joins (~xff0x@2001:1a81:5222:8500:a3a1:f5ff:2a0a:6847) |
| 2021-04-04 05:59:55 | <dmwit> | wroathe: https://stackoverflow.com/q/32158110/791604 |
| 2021-04-04 06:02:01 | <wroathe> | dmwit: Thanks. For some reason I had gotten it in my head that I'd needed a different function name for each data constructor accessor |
| 2021-04-04 06:02:14 | <wroathe> | dmwit: Re-ramping up on Haskell after not writing it for a while :P |
| 2021-04-04 06:02:25 | <dmwit> | Personally, I actually think the Tag solution in my answer there is the better one. But you do you |
| 2021-04-04 06:03:13 | <dmwit> | Well. Usually the better one. |
| 2021-04-04 06:05:03 | <wroathe> | I'm just tinkering at the moment and playing around with the idea of representing HTML as data Element a = A [Attributes a] [Elements a] | Abbr [Attributes a] [Elements a] | ... |
| 2021-04-04 06:05:58 | <shachaf> | That certainly sounds like a place where you'd use the Wagner representation. |
| 2021-04-04 06:06:39 | <wroathe> | Elm does this as data Element a = Element Tag [Attributes a] [Element a], which is dmwit's suggestion |
| 2021-04-04 06:07:00 | <dmwit> | Man. After participating in so many online-only events it sounds weird to have something named after my real name and not my sobriquet. |
| 2021-04-04 06:07:15 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-04 06:08:06 | <wroathe> | s/Attributes/Attribute, s/Elements/Element |
| 2021-04-04 06:08:06 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-04 06:08:58 | <dmwit> | Oooo, "orthonym" is the word I wanted! |
| 2021-04-04 06:14:43 | × | xff0x quits (~xff0x@2001:1a81:5222:8500:a3a1:f5ff:2a0a:6847) (Ping timeout: 260 seconds) |
| 2021-04-04 06:14:55 | <wroathe> | dmwit: As I'm re-ramping up on Haskell I've been seeing your name on stackoverflow a lot. You've certainly put in the work answering questions. |
| 2021-04-04 06:15:08 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-04 06:15:36 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-04 06:16:26 | → | xff0x joins (~xff0x@2001:1a81:5222:bb00:e59:6490:f3fa:411) |
| 2021-04-04 06:25:55 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-04-04 06:28:27 | × | Sgeo_ quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-04-04 06:28:28 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-04 06:29:14 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-04 06:30:55 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2021-04-04 06:31:20 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-04 06:33:42 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-04 06:34:20 | <koz_> | % :t countTrailingZeros |
All times are in UTC.