Sadece işlevsel olmayan dillerde hangi dillerin var türleri (veya benzer bir şey) ve desen eşleme var? Ben de çoklu paradigma dilleri ile ilgileniyorum - Ben Ocaml ve F # OO eklenmiş ML lehçeleri oldu
Haskell'de büyük boyutlu cebirsel veri türleri ile uğraşırken, veri türü üzerinde katlanarak yakalanmayan belirli bir tekrarlamalı geçiş vardır. eval :: (Ord α) => Map α Bool -> Form α -> Bool
eval v
Haskell'deki cebirsel DT'leri öğreniyorum. Benim yapmak istediğim, mevcut olanı "genişleten" yeni bir ADT yaratmak. İstediğimi nasıl ifade edeceğimi, bir alternatif örüntüyü özümseyebileceğini veya bi