AIBend2 programming language may launch on September 17, 2026
Bend2's creator describes a design closer to C than Haskell, with parallel execution, a Lean-like proof system and high-level features without garbage collection.
TLDR
Bend2's creator said on September 16 that the language might launch the following day. He describes JavaScript-like closures, Lean-like dependent types and Bend1-like parallelism, while claiming C-like speed. He also says Bend2 leaves out interaction nets because he couldn't make them as fast as lower-order variants on everyday hardware—a choice he frames as prioritizing practicality.
Combined views
815
1 Source, first seen 1d ago
Bend2 programming language may launch on September 17, 2026
Bend2's creator describes a design closer to C than Haskell, with parallel execution, a Lean-like proof system and high-level features without garbage collection.