Kot pri jeziki, ki so tipizirani s sklepanjem, dinamično tipizirani jeziki ne zahtevajo od programerja, da napiše explicitno opredelitev tipov izrazov.
Kot del predstavitve analitičnega stroja je ponudila tudi način, kako bi tak stroj lahko izračunaval naloge in tako velja za prvega računalniškega programerja.