Sistema operativo cósmico

CosmicOS es un mensaje autónomo diseñado para ser comprendido principalmente tratándolo como un programa informático y ejecutándolo. Está inspirado en Lincos, de Hans Freudenthal , y se asemeja en muchos aspectos al lenguaje de programación Scheme .

El mensaje se escribe con solo cuatro símbolos básicos que representan los dígitos binarios uno y cero, y paréntesis de apertura y cierre. Los números se representan como una cadena de dígitos binarios entre paréntesis, y las expresiones como una cadena de números entre paréntesis. Los identificadores de las operaciones se identifican con números asignados arbitrariamente y sus funciones se pueden definir dentro del propio mensaje.

Los mensajes autónomos son de interés para la investigación CETI , pero existe mucha discrepancia sobre el medio de codificación y difusión más apropiado. CosmicOS se distribuye en formato modular, de modo que el mensaje básico puede adaptarse a una instancia concreta. El mensaje se distribuye bajo la licencia GPL . ^{[ 1 ]}

Sintaxis

El lenguaje principal del mensaje es una versión simplificada de Lisp llamada Fritz .

Se escribe como listas de nombres y números separados por espacios con anidamiento, por ejemplo:* 3 (+ 1 (+ 2 3))

Taquigrafía:

El |símbolo " " se anida al final de la expresión: (+ 1 | + 2 3)es equivalente a(+ 1 (+ 2 3))
" $x" es equivalente a " (x)"

Las listas se evalúan llamando al primer elemento con cada uno de los demás sucesivamente. Si el primer elemento de la lista es un nombre o un número, se trata como una búsqueda. Excepción: " ? x body" hace que una función si la condición AB se evalúa como Asi la condición es verdadera, de lo contrario B " define x v" significa que la búsqueda $xdevolveráv