Programming languages prevent mainstream DeFi