News for hackers. Stuff that matters.

A comment on Haskell and Rust. Parent comment

Re:Haskell and Rust by pmoriarty on Saturday November 09, 2019 @09:20PM (#21495995)
"Also, even clearing that bar doesn't require doing so with the type system (e.g. Python doesn't have undefined behavior, either)."

If python doesn't have a type system, why does it report type errors like this?

  >>> "foo" / "bar"
  Traceback (most recent call last):
    File "<stdin>", line 1, in <module>
  TypeError: unsupported operand type(s) for /: 'str' and 'str'
[ Parent | on HN ]
Re:Haskell and Rust by pron on Saturday November 09, 2019 @09:23PM (#21496005)
In programming language theory and formal systems in general, "types" mean what is often called "static types." In any event, that's what I'm referring to.
[ Parent | on HN ]