Elixir’s “Set Theoretical Type System” prototype/demo/showcase

This article discusses a prototype typechecker for Elixir’s Set Theoretical Type System, which is intended to typecheck a few examples and is not yet reflective of the final form of Elixir types. The prototype relies on a third-party language and has a syntax for type annotations as function_name :: (type) over function definitions. [summary] [comments]

Source link