Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 546 547 548 549 550 551 552 553 554 555 556 .. 5022
— 502,152 events total
2020-10-09 21:50:27 <dminuoso> dsal: Do you see, how foldr lets us hide the recursion, instead we can just sort of talk about (+) and 0 here.
2020-10-09 21:50:40 <dminuoso> Recursion schemes is about exploring such ideas. :)
2020-10-09 21:50:46 <dminuoso> (Very handwavingly)
2020-10-09 21:50:54 <ski> (perhaps with a focus on "exploring")
2020-10-09 21:51:12 <dsal> I get it at that level, but the last time I looked at it, it required a lot of commitment to get started.
2020-10-09 21:51:13 × ziman quits (~ziman@c25-5.condornet.sk) (Ping timeout: 264 seconds)
2020-10-09 21:51:36 → Wuzzy joins (~Wuzzy@p5790e6f5.dip0.t-ipconnect.de)
2020-10-09 21:52:37 → ziman joins (~ziman@c25-5.condornet.sk)
2020-10-09 21:52:48 <dsal> A single word of documentation would be pretty great. Some are documented, but there's stuff like `gzygo :: (Recursive t, Comonad w) => (Base t b -> b) -> (forall c. Base t (w c) -> w (Base t c)) -> (Base t (EnvT b w a) -> a) -> t -> a`
2020-10-09 21:53:57 → larsan1 joins (~larsan@178.239.168.171)
2020-10-09 21:54:00 <dsal> This is the most haskell section header I've ever seen on a web page, though: Zygohistomorphic prepromorphisms
2020-10-09 21:54:17 → zhenchaoli joins (~user@2601:641:8000:4f00:58ae:cf75:1df1:eeff)
2020-10-09 21:54:59 × TMA quits (tma@twin.jikos.cz) (Ping timeout: 240 seconds)
2020-10-09 21:55:00 <topos> what's so hard about a zygohistomorphic prepromorphism? it's just a zygomorphic histo that's also prepromorphic
2020-10-09 21:55:36 <dminuoso> @remember topos what's so hard about a zygohistomorphic prepromorphism? it's just a zygomorphic histo that's also prepromorphic
2020-10-09 21:55:37 <lambdabot> I will remember.
2020-10-09 21:55:44 <topos> LOL
2020-10-09 21:56:45 <ski> monochrom : at first i read "hand-wave"
2020-10-09 21:57:42 <monochrom> @quote olsner zygohistomorphic
2020-10-09 21:57:43 <lambdabot> olsner says: nah, SkyNet is just a zygohistomorphic prepromorphism, nothing fancy
2020-10-09 21:58:38 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-09 21:59:27 hackage cut-the-crap 2.0.0 - Cuts out uninteresting parts of videos by detecting silences. https://hackage.haskell.org/package/cut-the-crap-2.0.0 (Jappie)
2020-10-09 21:59:53 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-10-09 22:01:11 <phadej> reminds me of
2020-10-09 22:01:13 <phadej> The full chemical name of the human canonical form of titin, which starts methionyl... and ends ...isoleucine, contains 189,819 letters
2020-10-09 22:01:29 <monochrom> eek
2020-10-09 22:01:55 <dsal> phadej: Please use a pastebin.
2020-10-09 22:02:02 <monochrom> haha
2020-10-09 22:02:48 <phadej> FWIW, the pieces of that protein are quite simple in separation ;)
2020-10-09 22:02:54 → thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-09 22:03:18 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-09 22:03:45 <hpc> jeez, it might as well be DNA at that point
2020-10-09 22:04:34 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-09 22:05:00 <phadej> Titin is a giant protein, greater than 1 µm in length,
2020-10-09 22:05:48 <phadej> dna does encode how to make one :)
2020-10-09 22:07:07 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-09 22:07:21 × helaoban quits (~carloholl@2603:3024:1704:300::8401) (Quit: WeeChat 2.9)
2020-10-09 22:08:32 × xff0x quits (~fox@2001:1a81:53da:5200:a463:747d:cc85:3e35) (Ping timeout: 260 seconds)
2020-10-09 22:09:08 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-10-09 22:09:27 <dsal> I think I may have gone from mocking recursion-schemes to consider applying it to something.
2020-10-09 22:09:31 × Sososasa quits (~textual@2601:643:8000:a570:9513:b921:a468:618c) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2020-10-09 22:09:35 × galagora- quits (~ao@197.237.20.60) (Remote host closed the connection)
2020-10-09 22:10:20 → xff0x joins (~fox@2001:1a81:53fe:cd00:31b6:6e9a:3cee:6489)
2020-10-09 22:11:58 → shafox joins (~shafox@106.51.234.111)
2020-10-09 22:13:13 <monochrom> "First you ignore it. Then you laugh at it. Then it wins"? >:)
2020-10-09 22:13:25 × brandly quits (~brandly@c-73-68-15-46.hsd1.ma.comcast.net) (Ping timeout: 264 seconds)
2020-10-09 22:15:57 × alexelcu quits (~alexelcu@142.93.180.198) (Quit: ZNC 1.8.2 - https://znc.in)
2020-10-09 22:16:48 → alexelcu joins (~alexelcu@142.93.180.198)
2020-10-09 22:17:38 → Katarushisu6 joins (~Katarushi@cpc149712-finc20-2-0-cust535.4-2.cable.virginm.net)
2020-10-09 22:17:45 × ryansmccoy quits (~ryansmcco@193.37.254.27) (Ping timeout: 240 seconds)
2020-10-09 22:18:02 → ryansmccoy joins (~ryansmcco@68.235.48.108)
2020-10-09 22:18:07 × pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 240 seconds)
2020-10-09 22:18:40 × mcc quits (~pbodev1@5-15-16-231.residential.rdsnet.ro) (Quit: Nettalk6 - www.ntalk.de)
2020-10-09 22:18:48 × Katarushisu quits (~Katarushi@cpc149712-finc20-2-0-cust535.4-2.cable.virginm.net) (Ping timeout: 256 seconds)
2020-10-09 22:18:49 Katarushisu6 is now known as Katarushisu
2020-10-09 22:21:25 <dsal> I thought I used fixM or something like that once, but I can't find it.
2020-10-09 22:23:06 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2020-10-09 22:23:28 → pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net)
2020-10-09 22:26:25 × alp_ quits (~alp@2a01:e0a:58b:4920:b989:9831:f361:9cf) (Ping timeout: 272 seconds)
2020-10-09 22:30:34 → leungbk joins (~user@2605:e000:1315:706:26ff:1608:dcbb:bfdf)
2020-10-09 22:31:49 → djellemah joins (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54)
2020-10-09 22:34:54 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-09 22:35:28 → alp_ joins (~alp@2a01:e0a:58b:4920:3c2d:d48c:8093:50d4)
2020-10-09 22:36:38 × stevenxl quits (uid133530@gateway/web/irccloud.com/x-lycvhaiijjxatwhk) (Quit: Connection closed for inactivity)
2020-10-09 22:36:49 × shatriff quits (~vitaliish@78.111.190.16) (Read error: Connection reset by peer)
2020-10-09 22:38:56 → shatriff joins (~vitaliish@78.111.190.16)
2020-10-09 22:39:23 × cosimone quits (~cosimone@2001:b07:ae5:db26:fe52:4567:a4e4:fc3a) (Quit: cosimone)
2020-10-09 22:41:17 → cosimone joins (~cosimone@93-47-228-249.ip115.fastwebnet.it)
2020-10-09 22:41:26 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-09 22:43:03 → hyiltiz joins (~quassel@unaffiliated/hyiltiz)
2020-10-09 22:43:56 <dsal> WEren't we having this conversation earlier? https://twitter.com/elonmusk/status/1314666526297923585
2020-10-09 22:43:58 → jdgr joins (601c428b@gateway/web/cgi-irc/kiwiirc.com/ip.96.28.66.139)
2020-10-09 22:44:28 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-09 22:44:45 × GyroW_ quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 240 seconds)
2020-10-09 22:45:21 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-09 22:45:21 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-09 22:45:21 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-09 22:45:45 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-09 22:45:59 × shafox quits (~shafox@106.51.234.111) (Remote host closed the connection)
2020-10-09 22:46:06 → conal joins (~conal@64.71.133.70)
2020-10-09 22:47:15 → Icewing joins (~Icewing@unaffiliated/icewing)
2020-10-09 22:47:42 × fendor quits (~fendor@91.141.0.104.wireless.dyn.drei.com) (Remote host closed the connection)
2020-10-09 22:48:45 → GyroW_ joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-09 22:48:45 × GyroW_ quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-09 22:48:45 → GyroW_ joins (~GyroW@unaffiliated/gyrow)
2020-10-09 22:49:24 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 256 seconds)
2020-10-09 22:49:42 <Guest18> Can I pattern match with `case ... of ...`?
2020-10-09 22:49:58 <dsal> I don't exactly understand what you're asking, but yes.
2020-10-09 22:50:29 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 272 seconds)
2020-10-09 22:50:45 <dsal> > case odd 3 of True -> "yes"; False -> "no"
2020-10-09 22:50:49 <lambdabot> "yes"
2020-10-09 22:51:27 <Guest18> that's all i needed to know, thank you
2020-10-09 22:51:29 <dsal> > case pure 3 of Just 3 -> "yes"; _ -> "no"
2020-10-09 22:51:32 <lambdabot> "yes"
2020-10-09 22:51:44 × mdunnio quits (~mdunnio@208.59.170.5) (Remote host closed the connection)
2020-10-09 22:52:03 <Guest18> was looking into ways of making my code a bit prettier and readable, as i'm not entirely happy with it
2020-10-09 22:52:32 <Guest18> it's the code for deleting a value from a binary search tree
2020-10-09 22:53:01 × xff0x quits (~fox@2001:1a81:53fe:cd00:31b6:6e9a:3cee:6489) (Ping timeout: 272 seconds)
2020-10-09 22:53:22 <dsal> I don't use case all that much. It's not obvious I'd fit it into something like that. What's your code look like currently?
2020-10-09 22:54:05 <Guest18> https://dpaste.com/D2N9HH7UH
←Prev  Next→
Page 1 .. 546 547 548 549 550 551 552 553 554 555 556 .. 5022

All times are in UTC.