#set-theoretic-types

This Week's Trending

This Month's Trending

This Year's Trending

Last Three Year's Trending

Questions & Help>Questions

How to prepare for new set-theoretic types syntax / signatures?

I am working on a few new elixir projects and am finding I want to encode more type information than vanilla elixir syntax allows as I un...

#static-types#types#set-theoretic-types

48 1289 12

2024-10-01 12:41:57 UTC

New

Chat & Discussions>Discussions

Set-theoretic types and new syntax for conditionals

I just watched The Ultimate Conditional Syntax, which is about a new syntax for conditional expressions, that is being developed for the ...

#set-theoretic-types

5 855 3

2024-04-04 10:05:27 UTC

New

Questions & Help>Questions

How do I make the new type system work?

Elixir 1.17 changelog states: At the moment, Elixir developers will interact with set-theoretic types only through warnings found by th...

#compiler#set-theoretic-types

1 483 1

2024-07-12 09:12:09 UTC

New

Chat & Discussions>Proposals: Ideas

Why parentheses after nullary gradual types?

Hi! I’m excited about everything that’s going on re. gradual typing and am really pleased to see that Jose and the team seem to be think...

#static-types#type-checking#types#set-theoretic-types

10 396 3

2024-12-22 09:27:44 UTC

New

Chat & Discussions>Discussions

Set Theoretic Type System topic

Where is the best place to follow developments for the Set Theoretic Type System? There does not seem to be an existing category or sing...

#static-types#types#static-typing#set-theoretic-types

1 332 1

2025-01-24 08:58:48 UTC

New

Questions & Help>Questions

Fast64 & NIF & warning: incompatible types given to File.write!/2

We’re migrating one of our projects to Elixir 1.18.4 (from 1.16.2). Facing a lot of issues because of --warnings-as-errors, but most of t...

#types#set-theoretic-types

3 173 2

2025-06-26 19:01:16 UTC

New

Trending Over Three Years