Another fun insight gained this week: the unsafe keyword is actually two keywords in a trenchcoat. Much like `async/.await` there is the:
- function modifier (`unsafe fn`)
- call convention (`unsafe {}`)
5
1
30
Conversation
Replying to
Back in the day (pre-1.0) I _think_ there were ideas to rename `unsafe {}` blocks to `trusted {}`, but I don't think it went anywhere. It seems quite similar to modal types, where you 'box' and 'unbox' terms… but not sure!
Would highly recommend you check out at some stage, I think many of the things you are pondering might be connected the stuff they are exploring?
1
1
To make it more clear, I'm interested in the ways your abstracted keywords work… like I'm assuming that some of the keywords correspond to coeffects, and some correspond to effects? But I could be mistaken.
1
1
Show replies
Oh, I found an RFC from 2014 by : github.com/rust-lang/rfcs – not sure if this is what I was remembering.
1