
vigalchin:
Hello,
I am seriously trying to push the mainstream computer industry. I am a kernel developer for POSIX OS's (e.g. Linux) and Windows. I would at the very least be able to write "test"/correctness software in Haskell where I am able to open Unix/Windows drivers and test storage firmware. The possibility exists in Houston to do this .. I want FPLs (in particular Haskell) to strut their "stuff" even on humble stubble stuff like firmware verification. In any case, it seems like the GHC documentation allows "raw driver I/O"but when I look at the actual GHC 6.8.1 libraries I don't see low level driver functionailty.
Kind regards, Vasya
Most OS kernel work is done in FFI code over some small amount of C, and then upwards. http://haskell.org/haskellwiki/Applications_and_libraries/Operating_system#S... If a binding to a particular C function you need is missing, use the FFI to create a Haskell binding to it. http://www.cse.unsw.edu.au/~chak/haskell/ffi/ -- Don