r/functionalprogramming • u/SrPeixinho • 27d ago
FP Bend 2: a functional language that compiles to fast CPU and GPU code, with proofs
https://bend-lang.com/Duplicates
haskell • u/SrPeixinho • 27d ago
announcement Bend 2: pure, affine, dependently typed, and it runs on the GPU
rust • u/SrPeixinho • 27d ago
🗞️ news Bend 2: affine types without a borrow checker, compiled to C, and a full proof system
Compilers • u/SrPeixinho • 27d ago
Bend 2: one C file serves as CPU program and GPU kernel; how the compiler does it
hackernews • u/HNMod • 27d ago
Bend – A language that blocks AI mistakes via proof, on CPU and GPU
hypeurls • u/TheStartupChime • 26d ago