Algunas actualizaciones de HOC: - HVM4 está mayormente completo y en fase de pruebas. Todavía faltan algunas cosas importantes que no son urgentes, así que se añadirán más adelante. HVM4 es básicamente una versión ultra pulida de HVM1, incluyendo todo lo que hemos aprendido desde entonces. Ahora creo que el enfoque HVM1 era superior al HVM2 (y al Bend), porque la pereza es realmente importante en los evaluadores de redes de interacción. HVM4 alimentará a Bend2 y SupGen1. - SupGen1 está 100% completo. No hubo 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 mucho para una clase de funciones fusibles y eso permitiría aplicaciones realmente interesantes, pero hace falta más investigación. Esperamos lanzar una API el mes que viene. El principal bloqueador es el clúster, que ahora mismo está migrando a una ubicación más robusta. Estamos bloqueados por montones de burocracia brasileña. No podemos hacer mucho. 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á ~2 meses después de SupGen, ¿así que alrededor de mayo? Pretende ser un lenguaje de demostración como Lean, pero diseñado para aplicaciones reales y codificación de vibración en lugar de matemáticas y artículos. Quizá sea la frase más profana que he escrito nunca, y por eso creo que será genial. Por supuesto, seguirá funcionando en paralelo igual que la curva 1, con apuntado HVM4. El equipo está trabajando duro en HVM4 / SupGen ahora mismo. Mientras tanto, yo estoy tomando un pequeño descanso para trabajar en otro proyecto y volveré en un mes más o menos...