3 ms·

> it is guaranteed to be free of type errors provided the type system is sound Give me an example of a sound type system.

• jolux 7y ago
  STLC
  • orange8 7y ago
    > STLC Software Testing Life Cycle? That is not a type system, that is a software development methodology. Thought you'd mention atleast TypeScript or Elixir, but no, you went for the a whole software development methodology. Which kind of puts you in a bind now, since you also said: "..it is guaranteed to be free of type errors provided the type system is sound". So where does that leave us if you cannot confidently give an example of a sound type system? > That level of confidence in types is just not possible in a dynamic language. Not possible with static languages either, unless ofcourse you use the whole "Software Testing Life Cycle". Do you know what I like most about STLC? It advocates what I have been saying all along: discipline and best practice!!! And you can use STLC with dynamic languages to and get the same benefits.
    • deleted 7y ago
      [deleted]
    • jolux 7y ago
      > Software Testing Life Cycle? No.
      • orange8 7y ago
        > STLC >> Software Testing Life Cycle? > No Ok. Since you were saying things like "..that’s enabled by an extensive test suite, as well as type specs" I assumed it must be something to do with testing. Must be a programming language I've never heard about then.