Re:Functors: Identity, Composition, and fmap
by munchler on Saturday April 05, 2025 @04:33PM
(#43596602)
Let's assume all the functions are pure. Otherwise, even Maybe would not be a functor.
[ Parent
| on HN ]
Re:Functors: Identity, Composition, and fmap
by ossopite on Saturday April 05, 2025 @04:40PM
(#43596652)
Gung'f snve. Gura V guvax, abg pbafvqrevat nal cnegvphyne cebtenzzvat ynathntr, gur nafjre qrcraqf ba ubj Frg qrgrezvarf rdhnyvgl bs ryrzragf. Vs vg hfrf fbzr vzcyrzragngvba bs rdhnyvgl/pbzcnevfba sbe glcr r gung pna fnl gung fbzr inyhrf bs glcr r ner rdhny gung ner arireguryrff qvfgvathvfunoyr, gura Frg vfa'g n shapgbe
Re:Functors: Identity, Composition, and fmap
by munchler on Saturday April 05, 2025 @04:46PM
(#43596701)
Irel tbbq. V guvax gung'f gur rffrapr bs gur nafjre. Gur shapgbe ynjf unir na vzcyvpvg qrcraqrapl ba gur fhofgvghgvba cebcregl bs rdhnyvgl, juvpu thnenagrrf gung k = l vzcyvrf s(k) = s(l).
Re:Functors: Identity, Composition, and fmap
by ossopite on Saturday April 05, 2025 @04:55PM
(#43596754)
I hadn't heard of this property before, thanks for introducing me to it!
V gubhtug vg fbhaqrq fhecevfvat sbe n glcr r gb orunir guvf jnl jura V jebgr zl pbzzrag, ohg abj V ernyvfr gung vg zvtug or pbzzba va nal vzcyrzragngvba bs rdhnyf gung uvqrf vagreany fgngr, n fvzcyr rknzcyr orvat n frg/znc qngnglcr jubfr rdhnyvgl vzcyrzragngvba vtaberf vafregvba beqre ohg jubfr vgrengvba beqre qrcraqf ba vg.