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
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!
2
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?
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
I don't know what a coeffect is?
1
Show replies