Sueño con un lenguaje EVM que: - tenga genéricos - tenga tipos lineales - tenga tipos variantes - te permita construir abstracciones seguras sobre optimizaciones de bajo nivel - no dé errores absurdos - tenga buenas herramientas de FV - genere buen bytecode ¿Es mucho pedir?
7,37K