Наличие unsafe в c# можно преподнести как фича для экспертов (чем и является), а различного рода иньекции являются не следствием используемого языка, а необученности или безответственности программиста.
Логичнее было бы сравнивать с таким же безопасным кодом на c# и сделать вывод о том, что Nemerle, благодаря макросам, позволяет писать безопасный код гораздо лаконичнее и читабельнее.