El fichero de ayuda de Freya

Está en inglés y no está terminada, pero es la documentación más exacta respecto al estado actual de Freya:

• Ayuda HTML de Freya

Ayer intenté subir el fichero compilador CHM, pero al descargarlo para probar, me daba problemas con las zonas de seguridad. La solución más rápida era generar un instalador, pero me pareció excesiva.

---

Lo decía en un comentario, pero lo repito aquí arriba: preparaos para un megalibro sobre C# a finales de año. Como suele ocurrir en estas cosas, va a ser el mejor libro que he escrito hasta el momento: por temática, por tratamiento, por concisión y por estilo. Sobre esto último, una de las "novedades" que he mantenido ocultas en este período es que finalmente he puesto una lanza en la escritura "de ficción"... usando un pseudónimo. No creo que me vaya a "forrar" de momento, ni a producir mucho revuelo literario... de momento, pero las consecuencias para mi trabajo de informático es que ahora escribo un poco mejor, incluyendo los libros técnicos.

... y no, no voy a mezclar lo que debe ir separado.

---

Y no os preocupéis, amigos, que no se trata de una depresión. La depresión es una enfermedad seria, que afecta por igual a hombres y mujeres, pero mis cabreos no van por ahí. De hecho, quienes me conocen personalmente saben que lo más frecuente es encontrarme cabreado, o por darle algo de dignidad, "justamente indignado". Se podría escribir un libro que comenzase Canta, oh diosa, la cólera del martínida Ian....

---

Para que no os aburráis demasiado, los que aún no estáis de vacaciones, ahí va una de las ventajas de Freya (Enrique, te debo un mensaje... y a Jaime, y a Nico, y a David...) respecto a alternativas similares: las interfaces en Freya pueden incluir aserciones:

IStack = interface[X]
    property IsEmpty: Boolean; readonly;
    property Top: X; readonly;
        requires not IsEmpty;

    method Push(Value: X);
        ensures Top.Equals(Value);
    method Pop: X;
        requires not IsEmpty;
        ensures Result.Equals(old Top);
end;

De hecho, ¡no tendría mucho sentido tener un lenguaje con interfaces y aserciones, y que estos dos recursos no se pudieran combinar! Se trata, además, de una combinación segura, no problemática: más problemas, tanto teóricos como prácticos, da la transmisión de aserciones a través de una cadena de herencia.