Hi Nullius, thank you for your very blunt and honest answer. I appreciate it.
I'm going to start learning Simplicity ASAP.
If anybody else here knows of any resources of how to best learn it, it'd be greatly appreciated.
Im happy to help.
As I said in my post, Simplicity is still in the research stages. I linked to the original
Simplicity paper (PDF) in one of my earlier posts in this thread. Per the whole subject of this thread, doing things right takes time! A formally verifiable domain-specific language needs serious R&D work. This is the stuff of heavy-duty computer science; it is not something which can be slapped together overnight.
I think if you read the paper, youll be as impressed as I am.
Note that anything in the
research stage does not have guaranteed results. I think the concepts look sound, insofar as I am able to understand. The hard maths of provable code exceed my own level of education (not only in Simplicity). Yet if you walk through the paper, I think youll find the general shape of Simplicity not difficult to grasp. Its called Simplicity for a(t least one) good reason: Its designed to provide a foundation which will be simple to
use for building powerful smart contracts (never mind the R&D to get to that point). The people working on it do have a track record of delivering results. I look forward to seeing how this develops.