Lenguaje de programación ideal

[mamcx]

Empezado por avmm2004

Yo, si tuviera una buena herramienta para paginas web .......... me podría morir en paz.

Y eso como seria? Que le hace falta a lo que ya hay?

[avmm2004]

Empezado por mamcx

Y eso como seria? Que le hace falta a lo que ya hay?

Pues no se lo que hay al cien por cien pero intraweb no es ninguna maravilla.
Raudus no se sabe de el hace algún tiempo.
Unigui sigue en fase beta y muy retrasado respecto a entregas.
y el resto ..... ¿?

[[nlsgarcia]]

mamcx,

Empezado por mamcx

...¿Pero que es lo que combinarías?, ¿Como se vería ese animal?, ¿Como seria su sintaxis?...

Nunca me he planteado el desarrollo de un nuevo lenguaje de programación, hasta la fecha solo he utilizado lo mejor que puedo los lenguajes que he tenido la oportunidad de usar en el ambiente universitario y empresarial, por ello no te puedo dar guías específicas sobre el desarrollo de un lenguaje, solo te puedo sugerir algo que siempre me ha parecido lógico en la vida y por ende en la computación : Hacer todo de la forma más simple posible sin que esto afecte la efectividad o calidad de la solución.

En su época existió el S/36 y el S/38, ambos minicomputadores de IBM. El software del S/38 era muy avanzado para su momento y por ello se creo el S/36, una versión simplificada del S/38, con el tiempo ambos sirvieron de base para el desarrollo del AS400 hoy en día conocido como iSeries, el cual es un sistema de computo que puede rivalizar con el poder de un Mainframe dependiendo de su configuración pero con la facilidad de un Minicomputador.

En el caso de Microsoft algo similar ocurrió con Visual C++ y Visual Basic, lo cual dio las bases para el nacimiento años mas tarde de C#. Hay muchas historias similares y el punto en común de todas ellas es que hicieron que todo sea más simple y potente, la clave: Simplicidad.

En el caso de Microsoft, el Framework de .NET (VM) permite la integración entre lenguajes, tipos de datos e independencia de la máquina física, sin perder la posibilidad de generar código nativo, de allí una segunda idea: Interoperabilidad a nivel de lenguajes, no tiene sentido crear un lenguaje aislado por más potente que este sea. En lo que a los tipos de datos se refiere seguiría lo planteado en C# y Delphi, fuertemente tipeado, incluyendo los modificadores de C#.

En términos prácticos (cantidad de usuarios existentes) cualquier nuevo lenguaje debe basar su sintaxis en C, sin embargo la sintaxis de Pascal es muy intuitiva, directa y fácil de leer, habría que sopesar si se quiere una sintaxis accesible a una gran base instalada de desarrolladores (C, C++, C#, Java, Python, Objective-C) o una sintaxis basada en Pascal fácil de aprender y utilizar, de allí otra punto: Sintaxis simple.

Hoy en día todo ambiente de desarrollo que sea productivo requiere un IDE y un potente compilador, luego cualquier nuevo lenguaje debe tener un IDE que permita desarrollar, compilar y probar el código realizado, esto realmente es un Plus para cualquier lenguaje, como es el caso de C# y Delphi, en el caso de Java el mejor IDE que probé fue NetBeans, por lo tanto: Un IDE flexible, potente y amigable al programador es indispensable.

Un punto crucial son los paradigmas que soporte el lenguaje, siempre me gusto la visión de Delphi de combinar los paradigmas Orientado a Objetos, Orientado a Componentes e Imperativo, en el caso de C# se cumple la misma formula con la adición del paradigma funcional, luego: Si un lenguaje es Multiparadigma y Multipropósito con una concepción flexible de los mismos (Java y C# son Orientados a Objetos Puros mas o menos, C++ y Delphi son más flexibles en su implementación de paradigmas), se puede lograr mayor adaptabilidad del lenguaje a diversos problemas: Científicos, Financieros, Económicos, Administrativos, de Ingeniería, Técnicos, etc.

El lenguaje debe ser Multiplataforma, esto se ha resuelto en la practica en mayor o menor medida con el empleo de las VM (No así en Delphi), como es el caso de Java y C#, sin embargo es necesario que se pueda compilar en Nativo ya sea por que el sistema es en tiempo real o por que su naturaleza exige altos niveles de performance. En lo personal he visto programas bancarios corriendo en .NET (Winforms) y es imperceptible el hecho de que este siendo ejecutado por una VM, lo cual indica la robustez de la tecnología de las VM en la actualidad.

Un punto importante es la concurrencia, es por ello que el caso de Erlang me parece destacable como modelo, sin embargo es necesario señalar que este es un lenguaje muy especializado en procesos asíncronos bajo paradigma funcional, lo cual lo hace por si solo todo un reto.

Creo que todo nuevo lenguaje se basa en mejoras y/o combinación de características de lenguajes anteriores, sumado a los intereses y gustos personales de su desarrollador(es), en mi caso consideraría los lenguajes mencionados (Delphi, C# y Erlang), sin embargo es una tarea realmente gigantesca crear un nuevo lenguaje de programación, quizás propia de grandes equipos o genios informáticos. En lo personal creo que sería interesante desarrollar la plataforma .NET para Linux, Android y Mac (Actualmente existe el proyecto Mono) para lo cual están disponible sus especificaciones (Standard ECMA-335) y de esa forma poder reutilizar todos los recursos actualmente disponibles en .NET en las distintas plataformas mencionadas (No reinventar la rueda), algo que no entiendo por que Microsoft no lo ha hecho aun por cuenta propia , teniendo todos los recursos disponibles para ello.

Espero sea útil

Nelson.

[Ñuño Martínez]

Buf, buf, buf... Siempre que veo estos debates me dan calores. La mayoría de las peticiones o bien ya están resueltas, o bien no tienen nada que ver con el lenguaje sino con el compilador o el entorno en el que se ejecutan.

Por ejemplo: lo de multiplataforma. ¿Sabíais que FreePascal compila para la JVM? Pues sí, lo hace, y sin cambiar el lenguaje (bueno, cambia un poquito la nomenclatura para el USES, pero lo demás no). Ale, ya tienes resuelto el tema.

¿Y la multitarea? Bueno, los objetos son, por definición, multitarea. Otra cosa es que casi ningún compilador/entorno los implemente así. Objective C es un buen ejemplo. Small Talk es otro. Oberon otro más...

En mi opinión, si no es para algo muy específico (lenguajes de propósito específico, me refiero), no merece la pena hablar de diseñar nuevos lenguajes, porque de propósito general andamos sobrados. Mejor preguntar por cómo sería nuestro compilador o entorno soñado. Ahí sí, oye.

[TiammatMX]

...buscarles chichis a las víboras, como decimos en México? El lenguaje ideal, el que es verdaderamente multiplataforma, simple, fácil, poderoso, VERDADERAMENTE orientado a objetos y tan excelente que el motor de búsqueda de Google está programado en él...: Python.

[[rretamar]]

Empezado por tiammat

...buscarles chichis a las víboras, como decimos en México? El lenguaje ideal, el que es verdaderamente multiplataforma, simple, fácil, poderoso, VERDADERAMENTE orientado a objetos y tan excelente que el motor de búsqueda de Google está programado en él...: Python.

Pero no sirve para varias cosas , y no hablo de superprogramas de simulación con 50000 threads capaces de predecir el universo (?), sino algo mucho más normal como hacer una aplicación de escritorio medianamente sofisticada. O sí, sirve, pero es muchísimo menos productivo que Delphi o Lazarus, además muchas funcionalidades quedarán recortadas o dependeremos de herramientas/lenguajes de terceros.

[TiammatMX]

Empezado por rretamar

Pero no sirve para varias cosas...

...pero es muchísimo menos productivo que Delphi o Lazarus...

Depende, por que yo he visto páginas web completamente realizadas en Python, varios programas en Linux y demás programados en éste lenguaje. OK, es un lenguaje interpretado, pero podría ser peor...

[mamcx]

Empezado por Ñuño Martínez

¿Y la multitarea? Bueno, los objetos son, por definición, multitarea. Otra cosa es que casi ningún compilador/entorno los implemente así. Objective C es un buen ejemplo. Small Talk es otro. Oberon otro más...
.

De donde sacas esto?

Empezado por Ñuño Martínez

En mi opinión, si no es para algo muy específico (lenguajes de propósito específico, me refiero), no merece la pena hablar de diseñar nuevos lenguajes, porque de propósito general andamos sobrados. Mejor preguntar por cómo sería nuestro compilador o entorno soñado. Ahí sí, oye.

Eso es como decir que no hay que hacer nuevos programas porque los que hay ya cubren las necesidades.

Un lenguaje de programación (que es algo que esta intrínsecamente ligado a su entorno/runtime/compilador/librerías) es algo que afecta profundamente el como y cuales problemas se resuelven. Y generan un mundo de diferencia.

Por ejemplo, ya que han mencionado erlang: No hay nada que lo toque en multitarea y todo eso. Python es sobrado en claridad de código. Lisp permite metaprogramacion como ninguno y asi por el estilo.

Si uno solo sabe pascal y no sabe nada mas, es muy dificil darse cuenta todo el trabajo idiota que se esta uno cargando. Y eso aplica a todo.

Y cual es la forma de resolver las tareas mundanas (como manejo de memoria) y permitir hacer cosas que en otros entornos es muy dificil (como multitarea)? Pues a nivel del lenguaje. Y es por eso que hay tantos, muchos mas y mas variados de lo que uno se imagina.

Piensen como usuarios. No es la idea "bueno ya que con C se puede hacer de todo, porque no usar C y ya?", sino "como seria un lenguaje que no este amarrado por el status quo? como podria hacerse aun mejor?".

De seguro hay muchas ideas que andan por ahi flotando y que quizas estan enterradas. Apenas esta resurgiendo la programacion funcional, por ejemplo. Me entere hace muy poco, que ADA (un pascal) manejaba multi-hilos de una forma muy simple, casi como en GO/Erlang. En cuanto a manejo de bases de datos, todo esta tan crudo aun...excepto cuando era con dbase. Incluso delphi esta por debajo.

Y todas esas deficiencias no se pueden arreglar parchando lo que ya existe. Primero, porque en el momento que se desvia del proposito inicial del lenguaje la cosa se ve "alienigena" - como implementar OO en C- y cuando ya hay una tonelada de codigo escrito nadie quiere moverse, no importa lo mejor que sea. Asi que si por ejemplo queremos hacer programacion escalable, multihilos y demas estamos fregados con delphi. Nunca tuvo eso en cuenta, asi que lo que se hace es parchar y hackear. Igual esta fregado python, que aun en python 3 tiene el GIL. Y aun cuando le arreglen esas cosas, todo el codigo asume que nada de eso existe y puff... se arruina todo.

LLevo mas de 1 decada programando y en muchos ambientes y lenguajes. Y es precisamente por eso que me parece que aun falta mucho. Es una desgracia que muchas de las mejores ideas estan implementadas en lenguajes con sintaxis y metodologias bizarras (erlang, haskell, racket) y que los mas populares sean un gran ejemplo de como NO hacer las cosas (c, c++, php) que requieren tener experiencia para pelear en contra de lo que los lenguajes/librerias estimulan.