5 ms·

Powerful enough type system will catch all of these though.

• deleted 8y ago
  [deleted]
• deleted 8y ago
  [deleted]
• deleted 8y ago
  [deleted]
• kazinator 8y ago
  Right, only you don't know what it's called, where to download it, or how to write the code.
  • ernst_klim 8y ago
    Why? I do. Search for dependent types. https://github.com/FStarLang/FStar https://github.com/FStarLang/FStar
    • deleted 8y ago
      [deleted]
    • kazinator 8y ago
      Calling your bluff; you've never used this.
      • ernst_klim 8y ago
        >only you don't know what it's called, where to download it, or how to write the code. >you've never used this. What next? You've asked for an example of powerful typesystem, here, you got it. Other examples are SPARK, Coq, Liquid Haskell, Idris, C++20, Agda.