Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 748 749 750 751 752 753 754 755 756 757 758 .. 5022
— 502,152 events total
2020-10-20 07:31:19 <lambdabot> prevents the constraint ‘(Show c0)’ from being solved.
2020-10-20 07:31:28 <merijn> > zipWith f [1,2,3,4] [5,6,7,8] :: [Expr]
2020-10-20 07:31:30 <lambdabot> [f 1 5,f 2 6,f 3 7,f 4 8]
2020-10-20 07:31:48 <merijn> opqdonut: ^^ lazily not writing things out like a pro ;)
2020-10-20 07:31:49 <Echosolace> Thanks, it's all still processing...
2020-10-20 07:32:09 <opqdonut> merijn: heh, I can never trust myself to get the expr stuff to work "live"
2020-10-20 07:32:41 → cfricke joins (~cfricke@unaffiliated/cfricke)
2020-10-20 07:34:08 <Echosolace> > max 4 5
2020-10-20 07:34:10 <lambdabot> 5
2020-10-20 07:34:14 <Echosolace> So cool.
2020-10-20 07:34:21 × shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:9049:722b:5333:309e) (Ping timeout: 272 seconds)
2020-10-20 07:34:40 <Echosolace> > max [1,2,3,4] [4,5,6,7]
2020-10-20 07:34:40 × avoandmayo quits (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Client Quit)
2020-10-20 07:34:42 <lambdabot> [4,5,6,7]
2020-10-20 07:34:44 → ensyde joins (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd)
2020-10-20 07:34:58 × thir quits (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-10-20 07:37:03 × mud quits (~mud@unaffiliated/kadoban) (Remote host closed the connection)
2020-10-20 07:37:58 → mud joins (~mud@unaffiliated/kadoban)
2020-10-20 07:38:46 → borne joins (~fritjof@200116b8645a730043d332954cf9072f.dip.versatel-1u1.de)
2020-10-20 07:39:09 → bitmagie joins (~Thunderbi@200116b80684bf00347699f0d62b2dcb.dip.versatel-1u1.de)
2020-10-20 07:39:26 × ensyde quits (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd) (Ping timeout: 244 seconds)
2020-10-20 07:40:31 × darjeeli1 quits (~darjeelin@122.245.211.155) (Ping timeout: 256 seconds)
2020-10-20 07:40:52 → shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:dc3b:a165:56fa:c9b)
2020-10-20 07:42:44 × p8m_ quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 260 seconds)
2020-10-20 07:42:57 <Echosolace> This stuff is beautiful...
2020-10-20 07:43:11 → p8m joins (p8m@gateway/vpn/protonvpn/p8m)
2020-10-20 07:43:16 <Echosolace> So, maybe someone can hear out my understanding.
2020-10-20 07:43:18 → darjeeli1 joins (~darjeelin@122.245.211.155)
2020-10-20 07:43:58 <Echosolace> zipWith uses the function max to tie the two lists together... a la [max 1 4, max 2 5, max 3 6, max 4 7]
2020-10-20 07:44:22 <Echosolace> map then ties *3 to each list element.
2020-10-20 07:44:55 × xff0x quits (~fox@2001:1a81:5267:b200:26b7:665c:9537:d5b8) (Ping timeout: 240 seconds)
2020-10-20 07:45:10 <Echosolace> so now we have [ (max 1 4) * 3, (max 2 5) * 3, (max 3 6) * 3, (max 4 7) *3]
2020-10-20 07:45:14 × fremandn quits (fremandn@c-24-5-242-54.hsd1.ca.comcast.net) ()
2020-10-20 07:45:50 <Echosolace> replicate 100 . product . map (*3) . zipWith max [1,2,3,4,5]" is "(replicate 100) . product . (map (*3)) . (zipWith max [1,2,3,4,5])"
2020-10-20 07:45:53 → xff0x joins (~fox@2001:1a81:5267:b200:a7b8:5cc7:42d6:262e)
2020-10-20 07:46:09 <Echosolace> Then that gets evaluated, then each element is multiplied together...
2020-10-20 07:46:24 <Echosolace> and then repeated into a list 100 times?
2020-10-20 07:47:12 <Echosolace> Original reference - replicate 100 . product . map (*3) . zipWith max [1,2,3,4,5] $ [4,5,6,7,8]
2020-10-20 07:47:25 <Echosolace> > replicate 100 . product . map (*3) . zipWith max [1,2,3,4,5] $ [4,5,6,7,8]
2020-10-20 07:47:27 <lambdabot> [1632960,1632960,1632960,1632960,1632960,1632960,1632960,1632960,1632960,163...
2020-10-20 07:47:37 <Echosolace> Sure looks like it...
2020-10-20 07:48:14 <Echosolace> > 12 x 15 x 18 x 21
2020-10-20 07:48:16 <lambdabot> error:
2020-10-20 07:48:16 <lambdabot> • Could not deduce (Num t0)
2020-10-20 07:48:16 <lambdabot> from the context: (Num t, Num t3, Num t4,
2020-10-20 07:48:30 <Echosolace> > 12 * 15 * 18 * 21
2020-10-20 07:48:32 <lambdabot> 68040
2020-10-20 07:48:57 <Echosolace> > 12 * 15 * 18 * 21 * 24
2020-10-20 07:48:59 <lambdabot> 1632960
2020-10-20 07:49:17 <Echosolace> Thanks for the help!
2020-10-20 07:52:05 × mirrorbird quits (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Ping timeout: 272 seconds)
2020-10-20 07:54:09 ← coot parts (~coot@37.30.52.239) ()
2020-10-20 07:54:47 → kenran joins (~maier@b2b-37-24-119-190.unitymedia.biz)
2020-10-20 07:56:00 × hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-chlrdvhuygbnoesm) (Quit: Connection closed for inactivity)
2020-10-20 07:56:06 <Echosolace> Just finished the higher order functions chapter on learn you a haskell. It was daunting but ya'll helped a bunch, thanks! Woot!
2020-10-20 07:57:16 → kuribas joins (~user@ptr-25vy0iajfrrz51ad66r.18120a2.ip6.access.telenet.be)
2020-10-20 07:57:32 → avoandmayo joins (~textual@122-58-158-238-adsl.sparkbb.co.nz)
2020-10-20 07:57:58 → coot joins (~coot@37.30.52.239.nat.umts.dynamic.t-mobile.pl)
2020-10-20 07:59:25 × kenran quits (~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 240 seconds)
2020-10-20 07:59:28 hackage jsonifier 0.1.0.4 - Fast and simple JSON encoding toolkit https://hackage.haskell.org/package/jsonifier-0.1.0.4 (NikitaVolkov)
2020-10-20 07:59:58 × leah2 quits (~leah@vuxu.org) (Ping timeout: 260 seconds)
2020-10-20 08:00:33 × irc_user quits (uid423822@gateway/web/irccloud.com/x-eatidcztrwplllyi) (Quit: Connection closed for inactivity)
2020-10-20 08:01:25 → tty11 joins (~tty1@178.162.209.171)
2020-10-20 08:04:06 × gioyik quits (~gioyik@190.67.155.46) (Quit: WeeChat 2.9)
2020-10-20 08:05:01 × avoandmayo quits (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-20 08:07:54 <merijn> Echosolace: One side note about your use of "and then" is that the evaluation order of Haskell isn't defined (well, that's a bit of an oversimplification, but it will do for now) so there's no real notion of "and then", they key is that in a pure setting the order becomes irrelevant
2020-10-20 08:07:55 × xff0x quits (~fox@2001:1a81:5267:b200:a7b8:5cc7:42d6:262e) (Ping timeout: 272 seconds)
2020-10-20 08:08:04 → xff0x joins (~fox@2001:1a81:5267:b200:703a:2918:9e39:c085)
2020-10-20 08:09:20 × danvet quits (~danvet@2a02:168:57f4:0:5f80:650d:c6e6:3453) (Quit: Leaving)
2020-10-20 08:10:31 × Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 265 seconds)
2020-10-20 08:11:15 → dyeplexer joins (~lol@unaffiliated/terpin)
2020-10-20 08:12:13 → fendor joins (~fendor@e237-037.eduroam.tuwien.ac.at)
2020-10-20 08:12:28 × worc3131 quits (~quassel@2a02:c7f:c026:9500:7d0b:65d0:38a4:4786) (Remote host closed the connection)
2020-10-20 08:13:46 → worc3131 joins (~quassel@2a02:c7f:c026:9500:a0d2:b9d1:42a4:69b4)
2020-10-20 08:14:26 × wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2020-10-20 08:15:44 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-10-20 08:17:53 → kritzefitz joins (~kritzefit@p2e5a5f99.dip0.t-ipconnect.de)
2020-10-20 08:20:11 × darjeeli1 quits (~darjeelin@122.245.211.155) (Ping timeout: 265 seconds)
2020-10-20 08:21:02 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2020-10-20 08:21:52 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-10-20 08:22:14 → darjeeli1 joins (~darjeelin@122.245.211.155)
2020-10-20 08:25:49 → karanlikmadde joins (~karanlikm@2a01:c23:5c46:6a00:71b7:b2a8:812f:be64)
2020-10-20 08:26:28 → thc202 joins (~thc202@unaffiliated/thc202)
2020-10-20 08:26:48 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-20 08:26:50 → avoandmayo joins (~textual@122-58-158-238-adsl.sparkbb.co.nz)
2020-10-20 08:27:58 × sqrt2 quits (~ben@unaffiliated/sqrt2) (Ping timeout: 260 seconds)
2020-10-20 08:28:44 × karanlikmadde quits (~karanlikm@2a01:c23:5c46:6a00:71b7:b2a8:812f:be64) (Client Quit)
2020-10-20 08:31:15 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Quit: cosimone)
2020-10-20 08:31:25 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2020-10-20 08:35:10 GoatyMcGoatface is now known as shadowdao
2020-10-20 08:36:05 × kritzefitz quits (~kritzefit@p2e5a5f99.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-20 08:36:23 → kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49)
2020-10-20 08:36:54 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-20 08:37:25 × avoandmayo quits (~textual@122-58-158-238-adsl.sparkbb.co.nz) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-20 08:38:01 → Kebab joins (257a7135@h37-122-113-53.dyn.bashtel.ru)
2020-10-20 08:38:54 → ensyde joins (~ensyde@2600:1702:2e30:1a40:c919:4da8:ba88:82fd)
2020-10-20 08:39:14 × drbean quits (~drbean@TC210-63-209-149.static.apol.com.tw) (Ping timeout: 258 seconds)
2020-10-20 08:39:51 → invaser joins (~Thunderbi@31.148.23.125)
2020-10-20 08:41:01 × darjeeli1 quits (~darjeelin@122.245.211.155) (Ping timeout: 264 seconds)
2020-10-20 08:41:20 × bitmagie quits (~Thunderbi@200116b80684bf00347699f0d62b2dcb.dip.versatel-1u1.de) (Quit: bitmagie)
←Prev  Next→
Page 1 .. 748 749 750 751 752 753 754 755 756 757 758 .. 5022

All times are in UTC.