Sadece öğrenilen bir ay Haskell (ve yüzeysel sorular...). Haskell bilmek pek çok faydaları vardır, güvenli bir dil... orada biri OS, hatta basit bir tane yazmaya çalışıyorum, Haskell, sadece işler, dosya sistemleri, basit bazı sürücüler destek olarak görev yapabilir mi? Eğer değilse, verimliliği sorunu yüzünden mi?

Kullanarak Çekirdekleri için Haskell

Haskell kullanmak için aşağıdaki Çalışma: bir çekirdek yapı incelenmiştir

• hOp
• House (ve) Deniz Feneri
• Rebecca Leslies Doktora Tezi (Haskell bir L4 yapmaThe H Interface,) - ama onu tez kamuya henüz sanmıyorum savundu var.
• Kinetic

Diğer Sistemler Çalışır (katman) İçin Haskell kullanarak

• HaLVM çapraz Xen çalışan VMs üretmek derler değiştirilmiş bir DZD.

  • HaNS Bir ağ yığını HaLVM üzerinde çalışmak için geliştirilmiştir.
  • Halfs, en az bir noktada, HaLVM üzerinde çalıştırmayı başardı.

• Bazı eski HaLVM yamalar Linux kernel modules in Haskell yazmak için bir yöntem yapmak için kullandım.

Kullanarak Bir Sistem İle Etkileşim için Haskell

Bu Haskell Wiki biraz daha yararlı olduğu, hangi Sigorta ve bağlantıları ile. Ayrıca size umuyoruz özel bir şey var (örn: 10 ** bağlamaları!) Hackage etrafa diye hala bu konu (at) güncelleme için tam değil,

Eğer birisi Haskell wiki var ya bütün bu çalışmalar ile güncel olduğundan emin olmak istiyorsa zaman makul bir kullanım olur.

Gerçek Zamanlı ve Diğer Kritik Sistemler için Dolaylı (Düzenle tarafından eklendi) Haskell

Bunu bilmiyorsan, bir yollarını Haskell kullanılıyor için "sistem" çalışma yoluyla yaratılış etki alanı belirli bir dil olan, verilen doğru bir şekilde uygulanması, oluşturmak güvenli/doğru C kodu derleme ve çalışan gömülü sistemler. Örneğin:

• SBV - "". Sembolik Bit Vektörleri Bu paket, resmen ispat uygulamak ve C kodu elde edebilirsiniz
• Atom - gerçek zamanlı gömülü sabit sistemler (hidrolik kontrolleri gibi) için C kodu oluşturmak için Kullanılır
• Copilot - göze batmadan beklendiği gibi işletim emin olmak için gömülü programları izleyebilir C kodu oluşturmak için Kullanılır