Turing tarpit

A Turing tarpit (or Turing tar-pit) is any programming language or computer interface that allows for flexibility in function but is difficult to learn and use because it offers little or no support for common tasks.[1] The phrase was coined in 1982 by Alan Perlis in the Epigrams on Programming:[2]

54. Beware of the Turing tar-pit in which everything is possible but nothing of interest is easy.

In any Turing complete language, it is possible to write any computer program, so in a very rigorous sense nearly all programming languages are equally capable. However, having that theoretical ability is not the same as usefulness in practice. Turing tarpits are characterized by having a simple abstract machine that requires the user to deal with many details in the solution of a problem.[3] At the extreme opposite are interfaces that can perform very complex tasks with little human intervention but become obsolete if requirements change slightly.

Some esoteric programming languages, such as Brainfuck or Malbolge, are specifically referred to as "Turing tarpits"[4] because they deliberately implement the minimum functionality necessary to be classified as Turing complete languages. Using such languages is a form of mathematical recreation: programmers can work out how to achieve basic programming constructs in an extremely difficult but mathematically Turing-equivalent language.[5]

  1. ^ "Turing Tarpit". wiki.c2.com. 21 November 2014. Retrieved 30 April 2023.
  2. ^ Perlis, A (September 1982). "Epigrams on Programming". ACM SIGPLAN Notices. 17 (9). Yale University: 7–13. doi:10.1145/947955.1083808. S2CID 20512767.
  3. ^ "Exploring the depths of a Turing tarpit". practicingruby.com. 17 January 2012. Retrieved 30 April 2023.
  4. ^ Chandra, V (2014). Geek Sublime: The Beauty of Code, the Code of Beauty. Graywolf Press. ISBN 9781555973261. Retrieved 28 August 2015. turing tarpit.
  5. ^ Esoteric Topics in Computer Programming, Cat's Eye Technologies, Canada. ("They present the programmer with the challenge, intrigue, and entertainment of looking at known algorithms and concepts in a whole new light.")