> On the other hand, if I'm writing an operating system or a device driver, getting a GC'd language to be "good enough" is a very different type of problem Nic

> On the other hand, if I'm writing an operating system or a device driver, getting a GC'd language to be "good enough" is a very different type of problem Nicklaus Wirth's Oberon OS (written in Oberon), Microsoft's Singularity OS (written in a variant of C#), the Mirage Unikernel written in OCaml, these are all examples of OSs written in GC'd languages. I am not aware of performance being an issue in any of these cases. Oberon was extensively used at ETH, and the components of Mirage that I am aware of (such as their OpenSSL and DNS) are competitive in performance with their C counterparts.