Add Rust/Haskelly AST transform-friendlty language

diff --git a/IDEAS.org b/IDEAS.org
index 3a8f9e1b4f59a52dfb90d6110423e23f5e75a4ed..4480d2f5c9365addc37396cda71d3714e4022eb0 100644 (file)
--- a/IDEAS.org
+++ b/IDEAS.org
@@ -87,6 +87,12 @@ See https://github.com/EvgSkv/logica
 - Timestamp stdout/stderr for crude profiling
 - Implement a CI system on top?
 
+* Statically-typed AST transform-friendly language
+
+- A Haskell/Rusty language, but with GC and nice compiler errors.
+- First-class support for AST transforms- both one-off (apply this transform to the source code and commit the change) and ongoing (define AST transforms to run as part of the compilation process).
+- Maybe such language would never need reflection, so refactoring would be very safe.
+
 * SQL Query tool
 
 - ipython notebook style interface