Topologikus tér - További nyelvek