Logs: freenode/#haskell
| 2021-05-15 09:37:51 | → | oxide joins (~lambda@unaffiliated/mclaren) |
| 2021-05-15 09:38:52 | → | shanemikel joins (~shanemike@desk.roadwar.net) |
| 2021-05-15 09:44:30 | × | shanemikel quits (~shanemike@desk.roadwar.net) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2021-05-15 09:45:04 | → | shanemikel joins (~shanemike@desk.roadwar.net) |
| 2021-05-15 09:45:35 | <wz1000> | kuribas: you can generate haddock from TH starting in GHC 9.2 |
| 2021-05-15 09:46:14 | → | juri_ joins (~juri@79.140.120.113) |
| 2021-05-15 09:46:39 | <kuribas> | A bit cutting edge, but at least it's progress :) |
| 2021-05-15 09:46:41 | × | Guest40497 quits (~alexander@athedsl-32112.home.otenet.gr) (Ping timeout: 240 seconds) |
| 2021-05-15 09:46:58 | <wz1000> | one option you have (that I have also considered) is to use older GHCs but generate documenation using a 9.2 prerelease and upload that |
| 2021-05-15 09:47:25 | <kuribas> | can haddock generate types from TH? |
| 2021-05-15 09:47:30 | <kuribas> | pre 9.2? |
| 2021-05-15 09:47:35 | × | kenran quits (~kenran@i577BCDEC.versanet.de) (Remote host closed the connection) |
| 2021-05-15 09:48:00 | <wz1000> | you mean do the types show up in haddock? yes |
| 2021-05-15 09:48:35 | → | ddellacosta joins (~ddellacos@86.106.143.59) |
| 2021-05-15 09:49:39 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-05-15 09:50:23 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-15 09:50:35 | <kuribas> | ok, so no docstrings or sections |
| 2021-05-15 09:53:05 | × | ddellacosta quits (~ddellacos@86.106.143.59) (Ping timeout: 246 seconds) |
| 2021-05-15 09:59:35 | → | alexander joins (~alexander@ppp-94-67-202-54.home.otenet.gr) |
| 2021-05-15 10:00:05 | alexander | is now known as Guest70586 |
| 2021-05-15 10:00:39 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 2021-05-15 10:00:46 | → | Woden joins (3b66ec2c@59.102.236.44) |
| 2021-05-15 10:01:47 | <Woden> | Hi, I am new to Haskell and I am trying to understand some code but still don't get it. May I ask the question here? |
| 2021-05-15 10:02:03 | → | mcglk joins (~textual@131.191.49.120) |
| 2021-05-15 10:02:09 | <invaser> | Woden: Sure, go ahead |
| 2021-05-15 10:03:52 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
| 2021-05-15 10:04:16 | <Woden> | The code reference is here. https://github.com/genosage/CardGuessingGame/blob/master/CardGuessing.hs#L1I am implementing the poker card guessing game, like given two cards, guess the answer until correct.I am confused about the bestGuess function, and cannot even understand the syntax. |
| 2021-05-15 10:05:02 | <Woden> | If inconvenient, or wrong place to ask, I apologzie. |
| 2021-05-15 10:05:57 | <invaser> | Woden: No, it's the perfect place to ask :) |
| 2021-05-15 10:09:33 | <invaser> | Woden: What part in particular is confusing for you? |
| 2021-05-15 10:09:43 | <Woden> | Thank you :)For my understanding, what I know by now is that the code is generating the weight for the card collection, and it seems remove all other cards except the result.but I am not sure, and why code using the square to generate the weights? |
| 2021-05-15 10:12:22 | <Woden> | I mean, using square function to generate a weight to each combination lead to the correct answer doesn't make sense to me. |
| 2021-05-15 10:13:19 | <Woden> | The strategy in my mind is to use the binary search to narrow down the rank. |
| 2021-05-15 10:13:38 | <Woden> | Don't know how to implement, though |
| 2021-05-15 10:15:53 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9577d94a8a519d1af897.dip0.t-ipconnect.de) |
| 2021-05-15 10:17:19 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-05-15 10:18:44 | <mcglk> | At first glance, expectedNum seems to be taking the sum of squares to calculate a standard deviation or a sample variance. But I'm rusty enough with statistics that I'm uncertain about that. |
| 2021-05-15 10:20:31 | × | plutoniix quits (~q@node-ul6.pool-125-24.dynamic.totinternet.net) (Remote host closed the connection) |
| 2021-05-15 10:20:46 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-15 10:20:58 | → | sheepduck joins (~sheepduck@2607:fea8:2a60:b700::5e97) |
| 2021-05-15 10:21:45 | <Woden> | yeah, it's like variance |
| 2021-05-15 10:21:46 | → | rockethead joins (~rockethea@2001:41d0:302:2100::6dae) |
| 2021-05-15 10:21:57 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-05-15 10:23:02 | × | rockethead quits (~rockethea@2001:41d0:302:2100::6dae) (Remote host closed the connection) |
| 2021-05-15 10:25:43 | <Woden> | or, is there any better solution than the implementation? |
| 2021-05-15 10:25:57 | <Woden> | regarding the bestGuess |
| 2021-05-15 10:27:39 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-15 10:27:45 | → | ddellac__ joins (~ddellacos@86.106.143.33) |
| 2021-05-15 10:28:43 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-15 10:29:20 | → | Qwerky joins (~qwerky@178.197.228.14) |
| 2021-05-15 10:29:56 | <mcglk> | I dunno. Seems concise enough for the strategy. Granted, this isn't a very sophisticated strategy, but you're only dealing with less than 20 functions. |
| 2021-05-15 10:31:03 | <Woden> | yeah, agree |
| 2021-05-15 10:32:50 | × | ddellac__ quits (~ddellacos@86.106.143.33) (Ping timeout: 268 seconds) |
| 2021-05-15 10:33:06 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2021-05-15 10:33:13 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-15 10:34:27 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-05-15 10:38:44 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 245 seconds) |
| 2021-05-15 10:40:13 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-05-15 10:45:38 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-15 10:46:06 | → | M_o_C joins (~moc@dslb-092-075-110-074.092.075.pools.vodafone-ip.de) |
| 2021-05-15 10:46:34 | × | Qwerky quits (~qwerky@178.197.228.14) (Remote host closed the connection) |
| 2021-05-15 10:46:37 | <kuribas> | is it not possible to slice a name in a declaration? Like [d| $(mkName foo) :: Int |] ? |
| 2021-05-15 10:50:11 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-15 10:50:33 | → | pyx joins (~pyx@unaffiliated/pyx) |
| 2021-05-15 10:50:42 | × | pyx quits (~pyx@unaffiliated/pyx) (Client Quit) |
| 2021-05-15 10:50:57 | <kuribas> | ah, splice can only be an expression, type or declaration list... |
| 2021-05-15 10:53:42 | × | M_o_C quits (~moc@dslb-092-075-110-074.092.075.pools.vodafone-ip.de) (Quit: Konversation terminated!) |
| 2021-05-15 10:54:09 | × | sheepduck quits (~sheepduck@2607:fea8:2a60:b700::5e97) (Ping timeout: 245 seconds) |
| 2021-05-15 10:57:59 | × | gemmaro quits (~Thunderbi@240f:74:d1f0:1:8859:feb:afd:2b9d) (Ping timeout: 250 seconds) |
| 2021-05-15 10:59:01 | → | ddellacosta joins (~ddellacos@86.106.143.46) |
| 2021-05-15 11:03:26 | × | ddellacosta quits (~ddellacos@86.106.143.46) (Ping timeout: 246 seconds) |
| 2021-05-15 11:08:49 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9577d94a8a519d1af897.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-05-15 11:11:21 | × | paddymahoney quits (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-05-15 11:12:18 | → | son0p joins (~ff@181.136.122.143) |
| 2021-05-15 11:12:53 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 246 seconds) |
| 2021-05-15 11:18:09 | → | gemmaro joins (~Thunderbi@240f:74:d1f0:1:8859:feb:afd:2b9d) |
| 2021-05-15 11:19:13 | × | pera quits (~pera@unaffiliated/pera) (Ping timeout: 252 seconds) |
| 2021-05-15 11:19:22 | → | pera joins (pera@gateway/vpn/mullvad/pera) |
| 2021-05-15 11:21:14 | <pjb> | kuribas: you can probably do that in liskell. |
| 2021-05-15 11:21:25 | <pjb> | kuribas: https://github.com/haskell-lisp/liskell |
| 2021-05-15 11:21:43 | <pjb> | http://lambda-the-ultimate.org/node/2363 |
| 2021-05-15 11:22:09 | × | knupfer quits (~Thunderbi@200116b82b53960000706a519d769a83.dip.versatel-1u1.de) (Remote host closed the connection) |
| 2021-05-15 11:22:18 | → | knupfer joins (~Thunderbi@200116b82b539600a0d9a899e72817b3.dip.versatel-1u1.de) |
| 2021-05-15 11:24:16 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) |
| 2021-05-15 11:24:19 | <kuribas> | pjb: it's dead? |
| 2021-05-15 11:26:21 | × | pera quits (pera@gateway/vpn/mullvad/pera) (Quit: leaving) |
| 2021-05-15 11:28:45 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Ping timeout: 250 seconds) |
| 2021-05-15 11:35:12 | → | HannaM joins (~quassel@p54849510.dip0.t-ipconnect.de) |
| 2021-05-15 11:35:52 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-yurqvpvnjnppvuit) |
| 2021-05-15 11:38:25 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-15 11:38:45 | → | Franciman joins (~francesco@host-82-48-14-60.retail.telecomitalia.it) |
| 2021-05-15 11:38:50 | ← | Franciman parts (~francesco@host-82-48-14-60.retail.telecomitalia.it) ("Leaving") |
| 2021-05-15 11:39:07 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-05-15 11:42:52 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-15 11:50:59 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-05-15 11:51:15 | <Woden> | Thank you all, for those who responded my question. Hope all of you have a nice day |
| 2021-05-15 11:55:41 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-15 11:58:33 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-05-15 11:59:11 | <mcglk> | Anytime, Woden. |
| 2021-05-15 11:59:23 | × | Woden quits (3b66ec2c@59.102.236.44) (Ping timeout: 240 seconds) |
All times are in UTC.