A case for inline type annotations

[cmo]

What they said

@smueller

Variable Type Annotations Are Just as Important

It’s not just function signatures. We need a way to annotate local variables inline:

x: integer = some_potentially_dynamic_value()

case y: String.t() <- some_api_call() do
  ...
end

We do not need a way to annotate local variables. You might want one though. We already have when is_binary(y) and the compiler will hopefully know what type the functions return.

Do you want to be able to type a value to integer when the type system has determined it to be dynamic?