> As for terminal slowness, my computer boots in 16 seconds under linux.
> I recompiled my kernel yesterday and activated PRINTK_TIME/Show timing
> information on printks, it gives you the time a kernel message was
> emitted, related to startup. At the end of the boot, the kernel was
> giving times 3 seconds better than an independent chronometer. There
> had been enough things to write on the console for message to take 3
> seconds to be displayed. Displaying on a terminal is slooow
> everywhere, not just windows.
>
> Also, I don't think cygwin is bad. I just think it is not the
> appropriate answer for most of us. 

Cygwin is an answer if you can't code natively. If you insist on
using Unix mindset, then sure Cygwin is easiest. I don't see a problem
with OCaml doing things the Windows way on Windows, and Unix way on
Unices.

Cheers, Kuba