type-systems
Latest stories covering type-systems, with summaries and links to related coverage.
2 articles · page 1 of 1
Connected topics
Elixir v1.20: Now a gradually typed language
tool
8 min read
Elixir v1.20 introduces gradual typing, allowing type inference and type checking for all Elixir programs without requiring type annotations. This release marks a significant development milestone in implementing set-theoretic types in the language.
Types and Neural Networks
research
13 min read
Neural networks are utilized to generate code in languages such as Idris, Lean, and Agda, which support generic and provably correct programming. Large Language Models produce output of a fixed type, List Token, and require post-processing for typechecking to ensure the validity of the generated code.