Re:Do Python developers want static typing?
by Cu3PO42 on Sunday February 28, 2021 @09:17AM
(#26293558)
I couldn't tell you. Personally I'm all for static typing in Python, I'm pro static typing everywhere, really. I'll even take dependent types (most of the time).
I didn't intend to say "this is really hard, therefore let's not do it", I merely meant to provide additional background on the excerpt
> Static typing inherently requires you to prove things about your program
that you replied to. I assumed they were referring to this theoretical connection rather than a practical concern and wanted to elaborate for those previously unaware of this correspondence.
I didn't intend to say "this is really hard, therefore let's not do it", I merely meant to provide additional background on the excerpt
> Static typing inherently requires you to prove things about your program
that you replied to. I assumed they were referring to this theoretical connection rather than a practical concern and wanted to elaborate for those previously unaware of this correspondence.