From cbdd247c5c17c29b3ff59775966d68ef356e1e6c Mon Sep 17 00:00:00 2001 From: Greg Shuflin Date: Fri, 3 Dec 2021 14:23:05 -0800 Subject: [PATCH] Add note about typestates --- TODO.md | 1 + 1 file changed, 1 insertion(+) diff --git a/TODO.md b/TODO.md index 7048d6b..0622e3f 100644 --- 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: ```