Using Haskell for prototyping has its uses!...prototyping for the formal verification of an operating system, for example... :P [1] [1] http://www.ssrg.nicta.

Using Haskell for prototyping has its uses!...prototyping for the formal verification of an operating system, for example... :P [1] [1] http://www.ssrg.nicta.com.au/publications/papers/Klein_EHACDEEKNSTW_09.pdf http://www.ssrg.nicta.com.au/publications/papers/Klein_EHACD...