Fe - un langage de smart contracts pour Ethereum

• Un langage à typage statique pour l’EVM (Ethereum Virtual Machine), influencé par Python et Rust

• Fonctionnalités et objectifs

→ vérification des limites et des dépassements de capacité

→ fourniture de la décidabilité grâce à la limitation du comportement dynamique des programmes

→ prévision plus précise du gas

→ typage statique

→ prise en charge des fonctions pures

→ limitation de la réentrance

→ boucles statiques

→ importation de modules

→ bibliothèque standard

→ ciblage de l’EVM et d’eWASM via YUL IR

→ compilation des contrats Fe dans le navigateur avec WASM

→ développement d’implémentations sûres et robustes via Rust

• Encore à un stade très précoce de développement

→ une version alpha est sortie début 2021, avec un cycle de publication mensuel en cours