-
Uma linguagem com tipagem estática para a EVM (Ethereum Virtual Machine), influenciada por Python e Rust
-
Funcionalidades e objetivos
→ Verificações de limites e overflow
→ Fornece decidibilidade ao restringir o comportamento dinâmico do programa
→ Previsão de gas mais precisa
→ Tipagem estática
→ Suporte a funções puras
→ Restrição de reentrância
→ Loops estáticos
→ Importação de módulos
→ Biblioteca padrão
→ Tem como alvo a EVM e eWASM com YUL IR
→ Compilação de contratos Fe no navegador com WASM
→ Desenvolvimento de implementações seguras e robustas por meio de Rust
- Ainda está em estágio inicial de desenvolvimento
→ Teve uma versão alfa lançada no início de 2021, com ciclo de lançamentos mensais em andamento
Ainda não há comentários.