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

Re:Elixir's “Set Theoretical Type System” prototype/demo/sho... by lambdasquirrel on Tuesday June 13, 2023 @10:44PM (#36320783)

I took a quick glance at the paper. It sounds like initial efforts on a type system focused on trying to capture the whole space of programs that could be expressed? Whereas later efforts have focused more on how modern functional languages are meant to be used? (e.g. there’s an exhaustivity checker)

This seems like really good news. It’s exciting to see where this goes.

[ Parent | on HN ]

Re:Elixir's “Set Theoretical Type System” prototype/demo/sho... by josevalim on Wednesday June 14, 2023 @03:59AM (#36322866)

Exactly. It was very important for us to figure out how well Elixir fits the type system, otherwise we would either get false positives or we would end-up relying too much on gradual typing. The other effort was to make sure we can lift as much information from pattern matching and guards.

[ Parent | on HN ]