Fe Language

Fe is a Rust-like language for the EVM, with explicit effects, message-passing contracts, and an integrated toolchain.

[Fe Language @official_fe]

Amigos, ¡aquí tenéis el primer tutorial en español sobre los conceptos más importantes de Fe! 🇪🇸

[Kevin 「Jistro」 @jistro]

Armé el PRIMER tutorial en español sobre @official_fe 🛠️
Si vienes de Solidity, te interesa: vemos setup, tu primer "Hola Mundo" y sus conceptos clave.

Míralo acá 👇
https://t.co/oxV3hIriZ6

#FeLang #EVM #Web3

[christoph.burgdorf.eth 🌍🇪🇺 @cburgdorf]

Solady's LibMap/LibBitMap is beautifully hand-tuned assembly. It also shouldn't have to exist.
Every line works around one missing Solidity feature: const generics. In Fe the same thing is ~60 lines, no assembly, same gas. 🧵

[christoph.burgdorf.eth 🌍🇪🇺 @cburgdorf]

Can you look at this and not like it? 🤭

[christoph.burgdorf.eth 🌍🇪🇺 @cburgdorf]

Trait bounds are among my favorite toys 🪀

[christoph.burgdorf.eth 🌍🇪🇺 @cburgdorf]

Little known Fe feature 👇

[Axe 🐙 @Logicb0x]

This is the big mindset change, PL are here to help you, not to be a whiteboard design jerk off

[Fe Language @official_fe]

♥️我們也是

[wubixuan @wbx474846718]

@rayoo_eth 不如Fe，我更喜欢rust风格，静态强类型系统。@official_fe

[christoph.burgdorf.eth 🌍🇪🇺 @cburgdorf]

Enter Fe: Both problems collapse into a single compile-time solution.

Since bit-width is a const generic parameter, there is zero code duplication. One `StoragePackedArray<BITS>` covers every width we want to support.

Because BITS is known at compile time, the slot derivation, lane width, and bitmasks fold into immediate constants. The high-level Fe code compiles down to the same gas as the assembly Solady writes by hand.

No assembly needed.

[Fe Language @official_fe]

Solady's LibMap is hundreds of lines of hand-tuned assembly. The same thing in Fe: ~60 lines, no assembly, same gas.

@cburgdorf breaks it down for us 👇

[christoph.burgdorf.eth 🌍🇪🇺 @cburgdorf]

Solady's LibMap/LibBitMap is beautifully hand-tuned assembly. It also shouldn't have to exist.
Every line works around one missing Solidity feature: const generics. In Fe the same thing is ~60 lines, no assembly, same gas. 🧵

[christoph.burgdorf.eth 🌍🇪🇺 @cburgdorf]

Anon. What's your excuse for not hacking the ETH that's been sitting on Fe written contracts on the Ethereum Mainnet already? Are your agents to weak or is Fe too strong?

[Argot Collective @argotorg]

Fe has been turning heads recently.

Check out this example showcasing what it can do 👇

[Axe 🐙 @Logicb0x]

@recmo @newmichwill ps - If you like Rust langs, check @official_fe and @plankevm they will want help and PRs :)

[Fe Language @official_fe]

👇

[ALTF4 @0xALTF4]

@official_fe @Uniswap hardcoded constants usually hide years of accumulated pain

[Fe Language @official_fe]

Zig got there via comptime. Rust got there via const fn. Fe got there too. Different paths, same answer: the bytecode doesn't care, but humans do.

[banteg @banteg]

@official_fe looks very similar to how comptime in zig works. it's a good idea that allows you to show how the sausage is made and makes the code more auditable, while the bytecode stays is the same optimized shape as if you had hardcoded the magic values.

[Fe Language @official_fe]

Same idea runs deeper than user code. Fe's compiler doesn't actually know what "Solidity ABI" is.

The mapping that says u256 encodes as the string "uint256" is stdlib. Event topic0 hashes, 4-byte selectors, ABI sizes are all derived from these stdlib const fns.

No compiler magic. The std library is the source of truth.

[Fe Language @official_fe]

Every smart contract dev knows them: the 32-byte magic numbers at the top of files. Storage slots. Type hashes. Selectors. Fancy math. Returned as constants from build scripts, or copy-pasted from somewhere.

Taking @Uniswap 's tick math as an example.

Fe has a different answer 🧵

[Fe Language @official_fe]

The strict rules make this safe:

A `const fn` can have mutable state, loops with break/continue, match, operator overloads but no effects, no with and only const-to-const calls. Pure by construction.

You can't accidentally make your constant non-constant.

[Fe Language @official_fe]

If you want to participate make sure to join our channel before:

💻 https://t.co/JQkI6fDDIS

if you just want to follow along tune in here:

📺 https://t.co/tjfrmN6JgG

Check out Bountiful here:
🔗 https://t.co/kwdFJ99ssn

[Fe Language @official_fe]

Got any burning questions about Fe? 🔥

Come to our office hours today at 12PM EDT / 6PM CEST!

In order to join follow below 👇