Lona de Turing

Un tarpit de Turing (o tarpit de Turing) es cualquier lenguaje de programación o interfaz de computadora que permite flexibilidad en la función pero es difícil de aprender y usar porque ofrece poca o ninguna apoyo para tareas comunes. La frase fue acuñada en 1982 por Alan Perlis en Epigrams on Programming:

54. Cuidado con la cabina de Turing en la que todo es posible pero nada de interés es fácil.

En cualquier lenguaje completo de Turing, es posible escribir cualquier programa de computadora, por lo que, en un sentido muy riguroso, casi todos los lenguajes de programación son igualmente capaces. Sin embargo, tener esa capacidad teórica no es lo mismo que tener utilidad en la práctica. Los tarpits de Turing se caracterizan por tener una máquina abstracta simple que requiere que el usuario se ocupe de muchos detalles en la solución de un problema. En el extremo opuesto están las interfaces que pueden realizar tareas muy complejas con poca intervención humana pero que se vuelven obsoletas si los requisitos cambian ligeramente.

Algunos lenguajes de programación esotéricos, como Brainfuck, se conocen específicamente como "turing tarpits" porque implementan deliberadamente la funcionalidad mínima necesaria para ser clasificados como lenguajes completos de Turing. El uso de tales lenguajes es una forma de recreación matemática: los programadores pueden descubrir cómo lograr construcciones de programación básicas en un lenguaje extremadamente difícil pero matemáticamente equivalente a Turing.