you are viewing a single comment's thread
view the rest of the comments
[–] 2 points 2 years ago (1 child)

Would you say OCaml or any ml family language would be untyped since they have type inference?

  • source
  • parent
  • hideshow 1 child comment
  • [–] 4 points 2 years ago

    From what I know about those I would consider those to be typed languages. Even if the programmer doesn't explicitly assign the types, he needs to be aware of them and take into account what type something will be. I am familiar with F# and it's strongly typed for example.

  • source
  • parent