Aquí habrá un blog para que vayais viendo las evoluciones.

 http://pyasmsx.blogspot.com/

Muy interesante, quizas debiera ir yo haciendo lo mismo.

 Bueno, Jltursan, comentarte que puedes contribuir despejando mis dudas en pseudocódigo.
 Ahora mismo tengo un dilema...

 el tema tiene que ver con la  recursividad:
 si yo creo una funcion, ejemplo:

 def sumar(a,b):
    codigo

 programa principal


 en principio mi compilador lo que realiza es una busqueda de todas las funciones definidas en el programa y guarda sus nombres. Pero se salta el paso de entrar en
cada función y traducir a assembler su contenido, lo veo totalmente ilogico, pues en el futuro pienso crear una biblioteca Msxera de gran tamaño, y claro no estaré compilando algo innecesario no?
 Pues tenemos:

 1ero - 1 trazado al programa para guardar nombres de funciones definidas  en todo el programa y librerias y variables utilizadas sólo en la zona global
 2o ---- 1 trazado que empieza a traducir todo lo que se encuentra el la zona global, o sea del ejemplo anterior lo que es el programa principal

si el programa ppal no llama a la funcion suma(a,b)... esta nunca se traducirá
por el contrario si se llama a suma... mi programa tiene que llamar otra vez a la función traducir para traducir el interior del bloque que contiene suma... si, a su vez:

def get_sumando(x):
   input(a)

def suma(a,b):
   get_sumando(a)
   get_sumando(b)
   return a+b

la función de suma llama a otra función de mi librería................ pues otra vez a llamar a la función de traducción de bloque,
y así hasta que se resuelve todo el embrollo...........pero tendré que utilizar un detector de recursividad porque si la funcion get_sumando(x) en su interior contubiera codigo que vuelve a llamar a la función suma(a,b) mi compilador entraría en un bucle indefinido y .......... cuelgue.

La verdad es que no se muy bien como deben funcionar los compiladores en este aspecto, si hay alguien que conozca el tema que me eche un cable. 
    l

He leido el post un poco por encima, ya que a estas horas o se esta lucido o se esta atontado.

Por como yo se como funciona un compilador que no un interprete (basic):

La funcion que se define o crea se define o crea una sola vez y se almacena en una parte de memoria, si quieres hacerlo puedes incluso tener el codigo ya compilado en una libreria.

 Luego en el cuerpo del programa no hay que compilar de nuevo ese codigo solo hacer como decia jl, poner en la pila los parametros y se llama a la direccion donde se ha colocado la funcion.

Diagamos que los pasos serian:

1- Ver que hay que compilar y que no.

2- Compilar todas las funciones necesarias.

3- Compilar el programa principal.

No genera ningun problema una recursividad.

Otra cosa seria hacerlo como lo hace Pascal, guarda los aprametros de manera fija en una zona de memoria, esto invalida por completo toda recursividad.

Bueno, me refería a que si alguien malintencionadamente o por error teclea un programa de la forma:

def suma(a,b):
   return suma(a,b)

no tendría método para hallar el error de programación.

En cuanto a...


Me parece bastante interesante. Pero ya se sale de mi filosofía de trabajo. Lo estudiaré.

Y tú Saphire que opinas de esto?

Es que eso no es un error de compilación. La función está bien definida, pero en tiempo de ejecución llenaría completamente la pila de retorno. Es como si tecleas en BASIC:



Totalmente de acuerdo, así es como funcionan los compiladores.

No pides tú na... pfufff... Para que un compilador pudiera decir eso, tendría que trabajar con asertos de lógica de primer orden que indicasen, en cada punto del código, las propiedades que se están cumpliendo. Después, debería operar con dichos asertos (para lo cual necesita pasar a una lógica superior, que ya sabemos que aunque correctas no son completas) para comprobar si hay un problema o no ante determinado código.

Vamos, si alguien lo consigue que me llame, que publicaríamos un artículo de investigación que revolucionaría el mundo.

Saludos
--
Sph.

Bueno, eso sí se puede hacer, sería un "Warning! recursive function detected!"