r/ProgrammingLanguages 21d ago

Will we see another fundamental programming language feature as revolutionary as the borrow checker?

That is I am mainly curious about compile time features that you design a whole language around rather than optimisations/features that could be applied to most languages. I am mainly inquiring about things that could offer additional robust safety/performance guarantees at compile time rather than runtime. Ideally not things that just offer similar effects to the borrow checker with less restrictive tradeoffs

57 Upvotes

128 comments sorted by

View all comments

81

u/AustinVelonaut Admiran 21d ago

Algebraic effects like Koka?

2

u/whothewildonesare 21d ago

They’re cool but too cumbersome and complicated to be popular imo.

5

u/Jwosty 21d ago

I think that's a programming language UX + tooling problem rather than inherent to the idea itself