Logs: liberachat/#haskell
| 2021-06-04 01:03:10 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 272 seconds) |
| 2021-06-04 01:06:21 | → | Codaraxis_ joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2021-06-04 01:07:35 | <edwardk> | it comes up in a few places for me, not i'm not using it in anything for 'production' per se |
| 2021-06-04 01:08:14 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-06-04 01:08:27 | <edwardk> | Axman6: i keep meaning to get around to shipping a simple tabulation hashing based linear probing hash table, move that into discrimination to replace the hashmaps, and then build a new version of promises that just uses a thread for eval rather than the complicated monad i have today |
| 2021-06-04 01:08:35 | <edwardk> | those should speed up discrimination considerably |
| 2021-06-04 01:08:42 | <edwardk> | without that work its right at the cusp of usable |
| 2021-06-04 01:09:41 | <edwardk> | i don't remember if we ever did wind up using it at S&P for ermine when pulling from several data sources and having to do relational algebra ops in-language. |
| 2021-06-04 01:10:00 | <edwardk> | i remember prototyping it, but its been too long, its all a blur |
| 2021-06-04 01:10:08 | × | Codaraxis quits (~Codaraxis@89.45.7.156) (Ping timeout: 265 seconds) |
| 2021-06-04 01:11:24 | <S11001001> | edwardk: I don't think so |
| 2021-06-04 01:11:56 | → | mccoyb joins (~textual@2601:182:d000:3b50:a4bd:b9d2:a94f:f8c4) |
| 2021-06-04 01:13:34 | × | mccoyb quits (~textual@2601:182:d000:3b50:a4bd:b9d2:a94f:f8c4) (Client Quit) |
| 2021-06-04 01:13:49 | → | antalsz joins (~antalsz@68.175.130.216) |
| 2021-06-04 01:15:13 | → | ddellacosta joins (~ddellacos@86.106.121.90) |
| 2021-06-04 01:16:35 | <nkpart> | 👋 |
| 2021-06-04 01:16:48 | <nkpart> | I was/am using discrimination just to get nice joining functions |
| 2021-06-04 01:17:04 | <nkpart> | for smooshing table-like data together |
| 2021-06-04 01:17:29 | edwardk | waves to nkpart. |
| 2021-06-04 01:17:32 | <edwardk> | good to know! |
| 2021-06-04 01:17:50 | → | o1lo01ol1o joins (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) |
| 2021-06-04 01:18:01 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) |
| 2021-06-04 01:18:18 | <edwardk> | S11001001: fair nuff. it wasn't too long from when you left to when i left, so i'll take that as definitive |
| 2021-06-04 01:19:30 | × | ddellacosta quits (~ddellacos@86.106.121.90) (Ping timeout: 245 seconds) |
| 2021-06-04 01:22:11 | × | learner-monad quits (~ehanneken@user/learner-monad) (Quit: WeeChat 3.1) |
| 2021-06-04 01:25:23 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 272 seconds) |
| 2021-06-04 01:27:42 | × | Codaraxis_ quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 244 seconds) |
| 2021-06-04 01:28:00 | → | xff0x_ joins (~xff0x@2001:1a81:5380:1300:9081:944d:4c19:80f2) |
| 2021-06-04 01:29:44 | → | altern joins (~Sergii@altern.corbina.com.ua) |
| 2021-06-04 01:29:57 | → | mccoyb joins (~textual@2601:182:d000:3b50:a4bd:b9d2:a94f:f8c4) |
| 2021-06-04 01:30:24 | <altern> | Can somebody help with the StackOverflow question? https://stackoverflow.com/questions/67829409/haskell-compiler-does-not-infer-correct-types Thanks in advance |
| 2021-06-04 01:30:32 | <mccoyb> | Is it possible to new up a `Ptr` to an existing struct? Or otherwise, does there exist a function with signature `a -> (Ptr a -> b) -> b`? |
| 2021-06-04 01:31:20 | × | xff0x quits (~xff0x@port-92-193-206-214.dynamic.as20676.net) (Ping timeout: 252 seconds) |
| 2021-06-04 01:34:24 | → | ddellacosta joins (~ddellacos@89.46.62.21) |
| 2021-06-04 01:39:16 | × | ddellacosta quits (~ddellacos@89.46.62.21) (Ping timeout: 272 seconds) |
| 2021-06-04 01:40:08 | <pavonia> | mccoyb: You want to store an object and get a Ptr reference to it? |
| 2021-06-04 01:40:25 | <mccoyb> | @pavonia I think I found what I need in `Foreign.StablePtr`. |
| 2021-06-04 01:40:25 | <lambdabot> | Unknown command, try @list |
| 2021-06-04 01:41:03 | <pavonia> | Okay |
| 2021-06-04 01:46:14 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2021-06-04 01:46:39 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-04 01:47:53 | → | ddellacosta joins (~ddellacos@89.46.62.235) |
| 2021-06-04 01:47:54 | → | node-sh_ joins (~node-sh@2401:4900:3b32:3b1c:5832:6b34:f998:7a5d) |
| 2021-06-04 01:49:00 | → | boioioing joins (~boioioing@cpe-76-84-141-127.neb.res.rr.com) |
| 2021-06-04 01:49:07 | → | laurens joins (~laurens@2604:3d08:4383:6200:8075:4a01:7796:cc06) |
| 2021-06-04 01:50:15 | → | ddellaco_ joins (~ddellacos@89.46.62.69) |
| 2021-06-04 01:50:26 | × | node-sh quits (~node-sh@2401:4900:3b34:7bd4:3db0:9804:12bf:c3a) (Ping timeout: 244 seconds) |
| 2021-06-04 01:51:23 | → | rk04 joins (~rk04@user/rajk) |
| 2021-06-04 01:52:40 | × | ddellacosta quits (~ddellacos@89.46.62.235) (Ping timeout: 265 seconds) |
| 2021-06-04 01:54:23 | <ChaiTRex> | Why am I getting a parse error here: https://ideone.com/aF4V14 |
| 2021-06-04 01:54:30 | × | ddellaco_ quits (~ddellacos@89.46.62.69) (Read error: Connection reset by peer) |
| 2021-06-04 01:57:04 | <monochrom> | Line 11 "(go", that is unmatched. |
| 2021-06-04 01:59:39 | <ChaiTRex> | monochrom: Thanks. |
| 2021-06-04 02:00:10 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2021-06-04 02:00:35 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-04 02:02:12 | × | o1lo01ol1o quits (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-04 02:02:32 | → | o1lo01ol1o joins (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) |
| 2021-06-04 02:11:31 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 2021-06-04 02:11:31 | FinnElija | is now known as Guest6165 |
| 2021-06-04 02:11:31 | × | Guest6165 quits (~finn_elij@user/finn-elija/x-0085643) (Killed (strontium.libera.chat (Nickname regained by services))) |
| 2021-06-04 02:11:31 | finn_elija | is now known as FinnElija |
| 2021-06-04 02:11:55 | × | dibblego quits (~dibblego@122-199-1-30.ip4.superloop.com) (Changing host) |
| 2021-06-04 02:11:55 | → | dibblego joins (~dibblego@haskell/developer/dibblego) |
| 2021-06-04 02:12:33 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 2021-06-04 02:15:40 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 2021-06-04 02:15:48 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-06-04 02:21:05 | → | ddellacosta joins (~ddellacos@86.106.143.131) |
| 2021-06-04 02:22:11 | <Axman6> | edwardk: sorry, got pulled into a meeting like as soonas I asked - the hashtable sounds good - would that help with listy types at all? |
| 2021-06-04 02:25:43 | → | ddellaco_ joins (~ddellacos@86.106.121.64) |
| 2021-06-04 02:25:45 | × | ddellacosta quits (~ddellacos@86.106.143.131) (Ping timeout: 245 seconds) |
| 2021-06-04 02:26:48 | <Axman6> | altern: did you get your answer? in the definition of instance Find NodeRoseTree, what is the type of the argument named detectionType? |
| 2021-06-04 02:27:13 | <Axman6> | remember that is :: DetectionType a -> a -> Bool, so both those a's neeed to be the same |
| 2021-06-04 02:29:06 | × | td_ quits (~td@muedsl-82-207-238-081.citykom.de) (Ping timeout: 264 seconds) |
| 2021-06-04 02:30:04 | × | egoist1 quits (~egoist@186.235.82.52) (Quit: WeeChat 3.1) |
| 2021-06-04 02:30:34 | × | ddellaco_ quits (~ddellacos@86.106.121.64) (Ping timeout: 272 seconds) |
| 2021-06-04 02:30:36 | → | td_ joins (~td@94.134.91.156) |
| 2021-06-04 02:30:49 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-06-04 02:31:53 | × | chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 2021-06-04 02:32:07 | → | chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-04 02:33:50 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 244 seconds) |
| 2021-06-04 02:34:12 | <altern> | Axman6, yeah, I just figured it out |
| 2021-06-04 02:34:14 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-04 02:35:11 | <altern> | Axman6, Find should be like this: Find a b ; findBiggest :: DetectionType b -> a -> Int |
| 2021-06-04 02:35:46 | <Axman6> | I would agree that the error GHC gives is confusing, but it's because the first argument to is got to decide what the type of `a` is, so when you have a DetectionType NodeRoseTree passed to is, you then have something of type NodeRoseTree -> Bool, so passing in a Node doesn't work |
| 2021-06-04 02:36:06 | <Axman6> | I'm not sure if that's necessarily the right solution, there are others, but it is one that works |
| 2021-06-04 02:36:30 | <altern> | Axman6, what would be another solution? |
| 2021-06-04 02:37:32 | × | laurens quits (~laurens@2604:3d08:4383:6200:8075:4a01:7796:cc06) (Ping timeout: 272 seconds) |
| 2021-06-04 02:37:32 | × | bi_functor quits (~bi_functo@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 272 seconds) |
| 2021-06-04 02:37:35 | <Axman6> | if youDetectionType a functor, then you can easily turn a DetectionType NodeRoseTree into a DetectionType Node by using fmap value detectionType |
| 2021-06-04 02:37:43 | <Axman6> | you make * |
| 2021-06-04 02:38:32 | <altern> | ah, I see |
| 2021-06-04 02:38:34 | <altern> | nice |
| 2021-06-04 02:40:48 | <Axman6> | but what it means to have a DetectionType NodeRoseTree I'm not sure of, it seems like losing the structure of the tree is a weird thing to do. |
| 2021-06-04 02:41:20 | × | rk04 quits (~rk04@user/rajk) (Ping timeout: 272 seconds) |
| 2021-06-04 02:41:51 | → | favonia_ joins (~favonia@user/favonia) |
| 2021-06-04 02:42:50 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 252 seconds) |
| 2021-06-04 02:44:37 | → | ddellacosta joins (~ddellacos@86.106.121.71) |
| 2021-06-04 02:47:02 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-06-04 02:47:15 | → | werneta joins (~werneta@128.149.243.107) |
| 2021-06-04 02:49:05 | × | ddellacosta quits (~ddellacos@86.106.121.71) (Ping timeout: 245 seconds) |
All times are in UTC.