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
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Metasepi team meeting #6: "Snatch-driven development"
