Возник такой вопрос:
http://erlang.dmitriid.com/forum/topic/7?replies=3#post-53
На сайте softcraft.ru нашел статью "Сильные стороны функционального программирования". В списке литературы в конце упоминалась книга P.Henderson. Purely Functional Operating Systems. 1982 Было бы интересно почитать что такое функциональная операционная система. Выложите, пожалуйста, ссылку.
Здравствуйте, Mamut, Вы писали:
ОС на Хаскелле: House
T. Hallgren. The House web page.
http://www.cse.ogi.edu/~hallgren/House/,
A Principled Approach to Operating System Construction in Haskell
Thomas Hallgren, Mark P Jones, Rebekah Leslie, Andrew Tolmach
House Demo 1.44-Diskette
_________________________
Версия микроядра L4: seL4, было написано на Хаскелле, верифицировано с помощью Isabelle и переписано на С++ для повышения быстродействия.
Verifying an Operating System Kernel
Michael Norrish
http://www.ok-labs.com/search/results?cx=017928121238619124829%3Abajp7ehjcgc&cof=FORID%3A11&q=seL4&sa=Search
P. Derrin. seL4 Reference Manual
_________________________
Timber -- RTOS, написанная на диалекте Хаскелла, верифицированная и переписанная на Си (опять же для ускорения)
Timber as an RTOS for Small Embedded Devices
Martin Kero, Per Lindgren, Johan Nordlander
_________________________
Lisp-based OSes
_________________________
В Истории Хаскелла упоминалась ОС, написанная в компании Burroughs в середине 80-х на чистом ленивом ФЯ SASL (один из предшественников Хаскелла), но я так и не нашёл ссылок на это дело... :о(
Здравствуйте, Mamut, Вы писали:
M>Возник такой вопрос: http://erlang.dmitriid.com/forum/topic/7?replies=3#post-53
M>M>На сайте softcraft.ru нашел статью "Сильные стороны функционального программирования". В списке литературы в конце упоминалась книга P.Henderson. Purely Functional Operating Systems. 1982 Было бы интересно почитать что такое функциональная операционная система. Выложите, пожалуйста, ссылку.
Какой-то маленьки обзор:
DR P HENDERSON
FUNCTIONAL OPERATING SYSTEMS Oct 81 -Sept 83
(надо промотать полстраницы вниз)