6 ms·
I believe Haskell could be up to the job, but I heard that there were some difficulties in guarding against timing attacks. However those could have just been n
by codygman 13y ago
I believe Haskell could be up to the job, but I heard that there were some difficulties in guarding against timing attacks. However those could have just been noise. I know that a functional (I believe and haha) operating system was made in Haskell.
Aren't Operating Systems lower level than OpenSSL?
- nknighthb 13y agoI look forward to reading the hilarious threads that will be spawned when you take to linux-kernel, freebsd-hackers, openbsd-misc, etc. and inform them they should be developing their kernels in Haskell. Functional programming's unpopularity is not rooted in any real or imagined inability to write operating systems.
- codygman 13y agoWell you also have to account for the fact that they've spent a lot of time working with their tools and are quite invested in them. Perhaps they would balk at the idea of writing a kernel in Haskell, but it has been done before.
- nandemo 13y agoIf you mean Metasepi, it's still under development: http://metasepi.org http://metasepi.org (mostly in Japanese) http://www.ipa.go.jp/files/000036232.pdf http://www.ipa.go.jp/files/000036232.pdf (Slides in English)
- codygman 13y agoThanks, I had forgotten about Metasepi!
- mercurial 13y agoThere is HalVM, but it's only for Xen.