On Thu, 29 Aug 2019 at 14:58, Ricky Teachey <ricky@teachey.org> wrote:

I like this idea.

The ~foo for Optional is... not that obvious. Not sure it's a win.

I agree. Seems like `foo | None` is just as readable. Assuming that None would be swapped out for NoneType, of course.

Agreed, `foo | None` is short and readable. There really is no need for special syntax for Optional.

Gustavo J. A. M. Carneiro

Gambit Research
"The universe is always one step beyond logic." -- Frank Herbert