OS yazılı Haskell var mı?

SORU

9 Temmuz 2011, CUMARTESİ

OS yazılı Haskell var mı?

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?

CEVAP

9 Temmuz 2011, CUMARTESİ

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

Bunu Paylaş: