3 ms·

Yes and? I have the full power of the language to force type correctness instead of some janky meta language.

• whatshisface 6y ago
  Most dependently typed languages allow you to use the full power of the language to specify types.
• creata 6y ago
  You also don't have the power to force anything, just the power to check if it's correct in a few of the infinitely many cases. And yes, as a sibling comment said, dependently typed languages let you use the entire language to specify types.
• feoren 6y ago
  And if you're really good, you'll use that full power to develop a toolset of useful ways to verify that certain properties about your code hold! You'll see common errors and write infrastructure to help your unit tests ensure those errors aren't happening. You might even add annotations into your code as you write it to automatically write those unit tests for you. And you will have invented ... the Inner Type System!
  • konjin 6y ago
    Yes, a great thing to do for a dsl that you write in your real language. Not something that a real language should have.