Code Archive Skip to content Google About Google Privacy Terms
Funk, the functional kernel.Funk is a project of writing a kernel in OCaml. It could then be used as an educational tool for teaching OS design, for instance, or may be just replace Linux before Hurd goes out. The project uses the power of a high-level programming language, with GC, static type checking, polymorphisms and other features, to abstract the OS designer from low-level problems that can
ã©ã³ãã³ã°
ã¡ã³ããã³ã¹
ãç¥ãã
ãªãªã¼ã¹ãé害æ å ±ãªã©ã®ãµã¼ãã¹ã®ãç¥ãã
ææ°ã®äººæ°ã¨ã³ããªã¼ã®é ä¿¡
å¦çãå®è¡ä¸ã§ã
j次ã®ããã¯ãã¼ã¯
kåã®ããã¯ãã¼ã¯
lãã¨ã§èªã
eã³ã¡ã³ãä¸è¦§ãéã
oãã¼ã¸ãéã
{{#tags}}- {{label}}
{{/tags}}