Creando mi propio lenguaje: Ideas

[mamcx]

Empezado por LoPiTaL

Hola! Antes que nada, mi intención no es desanimar Me parece muy interesante tu planteamiento, y con un lenguaje así, podrías resolver muchos problemas de una forma muy sencilla.

Diseñar un lenguaje es mas dificil que usarlo. Como todo programa, es un balance de cosas que pueden ser opuestas (por ejemplo rapido <> pequeño en memoria).

Adicionalmente, si se va a hacer un lenguaje ligeramente parecido a otro, pues como que no tiene mucha gracia!

Se que ciertas decisiones pueden afectar el desempeño (hipotetico, porque no lo he probado) de este lenguaje. Lo que interesa es saber si perder X se compensa con creces con ganar Y.

Por ejemplo, al usar un recolector de basura se afecta el rendimiento a bajo nivel, pero se compensa con una mayor productividad y simplicidad en el codigo.

Lo malo es que se pierda X y lo que se obtiene Y es tan miserable que no valio la pena.

Empezado por LoPiTaL

Tal como planteas, tu RTL debería comprobar cada vez que se asigna un valor a una variable objeto si éste es NULL o no y lanzar una excepción.

Porque debo hacer la comparacion en cada momento? Eso es lo que quiero evitar! que exista la necesidad de hacer:

Código PHP:

if obj is None:
   print "Invalido" 


Cuando el NULL es el estado de inicializacion por defecto, y se puede asignar NULL a cada cosa en cualquier momento, esos chequeos tienen sentido. Pero si el lenguaje simplemente no lo permite NULL, es identico a hacer un chequeo de tipos:

Código PHP:

name:String
lastName:Date

print name + lastName #Saca error 


Esto se puede comprobar al momento de la compilacion si el lenguaje es tipado.

Algunas lecturas que me han convencido:

http://programmers.stackexchange.com...ly-a-bad-thing

http://lambda-the-ultimate.org/node/2699

An enormous advantage of this is that it allows the type system to statically enforce & check correct usage of nullable values, essentially eliminating "null pointer exception" errors or the equivalent.

El problema en cambio, se daria en un lenguaje de tipos dinamicos, donde una variable puede ser de cualquier tipo (potencialmente null) y ahi si podria caber el problema que mencionas

Empezado por LoPiTaL

P. ej., si alguien sólo quiere ASCII porque es infinitamente más rápido que UTF, ese programador ya no elegirá tu aplicación. Lo mismo con Integer e int64; y con Float, double y extended (hablando de los tipos en Delphi). También te quitas todos los que estén en el otro extremo, que necesiten mucha precisión y no tengan acceso a tipos de datos de más de 4 bytes.

No es mi intencion eliminar la posibilidad de elegir otros tipos de datos y/o estructuras mas adecuadas segun el caso, sino presentar como "defecto" la opcion mas "sana" posible, que da pocas sorpresas.

Es mi opinion que es mejor disponer de la opcion mas sana a costa de una potencial degradacion en desempeño para la mayoria de los casos, y elegir la opcion mas eficiente para cuando se necesite, que tener la opcion mas "problematica" por defecto todo el tiempo, y tener que estar chequeando las cosas.

Eso es una lata impresionante. Por ejemplo, en python 3 movieron todo a UTF en las cadenas. Una de las razones, es que cuando se hace apps web TODO EL MALDITO TIEMPO surge el error Unicode decode error.

Lo malo es que sale en algo tan simple como:

Código PHP:

>>> "ñ" + u"a"
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
UnicodeDecodeError: 'ascii' codec can't decode byte 0xc3 in position 0: ordinal not in range(128) 


Que es algo que no necesita el maximo desempeño.

Yo cambio milisegundos en la ejecucion del programa contra horas de depuracion.

Lo que indico con la representacion interna es que haya una forma estable y bien delineada de como se mueven los datos, y que se convierta de forma explicita una vez que se toca el mundo exterior.

Esto es más de lo de antes, vuelves la aplicación lenta y sin opción a que los desarrolladores elijan.

No he desechado los tipos Float/Int!

Simplemente considero que no tiene presentacion que :

Código PHP:

1.1 + 2.2
>>>3.3000000000000003
>>> (1.1 + 2.2) == 3.3
False 


Esto es una aberracion. El computador no sabe matematicas!. En cambio el tipo decimal:

Decimal “is based on a floating-point model which was designed with people in mind, and necessarily has a paramount guiding principle – computers must provide an arithmetic that works in the same way as the arithmetic that people learn at school.” – excerpt from the decimal arithmetic specification.

El problema del desempeño podria darse si se esta decodificando una imagen, haciendo calculos complejos, criptografia, etc. Pero en mi experiencia, la mayoria de las veces que se usa un numero en un programa es para:

-Indicar un valor: Edad=18
-Contadores
-Calculos aritmeticos elementales: Total = SubTotal + (SubTotal * (Impuesto/100)) - Descuento

Los problemas de desempeño se verian en ciclos cerrados, o en tareas especializadas, donde el programador debe estar mas consiente de lo que hacer.

Empezado por LoPiTaL

Sin embargo, lo vería más como un lenguaje para aprendizaje, con las opciones limitadas, todo fuertemente tipado y sin posibilidad de errores; más que para un lenguaje profesional, donde las necesidades de cada uno son muy diversas y no se pueden englobar en un lenguaje con las características que propones.

Mientras todavia este lenguaje es apenas una idea (que ni se si vera la luz del dia) me parece extraño que consideres que un lenguaje "fuertemente tipado y sin posibilidad de errores" es contrario a "un lenguaje profesional". Un ejemplo notable es haskell que es reconocido por hacer software tremendamente estable, correcto y robusto (principalmente, a que tiene el manejo de tipos mas tremendo que existe). O Erlang que es el unico lenguaje -del que se- lo suficientemente robusto para manejar MILLONES de tareas concurrentes en un SOLO equipo, y se puede reemplazar -modificar a si mismo o por recarga- mientras esta en ejecuccion y sin sacar errores!

Obviamente, si es mas importante la velocidad de la maquina, C o Assembler. Pero creo que casi todos los lenguajes estan diseñados para acelerar al desarrollador...

[[Delphius]]

Empezado por tiammat

No sabes..., sería TAN hermoso un lenguaje de programación "PASCAL alike" en castellano...

Si que existe.
Como también existe un SO (bueno... en realidad sólo es un kernel) llamado Toro, hecho en Pascal, Free-Pascal para ser más preciso.
Ambos proyectos nacidos en mi tierra, lástima que casi completamente parados

Y luego algunos fanáticos anti-Pascal dicen que Pascal es sólo para enseñar

Saludos,

[LoPiTaL]

me parece extraño que consideres que un lenguaje "fuertemente tipado y sin posibilidad de errores" es contrario a "un lenguaje profesional"

No me he expresado bien. Con "fuertemente tipado" me refería a que el programador está obligado a usar un único tipo de datos, y a lo de "sin posibilidad de errores" a lo de la no existencia de NULL.

Si como dices, no obligas al programador a usar un tipo único, sino que sigues permitiendo la elección (lo cual no quedaba claro en tu primer mensaje), entonces retiro esta objeción.

En cuanto a lo del NULL, no había visto nunca la discusión que indicas en los links, aunque después de revisarlos, veo que básicamente Haskell utiliza lo que dices de tipos nullables, que al fin y al cabo, para utilizarlos, tienes que hacer una comparación con NULL (paso de parámetro nullable con "Maybe t", entonces para poder usarlo tienes que usar "Just x", el cual comprueba si es NULL y te lanza excepción). La diferencia es si no pasas un "Maybe t", sino sólo "t", con el cual estás seguro que no es NULL... no sé, Haskell acaba de meterse en mi lista de TODOs

Supongo que así sí que podría resultar un lenguaje profesional.
Espero novedades sobre el lenguaje

Un saludo,
LoPiTaL

PD: ¿tienes ya nombre para él?

[Casimiro Notevi]

Empezado por mamcx

No he desechado los tipos Float/Int!
Simplemente considero que no tiene presentacion que :

Código PHP:

1.1 + 2.2
>>>3.3000000000000003
>>> (1.1 + 2.2) == 3.3
False 


Esto es una aberracion. El computador no sabe matematicas!. En cambio el tipo decimal:
El problema del desempeño podria darse si se esta decodificando una imagen, haciendo calculos complejos, criptografia, etc. Pero en mi experiencia, la mayoria de las veces que se usa un numero en un programa es para:
-Indicar un valor: Edad=18
-Contadores
-Calculos aritmeticos elementales: Total = SubTotal + (SubTotal * (Impuesto/100)) - Descuento
Los problemas de desempeño se verian en ciclos cerrados, o en tareas especializadas, donde el programador debe estar mas consiente de lo que hacer.

En eso tienes razón.

Empezado por Delphius

Si que existe. Como también existe un SO (bueno... en realidad sólo es un kernel) llamado Toro, hecho en Pascal, Free-Pascal para ser más preciso.

Una pena que proyectos así se pierdan.

[mamcx]

Tener soporte para proyectos latinos por latinos es bien dificil, no hay el mismo "espiritu" y la falta de recursos golpea bastante.

----

Aun no le tengo nombre. Estoy recaudando informacion para ver que tan dificil es sacar una version 0.1 y tengo muchas lagunas. Por ahora trato es de imaginarme la sintaxis y como seria trabajar con el.

----

Otra cosa que me gustaria es poder instrumentar el codigo de forma nativa, pero desacoplada. Por ejemplo, para facilitar depuracion y/o analisis de velocidad y desempeño.

Asi como se puede hacer un evento OnClick para escuchar un click del usuario:

Código PHP:

#Function hook

def startDef:
    self.cache['start'] = now

def endDef:
    performance.register(self.function.__name,'time', now - self.cache['start'])

hook(sample,pre = startDef, post = endDef) 


La idea es que se pueda capturar funciones/clases y poner escucha a la entrada/salida, como si fuera triggers de la BD, pero que no requieren ser escritos a mano o decarar manualmente cada metodo a instrumentar.

Junto a eso, imagino seria muy util poder capturar remotamente una sesion de depuracion. Y poder, por ejemplo, logear los datos de entrada/salida de las funciones y poder marcar cuando X valor pasa (para detectar un error).

El chiste es que la instrumentacion sea dinamica:

Código PHP:

#Instrument

server= instrument.Attach('/c:/Proyecto/Programa.exe', ApiKey= '****')

server.hook(sample,pre = startDef, post = endDef)

print performance 


[[rretamar]]

Empezado por mamcx

Tener soporte para proyectos latinos por latinos es bien dificil, no hay el mismo "espiritu" y la falta de recursos golpea bastante.

Desvirtuando un poco (o no tanto): A que te refieres con "espíritu" (supongo que a la falta de interés en colaborar con proyectos libres en la comunidad hispanoparlante) ?

¿ Y a que "falta de recursos" te refieres ? Supongo que al recurso "tiempo", es así ?.

[mamcx]

En parte, esta entrevista con el creador de ruby:

http://fredwu.me/post/36493181321/an...oto#page-about

Also, in Japan many programmers still spend most of the time at work (to put food on the table), it’s very difficult for them to contribute to open source projects. Ten years ago nobody cares about open source in Japan, but nowadays people start to realise the importance of open source, and the number of open source projects is growing. I believe China will soon follow this pattern as well, I am looking forward to it.

Si la gente de japon tiene dificultades economicas, imaginate por aqui. La realidad es de recursos ($$$$): Programar quita tiempo, y administrar un proyecto open source mucho mas. La realidad es que open source por si solo es una actividad empobrecedora -ie: open source da plata de forma indirecta, y por lo tanto es un costo negativo- , no en vano los proyectos open source por lo general son respaldados por empresas o gobierno o del amor de alguien... que ya tiene resuelto lo de "poner alimento en la mesa".

Y lo segundo es de "espíritu". Es mi impresión, pero en latino América hay mucho "bla bla" sobre el open source, lo libre, y como eso no significa siempre gratis, pero aun se nota que somos mas usuarios (y aprovechadores) que contribuidores.

[mamcx]

Empezado por mamcx

Es mi impresión, pero en latino América

Me puse a pensar que tan real era esa impresion, asi que corri una consulta con BigQuery contra github, y estos son los resultados usando:

Código SQL [-]
SELECT COUNT(*) AS Participation,actor_attributes_location
FROM [githubarchive:github.timeline]
GROUP BY actor_attributes_location
ORDER BY 1 DESC
LIMIT 500

que se pueden ver en
https://docs.google.com/spreadsheet/...F9mcFIxcGZmSmc

Aunque existe una marcada presencia de países/ciudades del "1er mundo" tal como se desprende de este mucho mas completo análisis me sorprendió ver a brasil, España & argentina entre las 100 ubicaciones* mas populares. Asi que parece que la cosa a mejorado mucho desde mis primeras experiencias hace unos años

* GitHub no tiene datos precisos del todo, ya que las ubicaciones las pone la gente como quiera (ciudad, país, región) pero es el único repositorio que conozco al que se le puede consultar sus datos directamente...

[donald shimoda]

Empezado por Delphius

Si que existe.
Como también existe un SO (bueno... en realidad sólo es un kernel) llamado Toro, hecho en Pascal, Free-Pascal para ser más preciso.

Saludos,

Que bueno lo de Toro, como experiencia académica es excelente, me saco el sombrero!

[[Delphius]]

Empezado por donald shimoda

Que bueno lo de Toro, como experiencia académica es excelente, me saco el sombrero!

Yo escuché sobre Toro y Matías Vara en los últimos años de la facultad, aunque ahora tengo la ligera sospecha de que a mediados de cursado me lo he "encontrado" en la 33 JAIIO en el 2004; antes de que el proyecto cambiara de rumbo.
No recuerdo bien que TORO Kernel (ex TORO OS) sea parte de su proyecto final para el título. Si en cambio que fue de inspiración académica. Si en verdad Matías Vara está haciendo este proyecto por el título, ¡que alguien le haga recordar mi experiencia! ¡Que no se meta en chaleco de 11 balas!

Saludos,

[donald shimoda]

Empezado por Delphius

Yo escuché sobre Toro y Matías Vara en los últimos años de la facultad, aunque ahora tengo la ligera sospecha de que a mediados de cursado me lo he "encontrado" en la 33 JAIIO en el 2004; antes de que el proyecto cambiara de rumbo.
No recuerdo bien que TORO Kernel (ex TORO OS) sea parte de su proyecto final para el título. Si en cambio que fue de inspiración académica. Si en verdad Matías Vara está haciendo este proyecto por el título, ¡que alguien le haga recordar mi experiencia! ¡Que no se meta en chaleco de 11 balas!

Saludos,

Disculpa , no conozco tu experiencia, que te paso?