search

AndyShiue / Ende-readme

Ende is a hypothetical programming language.
23 stars 1 forks source link

unsafe #13

Open AndyShiue opened 8 years ago

AndyShiue commented 8 years ago

There are three kinds of unsafely arranged with the strength, unsafe(dyn) >= unsafe(const) >= unsafe(in type). There's also another series of unsafely meaning implementing a trait is unsafe.

AndyShiue commented 7 years ago

Now I think special syntax isn't needed. Just use extensible effects.