3 ms·
Safer coding is important, as are better semantics for state machine processing on chain, where a mistake can be really costly. So, yay. On the other hand, thr
by vessenes 7y ago
Safer coding is important, as are better semantics for state machine processing on chain, where a mistake can be really costly. So, yay.
On the other hand, three things make this hard for me to dig into and get a real opinion: no sample code, so I have no idea if I like the way the authors are going at it, no argument as to why this is not just a solidity extension, and the compiler seems to need java.
It’s my day job to track stuff like this, but I will probably pass until one of those three improves
- DennisP 7y agoTheir papers have a few samples. It looks a little like Bamboo. http://obsidian-lang.com/publications.html http://obsidian-lang.com/publications.html
- tehsnitch 7y agoIf anybody doesn't know about the Mtgox collapse, this man is the reason why creditors haven't seen any money after 6 years and he recently submitted a ~$16b claim against the estate. All the money and coins in the estate are customer deposits yet entitled Mr Vessenes feels he has the right to all of this because he couldn't possibly make money through legitimate business practices. How bout you recognize customers entitlement to what's left of their deposits? You are garbage made flesh.
- Legogris 7y agoUsername checks out, as they say on Reddit ;) The last line was unnecessary to get your point across and against HN guidelines.
- whateveracct 7y ago> the compiler seems to need java. Looks like it's written in Scala, which is in the realm of ML and quite nice for compilers. Maybe they could compile w/Scala Native to get rid of the Java dependency? I am not up to speed w/the status of Scala Native or if this project has JVM-specific dependencies though - just a thought :)