Post by @hellwolf • Hey
#Solidity as a language is a bastardized mix of a bit C++, Python, Javascript, etc (reference: https://docs.soliditylang.org/en/latest/language-influences.
Comments
- My only issue with #rust is that, it fixes the problem of C/C++, where memory safety is a concern on our von-neumann machines. But they are not a intrinsically a problem to the virtual machines we ought to dealing with in EVM. In fact, the less machine-agnostic a language is, the more "general" it can become.
- #yolc is coming: bringing #lineartypes, #smc and #haskell to #evm, a small step forward towards correctness-by-construction.
- #yuldsl as a categorical language is language agnostic, it could become a "module" system with interoperable between different eDSL-friendly languages, especially #Haskell, but #rust can also be a fashionable option.
- (the lack of editing capability of this platform is disturbing) Pardon my typos, I can't fix them.