3 ms·
I'm being sniffy here, and the technical achievement of Ethereum is considerable, but were I talking about a general contract computing platform, I'd want one w
by moomin 9y ago
I'm being sniffy here, and the technical achievement of Ethereum is considerable, but were I talking about a general contract computing platform, I'd want one where I could demonstrate the assertions the code makes. And that basically means a dependently typed functional programming language. I'd start with Idris, but even that might need strengthening before DAO-style issues were hard to find.
- DennisP 9y agoHere's a masters thesis by someone who made Idris compile to the Ethereum virtual machine. https://publications.lib.chalmers.se/records/fulltext/234939/234939.pdf https://publications.lib.chalmers.se/records/fulltext/234939...
- moomin 9y agoThat's cool (Idris seems to have an infinitely pluggable back end), but it's not the same thing. You can code in a higher-level language, but you can't inspect another program's guarantees and you can't safely use them within your own system.