Języki niekompletne Turinga oferują dużą przewagę nad językami kompletnymi bez Turinga, ponieważ są one znacznie bardziej analizowalne, a tym samym oferują znacznie szersze możliwości optymalizacji. Jednak są one rzadko używane, a kompletność Turinga jest sprzedawana jako dobra cecha.
Czy są dostępne obecnie główne języki niekompletne, które są przeznaczone do programowania ogólnego?