From 20eab4e5d3152210e27ca4546a7b2cf1967f9eb7 Mon Sep 17 00:00:00 2001
From: Roland Conybeare <rconybeare@gmail.com>
Date: Tue, 18 Jun 2024 16:56:14 -0400
Subject: [PATCH] xo-expression: ++ docs

---
 LESSONS | 9 +++++++++
 TODO    | 3 +++
 2 files changed, 12 insertions(+)
 create mode 100644 LESSONS
 create mode 100644 TODO

diff --git a/LESSONS b/LESSONS
new file mode 100644
index 00000000..c719f02e
--- /dev/null
+++ b/LESSONS
@@ -0,0 +1,9 @@
+* want reflection to work without requiring std::type_info,
+  so that in xo-expression we can create function types that
+  C++ compiler has never encountered.
+
+** This means we need the ability to construct the canonical name
+   for a type without c++ compiler's assistance.
+
+** need lookup using function ingredients (return types + arg types + noexcept)
+   to intern lambda types
diff --git a/TODO b/TODO
new file mode 100644
index 00000000..c2a91ce8
--- /dev/null
+++ b/TODO
@@ -0,0 +1,3 @@
+- In xo-reflect, TypeDescr objects are immortal.
+  In original context rationale was recording information for already-established C++ types.
+  Maybe want to revisit that choice when associating TypeDescr objects with expressions?