4 ms·IMO probably monads. Next might be Unison lang or dependent types.by pharmakom 5y agoIMO probably monads. Next might be Unison lang or dependent types.hollerith 5y ago>>What was the last breakthrough . . . ? >IMO probably monads. So, you believe there have probably been no breakthroughs since 1990?pharmakom 5y agoWell it depends how you define breakthrough doesn’t it. There have absolutely been advances.