4 ms·

Such a simple scripting language should not be used. Agda or Idris are way better alternatives. For something as important as money and contracts we should lea

Such a simple scripting language should not be used. Agda or Idris are way better alternatives. For something as important as money and contracts we should leave no doubt. Writing contracts is hard, programming should be hard too.

sagivo 9y ago
not sure i understand why programming should be hard?
- rrobukef 9y ago
  It should be as easy as possible to develop. But as strict as possible to ensure correctness. Practically it will be at least as hard as creating the same contract. I chose strict languages, not assembly.