3 ms·
>"Yes, in theory this is a problem in lots of languages which are weakly typed." Minor pedantic correction: Python is dynamically typed, and strongly typed. Th
by zo1 12y ago
>"Yes, in theory this is a problem in lots of languages which are weakly typed."
Minor pedantic correction: Python is dynamically typed, and strongly typed. Those are separate concepts.
Strongly-typed vs weakly-typed
Statically-typed vs dynamically-typed
- Roboprog 12y agoWe really need a language that defaults to statically typed, but that can be dynamically typed where you ask nicely. E.g. - as opposed to the Java practice of having 3 or more layers of fun to read (NOT!) XML on top of the language's native static typing to glue things together. I'm gonna be sick now...
- zo1 12y agoSuch as C#'s dynamic objects, perhaps? https://msdn.microsoft.com/en-us/library/vstudio/ee461504%28v=vs.100%29.aspx https://msdn.microsoft.com/en-us/library/vstudio/ee461504%28...
- pseudonom- 12y agohttps://www.haskell.org/platform/doc/2014.2.0.0/ghc/users_guide/defer-type-errors.html https://www.haskell.org/platform/doc/2014.2.0.0/ghc/users_gu...
- marcosdumay 12y agoHave you looked at Haskell? It's not really dynamic typed, but has no requirements of making the types explicit, nor of making your functions work over a defined set of types.