nostr:npub1xscynpxe259dt9q2h02vyhhylxl703trplukt6vn4x3mh0kjhw8sc4gqtw 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