http://comonad.com/reader/2008/generalized-hylomorphisms/ types, (co)monads, substructural logic Sat, 15 Oct 2022 17:33:45 +0000 http://wordpress.org/?v=2.8.4 hourly 1 http://comonad.com/reader/2008/generalized-hylomorphisms/comment-page-1/#comment-1073 The Comonad.Reader » Time for Chronomorphisms Sat, 26 Apr 2008 07:43:06 +0000 http://comonad.com/reader/2008/generalized-hylomorphisms/#comment-1073 [...] First, we can make the generalized hylomorphism from the other day more efficient by noting that once you inline the hylomorphism, you can see that you do 3 fmaps over the same structure, so we can fuse those together yielding: [...] [...] First, we can make the generalized hylomorphism from the other day more efficient by noting that once you inline the hylomorphism, you can see that you do 3 fmaps over the same structure, so we can fuse those together yielding: [...]

]]>