Тьюринговая яма

Tarpit Тьюринга ) — (или tar-pit Тьюринга это любой язык программирования или компьютерный интерфейс , который обеспечивает гибкость в функционировании, но его трудно изучить и использовать, поскольку он практически не обеспечивает поддержку общих задач. ^[1] Эта фраза была придумана в 1982 году Аланом Перлисом в книге «Эпиграммы по программированию» : ^[2]

54. Остерегайтесь тьюринговской ямы, в которой все возможно, но ничто из интересного не является легким.

На любом полном по Тьюрингу языке можно написать любую компьютерную программу, поэтому в очень строгом смысле почти все языки программирования одинаково эффективны. Однако наличие этих теоретических способностей не означает полезности на практике. Тарпиты Тьюринга характеризуются наличием простой абстрактной машины , которая требует от пользователя иметь дело со многими деталями при решении проблемы. ^[3] Крайней противоположностью являются интерфейсы, которые могут выполнять очень сложные задачи с минимальным вмешательством человека, но устаревают, если требования незначительно меняются.

Некоторые эзотерические языки программирования , такие как Brainfuck или Malbolge , специально называются «туманами Тьюринга». ^[4] потому что они намеренно реализуют минимальную функциональность, необходимую для того, чтобы их можно было классифицировать как полные по Тьюрингу языки. Использование таких языков — это своего рода математическое развлечение : программисты могут понять, как реализовать базовые конструкции программирования на чрезвычайно сложном, но математически эквивалентном Тьюрингу языке. ^[5]

См. также

Ссылки

^ «Тьюринг Тарпит» . wiki.c2.com . 21 ноября 2014 года . Проверено 30 апреля 2023 г.
^ Перлис, А. (сентябрь 1982 г.). «Эпиграммы о программировании» . Уведомления ACM SIGPLAN . 17 (9). Йельский университет: 7–13. дои : 10.1145/947955.1083808 . S2CID 20512767 .
^ «Исследование глубин Тьюринговой ямы» . практикаruby.com . 17 января 2012 года . Проверено 30 апреля 2023 г.
^ Чандра, В. (2014). Geek Sublime: красота кода, код красоты . Грейвулф Пресс. ISBN 9781555973261 . Проверено 28 августа 2015 г. Тьюринг тарпит.
^ Эзотерические темы компьютерного программирования , Cat's Eye Technologies, Канада. ( «Они бросают программисту вызов, интригу и развлечение, позволяя взглянуть на известные алгоритмы и концепции в совершенно новом свете». )

Дальнейшее чтение

Г. Фишер, А.С. Лемке, «Процессы проектирования с ограничениями: шаги к веселым вычислениям» , Технический отчет CU-CS-369-87, Университет Колорадо , США.

Э.Л. Хатчинс, Дж.Д. Холлан, Д.А. Норман, Хатчинс, Эдвин Л.; Холлан, Джеймс Д.; Норман, Дональд А. (1 декабря 1985 г.). «Интерфейсы прямого манипулирования» (PDF) . Взаимодействие человека и компьютера . 1 (4): 311–338. дои : 10.1207/s15327051hci0104_2 . Архивировано из оригинала (PDF) 13 июня 2010 года . Также найден в Дональд А. Норман; Стивен В. Дрейпер (1 января 1986 г.). Проектирование систем, ориентированных на пользователя: новые перспективы взаимодействия человека и компьютера . Тейлор и Фрэнсис. ISBN 978-0-89859-872-8 .

Эсолангс, Тьюринговая Тарпит .

[1] «Тьюринг Тарпит» . wiki.c2.com . 21 ноября 2014 года . Проверено 30 апреля 2023 г.

[2] Перлис, А. (сентябрь 1982 г.). «Эпиграммы о программировании» . Уведомления ACM SIGPLAN . 17 (9). Йельский университет: 7–13. дои : 10.1145/947955.1083808 . S2CID 20512767 .

[3] «Исследование глубин Тьюринговой ямы» . практикаruby.com . 17 января 2012 года . Проверено 30 апреля 2023 г.

[chandra2014geek-4] Чандра, В. (2014). Geek Sublime: красота кода, код красоты . Грейвулф Пресс. ISBN 9781555973261 . Проверено 28 августа 2015 г. Тьюринг тарпит.

[5] Эзотерические темы компьютерного программирования , Cat's Eye Technologies, Канада. ( «Они бросают программисту вызов, интригу и развлечение, позволяя взглянуть на известные алгоритмы и концепции в совершенно новом свете». )

[1]

[2]

[3]

[4]

[5]