Most voted "type-theory" questions
2 questions
Sort by count of
-
6
votes1
answer132
viewsWhat are algebraic data types (algebraic data types or Adts)?
Eventually I read in some articles related to functional programming the term algebraic data types, but I don’t really know what they are and I end up getting a little lost. What are algebraic data…
terminology typing functional-programming type-theory algebraic-typesasked 3 years, 6 months ago Luiz Felipe 32,886 -
4
votes1
answer68
viewsWhat are dependent types and dependent language?
About what they are statically typed languages I am already aware, but the concept of dependently typed language is new to me. I think it has to do with something called dependent types, but I also…
characteristic-language typing language-independent computer-science type-theoryasked 3 years, 3 months ago Luiz Felipe 32,886