From 6877ffd2c20f47c47ea1400eaad6a70259cc5d17 Mon Sep 17 00:00:00 2001 From: Brandon Dyck Date: Thu, 28 Dec 2023 22:52:28 -0700 Subject: [PATCH] Added type system questions to TODO --- TODO.txt | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/TODO.txt b/TODO.txt index 4b5eee8..0c60145 100644 --- a/TODO.txt +++ b/TODO.txt @@ -10,4 +10,9 @@ Inject error handling into parser and scanner 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 \ No newline at end of file + - 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? \ No newline at end of file