Add note about typestates

2021-12-03 14:23:05 -08:00
1 changed files with 1 additions and 0 deletions
--- a/TODO.md
+++ b/TODO.md
@ -42,6 +42,7 @@
 ## Language Syntax

 * the `type` declaration should have some kind of GADT-like syntax
+* syntactic sugar for typestates? (cf. https://rustype.github.io/notes/notes/rust-typestate-series/rust-typestate-part-1.html )
 * use `let` sigil to indicate a variable in a pattern explicitly:

 ```