>>25
There are lots of good reasons to pick C in the case you've presented. For one you can prove that what you wrote is correct, which is extremely important for what I'm currently working on. Incidentally, it's a series of daemons that will be invoked multiple times and then kept alive while a controller load-balances incoming connections over them. Very microkernel-esque.