Topics tagged set-theoretic-types

Topic	Replies	Views	Activity
Fast64 & NIF & warning: incompatible types given to File.write!/2 Questions types , set-theoretic-types	2	127	June 26, 2025
Set Theoretic Type System topic Discussions static-types , types , static-typing , set-theoretic-types	1	245	January 24, 2025
Why parentheses after nullary gradual types? Proposals: Ideas static-types , type-checking , types , set-theoretic-types	3	294	December 22, 2024
How to prepare for new set-theoretic types syntax / signatures? Questions static-types , types , set-theoretic-types	12	1171	October 1, 2024
How do I make the new type system work? Questions compiler , set-theoretic-types	1	444	July 12, 2024
Set-theoretic types and new syntax for conditionals Discussions set-theoretic-types	3	818	April 4, 2024