Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3954 3955 3956 3957 3958 3959 3960 3961 3962 3963 3964 .. 5022
— 502,152 events total
2021-03-21 23:44:58 → juri_ joins (~juri@178.63.35.222)
2021-03-21 23:46:08 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 240 seconds)
2021-03-21 23:46:56 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
2021-03-21 23:49:18 <SoF> hi, just because I can implement e.g. (for [a]) foldl in terms of foldr, it doesn't mean that they behave the same way for infinite lists, right?
2021-03-21 23:49:39 <SoF> or vice versa
2021-03-21 23:50:17 <SoF> *it doesnt mean they behave the same as the canonical implementations of them
2021-03-21 23:50:24 <Axman6> you can probably answer that yourself if you step through the evaluation. what's your definition of foldl in terms of foldr?
2021-03-21 23:50:41 <SoF> one that builds a lambda stack
2021-03-21 23:51:00 <Axman6> can you paste it here, and we'll use it as a starting point
2021-03-21 23:51:22 <monochrom> Does your "implement" mean "correctly implement", "Incorrectly implement" or "I don't know how correct it is"?
2021-03-21 23:51:22 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-21 23:51:37 <SoF> foldl f a bs = foldr (\b g x -> g (f x b)) id bs a
2021-03-21 23:51:41 <SoF> from here https://wiki.haskell.org/Foldl_as_foldr
2021-03-21 23:52:03 <SoF> considering foldr is a minimal complete definition of Foldable, I assume that foldl is "correct"?
2021-03-21 23:52:19 <SoF> or at least that there exists a foldl implementation in terms of foldr that is correct
2021-03-21 23:52:24 <Axman6> ok, now try evaluating it on the list [a,b,c]: foldl f x [a,b,c] = ???
2021-03-21 23:56:18 <SoF> (\x -> (\y -> (\z -> f z c) (f y b)) (f x a)) x, maybe?
2021-03-21 23:56:32 <monochrom> Hand-tracing the evaluation is going to be too tedious for too little gain.
2021-03-21 23:56:58 <monochrom> But you can always design test cases, expecially in the infinite-list case.
2021-03-21 23:57:23 × rond_ quits (594021ff@89-64-33-255.dynamic.chello.pl) (Quit: Connection closed)
2021-03-21 23:59:17 × Chai-T-Rex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection)
2021-03-21 23:59:43 → Chai-T-Rex joins (~ChaiTRex@gateway/tor-sasl/chaitrex)
2021-03-21 23:59:45 <monochrom> Well, hand-tracing the first few steps is illuminating. Just not hand-tracing until the end of the world since the list is infinite.
2021-03-22 00:04:43 → Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck)
2021-03-22 00:06:08 × molehillish quits (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8) (Remote host closed the connection)
2021-03-22 00:06:14 × Adluc quits (~Adluc@2a01:430:17:1::ffff:328) (Quit: ZNC - http://znc.in)
2021-03-22 00:06:14 × hexo| quits (~hexo@2a01:430:17:1::ffff:328) (Quit: ZNC - http://znc.in)
2021-03-22 00:06:36 × stree quits (~stree@68.36.8.116) (Ping timeout: 256 seconds)
2021-03-22 00:06:39 × atk quits (~Arch-TK@ircpuzzles/staff/Arch-TK) (Quit: Well this is unexpected.)
2021-03-22 00:07:00 → atk joins (~Arch-TK@ircpuzzles/staff/Arch-TK)
2021-03-22 00:07:14 → molehillish joins (~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8)
2021-03-22 00:09:33 × curl quits (5ce955fb@gateway/web/cgi-irc/kiwiirc.com/ip.92.233.85.251) (Quit: Connection closed)
2021-03-22 00:11:59 × dqd quits (id@wikipedia/dqd) (Ping timeout: 268 seconds)
2021-03-22 00:13:13 × mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew)
2021-03-22 00:13:26 → rond_ joins (594021ff@89-64-33-255.dynamic.chello.pl)
2021-03-22 00:17:41 → Adluc joins (~Adluc@83.167.228.130)
2021-03-22 00:18:27 × Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving)
2021-03-22 00:18:35 × Chai-T-Rex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection)
2021-03-22 00:18:47 → stree joins (~stree@68.36.8.116)
2021-03-22 00:18:55 → Chai-T-Rex joins (~ChaiTRex@gateway/tor-sasl/chaitrex)
2021-03-22 00:22:41 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-03-22 00:22:42 × evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer)
2021-03-22 00:22:54 × molehillish quits (~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) (Remote host closed the connection)
2021-03-22 00:24:04 → hexo- joins (~hexo@2a01:430:17:1::ffff:328)
2021-03-22 00:24:24 × stass quits (~stas@2a00:13c0:63:7195::beef) (Read error: Connection reset by peer)
2021-03-22 00:24:27 → evanjs joins (~evanjs@075-129-098-007.res.spectrum.com)
2021-03-22 00:25:34 × zebrag quits (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-22 00:25:55 → zebrag joins (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr)
2021-03-22 00:26:37 → fissureman joins (~quassel@c-73-201-159-163.hsd1.dc.comcast.net)
2021-03-22 00:29:36 → acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-03-22 00:30:07 × Neuromancer quits (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 276 seconds)
2021-03-22 00:32:52 → molehillish joins (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8)
2021-03-22 00:33:42 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-03-22 00:34:03 → heatsink joins (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc)
2021-03-22 00:34:32 × acidjnk_new quits (~acidjnk@p200300d0c72b9545dcff5306019ad0b1.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2021-03-22 00:44:05 → stass joins (~stas@2a00:13c0:63:7195::beef)
2021-03-22 00:45:07 → benkolera joins (uid285671@gateway/web/irccloud.com/x-tltwxcjzjwjvtasj)
2021-03-22 00:46:18 → matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
2021-03-22 00:47:47 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-22 00:47:55 × xiinotulp quits (~q@ppp-223-24-94-215.revip6.asianet.co.th) (Ping timeout: 256 seconds)
2021-03-22 00:48:07 → cabpa joins (~cabpa@180.190.165.139)
2021-03-22 00:48:31 × Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 268 seconds)
2021-03-22 00:49:00 × azure1 quits (~azure@103.154.230.130) (Ping timeout: 246 seconds)
2021-03-22 00:49:12 × heatsink quits (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc) (Remote host closed the connection)
2021-03-22 00:49:21 → heatsink joins (~heatsink@2600:1700:bef1:5e10:90f:37ea:5699:98fc)
2021-03-22 00:49:28 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2021-03-22 00:50:14 → remal joins (~remal@d24-57-234-201.home.cgocable.net)
2021-03-22 00:52:19 → Lycurgus joins (~niemand@98.4.116.165)
2021-03-22 00:56:02 → plutoniix joins (~q@ppp-223-24-94-215.revip6.asianet.co.th)
2021-03-22 01:00:32 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-03-22 01:03:08 × remal quits (~remal@d24-57-234-201.home.cgocable.net) (Quit: Reconnecting)
2021-03-22 01:03:24 → remal joins (~remal@d24-57-234-201.home.cgocable.net)
2021-03-22 01:08:36 × rond_ quits (594021ff@89-64-33-255.dynamic.chello.pl) (Quit: Connection closed)
2021-03-22 01:10:25 → dqd joins (id@wikipedia/dqd)
2021-03-22 01:12:12 × molehillish quits (~molehilli@2600:8800:8d06:1800:c1f2:e355:53f0:4ab8) (Remote host closed the connection)
2021-03-22 01:14:25 × teardown quits (~user@gateway/tor-sasl/mrush) (Ping timeout: 268 seconds)
2021-03-22 01:14:56 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-22 01:15:17 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-22 01:15:24 × Kaiepi quits (~Kaiepi@47.54.252.148) (Read error: Connection reset by peer)
2021-03-22 01:15:42 → Kaiepi joins (~Kaiepi@47.54.252.148)
2021-03-22 01:16:00 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving)
2021-03-22 01:16:16 × Franciman quits (~francesco@host-79-53-62-46.retail.telecomitalia.it) (Quit: Leaving)
2021-03-22 01:16:31 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-22 01:19:16 → scraireland joins (4a8b849c@cpe-74-139-132-156.kya.res.rr.com)
2021-03-22 01:20:21 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds)
2021-03-22 01:20:44 × vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2021-03-22 01:20:53 hackage aviation-units 0.0.3 - Units of measurements used in aviation. https://hackage.haskell.org/package/aviation-units-0.0.3 (TonyMorris)
2021-03-22 01:20:59 → teardown joins (~user@gateway/tor-sasl/mrush)
2021-03-22 01:21:09 → fengh joins (~haskeller@ip72-205-40-121.dc.dc.cox.net)
2021-03-22 01:21:10 × fengh quits (~haskeller@ip72-205-40-121.dc.dc.cox.net) (Client Quit)
2021-03-22 01:21:44 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-03-22 01:22:09 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-03-22 01:22:53 × scraireland quits (4a8b849c@cpe-74-139-132-156.kya.res.rr.com) (Quit: Connection closed)
2021-03-22 01:25:34 × zebrag quits (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-22 01:25:55 → zebrag joins (~inkbottle@aaubervilliers-654-1-109-157.w86-212.abo.wanadoo.fr)
2021-03-22 01:26:09 → vicfred joins (vicfred@gateway/vpn/mullvad/vicfred)
2021-03-22 01:27:21 × Lycurgus quits (~niemand@98.4.116.165) (Quit: Exeunt)
2021-03-22 01:32:23 hackage aviation-weight-balance 0.0.3 - Weight and Balance structures used in aviation. https://hackage.haskell.org/package/aviation-weight-balance-0.0.3 (TonyMorris)
2021-03-22 01:36:04 → rajivr joins (uid269651@gateway/web/irccloud.com/x-qkauuhiezkyxqudg)
2021-03-22 01:37:30 → nfd9001 joins (~nfd9001@2601:602:77f:1820:399b:9959:f377:89d)
←Prev  Next→
Page 1 .. 3954 3955 3956 3957 3958 3959 3960 3961 3962 3963 3964 .. 5022

All times are in UTC.