Haskell
Haskell is a functional programming language that can be used for operating system development.
This page won't describe the pros and cons or the features of using Haskell for kernel development. You can find out more about Haskell on Wikipedia. Just like with most other languages, you still require some assembly to jump into your Haskell code.
Compilers
The Glasgow Haskell Compiler is the recommended compiler for Haskell. GHC can output executables [citation of the executable formats required], byte code, object files, and even C code (which you can send through your favourite C compiler, such as GCC).
Support
Being a functional programming language, it may be hard to adapt a lot of example code written in imperative languages, therefore a heavy theoretical understanding of operating systems and the concepts involved is required. That being said, you're not completely alone; try Googling for "Haskell on Bare Bones", and more general terms such as "Functional Languages in Operating Systems".