-
Un lenguaje de tipado estático para la EVM (Ethereum Virtual Machine), influenciado por Python y Rust
-
Funciones y objetivos
→ Verificaciones de límites y desbordamiento
→ Proporciona decidibilidad (Decidability) mediante la restricción del comportamiento dinámico del programa
→ Predicción de gas más precisa
→ Tipado estático
→ Soporte para funciones puras
→ Restricción de reentrada
→ Bucles estáticos
→ Importación de módulos
→ Biblioteca estándar
→ Apunta a EVM y eWASM con YUL IR
→ Compila contratos de Fe en el navegador con WASM
→ Desarrollo de una implementación segura y potente mediante Rust
- Aún está en una etapa temprana de desarrollo
→ Se lanzó en alfa a inicios de 2021 y sigue un ciclo de lanzamientos mensuales
Aún no hay comentarios.