InFeeo
Global
All
New
Language

Channels

Zygohistomorphic Prepromorphism Is All You Need(archive.ph)
Zygohistomorphic prepromorphisms - HaskellWiki Jump to content From HaskellWiki Zygohistomorphic prepromorphisms are an intentionally overcomplicated combination of recursion-schemes concepts that started as a joke[1]. Used when you really need both semi-mutual recursion and history and to repeatedly apply a natural transformation as you get deeper into the functor. Zygo implements semi-mutual recursion like a zygomorphism. Para gives you access to your result à la paramorphism. import Control.Morphism.Zygo import Control.Morphism.Prepro import Control.Morphism.Histo import Control.Functor.Algebra import Control.Functor.Extras zygoHistoPrepro :: (Unfoldable t, Foldable t) => (Base t b -> b) -> (forall c. Base t c -> Base t c) -> (Base t (EnvT b (Stream (Base t)) a) -> a) -> t -> a zygoHistoPrepro f g t = gprepro (distZygoT f distHisto) g t -- unless you want a generalized zygomorphism. ↑ [1] Edward Kmett on Twitter, 2019 Retrieved from "https://wiki.haskell.org/index.php?title=Zygohistomorphic_prepromorphisms&oldid=66365" Categories: Pages with syntax highlighting errorsCodeLanguage extensions Zygohistomorphic prepromorphisms Add topic
Cursor CEO omits information geometry contraints helping programming activity(twitter.com)
Cursor CEO Michael Truell on the future of writing code: "Our goal with Cursor is to invent a new type of programming." "It looks like a world where you have a representation of the logic of your software that does look more like English." "You can imagine kind of an evolution https://t.co/CjQuHMVUJk
Britain arrests more for social media posts than China, Russia, Turkey combined(twitter.com)
Britain now arrests more people for social media posts than China, Russia, and Turkey combined nearly matching the rest of the top 10 countries combined Britain really leads the world on these thought crimes Insane how the UK, which used to be a free country, turned out to be https://t.co/sgYfr3T4HT