14 Feb
2022
14 Feb
'22
10 p.m.
El lun, 14 feb 2022 a las 13:34, Anton Agestam (
How about `assume()` or `assume_type()` as a name?
That would sound more like cast() to me. `assume(x, int)` reads like you're telling the type checker to assume that `x` is an `int`.
The reasoning would be you assume the type at runtime, but verify (prove) that assumption with a static type checker. _______________________________________________ Typing-sig mailing list -- typing-sig@python.org To unsubscribe send an email to typing-sig-leave@python.org https://mail.python.org/mailman3/lists/typing-sig.python.org/ Member address: jelle.zijlstra@gmail.com