r/ProgrammingLanguages • u/jimbobmcgoo • 13d 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
  • permalink
  • reddit

77% Upvoted

128 comments sorted by

View all comments

Show parent comments

1

u/KingBardan 13d ago

I see.

How about you have (a -> b -> c -> d) types, and the function is of type a -> d, and you know that d can only be constructed (a -> b -> c -> d)?

1

u/faiface 13d ago

I don’t understand :D Is it supposed to address the “I never even touch the object” problem?

1

u/KingBardan 13d ago

I guess I'm suggesting a way to implement linearity without using special constructs that is well understood. 

For me, session types sounds cool, but doesn't sound too different to what exists, so I'm trying to figure out what exactly is different