V zadnjih letih se je razvoj programskih jezikov glede na preteklost sicer upočasnil, vendar ni povsem zastal. Univerzal Cornell in laboratorij AT&T Labs tako razvijata programski jezik z imenom Cyclone, ki je po semantiki zelo podoben jeziku C, vendar onemogoča, da bi neprevidni programerji s kodo delali napake. Ko prevajalnik zazna napako, lahko sam popravi kodo ali pa svetuje, kako naj programer odpravi napako.