71
Включва - алгебрични типове данни - съвпадение на образи - затваряния - извод за тип - абстракции с нулева цена - гарантирана безопасност на паметта - паралелност без състезания с данни - минимално време на изпълнение - ефективни C връзки