Algunas actualizaciones de HOC: - HVM4 está casi completo y en fase de pruebas. Aún le faltan algunas cosas importantes, pero no son urgentes, así que se añadirán más tarde. HVM4 es básicamente una versión ultra pulida de HVM1, incluyendo todo lo que hemos aprendido desde entonces. Ahora creo que el enfoque de HVM1 fue superior al de HVM2 (y Bend), porque la pereza es realmente importante en los evaluadores de red de interacción. HVM4 impulsará Bend2 y SupGen1. - SupGen1 está 100% completo. No ha habido grandes mejoras desde mis publicaciones del año pasado. Podemos sintetizar funciones como sort() muy rápido, pero la composición sigue siendo lenta. Creo que se puede mejorar enormemente para una clase de funciones fusibles y eso permitiría algunas aplicaciones realmente geniales, pero se necesita más investigación. Esperamos lanzar una API el próximo mes. El principal obstáculo es el clúster, que se está migrando a una ubicación más robusta en este momento. Estamos bloqueados por toneladas de burocracia brasileña. No hay mucho que podamos hacer. Si esto no es lo suficientemente obvio, déjame decirlo en voz alta: no crees una empresa tecnológica en Brasil. (: - Bend2 se lanzará un poco más tarde, quizás ~2 meses después de SupGen, así que alrededor de mayo? Su objetivo es ser un lenguaje de prueba como Lean, pero construido para aplicaciones reales y codificación de ambiente en lugar de matemáticas y documentos. Esa es quizás la frase más profana que he escrito, y por eso creo que será genial. Por supuesto, seguirá funcionando en paralelo, al igual que Bend1, mediante el objetivo de HVM4. El equipo está trabajando duro en HVM4 / SupGen en este momento. Mientras tanto, estoy tomando un breve descanso para trabajar en otro proyecto y volveré en un mes aproximadamente...