SASL — полностью функциональный язык программирования, разработанный Дэвидом Тёрнером в Сент-Эндрюсском университете в 1972 году, на базе аппликативного подмножества ISWIM. В 1976 году Тёрнер перепроектировал его как нестрогий язык. В этой форме SASL стал базой для поздних языков Тёрнера — KRC и Miranda, хотя SASL, по видимому, был бестиповым, а в Miranda наблюдается полиморфизм.
Функциона́льное программи́рование — парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних.
Miranda — функциональный язык программирования, созданный в 1985 году Дэвидом Тёрнером в качестве стандартного функционального языка. Имеет строгую полиморфную систему типов, поддерживает типы данных пользователя. Как и язык ML, преподаётся во многих университетах. Функциональные объекты строятся с помощью карринга существующих функций. Обладает ленивой семантикой. Программа представляет собой множество определений.
Тока́нтинс — штат в центральной части Бразилии. Граничит со штатами Пара и Мараньян на севере, Пиауи и Баия на востоке, Мату-Гросу на западе, Гояс на юге. Административный центр — город Палмас.
Miranda IM — программа обмена мгновенными сообщениями для Windows. Распространяется под лицензией GPL 2.
«Жар тела» — американский триллер 1981 года режиссёра Лоуренса Кэздана, снятый в стилистике неонуар. Главные роли исполнили Уильям Хёрт, Кэтлин Тёрнер и Ричард Кренна. Отмечалось влияние на картину классических фильмов «Двойная страховка» и «Из прошлого».
Франси́шку де Са-де-Мира́нда — португальский поэт эпохи Возрождения.
Дэ́вид А. Тёрнер — английский учёный, работавший в области компьютерных наук и информатики, один из пионеров-первопроходцев в области аппликативного программирования. Сын еврейских иммигрантов во втором поколении. Был профессором университетов Сент-Эндрюсса, Кента, Миддлсекса в Англии. Наиболее известен своими изобретениями и разработками в области науки о вычислениях:
Ти́на Тёрнер, также Те́рнер — американская и швейцарская певица, автор песен, актриса и танцовщица. Обладательница восьми премий «Грэмми». За свой артистизм, темперамент и сценическую экспрессивность она носила титул «Королевы рок-н-ролла». Тернер значилась в десятке самых лучших танцоров мира. Журнал «Rolling Stone» назвал её одной из величайших певиц современности.
Мира́нда Джейн Ри́чардсон — британская актриса, известная по ролям королевы Елизаветы I в британском комедийном телесериале «Чёрная Гадюка», миссис Виктор, Джуд О’Хары, Ингрид Флеминг, леди Ван Тассель и Риты Скитер.
SASL — это фреймворк (каркас) для предоставления аутентификации и защиты данных в протоколах на основе соединений. Он разделяет механизмы аутентификации от прикладных протоколов, в теории позволяя любому механизму аутентификации, поддерживающему SASL, быть использованным в любых прикладных протоколах, которые используют SASL. Фреймворк также предоставляет слой защиты данных. Для использования SASL протокол включает команду для идентификации и аутентификации пользователя на сервере и для опциональной защиты переговоров последующей интерактивности протокола. Если это используется в переговорах, то слой безопасности вставляется между протоколом и соединением.
KRC — ленивый функциональный язык программирования, разработанный Дэвидом Тёрнером в 1981 году на базе SASL с добавлением сопоставления по образцу, охраняющих выражений (guards) и ZF-выражений. Существовало две реализации KRC: написанная Тэрнером на BCPL для EMAS; более поздняя от Саймона Крофта на C под Unix. KRC был главным языком для обучения функциональному программированию в «University of Kent at Canterbury (UK)» с 1982 до 1985.
SASL:
ISWIM — теоретический язык программирования, описанный Питером Лэндином в 1966 году как императивный язык с функциональным ядром на основе λ-исчисления с синтаксическим сахаром. Основная особенность — применение для изменяемого состояния, присваивания и механизма управления J-оператора, позволяющего захватывать текущее продолжение. Благодаря λ-исчислению в языке есть функции высшего порядка и переменные с лексической областью видимости.
Тёрнера — род цветковых растений подсемейства Тёрнеровые семейства Страстоцветные (Passifloraceae), содержащий более ста видов, распространённых в тропической и субтропической Америке.
NetSecL — дистрибутив Linux, ориентированный на специалистов в области компьютерной безопасности, разрабатываемый болгарскими инженерами Юрием Станчевым и Миленом Александровым.
«Морока Суоллоуз» — южноафриканский футбольный клуб из Джермистона, основанный в 1947 году. На заре своего становления клуб носил такие названия, как: «Кангригейтид Роверс» и «Морока Роверс». Однако 10 октября 1947 года команда получила название, под которым известна и по сегодняшний день. Выступает в Премьер-лиге ЮАР. Домашние матчи проводит на стадионе «Джермистон Стэйдиум», вмещающем 18 000 зрителей.
Миранда Ли Ламберт — американская певица, автор-исполнитель в стиле кантри. Лауреат музыкальных премий «Грэмми», Академии кантри-музыки и Ассоциации кантри-музыки.
Killing Miranda — британская музыкальная группа, существовавшая в 1998—2007 годах. Первоначально коллектив исполнял готик-рок, однако постепенно стиль команды изменился в сторону индастриал-метала.
SCRAM — механизм хранения данных и протокол аутентификации посредством пароля. SCRAM относится к механизмам SASL уровня, что делает возможным его использование вместе с некоторыми стандартными протоколами, использующими SASL: SMTP, LDAP, IMAP и POP. Также Scram является GSS-API механизмом. Поддерживает привязку канала и двухстороннюю аутентификацию. На момент написания статьи является наиболее совершенным и многофункциональным.
Лин-Мануэль Миранда — американский актёр, певец, автор песен, рэпер, постановщик, драматург, продюсер и кинорежиссёр. Создатель успешных бродвейских мюзиклов «На высотах» и «Гамильтон». За последний получил много престижных театральных и музыкальных наград, включая Пулитцеровскую премию. Автор песен к мультфильмам «Моана» и «Энканто».