From 263ed2ee8743453ab0de0c540954fd3b756d1391 Mon Sep 17 00:00:00 2001
From: Simon Forman <sforman@hushmail.com>
Date: Wed, 28 Sep 2022 18:16:45 -0700
Subject: [PATCH] Initial outline for a talk on Joy.

---
 docs/talk.md | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)
 create mode 100644 docs/talk.md

diff --git a/docs/talk.md b/docs/talk.md
new file mode 100644
index 0000000..ae68b96
--- /dev/null
+++ b/docs/talk.md
@@ -0,0 +1,31 @@
+Joy
+
+- Motivation
+  - Simple, elegant, useful, combines good features of Lisp and Forth.
+  - "Provably Correct Constructs" Margaret Hamilton, James Martin
+  - Backus' Functional Programming (doing math to derive programs)
+- A brief introduction to Joy
+  - the language
+    - stack, literals
+    - functions
+    - combinators
+  - the runtime
+    - CLI interpreters
+    - Jupyter Notebook kernel
+  - Extensions?
+    - "Snippets" [hash offset length]
+    - Numerical Tower
+    - additional datatypes
+    - "under the hood" optimizing
+- Implementation of Joy Interpreters
+  - Compare and contrast Py, Nim, OCaml, Prolog
+- Categorical Paradigm
+  - Symbolic Interpreter
+  - Constraint-based Interpreter
+  - "Calculator Mode" Interpreter
+  - Type Checking and Inference
+  - Compiling
+- Compilers (Work-in-Progress)
+  - To Python (or other "high" level langauges)
+  - To machine code or at least e.g. LLVM IR.
+  - Prolog research on