Logs: liberachat/#haskell
| 2021-06-04 02:49:18 | → | rk04 joins (~rk04@user/rajk) |
| 2021-06-04 02:49:56 | × | o1lo01ol1o quits (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-04 02:50:04 | → | lode joins (~lode@77-56-208-202.dclient.hispeed.ch) |
| 2021-06-04 02:50:27 | × | Aardwolf quits (~lode@77-56-208-202.dclient.hispeed.ch) (Ping timeout: 272 seconds) |
| 2021-06-04 02:50:53 | × | rk04 quits (~rk04@user/rajk) (Client Quit) |
| 2021-06-04 02:54:00 | × | node-sh_ quits (~node-sh@2401:4900:3b32:3b1c:5832:6b34:f998:7a5d) (Ping timeout: 272 seconds) |
| 2021-06-04 02:59:35 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-04 02:59:51 | × | bontaq quits (~user@ool-18e47f8d.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2021-06-04 03:00:37 | × | mccoyb quits (~textual@2601:182:d000:3b50:a4bd:b9d2:a94f:f8c4) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-04 03:01:17 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-04 03:01:20 | → | ddellacosta joins (~ddellacos@86.106.121.235) |
| 2021-06-04 03:03:51 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Client Quit) |
| 2021-06-04 03:04:04 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-04 03:04:08 | × | stardustfp quits (~sd@195.181.166.68) (Ping timeout: 272 seconds) |
| 2021-06-04 03:04:36 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-04 03:05:27 | → | stardustfp joins (~sd@104-54-64-209.lightspeed.jcvlfl.sbcglobal.net) |
| 2021-06-04 03:06:08 | × | ddellacosta quits (~ddellacos@86.106.121.235) (Ping timeout: 265 seconds) |
| 2021-06-04 03:06:23 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-06-04 03:07:02 | × | Typedfern quits (~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-06-04 03:08:39 | <altern> | Axman6, if `fmap value detectionType` will work for RoseTrees, how to make it work for [RoseTree]? |
| 2021-06-04 03:09:56 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-06-04 03:10:34 | <Axman6> | that's up to you, it depends on what value you want |
| 2021-06-04 03:10:35 | <altern> | (I am having problem applying `fmap value detectionType` to xs's in `findBiggest detectionType (RoseTree node (x:xs)) = let searchInList = findBiggest (fmap value detectionType) xs` |
| 2021-06-04 03:10:56 | <Axman6> | this comes down to the semantics you want |
| 2021-06-04 03:11:56 | <hololeap> | altern: just want to throw it out there that there is a ready-made rose-tree implementation in Data.Tree |
| 2021-06-04 03:13:25 | <altern> | hololeap, I know that. I have chosen not to go with it long time ago. Do not remember why :) probably some limitations similar to inability to define toJSON |
| 2021-06-04 03:14:31 | <hololeap> | ok, that's fine. I just wanted to make sure you were aware |
| 2021-06-04 03:14:47 | <altern> | thanks |
| 2021-06-04 03:14:55 | <altern> | I appreciate it |
| 2021-06-04 03:18:37 | → | mikoto-chan joins (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-06-04 03:18:46 | → | ddellacosta joins (~ddellacos@86.106.121.62) |
| 2021-06-04 03:18:53 | → | thiross joins (~user@173.242.113.143.16clouds.com) |
| 2021-06-04 03:19:18 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 268 seconds) |
| 2021-06-04 03:19:33 | → | mccoyb joins (~textual@2601:182:d000:3b50:6d20:ecfa:c38a:3ddb) |
| 2021-06-04 03:19:54 | <edwardk> | Axman6: it mostly helps with the integer ones. the hashtable is used for the grouping of integer keys |
| 2021-06-04 03:20:12 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-06-04 03:20:38 | <edwardk> | you can bolt in a Hashable-using step into the mix to group things that have big complicated hash functions that may be precomputed for prefiltering grouping results though |
| 2021-06-04 03:20:46 | <edwardk> | there's a combinator for it in there |
| 2021-06-04 03:22:55 | × | ddellacosta quits (~ddellacos@86.106.121.62) (Ping timeout: 244 seconds) |
| 2021-06-04 03:23:30 | <altern> | Axman6, cannot figure out how to apply detectionType to lists.. |
| 2021-06-04 03:23:55 | <dy> | Would you say you... can't detect how :^)? |
| 2021-06-04 03:26:06 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2021-06-04 03:27:11 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-06-04 03:27:34 | × | werneta quits (~werneta@128.149.243.107) (Ping timeout: 272 seconds) |
| 2021-06-04 03:28:58 | <hololeap> | altern: data DetectionType a = One | Two | FactorOf a | DivisibleBy a -- What do you mean you want to apply this to lists? [DectectionType a] ? DetectionType [a] ? |
| 2021-06-04 03:29:16 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-06-04 03:30:37 | × | nkpart quits (uid3844@id-3844.highgate.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-04 03:31:41 | <altern> | hololeap, (I am having problem applying `fmap value detectionType` to xs's in `findBiggest detectionType (RoseTree node (x:xs)) = let searchInList = findBiggest (fmap value detectionType) xs |
| 2021-06-04 03:32:23 | <altern> | hololeap, this is the original SO question: https://stackoverflow.com/questions/67829409/how-to-specify-typecllass-function-type-to-operate-on-rosetree-nodes |
| 2021-06-04 03:33:19 | × | dhazel quits (~quassel@2601:1c1:8a00:3390:80d7:bcce:50b1:298c) (Ping timeout: 272 seconds) |
| 2021-06-04 03:34:12 | <altern> | hololeap, sorry for double posting, you already found the q |
| 2021-06-04 03:35:29 | → | ddellacosta joins (~ddellacos@89.46.62.25) |
| 2021-06-04 03:35:44 | <hololeap> | if you're trying to fmap over a functor of functors, such as over [RoseTree a], you have to double nest fmaps like this: fmap (fmap value) detectionType |
| 2021-06-04 03:36:07 | <altern> | ah,ok. that might work |
| 2021-06-04 03:36:56 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-04 03:37:24 | <hololeap> | although `value` doesn't sound like a function, but I can't see your code, other than what you posted |
| 2021-06-04 03:37:45 | <altern> | data RoseTree a = RoseTree { value :: a, children :: [RoseTree a]} |
| 2021-06-04 03:37:45 | <altern> | deriving (Show, Functor) |
| 2021-06-04 03:37:55 | <altern> | this is where it is from |
| 2021-06-04 03:38:15 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-06-04 03:38:27 | <hololeap> | oh, so `value :: RoseTree -> a` |
| 2021-06-04 03:38:54 | <hololeap> | and `fmap value :: Functor f => f RoseTree -> f a |
| 2021-06-04 03:38:55 | <altern> | yep |
| 2021-06-04 03:39:00 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-06-04 03:39:29 | → | otto_s joins (~user@p5de2f806.dip0.t-ipconnect.de) |
| 2021-06-04 03:39:55 | × | ddellacosta quits (~ddellacos@89.46.62.25) (Ping timeout: 245 seconds) |
| 2021-06-04 03:40:41 | <hololeap> | it sounds like you are trying to look at every value in your tree and return the largest value, is that correct? if so, you want to use a fold, not fmap |
| 2021-06-04 03:41:04 | <altern> | that's correct |
| 2021-06-04 03:41:30 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2021-06-04 03:41:40 | <altern> | I want to find biggest that satisfies the condition |
| 2021-06-04 03:42:02 | → | ddellacosta joins (~ddellacos@89.46.62.170) |
| 2021-06-04 03:42:08 | lemmih_ | is now known as lemmih |
| 2021-06-04 03:42:28 | × | alx741_ quits (~alx741@186.178.108.209) (Quit: alx741_) |
| 2021-06-04 03:42:47 | × | otto_s_ quits (~user@p5de2f2d9.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2021-06-04 03:44:42 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2021-06-04 03:45:37 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-06-04 03:47:12 | × | ddellacosta quits (~ddellacos@89.46.62.170) (Ping timeout: 272 seconds) |
| 2021-06-04 03:49:51 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-04 03:51:32 | × | thiross quits (~user@173.242.113.143.16clouds.com) (Remote host closed the connection) |
| 2021-06-04 03:51:39 | → | thiross joins (~user@173.242.113.143.16clouds.com) |
| 2021-06-04 03:52:13 | × | thiross quits (~user@173.242.113.143.16clouds.com) (Remote host closed the connection) |
| 2021-06-04 03:53:40 | × | smitop quits (uid328768@user/smitop) (Quit: Connection closed for inactivity) |
| 2021-06-04 03:53:59 | → | ddellacosta joins (~ddellacos@86.106.121.58) |
| 2021-06-04 03:54:27 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-06-04 03:54:30 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-06-04 03:55:15 | <dmwit> | altern: Yikes, that question is in serious need of minimization. |
| 2021-06-04 03:55:26 | × | xff0x_ quits (~xff0x@2001:1a81:5380:1300:9081:944d:4c19:80f2) (Ping timeout: 265 seconds) |
| 2021-06-04 03:55:37 | <dmwit> | (That's probably why you're gathering downvotes.) |
| 2021-06-04 03:55:59 | <altern> | :(( |
| 2021-06-04 03:56:11 | → | xff0x_ joins (~xff0x@2001:1a81:5380:1300:5388:81f5:5499:71d2) |
| 2021-06-04 03:56:46 | → | ddellaco_ joins (~ddellacos@86.106.143.235) |
| 2021-06-04 03:56:47 | jackhill | is now known as jackhill[m] |
| 2021-06-04 03:57:01 | jackhill[m] | is now known as jackhill |
| 2021-06-04 03:57:59 | <altern> | I am off to sleep. It's 7am at my side and I haven't slept all night. Feel free to post answers to the SO question |
| 2021-06-04 03:58:36 | × | ddellacosta quits (~ddellacos@86.106.121.58) (Ping timeout: 272 seconds) |
| 2021-06-04 04:00:35 | → | stardust1p joins (~sd@45.12.220.116) |
| 2021-06-04 04:00:49 | → | wei2912 joins (~wei2912@112.199.250.21) |
| 2021-06-04 04:02:41 | → | unyu joins (~pyon@user/pyon) |
| 2021-06-04 04:03:40 | × | stardustfp quits (~sd@104-54-64-209.lightspeed.jcvlfl.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2021-06-04 04:04:21 | <hololeap> | altern, if you haven't gone to sleep yet, here is how I would do it: http://sprunge.us/uj5wNs |
All times are in UTC.