Logs: freenode/#haskell
| 2021-03-03 19:05:29 | × | vostorga quits (~vostorga@178.239.168.171) (Ping timeout: 260 seconds) |
| 2021-03-03 19:07:02 | <sclv> | ezzieyguywuf: ok fwiw i unpacked diagrams-contrib and ran a cabal v2-test and it worked so there's something particular you're running into that's not like standard |
| 2021-03-03 19:07:26 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds) |
| 2021-03-03 19:07:39 | × | DataComputist quits (~lumeng@50.43.26.251) (Read error: Connection reset by peer) |
| 2021-03-03 19:08:10 | <Guest_88> | tomsmeding got it working now :0 |
| 2021-03-03 19:08:16 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-03-03 19:08:25 | → | gxt joins (~gxt@gateway/tor-sasl/gxt) |
| 2021-03-03 19:08:26 | <monochrom> | "did you save the file?" |
| 2021-03-03 19:08:35 | × | xwvvvvwx quits (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) (K-Lined) |
| 2021-03-03 19:08:37 | × | motherfsck quits (~motherfsc@unaffiliated/motherfsck) (K-Lined) |
| 2021-03-03 19:08:38 | <Guest_88> | :/ |
| 2021-03-03 19:08:42 | <Guest_88> | perhaps |
| 2021-03-03 19:08:57 | × | apache801 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 264 seconds) |
| 2021-03-03 19:09:22 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-03 19:09:35 | → | DataComputist joins (~lumeng@50.43.26.251) |
| 2021-03-03 19:09:50 | <romesrf> | __minoru__shirae: i'm going to try a different optimization (square roots), but can you tell me what a short-circuiting function is, or what i should search for to find one |
| 2021-03-03 19:09:52 | <swarmcollective> | Would this be similar? averageThree :: Integral a => Integral b => Integral c => a -> b -> c -> Float; averageThree a b c = (a + b + c) / 3 ? |
| 2021-03-03 19:10:35 | <__minoru__shirae> | romesrf: I mean a function that doesn't evaluate one of its arguments when doesn't need its value |
| 2021-03-03 19:11:29 | <Guest_88> | got it working now swarmcollective :) |
| 2021-03-03 19:11:32 | <monochrom> | swarmcollective: That is a syntactically invalid type. After correcting the type, you still have to say "fromIntegral" 3 times. |
| 2021-03-03 19:11:34 | <__minoru__shirae> | you can achieve by using "_" symbol when naming a parameter |
| 2021-03-03 19:14:35 | × | elfets quits (~elfets@37.201.23.96) (Ping timeout: 240 seconds) |
| 2021-03-03 19:17:22 | → | heck-to-the-gnom joins (heck-to-th@gateway/shell/matrix.org/x-dkqfwxrpalpplgbl) |
| 2021-03-03 19:17:34 | → | o1lo01ol1o joins (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) |
| 2021-03-03 19:18:44 | → | knupfer joins (~Thunderbi@i5E86B4BE.versanet.de) |
| 2021-03-03 19:18:54 | <carbolymer> | I think I'm blind, how can I use `Const a b` with Map.alterF and get b from Const? |
| 2021-03-03 19:19:21 | <monochrom> | From "Const a b" you can only get a, not b. |
| 2021-03-03 19:20:28 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-03-03 19:20:50 | <heck-to-the-gnom> | Does anyone know what I'm doing wrong here? https://p.bsd-unix.net/view/174f75a1 |
| 2021-03-03 19:21:09 | <ezzieyguywuf> | sclv: thabks for testing! |
| 2021-03-03 19:21:30 | × | graf_blu` quits (~user@adsl-178-38-234-220.adslplus.ch) (Remote host closed the connection) |
| 2021-03-03 19:21:35 | <ezzieyguywuf> | sclv: does ghc-pkg list show random-1.2? |
| 2021-03-03 19:22:31 | <dolio> | monochrom: It's actually not an invalid type in GHC. I think some recent papers even use that as the desugaring of tupled constraints. |
| 2021-03-03 19:22:50 | <monochrom> | Yikes. |
| 2021-03-03 19:23:24 | <dolio> | I forget why it's preferable to a tuple exactly. |
| 2021-03-03 19:23:30 | <carbolymer> | monochrom: what about foldable instance https://hackage.haskell.org/package/base-4.12.0.0/docs/Data-Functor-Const.html#v:foldr ? this: `foldr const () (Const 4)` should return the b I think |
| 2021-03-03 19:23:57 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2021-03-03 19:24:11 | <geekosaur> | heck-to-the-gnom, you're trying to mix pure operations and operations in the X monad, that won't work directly |
| 2021-03-03 19:24:31 | <geekosaur> | and you should probably ask in #xmonad since there's already several discussions going on in here |
| 2021-03-03 19:24:49 | <heck-to-the-gnom> | OK, well, what's my course of action? OK, I'll do that |
| 2021-03-03 19:25:14 | <monochrom> | carbolymer: In that use of foldr, you gave () so you get back (). |
| 2021-03-03 19:25:24 | <carbolymer> | right |
| 2021-03-03 19:25:24 | <geekosaur> | for starters, you use XMonad.Operations.windows to operate on the StackSet from X |
| 2021-03-03 19:25:47 | × | bobiusbillius quits (~bobiusbil@2a00:23c7:9909:5b01:909a:85aa:703a:457c) (Ping timeout: 272 seconds) |
| 2021-03-03 19:25:59 | <Guest_88> | why do negative numbers multiply into negatives? is there a way around |
| 2021-03-03 19:26:13 | <tomsmeding> | Guest_88: which negative numbers? :p |
| 2021-03-03 19:26:44 | <geekosaur> | but you won't be able to use gets from inside windows. I think your first attempt should work, though |
| 2021-03-03 19:26:50 | <Guest_88> | trying to write a function that gives you the absolute value without using abs |
| 2021-03-03 19:26:56 | <monochrom> | > foldr undefined "just myself" (Const 4) |
| 2021-03-03 19:26:58 | <lambdabot> | "just myself" |
| 2021-03-03 19:27:05 | <monochrom> | Hell, in fact... |
| 2021-03-03 19:27:08 | <monochrom> | > foldr undefined "just myself" (Const undefined) |
| 2021-03-03 19:27:08 | → | Mikaela1 joins (~Mikaela@139.28.218.148) |
| 2021-03-03 19:27:10 | <lambdabot> | "just myself" |
| 2021-03-03 19:27:10 | → | terrorjack joins (~terrorjac@ec2-18-162-149-225.ap-east-1.compute.amazonaws.com) |
| 2021-03-03 19:27:38 | <monochrom> | > (-4) * (-5) |
| 2021-03-03 19:27:39 | <lambdabot> | 20 |
| 2021-03-03 19:27:48 | <monochrom> | I get a positive number. |
| 2021-03-03 19:27:55 | <tomsmeding> | > foldr undefined (Just (Identity ())) (Const undefined) |
| 2021-03-03 19:27:57 | <lambdabot> | Just (Identity ()) |
| 2021-03-03 19:28:01 | <tomsmeding> | haskell-ised that for you |
| 2021-03-03 19:28:54 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-03 19:29:12 | <tomsmeding> | > (-1000000000000) * (-5000000000000) :: Int |
| 2021-03-03 19:29:14 | <lambdabot> | -8427923047675068416 |
| 2021-03-03 19:29:29 | <carbolymer> | tomsmeding: ok I get it I think |
| 2021-03-03 19:29:48 | <Guest_88> | nvm I got it, I forget how stupid I am sometimes |
| 2021-03-03 19:30:49 | <tomsmeding> | monochrom: "you still have to say "fromIntegral" 3 times" -- sum (map fromIntegral [a, b, c]) / 3.0 -- so there :) |
| 2021-03-03 19:31:16 | <monochrom> | That requires a,b,c to be all of the same type. |
| 2021-03-03 19:31:27 | <geekosaur> | so does (+) |
| 2021-03-03 19:31:28 | <heck-to-the-gnom> | geekosaur: My first attempt as in? `P.modify''...`, the uncommented one or `W.modify'`? |
| 2021-03-03 19:31:55 | <heck-to-the-gnom> | Oh, sorry didn't realize you moved to #haskell... |
| 2021-03-03 19:32:10 | <monochrom> | With (Integral a, Integral b, Integral c) => a -> b -> c -> Float, you can't form the [a,b,c] list. |
| 2021-03-03 19:32:25 | <tomsmeding> | monochrom: right, I missed that one... |
| 2021-03-03 19:32:51 | <monochrom> | geekosaur, (+) is fine after putting back the necessary fromIntegral's. fromIntegral a + fromIntegral b + fromIntegral c, here (+) is Float's. |
| 2021-03-03 19:32:54 | × | knupfer quits (~Thunderbi@i5E86B4BE.versanet.de) (Ping timeout: 260 seconds) |
| 2021-03-03 19:33:15 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-03-03 19:34:09 | <monochrom> | @quote monochrom river |
| 2021-03-03 19:34:10 | <lambdabot> | monochrom says: You are to send a boolean, a character, and an integer across the river. The list for transporting across the river can hold 3 items, in fact any number of items you like, but they |
| 2021-03-03 19:34:10 | <lambdabot> | must all be of the same type. On the bright side, after crossing the river, the boolean, the character, and the integer need only be put on show. How many trips do you need? Solution: one trip, [ |
| 2021-03-03 19:34:10 | <lambdabot> | show the_boolean, show the_character, show the_integer] |
| 2021-03-03 19:34:34 | <monochrom> | Note that you can't "map show [the_boolean, the_character, the_integer] |
| 2021-03-03 19:34:46 | geekosaur | is trying to do too many things at once, pfeh |
| 2021-03-03 19:35:42 | tomsmeding | sniggers at the river thing |
| 2021-03-03 19:36:04 | <monochrom> | I got a good laugh writing it, too. |
| 2021-03-03 19:36:37 | → | apache801 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-03-03 19:37:19 | × | whald quits (~trem@2a02:810a:8100:11a6:ce1b:d0ec:5466:a331) (Quit: Leaving) |
| 2021-03-03 19:37:28 | <monochrom> | https://xkcd.com/1134/ and https://xkcd.com/2348/ |
| 2021-03-03 19:38:07 | × | ixlun quits (~user@213.205.241.12) (Ping timeout: 256 seconds) |
| 2021-03-03 19:38:13 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 276 seconds) |
| 2021-03-03 19:40:18 | <tomsmeding> | rip the person who has to arrange that mess in 2348 |
| 2021-03-03 19:40:34 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-03 19:40:36 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 2021-03-03 19:40:55 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) |
| 2021-03-03 19:41:03 | <monochrom> | spreadsheet didn't have LAMBDA back then. He might do OK today. |
| 2021-03-03 19:41:37 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 2021-03-03 19:41:55 | <monochrom> | Alternatively, he could have fired up Powerpoint instead of spreadsheet. |
| 2021-03-03 19:42:41 | <monochrom> | https://www.youtube.com/watch?v=uNjxe8ShM-8 |
| 2021-03-03 19:45:03 | <tomsmeding> | he missed writing "white" on his Background slide |
| 2021-03-03 19:46:55 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:dd5f:6f4f:a50:215d) (Remote host closed the connection) |
| 2021-03-03 19:47:14 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:dd5f:6f4f:a50:215d) |
All times are in UTC.