LOLCODE

LOLCODE — эзотерический язык программирования, созданный под влиянием интернет-мема lolcat.

Язык создан в 2007 году Адамом Линдсеем (Adam Lindsay). Исходное описание языка было достаточно расплывчатым, поэтому существующие реализации значительно отличаются. Для нескольких вариантов языка, например, LOLCode.NET и loljs, доказана Тьюринг-полнота методом написания интерпретатора Brainfuck.

Язык использует элементы англоязычного интернет-сленга, поэтому человек, знакомый с этим сленгом, может разобраться в коде программ даже без знания синтаксиса языка.

Языковые конструкции:

• Программа заключена в ключевые слова HAI и KTHXBYE. После слова HAI может быть указана версия спецификации языка, которая используется в программе, но не указано, как интерпретатор должен ее обрабатывать.

• Комментарии используют слова BTW (комментарий до конца строки) и OBTW ... TLDR (комментарий, который может занимать несколько строк).

• I HAS A <varname> — объявление переменной. LOLCODE динамически типизирован, поэтому нет необходимости объявлять еще и тип переменной.

• <varname> R <value> — присвоение переменной значения. В языке есть следующие типы данных: NOOB (нетипизированный — это значение принимает переменная до того, как она инициализирована), NUMBR (целое), NUMBAR (дробное), YARN (строка) и TROOF (логический). Тип BUKKIT зарезервирован на будущее для массивов. Допускается автоматическое преобразование типов.

• для функций и операторов используется префиксная нотация. Если количество параметров функции может варьироваться, их список должен оканчиваться ключевым словом MKAY. Отдельные аргументы могут разделяться словом AN.

• математические действия (работают с типами NUMBR и NUMBAR, при необходимости возможно преобразование из YARN):

  SUM OF — сложение
  DIFF OF — вычитание
  PRODUKT OF — умножение
  QUOSHUNT OF — деление
  MOD OF — остаток от деления
  BIGGR OF — максимум
  SMALLR OF — минимум
  

• логические действия (работают с типом TROOF, принимающим значения WIN и FAIL):

  BOTH OF — логическое "и"
  EITHER OF — логическое "или"
  WON OF — xor
  NOT — отрицание
  ALL OF ... MKAY — логическое "и" для произвольного количества аргументов
  ANY OF ... MKAY — логическое "или" для произвольного количества аргументов
  

• сравнения: BOTH SAEM — равенство, DIFFRINT — неравенство. В настоящее время другие виды сравнения не поддерживаются и должны конструироваться с использованием BIGGR OF и SMALLR OF.

• SMOOSH … MKAY — конкатенация строк.

• MAEK <expression> [A] <type> — преобразование значения выражения к заданному типу в явном виде. Чтобы изменить тип переменной, можно использовать <variable> IS NOW A <type>.

• VISIBLE — вывод на печать строки или числа. Чтобы вывести произвольное количество аргументов, их следует конкатенировать. По умолчанию вывод заканчивается переводом строки, чтобы избежать этого, нужно добавить ! в конец списка аргументов.

• GIMMEH — чтение строки из потока ввода.

• неявная переменная IT используется для хранения значения выражения и его передачи в управляющие конструкции.

• базовая конструкция if-then-else выглядит следующим образом:

  <expression>
  O RLY?
    YA RLY
      <code block>
    NO WAI
      <code block>
  OIC
  

• конструкция case выглядит следующим образом:

  <expression>
  WTF?
    OMG <value literal>
      <code block>
   [OMG <value literal>
      <code block> …]
   [OMGWTF
      <code block>]
  OIC
  

  Для сравнения используется неявная переменная IT и константа. Блок OMG может содержать произвольное количество команд и заканчиваться GTFO. Если команда GTFO отсутствует, после выполнения команд блока выполняется следующее сравнение, и т.д.

• бесконечный цикл:

  IM IN YR <label>
    <code block>
  IM OUTTA YR <label>
  

• цикл while:

  IM IN YR <label> <operation> YR <variable> [TIL|WILE <expression>]
    <code block>
  IM OUTTA YR <label>
  

  В цикле используется временная локальная переменная и любая унарная операция для ее изменения, в том числе UPPIN и NERFIN (инкремент и декремент). Выражение используется как условие завершения цикла: TIL прекращается, когда оно становится истинным (WIN), WILE — ложным (FAIL).

• объявление функции:

  HOW DUZ I <function name> [YR <argument1> [AN YR <argument2> …]]
    <code block>
  IF U SAY SO
  

  Возвращение из функции возможно тремя способами. FOUND YR <expression> возвращает значение выражения. GTFO возвращает NOOB. Если выполнение функции дошло до ее конца, возвращается значение переменной IT.

• GTFO — аналог break в других языках; используется для прерывания циклов, case и функций.