Nykyisin ML-pohjaisten funktionaalisten kielten ja niiden tyyppijärjestelmien sekä optimoinnin tutkimus on hyvin vilkasta.
nykˈyisɪn ˌæmˈælpohjˈaisten fˌuŋktɪonaːlˈisteŋ kˈielten ja nˈiːden tˌyːpːɪjˌærjestˈelmien sˈekæ ˌoptɪmˈoinnɪn tutkˈimus on hˈyvɪn vɪlkˈasta.