Those would be considered basic type systems. For "fancy", you gotta dive deeper...

		acchow on March 15, 2024 \| parent \| context \| favorite \| on: What's worked in Computer Science: 1999 vs. 2015 (... Those would be considered basic type systems. For "fancy", you gotta dive deeper into the lambda cube (tho generics I guess in 1999 would be fancy and one step in).

The borrow-checker is pretty fancy.