Logs: freenode/#haskell
| 2021-03-06 21:32:55 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-06 21:33:32 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-03-06 21:33:37 | <ggVGc> | how would you write this in a less outrageous way? forM_ (zip setups grids) (uncurry ($)) |
| 2021-03-06 21:34:32 | <glguy> | :t zipWithM_ |
| 2021-03-06 21:34:34 | <lambdabot> | Applicative m => (a -> b -> m c) -> [a] -> [b] -> m () |
| 2021-03-06 21:36:13 | × | usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 2021-03-06 21:37:17 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:ad8c:89aa:bf10:9556) (Ping timeout: 260 seconds) |
| 2021-03-06 21:37:19 | <ggVGc> | nice :) thanks |
| 2021-03-06 21:37:34 | <ggVGc> | not sure why I never used zipWithM before |
| 2021-03-06 21:38:47 | → | hiroaki_ joins (~hiroaki@ip4d176126.dynamic.kabel-deutschland.de) |
| 2021-03-06 21:39:48 | <ADG1089__> | No instance of (Random Int128) => how can I define a random instance for a third-party library data type (wide-word : Data.WideWord.Int128) ? I treid defining it but it said use newtype buth then I wasn't able to access the constructor |
| 2021-03-06 21:39:56 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-06 21:40:57 | × | former_ocamler quits (8eb3cea7@s142-179-206-167.ab.hsia.telus.net) (Quit: Connection closed) |
| 2021-03-06 21:43:44 | × | frozenErebus quits (~frozenEre@94.128.82.20) (Ping timeout: 260 seconds) |
| 2021-03-06 21:46:02 | → | mirrorbird joins (~dwsjeid91@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) |
| 2021-03-06 21:46:20 | → | maier joins (~maier@i59F67B82.versanet.de) |
| 2021-03-06 21:48:04 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-06 21:50:21 | × | alx741 quits (~alx741@186.178.108.237) (Ping timeout: 264 seconds) |
| 2021-03-06 21:50:44 | × | maier quits (~maier@i59F67B82.versanet.de) (Ping timeout: 260 seconds) |
| 2021-03-06 21:53:03 | × | Franciman quits (~francesco@host-82-49-79-189.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-03-06 21:53:30 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Remote host closed the connection) |
| 2021-03-06 21:53:59 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) |
| 2021-03-06 21:54:08 | → | usr25 joins (~J@63.red-83-58-206.dynamicip.rima-tde.net) |
| 2021-03-06 21:54:57 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-06 21:55:29 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 2021-03-06 21:55:31 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:dc41:de6b:7f91:94a8) (Ping timeout: 258 seconds) |
| 2021-03-06 21:55:38 | × | forgottenone quits (~forgotten@176.42.24.161) (Remote host closed the connection) |
| 2021-03-06 21:56:04 | → | geowiesnot_bis joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-03-06 21:57:16 | × | jle` quits (~mstksg@unaffiliated/mstksg) (Ping timeout: 240 seconds) |
| 2021-03-06 21:57:46 | → | kunsttyv joins (~kunsttyv@ti0005q162-5102.bb.online.no) |
| 2021-03-06 21:57:55 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) (Ping timeout: 240 seconds) |
| 2021-03-06 21:58:01 | → | jle` joins (~mstksg@cpe-23-240-75-236.socal.res.rr.com) |
| 2021-03-06 21:58:01 | × | jle` quits (~mstksg@cpe-23-240-75-236.socal.res.rr.com) (Changing host) |
| 2021-03-06 21:58:01 | → | jle` joins (~mstksg@unaffiliated/mstksg) |
| 2021-03-06 21:58:24 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer) |
| 2021-03-06 22:00:35 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-03-06 22:01:03 | × | son0p quits (~son0p@181.136.122.143) (Quit: leaving) |
| 2021-03-06 22:01:57 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-06 22:02:34 | × | jrqc quits (~rofl@96.78.87.197) (Ping timeout: 245 seconds) |
| 2021-03-06 22:03:08 | → | alx741 joins (~alx741@186.178.108.142) |
| 2021-03-06 22:03:43 | → | forgottenone joins (~forgotten@176.42.24.161) |
| 2021-03-06 22:05:33 | → | jrqc joins (~rofl@96.78.87.197) |
| 2021-03-06 22:06:02 | → | jumper149 joins (~jumper149@ip185225.wh.uni-hannover.de) |
| 2021-03-06 22:07:00 | <koz_> | ADG1089__: Post your code? |
| 2021-03-06 22:07:07 | <koz_> | (ideally using a pastebin) |
| 2021-03-06 22:07:38 | <koz_> | shapr: You can define QuickCheck generators that are more constrained too. |
| 2021-03-06 22:07:44 | <koz_> | This is not a capability unique to Hedgehog. |
| 2021-03-06 22:08:33 | × | kunsttyv quits (~kunsttyv@ti0005q162-5102.bb.online.no) (Ping timeout: 256 seconds) |
| 2021-03-06 22:10:16 | → | kunsttyv joins (~kunsttyv@ti0005q162-5102.bb.online.no) |
| 2021-03-06 22:10:42 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:32a9:462d:cda:4b28) |
| 2021-03-06 22:11:27 | <ADG1089__> | koz_: I required it in rabin miller primality for Int64 testing that i wrote where i needed random numbers, but to avoid overflow tried using Int128. What I ended up doing was casted to Int128 then squared and then re-casted to Int64. |
| 2021-03-06 22:11:29 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-03-06 22:11:51 | <koz_> | ADG1089__: I meant 'your code to write a Random instance over a newtype'. |
| 2021-03-06 22:11:58 | <ADG1089__> | Int64 is an instance of Random thankfully |
| 2021-03-06 22:12:01 | <koz_> | Because the approach you have is _definitely_ not very random. |
| 2021-03-06 22:13:33 | madog_ | is now known as madog |
| 2021-03-06 22:14:47 | <koz_> | I have functions of the form fromFoo :: Foo -> Maybe Bar. I just realized I can give more information (namely, Either Something Bar) instead. However, I wanna keep fromFoo around. What's a better name for the Foo -> Either Something Bar variant? |
| 2021-03-06 22:15:00 | <koz_> | I could do fromFoo', but I don't think it's very memorable or clear. |
| 2021-03-06 22:15:00 | × | forgottenone quits (~forgotten@176.42.24.161) (Quit: Konversation terminated!) |
| 2021-03-06 22:15:36 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:9814:d93f:56c2:c87) |
| 2021-03-06 22:15:36 | <MarcelineVQ> | mayebe fromFoo is the real unclear |
| 2021-03-06 22:15:47 | <ADG1089__> | koz_: https://paste.tomsmeding.com/acxxBGsH |
| 2021-03-06 22:15:48 | <koz_> | MarcelineVQ: That name is already stuck. |
| 2021-03-06 22:15:49 | <MarcelineVQ> | e.g. maybeFromFoo eitherFromFoo |
| 2021-03-06 22:15:56 | <koz_> | eitherFromFoo works. |
| 2021-03-06 22:16:16 | <koz_> | ADG1089__: That's not the newtype you want. |
| 2021-03-06 22:16:20 | × | Tops2 quits (~Tobias@dyndsl-095-033-021-001.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2021-03-06 22:16:21 | <koz_> | It doesn't need to be polymorphic. |
| 2021-03-06 22:16:38 | <koz_> | What you want is 'newtype Rand128 = Rand128 Int128'. |
| 2021-03-06 22:16:42 | × | epicte7us quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 2021-03-06 22:16:42 | <koz_> | Then derive Random over that. |
| 2021-03-06 22:16:51 | <koz_> | s/derive/write/ |
| 2021-03-06 22:17:25 | <ADG1089__> | koz_: thanks! |
| 2021-03-06 22:17:29 | <koz_> | No problem. |
| 2021-03-06 22:17:44 | <ADG1089__> | can you help me with package.yaml thing above? |
| 2021-03-06 22:18:02 | <koz_> | ADG1089__: The only solution you will hear me provide to Hpack issues is 'stop using it'. |
| 2021-03-06 22:18:07 | <koz_> | Which I doubt is the answer you want. |
| 2021-03-06 22:18:21 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 2021-03-06 22:18:36 | <ADG1089__> | what about using cabal with common stanzas? |
| 2021-03-06 22:19:12 | <koz_> | ADG1089__: Sure, that I can assist with. |
| 2021-03-06 22:20:06 | <monochrom> | If you're OK with long names, fromFooMaybe and fromFooOrElse |
| 2021-03-06 22:20:23 | <koz_> | monochrom: I'm going with 'eitherFromFoo'. It's good enough for my purposes. |
| 2021-03-06 22:20:36 | <koz_> | But thanks for the suggestion - you are a smart and attractive human being. |
| 2021-03-06 22:21:04 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-03-06 22:21:31 | × | bigbosskor quits (~Android@182.232.52.52) (Ping timeout: 256 seconds) |
| 2021-03-06 22:22:23 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-03-06 22:22:58 | <ADG1089__> | lol the last msg |
| 2021-03-06 22:23:18 | <koz_> | ADG1089__: No harm in giving thanks nicely. |
| 2021-03-06 22:24:03 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:32a9:462d:cda:4b28) (Ping timeout: 246 seconds) |
| 2021-03-06 22:25:06 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-06 22:25:26 | <ADG1089__> | I was lol-ing to "you are a smart and att..." |
| 2021-03-06 22:25:29 | <MarcelineVQ> | koz_: I also felt like monochrom's versions were better right after I had said mine but you were so happy I didn't want to say it |
| 2021-03-06 22:25:37 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-06 22:25:46 | <ADG1089__> | anyways, yeah, you really helped me |
| 2021-03-06 22:25:52 | <koz_> | ADG1089__: Saying something kind to a person costs (almost) nothing. |
| 2021-03-06 22:25:58 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-06 22:26:05 | → | slack1256 joins (~slack1256@dvc-186-186-101-190.movil.vtr.net) |
| 2021-03-06 22:26:30 | → | frozenErebus joins (~frozenEre@94.128.82.20) |
| 2021-03-06 22:26:59 | × | hidedagger quits (~nate@unaffiliated/hidedagger) (Quit: WeeChat 3.0.1) |
| 2021-03-06 22:27:15 | MarcelineVQ | senses the quiet vibration of a room of introverts wondering about that |
All times are in UTC.