There is some research using dependent types in the Idris language to build safe smart contracts. The earlier discussion (quite limited sadly): https://news.yc

There is some research using dependent types in the Idris language to build safe smart contracts. The earlier discussion (quite limited sadly): https://news.ycombinator.com/item?id=12130282 https://news.ycombinator.com/item?id=12130282