M#, un nuevo lenguaje para el siguiente S.O. de Microsoft

Midori sería el siguiente paso de Windows. Se trataría de un nuevo sistema operativo escrito desde cero, con un nuevo núcleo y con un lenguaje moderno. Tan moderno, que ni siquiera existe todavía como tal.

El lenguaje que tendría como nombre M#, se basa en C# y está específicamente diseñado para la programación de sistemas operativos, capaz de llegar hasta el más bajo nivel pero sin perder las abstracciones útiles y necesarias para crear programas más comunes, como aplicaciones de usuario.

Joe Duffy, uno de los desarrolladores de Midori, ha compartido detalles sobre este futuro lenguaje. La idea principal es crear un lenguaje con tipado seguro (type-safety) como C#, pero con muy buen rendimiento, como C++.

Gran parte del esfuerzo en rendimiento se centra en modificar dos áreas de C#: el colector de basura y el sistema de tipado.

– En cuanto al colector de basura de M# tomaría prestadas varias ideas de C++ para entender mejor el ciclo de vida de los objetos (cuándo se empiezan a usar y cuándo dejan de necesitarse) y así ser más eficiente a la hora de reservar y liberar memoria sin que el colector tenga que entrar en juego.

– En lo referido al sistema de tipado, se busca afrontar el procesamiento en paralelo. M# incluiría conceptos de los lenguajes de programación funcionales, principalmente inmutabilidad de los objetos y control de efectos secundarios en los métodos, que harían más sencillo para los programadores y para el compilador crear varios hilos para aprovecharse de los múltiples núcleos de los ordenadores y así mejorar mucho el rendimiento.

Además, M# también traería un nuevo sistema de control de errores: rápido, sencillo de usar, eficiente, que haga uso de los contratos de código para restringir el comportamiento del programa a los caminos válidos y fácil de entender para que el compilador pueda realizar optimizaciones.

Microsoft parece tomarse en serio la siguiente etapa de Windows. Mary Jo Foley comentó que Midori ha pasado de ser un proyecto sólo de investigación a estar bajo la supervisión de Terry Myerson, en el grupo de Unified Operating System. M# y Midori no son sólo un experimento, sino el camino que tiene que seguir Microsoft.

Midori no estará de momento disponible ni a corto ni a medio plazo. Pero cuando se finalice (si se finaliza) será un sistema que, estando enfocado a sistemas paralelos y a la nube desde el principio, pondría a Microsoft a la cabeza en el mundo de los sistemas operativos, al menos a nivel técnico y de capacidades.

En cuanto a M#, si tal y como prometen fuere una extensión de C# sin cambios no compatibles, muchos desarrolladores podrían pasar a él sin problemas. Y si lo liberan completamente desde el primer momento, cosa que han prometido, puede que lo consigan sacar del ‘círculo Microsoft’ en el que C# está atrapado ahora mismo, expandirlo y así obtener una ventaja enorme frente a otros lenguajes y compañías.

De momento, parece que el lenguaje tendrá algo de futuro, y se conocerán más detalles en las próximas semanas. En cuanto a Midori, que recordemos que ni siquiera es oficial, todavía tardaremos bastante en saber algo más de él, pero este tipo de historias nos van indicando hacia dónde se dirige Microsoft.

Para saber más:

http://www.zdnet.com/microsofts-midori-the-m-connection-7000024664/

Deja un comentario