How to rewrite the OS using C by strong type
This document outlines a plan to rewrite an operating system kernel using the C programming language with strong typing. It discusses problems that arise from using C like buffer overruns and page faults in the kernel. It proposes using techniques like algebraic data types and type classes to add flexibility without weak types. It presents existing strongly typed OSes and why they have not seen wi
Kernel Modules in Haskell
If you love Haskell and Linux then today is your day – today we reconcile the two and allow you to write Linux Kernel modules in Haskell. By making GHC and the Linux build system meet in the middle we can have modules that are type safe and garbage collected. Using the copy of GHC modified for the House operating system as a base, it turns out to be relatively simple to make the modifications nece
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
