Mostrar código-fonte de Iota e Jot

'''Iota''' e sua sucessora '''Jot''' (do idioma [[Grécia|grego]] [[iota]], [[hebraico]] [[Yodh]], as menores letras nesses dois alfabetos) são [[linguagem de programação esotérica|linguagens de programação esotéricas]], [[Turing tarpit]]s que são projetadas para ser tão pequenas quanto possível, mas ainda assim [[Turing completa]]. Cada uma usa dois símbolos e envolve duas operações, com uma simples semântica denotacional definida em termos do [[cálculo lambda]]. '''Zot''' é uma versão continuada de Iota, que inclui entrada e saída.

O combinador universal de Iota é o [[cálculo lambda|termo lambda]] <math>U = \lambda f.((fS)K)</math>. Então, pode-se recuperar os combinadores base SKI usuais como segue: <math>I\, =\, (UU),\; K\, =\, (U(UU)), \;S\, =\, (U(U(UU)))</math>.

<!--
comentei temporariamente porque ainda não me certifiquei se tratar da mesma linguagem (para evitar construir o Frankenstein)

Um programa em Iota é composto por um determinado número de módulos. Um módulo contém algumas funções e estados sob a forma de variáveis. Componentes de um módulo podem ser utilizado a partir de outros módulos, se forem exportados na interface do módulo.<ref>{{citar web|url=http://www.cs.cornell.edu/courses/cs412/2001sp/iota/iota.html|título=Definição da linguagem Iota na Cornell University|acessodata=2010-07-12}}</ref>

== Exemplos ==
fatorial(x: int): int = (
    if (x < 2) 1 else x * fatorial(x - 1)
  )

  fibonacci(x: int): int = (
    if (x < 2) 1 else fibonacci(x - 1) + fibonacci(x - 2)
  )

  uses io.print
  main (args: array[string]) : int =
     ( print ("Alô Mundo!\N"); 0 )

{{Referências}}
* {{Link||2=http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-557.pdf |3=}}
* {{Link||2=http://www.cs.cornell.edu/courses/cs412/2001sp/iota/iota.html |3=Definição da linguagem Iota na Cornell University}}
-->

== Ver também ==
* [[cálculo lambda]]
* [[Lógica combinatória]]

== Ligações externas ==
* [https://web.archive.org/web/20160823182917/http://semarch.linguistics.fas.nyu.edu/barker/Iota Iota and Jot: the simplest languages? Barker Chris, The Esoteric Programming Languages Webring]
* {{Link||2=http://esolangs.org/wiki/Iota |3=Esolang Wiki: Iota}}
* {{Link||2=http://esolangs.org/wiki/Jot |3=Esolang Wiki: Jot}}
* {{Link||2=http://esolangs.org/wiki/Zot |3=Esolang Wiki: Zot}}

{{DEFAULTSORT:Iota Jot}}
[[Categoria:Linguagens de programação esotéricas]]