The next great "language for agents" should be:
- As fast as Rust
- As little design space as Go
- Have the strictest type/verification system ever written
Bend seems like an interesting first effort
Matt Pocock
@mattpocockuk
IMO it's not remotely ready for primetime, I broke their online playground with 3-4 prompts
bend-lang.com
bend-lang.com
bend-lang.com
Bend
Bend: a fast language that blocks AI mistakes via proof.
5:25 PM UTC · Oct 25, 2026 · 67.2K Views
175438130