Un nuevo tipo de Pascal
 

Como escribi en http://clubdelphi.com/foros/showthread.php?t=80367 llevo un rato dandole vueltas a hacer un nuevo lenguaje.

Eso me ha llevado a conocer un monton de lenguajes alternativos, y de entre ellos, este es muy parecido a pascal:

http://nimrod-code.org/

(En el home se ve mas como un python, es mas bien un pythonpascal :))

Ya en el tutorial:

http://nimrod-code.org/tut1.html

Código Delphi [-]
type
  TMyObject {.final, pure, acyclic.} = object  # comment continues: \
    # we have lots of space here to comment 'TMyObject'.
    # This line belongs to the comment as it's properly aligned.

var
  x, y: int
  # a comment can occur here too
  a, b, c: string

type
  PNode = ref TNode
  TNode = tuple[le, ri: PNode, data: int]
var
  n: PNode
new(n)
n.data = 9

type
  TPerson = object of TObject
    name*: string  # the * means that `name` is accessible from other modules
    age: int       # no * means that the field is hidden from other modules
  
  TStudent = object of TPerson # TStudent inherits from TPerson
    id: int                    # with an id field

Muy interesante me parecio su metaprogramacion (MACROS en C++):

Código Delphi [-]
const
  debug = True

template log(msg: string) =
  if debug: stdout.writeln(msg)

var
  x = 4
log("x has the value: " & $x)

Muy interesante. Yo también ando buscando un "nuevo lenguaje" (en realidad ya lo tengo, pero ahora tengo que implementarlo y me da mucha pereza :o ) y este tiene muy buena pinta.

Y como has pensando el lenguaje?

Es un lenguaje orientado a objetos, dirigido por estados y basado en mensajes (toma ya :D). Está pensado para aplicarlo a videojuegos, especialmente para definir comportamientos de personajes y objetos. Por ejemplo, este adaptado de "Programming Game IA By Example":
Como digo, no lo he implementado, pero debería funcionar.

Véndeselo a facebook, para que lo usen todos sus usuarios que tienen la costumbre de ir contando al mundo lo que están haciendo :D

Interesante. Pero no entiendo la utilidad practica de manejar maquinas de estado explicitamente, si ya tienes el cuento de pasar mensajes.

Si el lenguaje tiene capacidad de usar YIELD, mensajes y hacer un SELECT para esperar sus respuestas, forzosamente puede modelar una maquina de estado:

https://gobyexample.com/select

Pero me gustaría ver como eso podría ayudar de forma mas clara.

Como digo, es para definir el comportamiento de los actores en un videojuego. Cada actor tiene un estado, el cual es quien define su comportamiento. Los mensajes se usan para que los actores se comuniquen entre sí.

La ventaja está en que el intérprete permitirá (si el motor así lo indica) que el diseñador del juego cree sus propios estados sin limitarse a los que el motor provee.

:D Me lo pensaré.

Si, entiendo lo de los estados. Lo que no entiendo es porque independiente de los mensajes (aparte que asi como se ven no muy diferentes a GOTO).

Si hay corutinas, cada vez que se hace YIELD se cede el control. Pero si ademas hay un canal de mensajes y por ende el YIELD se redirecciona con precision a quien espera el mensaje, entonces es como brincar a un nuevo estado (asi es como se hace en GO).

No tengo ni idea de GO, así que no sé muy bien cómo va; y la verdad es que me pierdo con eso del YIELD y las corrutinas... :confused:

Los mensajes no son GOTOs, ya que modifican el flujo del programa. Es más, es que en mi lenguaje no se definen flujos de ejecución, en el sentido estricto. Tanto las respuestas a mensajes como las descripciones de los estados se ejecutan en un tick o, quizá mejor dicho, en una iteración del bucle principal de juego. Es decir:

Código Delphi [-]
  PROCEDURE BucleJuego;
  BEGIN
    REPEAT
      ObtieneEntradasJugador; { Teclado, ratón, mando de juego... }
      ActualizaEstadosActores;
      DespachaMensajesPendientes;
      DibujaNuevoFotograma;
    UNTIL FinJuego;
  END;

ActualizaEstadosActores y DespachaMensajesPendientes son los puntos de entrada al intérprete del lenguaje. En el primero se ejecuta la rutina del estado actual del actor y en el segundo se despachan los mensajes de la cola de pendientes.

Hay que tener en cuenta, también, que puede establecerse un retardo al envío de un mensaje. Es decir, que pueden funcionar como una especie de "alarma". Por ejemplo, cuando el minero Bob llega a casa avisa a su esposa Helen; la respuesta podría ser:
Como ves, las respuestas a estos mensajes no modifican el estado de la esposa, por lo que no modifican el "flujo" del programa.

No sé si esto aclara algo. Espero que sí.

Basicamente, estas describiendo el modelo de canales y mensajes de GO.

Pegate una revisada de todo eso, que hay otras posibilidades muy interesantes para lo de juegos que se pueden modelar basado en ese modelo (que se llama https://en.wikipedia.org/wiki/Commun...tial_processes).

Tambien revisa que es una corutina, un closure y como se usa el comando YIELD en C# o en Python.

Ok. Le echaré un vistazo. :)