Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 985 986 987 988 989 990 991 992 993 994 995 .. 5022
— 502,152 events total
2020-11-01 10:09:37 → thir joins (~thir@pd9e1bd8a.dip0.t-ipconnect.de)
2020-11-01 10:10:05 → m0rphism joins (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de)
2020-11-01 10:11:06 → vonfry joins (~user@2001:da8:801b:1010:2dc9:afc5:c8eb:8f22)
2020-11-01 10:12:34 → lazyshrk joins (~lazyshrk@128.199.58.13)
2020-11-01 10:14:15 × thir quits (~thir@pd9e1bd8a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-11-01 10:15:36 → coot joins (~coot@37.30.60.135.nat.umts.dynamic.t-mobile.pl)
2020-11-01 10:18:27 × rprije quits (~rprije@194-193-168-77.tpgi.com.au) (Ping timeout: 260 seconds)
2020-11-01 10:20:08 → yinfeng joins (~yinfeng@2001:250:5002:8100::1:851e)
2020-11-01 10:20:09 → akegalj joins (~akegalj@93-136-196-194.adsl.net.t-com.hr)
2020-11-01 10:20:11 × monsterchrom quits (trebla@216.138.220.146) (Ping timeout: 265 seconds)
2020-11-01 10:22:33 → monsterchrom joins (trebla@216.138.220.146)
2020-11-01 10:23:37 × Sgeo_ quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-11-01 10:23:45 → mananamenos joins (~mananamen@84.122.202.215.dyn.user.ono.com)
2020-11-01 10:28:23 <bliminse> what is that monster? that's going too far with pointfree xD
2020-11-01 10:28:28 × petersen quits (~petersen@redhat/juhp) (Ping timeout: 260 seconds)
2020-11-01 10:29:39 × idhugo quits (~idhugo@80-62-116-101-mobile.dk.customer.tdc.net) (Ping timeout: 260 seconds)
2020-11-01 10:34:12 × mmohammadi9812 quits (~mmohammad@2.178.188.172) (Ping timeout: 272 seconds)
2020-11-01 10:37:27 → whatisRT joins (~whatisRT@2002:5b41:6a33:0:2c99:838:ca07:5660)
2020-11-01 10:38:11 → vonfry` joins (~user@178.128.212.63)
2020-11-01 10:38:24 × vonfry` quits (~user@178.128.212.63) (Remote host closed the connection)
2020-11-01 10:39:24 × vonfry quits (~user@2001:da8:801b:1010:2dc9:afc5:c8eb:8f22) (Ping timeout: 240 seconds)
2020-11-01 10:39:31 <int-e> unfortunately @unpl overshoots a bit with the reader monad here.
2020-11-01 10:41:58 <tomsmeding> it generates prime numbers (easily verifiable by running it), but I gave up figuring out how
2020-11-01 10:42:05 <tomsmeding> (source: XorSwap's message above)
2020-11-01 10:42:28 → bergsans joins (~bergsans@c80-217-8-29.bredband.comhem.se)
2020-11-01 10:42:46 <tomsmeding> you can β-reduce all the reader monad stuff away fairly easily
2020-11-01 10:42:51 → xsperry joins (~as@unaffiliated/xsperry)
2020-11-01 10:43:14 <bergsans> Perhaps more of interest to people learning Haskell, but I wrote a post with annotated code for how to make a game-ish demo with Haskell and Gloss: https://herebeseaswines.net/essays/2020-11-01-making-a-small-game-with-gloss
2020-11-01 10:43:58 → mmohammadi9812 joins (~mmohammad@188.210.118.100)
2020-11-01 10:44:41 → yahb joins (xsbot@178.219.36.155)
2020-11-01 10:44:41 × yahb quits (xsbot@178.219.36.155) (Changing host)
2020-11-01 10:44:41 → yahb joins (xsbot@haskell/bot/yahb)
2020-11-01 10:45:03 → mniip joins (~mniip@freenode/staff/mniip)
2020-11-01 10:47:53 × mananamenos quits (~mananamen@84.122.202.215.dyn.user.ono.com) (Read error: Connection reset by peer)
2020-11-01 10:48:08 → __monty__ joins (~toonn@unaffiliated/toonn)
2020-11-01 10:49:51 <int-e> @pl fix (\go g -> True : (\f -> fix f (go f)) (\h xs -> head xs : (g h (tail xs)))) (\f ys -> False : f (tail ys))
2020-11-01 10:49:51 <lambdabot> fix (((True :) .) . (. ((liftM2 (:) head .) . flip flip tail . ((.) .))) . ap fix) (((False :) .) . (. tail))
2020-11-01 10:51:00 → acidjnk_new joins (~acidjnk@p200300d0c7226044298aa97eef668aef.dip0.t-ipconnect.de)
2020-11-01 10:54:35 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-01 10:55:15 <int-e> What it does is build functions that replace the first element of a list by False, then preserve the next n elements (starting with n = 0, that is, (\f ys -> False : f (tail ys))), and then apply a continuation to the rest of the list. So the fixed point of that will replace every (n+1)st element of a list by False. And you can extend the length of the unmodified part by tweaking the...
2020-11-01 10:55:21 <int-e> ...continuation, that's the (\h xs -> head xs : (g h (tail xs))) part. Tie this together in the right way and you have a prime sieve.
2020-11-01 10:55:31 <int-e> > fix (\go g -> True : (\f -> fix f (go f)) (\h xs -> head xs : (g h (tail xs)))) (\f ys -> False : f (tail ys))
2020-11-01 10:55:33 <lambdabot> [True,True,False,True,False,True,False,False,False,True,False,True,False,Fal...
2020-11-01 10:56:26 <int-e> (as hinted by XorSwap, this starts at 2, so the primes are 2,3,not 4,5,7,11,13...)
2020-11-01 10:57:14 int-e has written similar code before, actually, though for plain lambda calculus...
2020-11-01 10:58:45 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-11-01 10:58:50 <int-e> Anyway, I think fix (\go g -> True : (\f -> fix f (go f)) (\h xs -> head xs : (g h (tail xs)))) (\f ys -> False : f (tail ys)) is probably the best pointful form of this.
2020-11-01 10:59:13 <int-e> It's still not very readable, obviously :P
2020-11-01 11:03:21 → Maxdamantus joins (~Maxdamant@unaffiliated/maxdamantus)
2020-11-01 11:03:34 → petersen joins (~petersen@redhat/juhp)
2020-11-01 11:04:02 j is now known as jess
2020-11-01 11:04:10 → Guest_47 joins (54b72aa9@p54b72aa9.dip0.t-ipconnect.de)
2020-11-01 11:05:47 × krjst quits (~krjst@2604:a880:800:c1::16b:8001) (Quit: bye)
2020-11-01 11:05:54 <Guest_47> Hello! While trying to install Haskell with ghcup on my Mac I got the following error: Build failed with NonZeroExit 77 "./configure" ["--prefix=/Users/niko/.ghcup/ghc/8.8.4"]
2020-11-01 11:06:05 → krjst joins (~krjst@2604:a880:800:c1::16b:8001)
2020-11-01 11:06:26 <Guest_47> Can someone give me advice to how successfully install Haskell?
2020-11-01 11:07:28 × krjst quits (~krjst@2604:a880:800:c1::16b:8001) (Client Quit)
2020-11-01 11:07:45 → thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-01 11:07:48 <merijn> Which version of macOS?
2020-11-01 11:07:51 → krjst joins (~krjst@2604:a880:800:c1::16b:8001)
2020-11-01 11:08:50 × krjst quits (~krjst@2604:a880:800:c1::16b:8001) (Client Quit)
2020-11-01 11:09:14 → krjst joins (~krjst@2604:a880:800:c1::16b:8001)
2020-11-01 11:09:16 <Guest_47> Catalina 10.15.7
2020-11-01 11:10:06 × thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-11-01 11:10:40 → thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-01 11:11:21 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2020-11-01 11:13:23 × daGrevis quits (~daGrevis@unaffiliated/dagrevis) (Ping timeout: 260 seconds)
2020-11-01 11:14:21 → britva joins (~britva@2a02:aa13:7240:2980:fc63:822e:7d74:772d)
2020-11-01 11:15:36 → knupfer joins (~Thunderbi@200116b82ca86a000cd210fffe197478.dip.versatel-1u1.de)
2020-11-01 11:16:21 × knupfer quits (~Thunderbi@200116b82ca86a000cd210fffe197478.dip.versatel-1u1.de) (Remote host closed the connection)
2020-11-01 11:16:34 → knupfer joins (~Thunderbi@200116b82ca86a000577b9dd59dd39a4.dip.versatel-1u1.de)
2020-11-01 11:16:47 × thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2020-11-01 11:18:46 → daGrevis joins (~daGrevis@unaffiliated/dagrevis)
2020-11-01 11:19:20 → ubert joins (~Thunderbi@p200300ecdf1e539fe6b318fffe838f33.dip0.t-ipconnect.de)
2020-11-01 11:23:04 → PerseusPlease joins (~{mikey}@79.140.120.95)
2020-11-01 11:29:55 × Franciman quits (~francesco@host-79-36-167-172.retail.telecomitalia.it) (Quit: Leaving)
2020-11-01 11:30:33 × whatisRT quits (~whatisRT@2002:5b41:6a33:0:2c99:838:ca07:5660) (Quit: ZNC 1.7.5 - https://znc.in)
2020-11-01 11:31:02 → Deide joins (~Deide@217.155.19.23)
2020-11-01 11:31:35 × ubert quits (~Thunderbi@p200300ecdf1e539fe6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2020-11-01 11:32:38 → invaser joins (~Thunderbi@31.148.23.125)
2020-11-01 11:34:12 → jedws joins (~jedws@101.184.150.81)
2020-11-01 11:34:21 → Guest_67 joins (8d872b9f@d8d872b9f.access.telenet.be)
2020-11-01 11:34:45 × Guest_67 quits (8d872b9f@d8d872b9f.access.telenet.be) (Remote host closed the connection)
2020-11-01 11:34:52 × britva quits (~britva@2a02:aa13:7240:2980:fc63:822e:7d74:772d) (Quit: This computer has gone to sleep)
2020-11-01 11:35:19 × jedws quits (~jedws@101.184.150.81) (Client Quit)
2020-11-01 11:39:07 <PerseusPlease> hi. I was wondering if anyone could help me with a problem I'm having. I'm getting the error "Non type-variable argument in the constraint: MonadError String m (Use FlexibleContexts to permit this)", which isn't helping me much as I think I already have that enabled.
2020-11-01 11:39:22 → cfricke joins (~cfricke@unaffiliated/cfricke)
2020-11-01 11:39:28 <jophish> How can I disable tests for a source-repository-package?
2020-11-01 11:39:38 × dansho_ quits (~dansho@ip68-108-167-185.lv.lv.cox.net) (Ping timeout: 264 seconds)
2020-11-01 11:40:20 <merijn> jophish: You can add cabal settings (like "test: False") for individual packages by having "package foo\n tests: False" in cabal.project(.local)
2020-11-01 11:40:25 × obihann quits (~jhann@156.34.160.69) (Ping timeout: 265 seconds)
2020-11-01 11:40:29 <merijn> (Or whatever the right field/config name is)
2020-11-01 11:40:34 <PerseusPlease> https://gist.github.com/abc-mikey/b9c73c5cc5d2065d7a68b28939ac27b4
2020-11-01 11:40:34 <jophish> ah, thanks!
2020-11-01 11:40:52 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
2020-11-01 11:41:33 <merijn> PerseusPlease: Did you double check you saved the file after adding that? :p
2020-11-01 11:41:37 → AlterEgo- joins (~ladew@124-198-158-163.dynamic.caiway.nl)
2020-11-01 11:41:57 → obihann joins (~jhann@156.34.160.69)
2020-11-01 11:42:02 <PerseusPlease> merijn, yes saved. also I only get that error when I actually call function from ghci
2020-11-01 11:42:21 <PerseusPlease> also reloaded with :load app/NetStrings.hs
←Prev  Next→
Page 1 .. 985 986 987 988 989 990 991 992 993 994 995 .. 5022

All times are in UTC.