I am bumping this topic to say that the Sophia programming language is awesome!
It’s so much better than Solidity and that alone justifies it’s existence, however, I’d like to share a few suggestions:
- build Sophia in a way that it could be useful for other blockchain projects as well, maybe even in ethereum; considering it’s a a good language and open-source, this might happen anyway, but if you lead an effort on it you might attract a portion of the huge eth developer community towards aeternity (if Sophia has extended features on ae, such as state channels/oracles)
- build Sophia as a procedural macro in rust; that will practically give you a compiler that can generate WASM/native code without you having to impl a compiler, and it will increase the language’s popularity
- using 256 bit sized uints is unnatural and has proved to be a problem in Ethereum, from the point of view that no matter how big your int is, you always have to manage overflows/underflows anyway, but no real hardware is 256bit, so using 256bit word size is expensive .