Added type system questions to TODO

2023-12-28 22:52:28 -07:00 · 2023-12-28 22:52:28 -07:00 · 6877ffd2c2
commit 6877ffd2c2
parent 438c883047
1 changed files with 6 additions and 1 deletions
--- a/TODO.txt
+++ b/TODO.txt
@ -11,3 +11,8 @@ Think about a way to hide record fields
 	- Maybe a compile-time primitive for generating globally unique symbols?
 		Would also need a syntax to use those symbols.
 	- Use @ as an operator to convert a comptime-known string to an identifier
+
+Do I need impredicativity or can I just use rank-2 polymorphism?
+	- I think rank-2 is decidable.
+	- If impredicativity, use bidirectional typechecking with Quick Look.
+Equirecursive or isorecursive?