On this page
type annotations
Explore " type annotations" with insightful episodes like "José Valim, Guillaume Duboc, and Giuseppe Castagna on the Future of Types in Elixir" and "Curry-style versus Church-style, and the nature of type annotations" from podcasts like ""Elixir Wizards" and "Iowa Type Theory Commute"" and more!
Episodes (2)
Curry-style versus Church-style, and the nature of type annotations
In Curry-style typing annotations -- for example, the types of bound variables -- are erased, and not truly (semantically) part of the term. In Church-style, they are intrinsic to the term and are truly there. Discussion of some of the practicalities of Curry-style typing, in particular type annotations versus proving typings.