OS yazılı Haskell var mı? | Netgez.com
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

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ÅŸ:
  • Google+
  • E-Posta
Etiketler:

YORUMLAR

SPONSOR VÄ°DEO

Rastgele Yazarlar

  • krotoflik

    krotoflik

    26 ÅžUBAT 2011
  • Rozetked | Обзоры

    Rozetked | Ð

    5 AÄžUSTOS 2011
  • talkandroid

    talkandroid

    27 Mayıs 2010