Logs: freenode/#haskell
| 2021-03-12 23:44:23 | <infinisil> | hololeap: Not sure |
| 2021-03-12 23:44:31 | <infinisil> | But the Generic approach works well :) |
| 2021-03-12 23:44:35 | → | blueonyx joins (b9d4ab4b@unaffiliated/blueonyx) |
| 2021-03-12 23:44:49 | <hololeap> | i'm not sure it would in the case of rose trees, would it? |
| 2021-03-12 23:45:32 | <Logio> | Gurkenglas: coming from math, people always seem to use the least general definition of compactness that happens to work in their problem domain |
| 2021-03-12 23:46:14 | <hololeap> | didn't there used to be a Data.Tree in base? |
| 2021-03-12 23:46:54 | <Gurkenglas> | now i get why this guy linked me a book as old as me, he wanted me to learn the same flavor of terminology he did |
| 2021-03-12 23:46:59 | <hololeap> | nvm, it's in containers |
| 2021-03-12 23:47:21 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds) |
| 2021-03-12 23:47:39 | <hololeap> | infinisil: you can test your implementation on this: https://hackage.haskell.org/package/containers/docs/Data-Tree.html |
| 2021-03-12 23:48:22 | <hololeap> | that has two dimensions of possibly infinite recursion |
| 2021-03-12 23:49:39 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 2021-03-12 23:50:28 | <hololeap> | so every level may need to be stopped at some level of recursion, and there can be infinite levels |
| 2021-03-12 23:50:32 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 2021-03-12 23:51:12 | <hololeap> | or maybe that's a corner case that you don't want to touch... understandably :) |
| 2021-03-12 23:51:31 | <infinisil> | hololeap: I've already tested it with my own tree type (data MyTree = Leaf Int | Node MyTree MyTree) |
| 2021-03-12 23:51:37 | <infinisil> | recursiveTree = Node recursiveTree recursiveTree |
| 2021-03-12 23:51:53 | <infinisil> | gshow 1 recursiveTree gives `Node {left = Node {left = ..., right = ...}, right = Node {left = ..., right = ...}}` |
| 2021-03-12 23:51:58 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-03-12 23:52:12 | <hololeap> | i get that, but your tree has one dimension of recursion and Data.Tree, aka rose trees, have two |
| 2021-03-12 23:52:44 | <infinisil> | It does? |
| 2021-03-12 23:52:54 | <hololeap> | since each level of the tree is a (possibly infinite) list of more subtrees |
| 2021-03-12 23:53:02 | <infinisil> | Ahh |
| 2021-03-12 23:53:06 | <infinisil> | lemme try |
| 2021-03-12 23:53:40 | → | monadmatt joins (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 2021-03-12 23:54:10 | <infinisil> | data MyTree = Leaf | Node [MyTree] |
| 2021-03-12 23:54:14 | <infinisil> | recursiveTree = Node (repeat recursiveTree) |
| 2021-03-12 23:54:30 | <infinisil> | `gshow 4 recursiveTree` => `Node [Node [Node [Node [...],...],Node [...],...],Node [Node [...],...],Node [...],...]` |
| 2021-03-12 23:54:52 | <infinisil> | Works great :D |
| 2021-03-12 23:55:55 | <hololeap> | fair, although was that the result you were expecting? |
| 2021-03-12 23:55:55 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer) |
| 2021-03-12 23:56:10 | × | bergey` quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2021-03-12 23:56:13 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 2021-03-12 23:56:15 | <infinisil> | Yea |
| 2021-03-12 23:56:30 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-03-12 23:56:48 | <infinisil> | I should probably share the implementation |
| 2021-03-12 23:57:04 | <hololeap> | i'm just trying to point out possible corner cases |
| 2021-03-12 23:57:33 | <hololeap> | if it works the way you want, then great |
| 2021-03-12 23:58:45 | × | monadmatt quits (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) (Ping timeout: 264 seconds) |
| 2021-03-13 00:05:29 | <infinisil> | hololeap: https://gist.github.com/ccdf467c657950b4c5fa1139df246fb2 |
| 2021-03-13 00:05:58 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-03-13 00:06:25 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:c79:3d13:d977:c947) (Remote host closed the connection) |
| 2021-03-13 00:07:58 | → | ezrakilty joins (~ezrakilty@75-172-115-167.tukw.qwest.net) |
| 2021-03-13 00:08:04 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 256 seconds) |
| 2021-03-13 00:08:31 | → | sz0 joins (uid110435@gateway/web/irccloud.com/x-iwavjdaunpjxrjlx) |
| 2021-03-13 00:08:57 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 264 seconds) |
| 2021-03-13 00:09:02 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-03-13 00:09:25 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 272 seconds) |
| 2021-03-13 00:09:45 | × | ketas1 quits (~ketas@37.120.211.188) (Remote host closed the connection) |
| 2021-03-13 00:10:55 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 276 seconds) |
| 2021-03-13 00:11:43 | → | qih joins (~pi@210-54-120-166.adsl.xtra.co.nz) |
| 2021-03-13 00:12:06 | × | ezrakilty quits (~ezrakilty@75-172-115-167.tukw.qwest.net) (Ping timeout: 246 seconds) |
| 2021-03-13 00:12:53 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-13 00:12:58 | × | elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2021-03-13 00:13:25 | → | ezrakilty joins (~ezrakilty@75-172-115-167.tukw.qwest.net) |
| 2021-03-13 00:15:32 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-13 00:16:48 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-13 00:18:33 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-03-13 00:18:45 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 246 seconds) |
| 2021-03-13 00:18:47 | → | joebobjoe joins (~joebobjoe@unaffiliated/joebobjoe) |
| 2021-03-13 00:19:04 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-13 00:19:27 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 2021-03-13 00:21:13 | → | monadmatt joins (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) |
| 2021-03-13 00:21:18 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-13 00:23:48 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 245 seconds) |
| 2021-03-13 00:24:07 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-03-13 00:24:09 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-03-13 00:25:31 | → | bennofs_ joins (~quassel@dslb-188-106-240-148.188.106.pools.vodafone-ip.de) |
| 2021-03-13 00:25:45 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2021-03-13 00:25:49 | → | kensanata joins (~kensanata@195.140.213.38) |
| 2021-03-13 00:26:12 | × | monadmatt quits (~user@119-17-128-101.771180.mel.nbn.aussiebb.net) (Ping timeout: 256 seconds) |
| 2021-03-13 00:27:15 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-13 00:27:20 | × | curiousgay quits (~gay@178.217.208.8) (Ping timeout: 256 seconds) |
| 2021-03-13 00:28:54 | × | bennofs__ quits (~quassel@dslb-188-106-247-127.188.106.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 2021-03-13 00:31:27 | → | curiousgay joins (~gay@178.217.208.8) |
| 2021-03-13 00:31:42 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 246 seconds) |
| 2021-03-13 00:32:58 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-13 00:36:02 | × | ezrakilty quits (~ezrakilty@75-172-115-167.tukw.qwest.net) (Remote host closed the connection) |
| 2021-03-13 00:36:09 | × | sayola quits (~vekto@dslb-002-201-085-157.002.201.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2021-03-13 00:45:32 | × | conal quits (~conal@184.170.243.131) (Quit: Computer has gone to sleep.) |
| 2021-03-13 00:47:21 | × | hexo quits (~hexo@gateway/tor-sasl/hexo) (Remote host closed the connection) |
| 2021-03-13 00:47:21 | × | srk quits (~sorki@gateway/tor-sasl/sorki) (Remote host closed the connection) |
| 2021-03-13 00:47:36 | → | hexo joins (~hexo@gateway/tor-sasl/hexo) |
| 2021-03-13 00:47:41 | → | srk joins (~sorki@gateway/tor-sasl/sorki) |
| 2021-03-13 00:47:52 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:c79:3d13:d977:c947) |
| 2021-03-13 00:49:12 | × | blueonyx quits (b9d4ab4b@unaffiliated/blueonyx) (Quit: Connection closed) |
| 2021-03-13 00:49:55 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-13 00:52:27 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 2021-03-13 00:55:51 | → | conal joins (~conal@184.170.243.131) |
| 2021-03-13 00:57:24 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-13 00:57:50 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded) |
| 2021-03-13 00:58:43 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-qhbpzrlqpyrqpcwa) |
| 2021-03-13 00:59:57 | → | hexfive joins (~hexfive@50.35.83.177) |
| 2021-03-13 01:00:22 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-13 01:03:57 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-13 01:04:50 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-03-13 01:07:08 | → | gitgoood joins (~gitgood@82-132-219-163.dab.02.net) |
| 2021-03-13 01:08:10 | <hololeap> | infinisil: don't know what to say apart from my previous statement :) |
| 2021-03-13 01:08:31 | × | conal quits (~conal@184.170.243.131) (Quit: Computer has gone to sleep.) |
| 2021-03-13 01:08:39 | → | ezrakilty joins (~ezrakilty@75-172-115-167.tukw.qwest.net) |
All times are in UTC.