Smart contracts are a field of software engineering where there is little tolerance for failure. There is a great need for rigorous testing and even formal verification. That is one limiting factor to the mainstreaming of smart contracts. The more complex they are the more chance of error there is.

Very high-quality standard libraries are a minimum requirement.