I am afraid that such a powerless man could make a topic on this research page and it can be really harmful for those who are really specially talented because this particular instance of the topic may be getting ordinarily talented, non revolutional and usually very slowly developing.
But from 2014, when Vitalik said about POS and already published white paper, Dr Gavin published yellow paper and Mr Jeffery developed useful go client and user-interface, and so many… , I was eager to learn Haskell, OCaml and Category Theory;
- minimal OCaml may be developed with reading ‘Types and Programming Languages’
- It is just entrance of functional programming.
- SKI combinators are Turing Complete ( I think it can make another kind of VM )
- I am not clear about the possibility of Axiomatic Semantics with Ethereum State Chain.
There are a lot of things to do, for the purpose of this topic, and just I wanted to try to clarify.
I do not know even it is suitable for this community. There are a lot of other communities. And Blockchain enables them. But I just thought that open discussion might not cause a bad future anywhere.
Ethereum is open low level infrastructure such that I am afraid this topic is really mixing higher level and lower level in a bad manner.