Logs: liberachat/#haskell
| 2021-05-26 08:09:25 | Toast52_ | is now known as Toast52 |
| 2021-05-26 08:09:44 | <bontaq> | but now I can pretty happily spend the next decade in it and know the future's bright |
| 2021-05-26 08:09:58 | → | sondre joins (~sondrelun@eduroam-193-157-179-99.wlan.uio.no) |
| 2021-05-26 08:10:27 | × | ddellacosta quits (~ddellacos@89.46.62.114) (Ping timeout: 264 seconds) |
| 2021-05-26 08:11:30 | → | Jinchu joins (~Jinchu@84-253-239-63.bb.dnainternet.fi) |
| 2021-05-26 08:13:24 | → | siraben joins (~user@103.206.205.210) |
| 2021-05-26 08:13:36 | → | whaletechno joins (~whaletech@user/whaletechno) |
| 2021-05-26 08:13:50 | → | p_____ joins (~dyeplexer@user/dyeplexer) |
| 2021-05-26 08:14:11 | × | Toast52 quits (~Toast52@151.192.167.120) (Quit: Leaving) |
| 2021-05-26 08:14:16 | × | siraben quits (~user@103.206.205.210) (Changing host) |
| 2021-05-26 08:14:16 | → | siraben joins (~user@user/siraben) |
| 2021-05-26 08:14:29 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:cd9c:7279:cf57:aad7) |
| 2021-05-26 08:14:46 | → | Toast52 joins (~Toast52@151.192.167.120) |
| 2021-05-26 08:14:49 | × | siraben quits (~user@user/siraben) (Client Quit) |
| 2021-05-26 08:15:41 | × | p_____ quits (~dyeplexer@user/dyeplexer) (Client Quit) |
| 2021-05-26 08:16:23 | → | eggplant_ joins (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) |
| 2021-05-26 08:16:41 | → | siraben joins (~user@user/siraben) |
| 2021-05-26 08:16:58 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Ping timeout: 264 seconds) |
| 2021-05-26 08:17:38 | → | allbery_b joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-05-26 08:19:08 | × | siraben quits (~user@user/siraben) (Client Quit) |
| 2021-05-26 08:19:22 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:cd9c:7279:cf57:aad7) (Ping timeout: 264 seconds) |
| 2021-05-26 08:19:38 | → | siraben joins (~user@user/siraben) |
| 2021-05-26 08:20:34 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 264 seconds) |
| 2021-05-26 08:21:01 | × | siraben quits (~user@user/siraben) (Client Quit) |
| 2021-05-26 08:21:10 | × | eggplant_ quits (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) (Ping timeout: 264 seconds) |
| 2021-05-26 08:21:59 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 2021-05-26 08:22:06 | → | siraben joins (~user@user/siraben) |
| 2021-05-26 08:24:32 | → | space-shell joins (~space-she@88.98.247.38) |
| 2021-05-26 08:24:46 | → | ddellacosta joins (~ddellacos@86.106.121.43) |
| 2021-05-26 08:24:56 | → | horex539 joins (~horex539@2a02:a03f:6aa5:a00:94:234b:587f:cd53) |
| 2021-05-26 08:26:15 | × | Toast52 quits (~Toast52@151.192.167.120) (Quit: Leaving) |
| 2021-05-26 08:28:16 | × | dy quits (~dy@user/dy) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-26 08:28:24 | × | Teacup quits (~teacup@maple.teadev.xyz) (Changing host) |
| 2021-05-26 08:28:24 | → | Teacup joins (~teacup@user/teacup) |
| 2021-05-26 08:28:30 | → | dy joins (~dy@user/dy) |
| 2021-05-26 08:29:23 | → | Toast52 joins (~Toast52@151.192.167.120) |
| 2021-05-26 08:29:49 | × | ddellacosta quits (~ddellacos@86.106.121.43) (Ping timeout: 272 seconds) |
| 2021-05-26 08:30:28 | ← | meltedbrain2000a parts (~tekserf@31.4.247.182) () |
| 2021-05-26 08:31:30 | × | horex539 quits (~horex539@2a02:a03f:6aa5:a00:94:234b:587f:cd53) (Remote host closed the connection) |
| 2021-05-26 08:31:56 | → | satai joins (~satai@ip-37-188-166-29.eurotel.cz) |
| 2021-05-26 08:32:34 | <starlord> | is there some structured method or what you would call it, to deconstruct an explicitly recursive function to a (cata|ana|para|zygo|.*)morphism? |
| 2021-05-26 08:33:29 | → | Voeid joins (luke@voeid.cf) |
| 2021-05-26 08:34:16 | <starlord> | I've used the recursion schemes quite a lot lately and I'm starting to build a strong intuition for how they work but when I look at my old explicitly recursive functions I can't really tell how to reorganize them, so I figured there might be some formal method or something to do this |
| 2021-05-26 08:34:54 | → | Ikosit joins (~Ikosit@user/ikosit) |
| 2021-05-26 08:39:05 | → | hellcp joins (~hellcp@83.24.148.243.ipv4.supernova.orange.pl) |
| 2021-05-26 08:39:42 | hellcp | is now known as lcp |
| 2021-05-26 08:40:27 | × | satai quits (~satai@ip-37-188-166-29.eurotel.cz) (Read error: Connection reset by peer) |
| 2021-05-26 08:40:30 | × | lcp quits (~hellcp@83.24.148.243.ipv4.supernova.orange.pl) (Client Quit) |
| 2021-05-26 08:40:44 | → | satai joins (~satai@ip-37-188-166-29.eurotel.cz) |
| 2021-05-26 08:40:48 | → | lcp joins (~hellcp@83.24.148.243.ipv4.supernova.orange.pl) |
| 2021-05-26 08:41:13 | ← | Ikosit parts (~Ikosit@user/ikosit) () |
| 2021-05-26 08:41:25 | → | horex539 joins (~horex539@2a02:a03f:6aa5:a00:94:234b:587f:cd53) |
| 2021-05-26 08:41:59 | → | skykanin joins (~skykanin@228.81-166-205.customer.lyse.net) |
| 2021-05-26 08:42:07 | → | SanchayanM joins (~Sanchayan@136.185.150.127) |
| 2021-05-26 08:43:24 | × | horex539 quits (~horex539@2a02:a03f:6aa5:a00:94:234b:587f:cd53) (Remote host closed the connection) |
| 2021-05-26 08:43:39 | → | horex539 joins (~horex539@2a02:a03f:6aa5:a00:94:234b:587f:cd53) |
| 2021-05-26 08:44:09 | → | holy_ joins (~h01y_b4z0@103.244.176.36) |
| 2021-05-26 08:44:29 | ← | skykanin parts (~skykanin@228.81-166-205.customer.lyse.net) () |
| 2021-05-26 08:44:56 | → | a1paca joins (~a1paca@user/a1paca) |
| 2021-05-26 08:45:54 | × | tA quits (~thorn@121.220.36.168) (Ping timeout: 264 seconds) |
| 2021-05-26 08:46:46 | → | rusua joins (uid124537@id-124537.highgate.irccloud.com) |
| 2021-05-26 08:47:03 | × | dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Read error: Connection reset by peer) |
| 2021-05-26 08:48:02 | <siraben> | starlord: for catamorphisms there's a nice technique (for lists) laid out in https://www.cs.nott.ac.uk/~pszgmh/fold.pdf |
| 2021-05-26 08:48:20 | → | ikex joins (~ash@user/ikex) |
| 2021-05-26 08:50:48 | <starlord> | siraben thank you, I'll check that out |
| 2021-05-26 08:52:49 | × | trent quits (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 272 seconds) |
| 2021-05-26 08:52:58 | <siraben> | starlord: also, there are quite a few fusion laws for those recursion schemes, such as how to combine two catamorphisms into one and more |
| 2021-05-26 08:53:14 | <starlord> | It'd be nice to have some visual aid when working on those old recursive traversals, like when you draw arrows and types with the cathegory thery "notation" |
| 2021-05-26 08:55:40 | <siraben> | starlord: ah, commuting diagrams are the right tool for that yes |
| 2021-05-26 08:55:50 | <siraben> | I think https://www4.di.uminho.pt/~jno/ps/pdbc.pdf is a great resource on this |
| 2021-05-26 08:55:54 | <starlord> | ah that's interesting, I've been doing a lot of transforming trees lately where I transform my concrete syntax tree into an abstract one through several levels of catamorphisms |
| 2021-05-26 08:56:13 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-05-26 08:56:21 | <siraben> | starlord: so you know about F-algebras? |
| 2021-05-26 08:56:36 | <siraben> | that is, how you can define cata for a fixpoing of a functor F |
| 2021-05-26 08:56:39 | <siraben> | fixpoint* |
| 2021-05-26 08:57:15 | × | sondre quits (~sondrelun@eduroam-193-157-179-99.wlan.uio.no) (Ping timeout: 264 seconds) |
| 2021-05-26 08:57:24 | × | xerox quits (~edi@user/edi) (Quit: leaving) |
| 2021-05-26 08:57:25 | <starlord> | yes, I've been trying to draw them and I pretty much understand them at some level |
| 2021-05-26 08:57:38 | <siraben> | ah, nice |
| 2021-05-26 08:58:22 | <starlord> | the hardest part for me is understanding the fixpoint datatype though. I mean I can get the code to run but after battling the compiler for a good while every time |
| 2021-05-26 08:58:44 | <siraben> | oh also conal.net/talks/folds-and-unfolds.pdf is great |
| 2021-05-26 08:58:58 | → | ddellacosta joins (~ddellacos@86.106.121.43) |
| 2021-05-26 08:59:47 | → | Guest97 joins (~Guest97@31-10-165-72.cgn.dynamic.upc.ch) |
| 2021-05-26 08:59:53 | × | bfrk quits (~Thunderbi@200116b8453bc10024c96ca01cd76d14.dip.versatel-1u1.de) (Quit: bfrk) |
| 2021-05-26 09:00:15 | → | bfrk joins (~Thunderbi@200116b8453bc10024c96ca01cd76d14.dip.versatel-1u1.de) |
| 2021-05-26 09:00:18 | <arahael> | weird, i thought the haskell channel on freenode was closed? still 60-somethings there. |
| 2021-05-26 09:00:45 | <starlord> | cheers mate, you've helped me out massively! |
| 2021-05-26 09:01:21 | → | aasirc joins (~aasirc@91.193.5.10) |
| 2021-05-26 09:01:28 | → | sondre joins (~sondrelun@eduroam-193-157-179-99.wlan.uio.no) |
| 2021-05-26 09:01:43 | <siraben> | no problem! this stuff is fun for sure :) |
| 2021-05-26 09:01:48 | <boxscape> | arahael https://www.reddit.com/r/haskell/comments/nl74hc/freenode_has_unilaterally_taken_over_haskell/ |
| 2021-05-26 09:02:04 | <starlord> | siraben it is fun, for a very particular kind of people haha! |
| 2021-05-26 09:03:51 | × | ddellacosta quits (~ddellacos@86.106.121.43) (Ping timeout: 264 seconds) |
| 2021-05-26 09:04:33 | <siraben> | starlord: there's also the venerable Algebra of Programming of book where I learned this stuff, but I literally needed to get a math professor to read it with me |
| 2021-05-26 09:04:50 | <siraben> | I think Program Design by Calculation does a great job of making it easier to understand |
| 2021-05-26 09:04:58 | <siraben> | s/Programming of// |
| 2021-05-26 09:05:07 | <starlord> | It seems like a good book |
| 2021-05-26 09:05:17 | <arahael> | boxscape: thanks for that! |
| 2021-05-26 09:05:23 | <starlord> | I like that picture on page 3 |
| 2021-05-26 09:05:43 | → | chele_ joins (~chele@user/chele) |
All times are in UTC.