Questions et réponses pour le algebraic-data-types :
Les types de données algébriques sont des structures de données construites à partir de sommes, de produits et de types récursifs, admettant une algèbre. Les descriptions des types donnés comme ADT peuvent être manipulées symboliquement pour dériver d'autres structures de données associées. La logique de la construction algébrique des types est liée aux espèces combinatoires en mathématiques combinatoires.
En utilisant scala 2.12.8, cela ne serait pas compilé sans un cast: sealed trait Content
case object A extends Content
final case class B(i: Int) extends Content
sealed trait Containe ...
J'ai une fonction HASKELLL qui prend une entrée utilisateur et une autre fonction qui valide cette entrée. Bien sûr, la validation pourrait échouer, auquel cas je voudra ...
Premier, désolé pour le long post. Fondamentalement, ma question est la suivante: J'essaie de reproduire le type de syndicat discriminé F # discriminé suivant en C ...
