Differences

This shows you the differences between two versions of the page.

Link to this comparison view

pp:24:teme:haskell-imagini-functionale [2024/05/11 20:37]
mihnea.muraru [Notă pentru curioși (facultativ)]
pp:24:teme:haskell-imagini-functionale [2024/05/11 22:42] (current)
mihnea.muraru [Notă pentru curioși (facultativ)]
Line 238: Line 238:
 </​code>​ </​code>​
  
-În acest fel, poate fi definită o **unică funcțională** ''​foldAST'',​ cu tipul mai general ''​Functor f => (f a -> a) -> Fix f -> a'',​ pentru care funcționalele ''​foldTransformationAST''​ și ''​foldRegionAST''​ devin cazuri particulare. Constrângerea ''​Functor f''​ este necesară pentru utilizarea lui ''​fmap''​ în implementare,​ ca în cerința temei. **//​Combiner//​-ul** are acum tipul mai general ''​f a -> a''​ și poartă numele de **algebră asociată functorului** ''​f''​.+În acest fel, poate fi definită o **unică funcțională** ''​foldAST'',​ cu tipul mai general ''​Functor f => (f a -> a) -> Fix f -> a'',​ pentru care funcționalele ''​foldTransformationAST''​ și ''​foldRegionAST''​ devin cazuri particulare. Constrângerea ''​Functor f''​ este necesară pentru utilizarea lui ''​fmap''​ în implementare,​ ca în cerința temei, care știe să propage idiosincratic reducerea la substructuri. **//​Combiner//​-ul** are acum tipul mai general ''​f a -> a''​ și poartă numele de **algebră asociată functorului** ''​f''​.
 ===== Precizări ===== ===== Precizări =====
  
pp/24/teme/haskell-imagini-functionale.1715449050.txt.gz · Last modified: 2024/05/11 20:37 by mihnea.muraru
CC Attribution-Share Alike 3.0 Unported
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0