I understand the wonderful merits of functional programming and formal specification, but is IOHK concerned that Smart Contract development under different flavors of Haskell will be subdued and difficult to promote adoption? Are they ever considering developing a platform for python or java (two languages far more prevalent in tech)? I enjoy reading publications that IOHK develops and am ameliorated by the team, but this is my only hang up with cardano, namely the adoption factor.
Write smart contracts in (almost) any programming language out there! The code will automatically be translated to VM-ready code, using the K-framework.
Thanks so much! This is amazing. With this answer my cardinal doubt has been mollified.