From the linked blog post it seems to be that EOS doesn’t provide trust in code because it allows a developer to make changes in the code after it was first deployed.
It feels to me unlikely that developers want to write dapps in any random programming language. For dapps it’s important to optimize performance and computing is expensive and the underlying infrastructure is just different than a normal computer and you should’t expect that simply porting normal existing programming languages result in a good result.
From a security perspective it’s also very bad. If you look at the problem that brought down The DAO, it suggest that you need to think differently about how your code is exectued to not repeat that mistake. Formal verification seems to be very important for dapps and that just isn’t a feature in the existing languages programmers already know.
From the linked blog post it seems to be that EOS doesn’t provide trust in code because it allows a developer to make changes in the code after it was first deployed.
It feels to me unlikely that developers want to write dapps in any random programming language. For dapps it’s important to optimize performance and computing is expensive and the underlying infrastructure is just different than a normal computer and you should’t expect that simply porting normal existing programming languages result in a good result.
From a security perspective it’s also very bad. If you look at the problem that brought down The DAO, it suggest that you need to think differently about how your code is exectued to not repeat that mistake. Formal verification seems to be very important for dapps and that just isn’t a feature in the existing languages programmers already know.