Arc

Tal y como prometió Paul Graham, ha hecho público el código fuente de Arc. Está publicado bajo la licencia Perl Artistic License, licencia que permite hacer casi de todo excepto cambios significativos al código (sólo el autor original puede decidir sobre esto).

Cuando leí hace tiempo sobre Arc pensaba que se trataría de un nuevo compilador para un nuevo lenguaje. Pero me ha sorprendido gratamente que en realidad todo el sistema corre sobre MzScheme, algo así como una segunda piel (palabras del propio Paul Graham). Pero así y todo no os dejéis engañar ya que Arc se parece tanto a Scheme como Scheme a Lisp.

Podríamos resumir a Arc como un Lisp con un lavado de cara para los nuevos tiempos. 100% recomendable para programación web (es para lo que fue creado).

No os olvidéis de leeros el tutorial para tener las cosas un poco más claras.

¿Porqué los sistemas operativos están en C?

No me refiero a esos sistemas operativos de juguete que pululan por la red, sino a los que son productivos: Windows, Linux, MacOS, etc... No es que no quieran usar otros lenguajes radicalmente diferentes, es que ni tan siquiera se atreven a tirar de C++ (MacOS con su Objective-C poca diferencia tiene con el C normal).

Después de mi visita diaria a Reddit lo he visto claro. No es cuestión de encontrar una respuesta sino de encontrar la pregunta correcta (como dirían los budistas). La realidad es que no hay lenguajes malos para crear un S.O. lo que hay son CPUs que no se llevan bien con determinados lenguajes.

Y es que después de que se programara el primer Unix en C, las CPUs han tendido a acomodarse más a este lenguaje. La forma en que trabaja el lenguaje ensamblador de, digamos por ejemplo 8086, está íntimamente ligada a la forma en trabaja el lenguaje C.

Una prueba de lo que digo son las Lisp Machines y las CPUs para Forth. ¿Porqué si no hacer CPUs para unos lenguajes en concreto? Pues porque una CPU modelada para usarla con C nunca se podría exprimir al máximo con Forth (por ejemplo).

Lenguajes ¿prehistóricos?

Si, pero prehistóricos solos por el año en que fueron diseñados. Mirad ésta gráfica (bastante conocida por Internet).

Fortran, un lenguaje diseñado para ser usado en tarjetas perforadas datado en el año 1954, se sigue usando a día de hoy.

Cobol, del 1959 es, sorprendentemente, el lenguaje más usado con diferencia. Se calcula que durante el 2005 el 75% de los datos generados por negocios eran procesados por programas escritos en este lenguaje.

Y Lisp, mi favorito, del 1958. No han tenido que cambiar ni una sola linea del estándar para incluir técnicas "modernas" como programación orientada a objeto.

Luego hay otros lenguajes, como Forth (1965), que a pesar de que hoy en día ya no se usan, tienen bastantes cosas que enseñaros. Pero de eso ya hablaremos otro día.