I'm currently reviving an old project of mine to rewrite Unix core tools in Ada. It's like a dress rehearsal: if I can write simple stuff like cp, ls, cat, etc. in this cantankerous but powerful and safe language, I'll be set up to write more complicated stuff in it.