Logs: freenode/#haskell
| 2021-03-06 19:59:38 | × | tanuki quits (~quassel@173.168.154.189) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-03-06 20:01:38 | → | tanuki joins (~quassel@173.168.154.189) |
| 2021-03-06 20:02:15 | → | Habib joins (~Habib@178.159.3.177) |
| 2021-03-06 20:03:23 | × | nineonine quits (~nineonine@S0106a0ff7073d5d5.vf.shawcable.net) (Ping timeout: 245 seconds) |
| 2021-03-06 20:03:56 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-03-06 20:04:58 | → | ezrakilty joins (~ezrakilty@97-113-55-149.tukw.qwest.net) |
| 2021-03-06 20:05:38 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 260 seconds) |
| 2021-03-06 20:06:07 | × | ech quits (~user@gateway/tor-sasl/ech) (Ping timeout: 268 seconds) |
| 2021-03-06 20:06:32 | → | vhs joins (~vhs@2a02:8109:b6bf:fcd8:61de:56ed:fd19:41d1) |
| 2021-03-06 20:08:13 | → | petersen joins (~petersen@redhat/juhp) |
| 2021-03-06 20:08:38 | → | Alleria joins (~textual@2603-7000-3040-0000-2dfd-bc54-7da7-bdb8.res6.spectrum.com) |
| 2021-03-06 20:08:40 | × | mananamenos quits (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Ping timeout: 276 seconds) |
| 2021-03-06 20:09:02 | Alleria | is now known as Guest67848 |
| 2021-03-06 20:11:21 | × | mirrorbird quits (~dwsjeid91@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) (Ping timeout: 272 seconds) |
| 2021-03-06 20:12:41 | → | Wuzzy joins (~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de) |
| 2021-03-06 20:12:45 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-06 20:13:58 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-03-06 20:15:52 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: gone to sleep. ZZZzzz…) |
| 2021-03-06 20:17:21 | × | maier quits (~maier@i59F67B82.versanet.de) (Ping timeout: 264 seconds) |
| 2021-03-06 20:19:09 | <NieDzejkob> | I have a function that uses the list monad to generate all $THINGs. Is it possible to generalize this to one that generates a (not necessarily uniformly) random $THING instead, even for parameters where the full list is too long to calculate? |
| 2021-03-06 20:19:19 | → | conal_ joins (~conal@192.145.118.119) |
| 2021-03-06 20:20:59 | × | conal_ quits (~conal@192.145.118.119) (Client Quit) |
| 2021-03-06 20:21:32 | → | conal joins (~conal@192.145.118.119) |
| 2021-03-06 20:22:22 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-06 20:22:44 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) |
| 2021-03-06 20:22:58 | → | conal_ joins (~conal@64.71.133.70) |
| 2021-03-06 20:25:15 | × | ezrakilty quits (~ezrakilty@97-113-55-149.tukw.qwest.net) (Remote host closed the connection) |
| 2021-03-06 20:25:54 | × | conal quits (~conal@192.145.118.119) (Ping timeout: 245 seconds) |
| 2021-03-06 20:27:58 | <shapr> | NieDzejkob: can you say more about what you want? |
| 2021-03-06 20:28:15 | <shapr> | oh, you want limited backtracking that generates a random subset? |
| 2021-03-06 20:28:40 | <shapr> | NieDzejkob: if you want to go all in, you can use https://en.wikipedia.org/wiki/Monte_Carlo_tree_search |
| 2021-03-06 20:28:52 | → | ezrakilty joins (~ezrakilty@97-113-55-149.tukw.qwest.net) |
| 2021-03-06 20:29:27 | <shapr> | but if you want simpler, could you come up with some way to calculate a score on the beginning of each branch? |
| 2021-03-06 20:29:29 | <NieDzejkob> | I use Haskell to exhaustively generate small test cases for competitive programming, I want to know if there's an easy way to generate a random large test case too |
| 2021-03-06 20:29:56 | <NieDzejkob> | in this case I actually don't use guard, just stuff like do notation, mapM and filterM |
| 2021-03-06 20:30:38 | <shapr> | NieDzejkob: it sounds like you want QuickCheck or HedgeHog |
| 2021-03-06 20:30:41 | → | mananamenos joins (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) |
| 2021-03-06 20:31:01 | <NieDzejkob> | I would if the implementation under test wasn't in C++ |
| 2021-03-06 20:31:02 | <shapr> | Here's a data type and generated Arbitrary instance: https://github.com/shapr/hlsexamples/blob/main/src/Examples.hs#L75 |
| 2021-03-06 20:31:34 | <shapr> | NieDzejkob: https://wiki.haskell.org/QuickCheck_as_a_test_set_generator ? |
| 2021-03-06 20:31:34 | × | conal_ quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-06 20:31:50 | <shapr> | I've seen a few projects in Java or other languages that used QuickCheck to generate test data |
| 2021-03-06 20:32:25 | × | bigboss99 quits (~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) (Read error: Connection reset by peer) |
| 2021-03-06 20:32:34 | <NieDzejkob> | would it be feasible to generate things like, say, bipartite graphs? |
| 2021-03-06 20:32:46 | → | bigbosskor joins (~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) |
| 2021-03-06 20:33:33 | → | aarvar joins (~foewfoiew@2601:602:a080:fa0:2097:5e27:e1ef:c7cb) |
| 2021-03-06 20:33:48 | <shapr> | You can generate anything you want, though for the sort of thing you originally described, HedgeHog might be better. |
| 2021-03-06 20:34:11 | <shapr> | QuickCheck generates *all the things* where HedgeHog gives you more control over what's generated. |
| 2021-03-06 20:36:22 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-06 20:36:38 | → | kderme joins (b23b3e5b@178-62-91.dynamic.cyta.gr) |
| 2021-03-06 20:36:38 | ← | Habib parts (~Habib@178.159.3.177) () |
| 2021-03-06 20:37:51 | <shapr> | I had some demo HedgeHog code, but I can't find it off the top of my head |
| 2021-03-06 20:39:01 | × | yhsiveht quits (~Nishant@103.210.43.206) (Ping timeout: 256 seconds) |
| 2021-03-06 20:39:18 | → | frankdmartinez joins (~frankdmar@212.103.48.236) |
| 2021-03-06 20:39:56 | × | frankdmartinez quits (~frankdmar@212.103.48.236) (Client Quit) |
| 2021-03-06 20:40:30 | → | Moyst joins (~moyst@212-149-213-144.bb.dnainternet.fi) |
| 2021-03-06 20:42:02 | → | hidedagger joins (~nate@unaffiliated/hidedagger) |
| 2021-03-06 20:45:17 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 2021-03-06 20:45:23 | → | maier joins (~maier@i59F67B82.versanet.de) |
| 2021-03-06 20:46:27 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:ed49:f786:d714:aba1) (Remote host closed the connection) |
| 2021-03-06 20:49:15 | → | vhs_ joins (~vhs@5.180.62.118) |
| 2021-03-06 20:49:58 | × | maier quits (~maier@i59F67B82.versanet.de) (Ping timeout: 260 seconds) |
| 2021-03-06 20:51:53 | × | vhs quits (~vhs@2a02:8109:b6bf:fcd8:61de:56ed:fd19:41d1) (Ping timeout: 272 seconds) |
| 2021-03-06 20:52:00 | × | HenryCH quits (~henry@2001:8e0:2003:e600:3534:3efe:738b:2f4b) () |
| 2021-03-06 20:53:24 | × | hiroaki_ quits (~hiroaki@ip4d176126.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2021-03-06 20:56:18 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 2021-03-06 20:56:26 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-03-06 20:59:26 | × | kderme quits (b23b3e5b@178-62-91.dynamic.cyta.gr) (Quit: Connection closed) |
| 2021-03-06 20:59:55 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-03-06 20:59:59 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2021-03-06 21:00:42 | × | amiri quits (~amiri@cpe-76-91-154-9.socal.res.rr.com) (Read error: Connection reset by peer) |
| 2021-03-06 21:01:15 | → | amiri joins (~amiri@cpe-76-91-154-9.socal.res.rr.com) |
| 2021-03-06 21:01:27 | <ADG1089__> | I have some common code for multiple binaries that I have defined in package.yaml, and have set dependencies: <project-name>, but it seems when I build any of the binary, it builds the other too. How can i solve this? |
| 2021-03-06 21:02:40 | <ADG1089__> | package.yaml here -> https://paste.tomsmeding.com/0k6L3O3u |
| 2021-03-06 21:03:16 | × | jespada quits (~jespada@90.254.243.187) (Ping timeout: 276 seconds) |
| 2021-03-06 21:05:18 | → | jespada joins (~jespada@90.254.243.187) |
| 2021-03-06 21:06:31 | → | frozenErebus joins (~frozenEre@94.128.82.20) |
| 2021-03-06 21:06:58 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-06 21:07:59 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-wttqmrtcedpbgonm) (Quit: Connection closed for inactivity) |
| 2021-03-06 21:10:23 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-03-06 21:11:30 | → | hiroaki_ joins (~hiroaki@2a02:8108:8c40:2bb8:2edb:8aee:ea11:b07) |
| 2021-03-06 21:11:38 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds) |
| 2021-03-06 21:11:50 | × | bigbosskor quits (~Android@2001:44c8:422a:bbc1:1:0:79b0:2ebf) (Read error: Connection reset by peer) |
| 2021-03-06 21:12:25 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Quit: Lost terminal) |
| 2021-03-06 21:12:28 | × | average quits (uid473595@gateway/web/irccloud.com/x-pcdddredmpviitpd) (Quit: Connection closed for inactivity) |
| 2021-03-06 21:13:08 | <d34df00d> | Alright, I need to interpret an (unboxed) Data.Vector of Word8's as a sequence of bits. What's the most efficient haskell-way of doing that? |
| 2021-03-06 21:14:15 | → | bigbosskor joins (~Android@182.232.52.52) |
| 2021-03-06 21:14:35 | <d34df00d> | Yay https://hackage.haskell.org/package/bitvec-1.1.1.0/docs/Data-Bit.html |
| 2021-03-06 21:18:18 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:f9cd:3683:49d6:918b) |
| 2021-03-06 21:21:46 | × | hexagenic quits (~mattias@2001:2002:51e0:74c9:d5d6:6022:ea72:3bc1) (Quit: WeeChat 1.9.1) |
| 2021-03-06 21:22:23 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-06 21:22:45 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-112-176.w86-198.abo.wanadoo.fr) |
| 2021-03-06 21:25:38 | × | hiroaki_ quits (~hiroaki@2a02:8108:8c40:2bb8:2edb:8aee:ea11:b07) (Ping timeout: 260 seconds) |
| 2021-03-06 21:26:40 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 2021-03-06 21:27:34 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 245 seconds) |
| 2021-03-06 21:28:46 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-06 21:29:56 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
| 2021-03-06 21:31:06 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) |
| 2021-03-06 21:31:45 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Remote host closed the connection) |
| 2021-03-06 21:32:25 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) |
All times are in UTC.