[–] rrobukef 9y ago ↗ 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.
[–] 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.
[–] 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.
3 comments
[ 29.0 ms ] story [ 1810 ms ] threadFor something as important as money and contracts we should leave no doubt. Writing contracts is hard, programming should be hard too.
I chose strict languages, not assembly.