3 ms·
i think the questions are: - whether a significant share has testable conditions - whether eventual regulatory burdens can get diminished - whether the benef
by LeanderK 10y ago
i think the questions are:
- whether a significant share has testable conditions
- whether eventual regulatory burdens can get diminished
- whether the benefits for a use-case make it possible to introduce testable conditions (like this: https://news.ycombinator.com/item?id=13807297 https://news.ycombinator.com/item?id=13807297, or i was recently on a hackathon organised by a power provider who fears a blockchain-based marketplace will put him out of business. I was surprised how realistic they fear was. Maybe not today but alle the necessary steps are getting worked out right now)
Also to answer your concern: I think if there is a significant demand, supply will appear. Bootcamps etc are a step. But first we need a better Programming-Language. Ethereums Javascript-like Language is awful and really not useful for contracts. It's hard to impossible to automatically verify behaviour. I think it's possible to build a practical Language that's easy to prove correct.
- junkyarddog 10y agoAgreed. A turing-complete language isn't the ideal choice for smart contracts. A strongly typed ML or Haskell style language would have been a much better choice as a starting point.
- infruset 10y agoThat's exactly what Tezos [1] is proposing: a strongly typed language whose semantics is currently being formalized in the Coq theorem prover. [1]: https://tezos.com/pages/tech.html https://tezos.com/pages/tech.html
- deleted 10y ago[deleted]