Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 376 377 378 379 380 381 382 383 384 385 386 .. 5022
— 502,152 events total
2020-10-02 21:44:47 × johs quits (sid246410@gateway/web/irccloud.com/x-mkeicffdlyarxtfa) (Ping timeout: 240 seconds)
2020-10-02 21:45:05 → johs joins (sid246410@gateway/web/irccloud.com/x-muqxisckhdengjbz)
2020-10-02 21:45:25 × thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds)
2020-10-02 21:47:08 × elliott_ quits (~elliott_@pool-71-127-56-236.washdc.fios.verizon.net) (Ping timeout: 272 seconds)
2020-10-02 21:47:39 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-02 21:48:49 × DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 264 seconds)
2020-10-02 21:50:46 × Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 256 seconds)
2020-10-02 21:51:17 × falafel quits (~falafel@cpe-104-172-194-249.socal.res.rr.com) (Remote host closed the connection)
2020-10-02 21:51:43 → falafel joins (~falafel@2605:e000:1527:d491:a806:37fa:6971:2798)
2020-10-02 21:56:17 × ericsagnes quits (~ericsagne@2405:6580:0:5100:6535:f906:9e43:db0f) (Ping timeout: 260 seconds)
2020-10-02 21:57:35 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-02 22:00:12 × John20 quits (~John@82.46.59.122) (Ping timeout: 265 seconds)
2020-10-02 22:01:15 → Rudd0 joins (~Rudd0@185.189.115.103)
2020-10-02 22:02:15 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-02 22:02:36 × conal quits (~conal@107.181.166.148) (Quit: Computer has gone to sleep.)
2020-10-02 22:03:29 × GyroW quits (~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-02 22:03:39 → GyroW joins (~GyroW@d54C03E98.access.telenet.be)
2020-10-02 22:03:39 × GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-02 22:03:39 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-02 22:06:25 × solonarv quits (~solonarv@astrasbourg-653-1-252-112.w92-161.abo.wanadoo.fr) (Ping timeout: 240 seconds)
2020-10-02 22:08:47 → ericsagnes joins (~ericsagne@2405:6580:0:5100:4db2:8fe2:8bd1:e1c0)
2020-10-02 22:10:31 × darjeeling_ quits (~darjeelin@122.245.210.179) (Ping timeout: 258 seconds)
2020-10-02 22:10:53 → darjeeling_ joins (~darjeelin@122.245.210.179)
2020-10-02 22:12:27 × falafel quits (~falafel@2605:e000:1527:d491:a806:37fa:6971:2798) (Ping timeout: 240 seconds)
2020-10-02 22:13:00 × LKoen quits (~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr) (Remote host closed the connection)
2020-10-02 22:16:07 × alp quits (~alp@2a01:e0a:58b:4920:348b:a0fc:3b69:4893) (Ping timeout: 240 seconds)
2020-10-02 22:18:00 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-10-02 22:20:55 × mahene quits (~mahene@2a02:8109:86c0:8d68:5400:2bfd:d746:732c) (Ping timeout: 240 seconds)
2020-10-02 22:21:03 → elliott_ joins (~elliott_@pool-108-28-204-229.washdc.fios.verizon.net)
2020-10-02 22:21:55 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-02 22:22:47 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 260 seconds)
2020-10-02 22:26:27 → tomatopotato joins (~tomatopot@188.126.89.194)
2020-10-02 22:26:27 hackage fourmolu 0.2.0.0 - A formatter for Haskell source code https://hackage.haskell.org/package/fourmolu-0.2.0.0 (GeorgeThomas)
2020-10-02 22:31:13 × taurux quits (~taurux@net-188-216-115-169.cust.vodafonedsl.it) (Ping timeout: 246 seconds)
2020-10-02 22:31:17 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-02 22:31:50 → taurux joins (~taurux@net-188-216-43-60.cust.vodafonedsl.it)
2020-10-02 22:35:03 → mirrorbird joins (~psutcliff@2a00:801:42a:82eb:6edc:4c78:a574:2a8f)
2020-10-02 22:40:28 → conal joins (~conal@107.181.166.148)
2020-10-02 22:42:49 → GyroW_ joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-02 22:42:49 × GyroW_ quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-02 22:42:49 → GyroW_ joins (~GyroW@unaffiliated/gyrow)
2020-10-02 22:43:19 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-02 22:45:30 × o1lo01ol1o quits (~o1lo01ol1@bl11-140-216.dsl.telepac.pt) (Remote host closed the connection)
2020-10-02 22:46:02 × conal quits (~conal@107.181.166.148) (Quit: Computer has gone to sleep.)
2020-10-02 22:48:00 × jb55 quits (~jb55@gateway/tor-sasl/jb55) (Read error: Connection reset by peer)
2020-10-02 22:48:22 → jb55 joins (~jb55@gateway/tor-sasl/jb55)
2020-10-02 22:52:48 → conal joins (~conal@107.181.166.148)
2020-10-02 22:57:04 → falafel joins (~falafel@2605:e000:1527:d491:a806:37fa:6971:2798)
2020-10-02 22:57:31 × conal quits (~conal@107.181.166.148) (Quit: Computer has gone to sleep.)
2020-10-02 22:57:53 <monochrom> http://www.vex.net/~trebla/tmp/hasdoc :)
2020-10-02 23:01:35 × madjestic quits (~madjestic@86-88-72-244.fixed.kpn.net) (Ping timeout: 256 seconds)
2020-10-02 23:03:23 × livvy quits (~livvy@gateway/tor-sasl/livvy) (Ping timeout: 240 seconds)
2020-10-02 23:10:25 × falafel quits (~falafel@2605:e000:1527:d491:a806:37fa:6971:2798) (Ping timeout: 240 seconds)
2020-10-02 23:20:52 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 272 seconds)
2020-10-02 23:27:08 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:f016:8714:fb84:1abd)
2020-10-02 23:29:45 × AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving)
2020-10-02 23:35:07 × coot quits (~coot@37.30.49.34.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-02 23:39:02 × shafox_ quits (~shafox@106.51.234.111) (Remote host closed the connection)
2020-10-02 23:42:37 → jedws joins (~jedws@121.209.139.222)
2020-10-02 23:46:49 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-10-02 23:46:56 → frdg joins (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net)
2020-10-02 23:48:12 × spew quits (uid195861@gateway/web/irccloud.com/x-nmkiijbefgbkmaqa) (Quit: Connection closed for inactivity)
2020-10-02 23:50:09 → shatriff joins (~vitaliish@188.163.30.117)
2020-10-02 23:50:23 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-10-02 23:50:33 × m0rphism quits (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Quit: WeeChat 2.7.1)
2020-10-02 23:52:58 hackage pandoc-plot 0.9.4.0 - A Pandoc filter to include figures generated from code blocks using your plotting toolkit of choice. https://hackage.haskell.org/package/pandoc-plot-0.9.4.0 (LaurentRDC)
2020-10-02 23:54:52 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 246 seconds)
2020-10-02 23:55:25 × jgt quits (~jgt@188.239.64.32) (Ping timeout: 240 seconds)
2020-10-03 00:00:01 × tomatopotato quits (~tomatopot@188.126.89.194) ()
2020-10-03 00:00:54 → thir joins (~thir@p200300f27f0fc60004d129737887aa72.dip0.t-ipconnect.de)
2020-10-03 00:02:33 → aaaaaa joins (~ArthurStr@host-91-90-11-12.soborka.net)
2020-10-03 00:05:09 → AlterEgo- joins (~ladew@124-198-158-163.dynamic.caiway.nl)
2020-10-03 00:05:25 × thir quits (~thir@p200300f27f0fc60004d129737887aa72.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-03 00:10:41 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-10-03 00:11:18 → conal joins (~conal@107.181.166.148)
2020-10-03 00:14:36 → snakemasterflex joins (~snakemast@213.100.206.23)
2020-10-03 00:14:47 <inkbottle> variadic/dyadic fixed point: I don't understand the 6th line of code; is there a mistyping (why the `~`)? https://web.archive.org/web/20160304101809/http://osdir.com/ml/lang.haskell.cafe/2003-10/msg00211.html
2020-10-03 00:14:55 × shatriff quits (~vitaliish@188.163.30.117) (Remote host closed the connection)
2020-10-03 00:15:31 ← aaaaaa parts (~ArthurStr@host-91-90-11-12.soborka.net) ()
2020-10-03 00:15:41 <inkbottle> polyvariadic*
2020-10-03 00:17:01 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 264 seconds)
2020-10-03 00:17:44 <ski> inkbottle : lazy/irrefutable pattern-match
2020-10-03 00:19:08 <koz_> ski: What's the idea behind irrefutable pattern matches? How do they differ from regular ones?
2020-10-03 00:19:46 × snakemasterflex quits (~snakemast@213.100.206.23) (Ping timeout: 272 seconds)
2020-10-03 00:20:15 <ski> if you have a pattern like e.g. `x:xs', it will check, when matching, whether the list is non-empty .. and if it's empty, it'll discard this case, and try the next instead
2020-10-03 00:20:27 <inkbottle> ski: right, thanks
2020-10-03 00:20:49 <ski> but, with an irrefutable pattern `~(x:xs)', the pattern-matching will always succeed, immediately, regardless of whether the list is empty or not
2020-10-03 00:21:48 <ski> only when you actually try to access the value of `x' ior `xs', will it try to match the list with `x:xs' (and if that fails, you get a pattern-match failure. it won't "travel back in time" to try the next alternative/case. it's already too late for that)
2020-10-03 00:21:49 × wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2020-10-03 00:21:54 <ski> now, consider
2020-10-03 00:21:58 <ski> @src partition
2020-10-03 00:21:58 <lambdabot> partition p xs = foldr (select p) ([],[]) xs
2020-10-03 00:21:59 <lambdabot> where select p x ~(ts,fs) | p x = (x:ts,fs)
2020-10-03 00:21:59 <lambdabot> | otherwise = (ts, x:fs)
2020-10-03 00:22:30 <ski> > let (evens,odds) = partition even [0 ..] in (take 4 evens,take 4 odds)
2020-10-03 00:22:32 <lambdabot> ([0,2,4,6],[1,3,5,7])
2020-10-03 00:22:38 <ski> and compare this with
2020-10-03 00:23:22 <ski> @let partition' p xs = foldr (select' p) ([],[]) xs where select' p x (ts,fs) p x = (x:ts,fs) | otherwise = (ts,x:fs)
2020-10-03 00:23:22 <lambdabot> Parse failed: Parse error: |
2020-10-03 00:23:27 <ski> er
←Prev  Next→
Page 1 .. 376 377 378 379 380 381 382 383 384 385 386 .. 5022

All times are in UTC.