Hacker News Reader

Comment by zo1 | Hacker News Reader

>"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

View on HN

We 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...

Such as C#'s dynamic objects, perhaps?

https://msdn.microsoft.com/en-us/library/vstudio/ee461504%28...

https://www.haskell.org/platform/doc/2014.2.0.0/ghc/users_gu...

Have 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.

Reply on news.ycombinator.com