3 ms·
There are architectural issues associated with EVM which prevents it from being properly used for building something like that (like a functional programming la
by splintercell 9y ago
There are architectural issues associated with EVM which prevents it from being properly used for building something like that (like a functional programming language which converts to EVM).
https://www.reddit.com/r/ethereum/comments/7bdm1g/so_can_we_again_have_a_talk_about_formal/ https://www.reddit.com/r/ethereum/comments/7bdm1g/so_can_we_...