Oddbean new post about | logout
▲ ▼
Causal Islands | 1 years ago (raw) | export | reply | flag 
 Type systems are the backbone of reliable software. From static to dynamic, which type system do you prefer and why? 🤔
▲ ▼
Marcelle | 1 years ago (raw) | root | parent | reply | flag 
 @34304984 i want a type system that doesn’t exist yet.

I want my type system to understand all my code my highly dynamic & mutable code while prompting me when I need to provide constraints. All it does is point out inconsistencies in my code.

This “type system” would work by encoding the ast in a database like prolog & evaluating all expressions as queries to verify the results exist in the database. 

This also means that I could provide arbitrary constraints