Richard Feldman (Mar 25 2022 at 20:06): Richard Feldman (Mar 25 2022 at 20:06):another consideration: right now _ in a type means "I don't want to annotate this, just infer whatever goes there" - e.g. if I have a task with a huge error type, I can annotate it as Task Str _
Richard Feldman (Mar 25 2022 at 20:07):if _ were to instead mean what * means today, what would the syntax for that feature change to?
Last updated: Jun 16 2026 at 16:19 UTC