Questions marquées «algebraic-data-type»

Certains types de données algébriques permettent de résoudre facilement certains problèmes. Par exemple, un type de liste peut être exprimé de manière très succincte par: data ConsList a = Empty | ConsCell a (ConsList a) consmap f Empty = Empty consmap f (ConsCell a b) = ConsCell (f a) (consmap f...

Travailler dans des données immuables avec des assignations uniques a évidemment pour effet de demander plus de mémoire, car on crée constamment de nouvelles valeurs (bien que les compilateurs sous la couverture fassent des astuces avec des pointeurs pour en faire un problème). Mais j'ai entendu à...

Fair Warning, je suis nouveau à la programmation fonctionnelle afin que je puisse tenir de nombreuses hypothèses mauvaises. J'ai appris sur les types algébriques. De nombreux langages fonctionnels semblent en avoir, et ils sont assez utiles en conjonction avec la correspondance de modèles....