На каком языке реально переписать Сишную часть кода ядра Linux?

bitC, cyclone

ocaml

brainfuck.

whitespace

>на чем еще можно?

на mono

/me хлопнул люком танка и зажмурившись стал ждать когда мелькающие в смотровых щелах злобные красные глаза расплавят броню танка и внутрь прольется град какашек.

В дополнение к сказанному выше: D, Lisp, befunge, C++, Pascal, Forth, Oberon, Prolog, (Visual)Basic. Наверняка еще с десяток. На каких-то удобно (D, Lisp), на каких-то нет(befunge, C++). Смотря что понимать под "Реально переписать": "чтоб работало", или "имеет практический смысл".

С++ =)

P.S: С какой целью?

>P.S: С какой целью?

just for fun

>/me хлопнул люком танка и зажмурившись стал ждать когда мелькающие в смотровых щелах злобные красные глаза расплавят броню танка и внутрь прольется град какашек

нам индейцам танки пофиг наши стрелы ядовиты

Практически на любом. Только вот зачем?

>ocaml

+1. или архитектура (proof of concept) на haskell, затем трансляция в высокопроизводительный язык

>на mono

моно -- это не язык.

>Практически на любом. Только вот зачем?

лучший способ выучить язык программирования - написать его компилятор. в принципе на ОС это тоже распространимо ;)

> затем трансляция в высокопроизводительный язык

В С?

>В С?

при желании - хоть в ассемблер. но да, прежде всего C

а давайте лучше форкнем HURD K16 на LISP ? L уже занято, ну пусть будет HURD Li1 :) ась ? а Linux пусть себе уж будет на C, и так вроде неплохо живёт...

>"имеет практический смысл".

меня интересует именно это применение

>D, C++, Pascal, Forth, Oberon

Хм. Действительно

>Lisp, Prolog, (Visual)Basic

чем это можно скомпилить чтобы получить рабочий образ который сможет загрузить лило?

>архитектура (proof of concept) на haskell, затем трансляция в высокопроизводительный язык

меня интересует именно этот "высокопроизводительный язык" если он отличный от ассемблера. а не подскажете насколько реально реализоватьдрайвера на хаскеле и как потом все это будет тормозить?

>меня интересует именно этот "высокопроизводительный язык" если он отличный от ассемблера. а не подскажете насколько реально реализоватьдрайвера на хаскеле и как потом все это будет тормозить?

пусть будет C. насчёт драйверов не понял - что именно должно начать тормозить ?

ну насколько я понимаю - Хаскель не из быстрых языков

А что такое быстрый язык?

> А что такое быстрый язык?

Гусары, молчать!! :D

Автору по теме -- ни на каком. Ядро содержит много миллионов строк кода. Ни в жисть тебе его в одиночку не переписать. :)

>ну насколько я понимаю - Хаскель не из быстрых языков

поясняю мысль. создание драйверов устройств - предметная область, имеющая вполне конкретную семантику, которая с помощью DSL может быть выражена. тот же C - язык общего назначения, его семантика избыточна. пример приближения подобного подхода - создание resource manager'ов в QNX Neutrino 6.2; насколько я помню в HURD изначально планировался декларативный подход описания драйверов - со своим DSL, да и в Singularity делают что-то подобное

Haskell - очень удобная среда для реализации eDSL. в рамках использования его компилятора/интерпретатора можно построить и отработать над Haskell DSL для решения любой конкретной задачи. примеры ассемблеров, реализованных таким образом, есть в сети. получив же proof of concept методики можно на том же Haskell написать компилятор полученного DSL хоть в C, хоть в ассемблер. сделать из eDSL обычный DSL

я не предлагаю писать драйвера на Haskell, и использовать затем ассемблерный/сишный код, сгенерированный GHC. хотя это в принципе тоже возможно - http://uebb.cs.tu-berlin.de/harpy/, http://programatica.cs.pdx.edu/House/

а я транслятор напишу с С :-)

шутка. Переписывать ядро я не собираюсь а вот написать что-то подобное манит...

так понятней

>Автору по теме -- ни на каком. Ядро содержит много миллионов строк кода. Ни в жисть тебе его в одиночку не переписать. :)

а где шла речь про "в одиночку" ?

>шутка. Переписывать ядро я не собираюсь а вот написать что-то подобное манит...

предлагаю поднять проект HURD/L4. кроме шуток

> предлагаю поднять проект HURD/L4. кроме шуток

Смысл?

Мертворожденное дитя поклонников Таненбаума... Пусть покоится с миром. :)

Интересная мысль. Хотя лично меня больше Minix привлекал...

но в ближайшие пол-года я буду перегружен чтобы отвлечся на проэкт

>Мертворожденное дитя поклонников Таненбаума... Пусть покоится с миром. :)

аналитик с ЛОРа ?

аналитик с ЛОРа ?

Не-а. Таненбаум с Амстердама. :D

>> Lisp, Prolog, (Visual)Basic

> чем это можно скомпилить чтобы получить рабочий образ который сможет загрузить лило?

Оно вроде все компилируется в машинный код... Гугл дал немало вариантов.

Для Basic есть MS Quick Basic и Borland Turbo Basic. :) Да и Visual Basic 6.0 в машинный код умел компилиться, правда только в Микро$офтовские объектные форматы.

Да. Похоже на Basic не получится. Разве что сперва написать компилятор для него, выдающий ELF.

На похапе - глобально и надежно :)

жабаскрипт

поддерживаю. на жабаскрипте еще никто не писал ;)

>поддерживаю. на жабаскрипте еще никто не писал ;)

давайте тогда сразу на Piet. ещё и красиво будет

ЧЕМ КОМПИЛИТЬ???

меня не интересует религиозная война. Меня интересует способ получить юзабельный коненый продукт.

Тогда придется из GRUB-а браузер делать.

title cvvOS-1.0
root (hd0,5)
kernel http://cvv-kernel.org/2.6.24 vga=0x317
initrd http://cvv-kernel.org/2.6.24/initrd

> ЧЕМ КОМПИЛИТЬ???

Э-э-э... Я бы попробовал компилятором?

> меня не интересует религиозная война. Меня интересует способ получить юзабельный коненый продукт.

Колбасу, что ли? :D

Для системного программирования лучше всего Си. И не надо трехколесный велосипед городить. ;)

>Для системного программирования лучше всего Си. И не надо трехколесный велосипед городить. ;)

верёвка - вервие простое

>> ЧЕМ КОМПИЛИТЬ???

>Э-э-э... Я бы попробовал компилятором?

КАКОЙ КОМПИЛЕР УМЕЕТ ГЕНЕРИТЬ НАТИВНЫЙ КОД С JavaScript? Я ни одного не встречал.

я бы сказал - один из лучших...

На тюркменском, да.

> КАКОЙ КОМПИЛЕР УМЕЕТ ГЕНЕРИТЬ НАТИВНЫЙ КОД С JavaScript? Я ни одного не встречал.

Ну почему ты такой наивный, а? :D Они тебя разводят, образованность всою хочут показать, а ты веришь...

К слову, в универе, где я учился, был такой проект для старшекурсников -- они писали операционку на Джабе. Причем, писали ее несколько поколений старшекурсников. Это было ТАКОЕ угребие, что глаза в одну точку сводило... ;)

Если серьезно, то я бы ограничился теми языки, на которых уже создавали системы: Fortran, PL/I, C/C++, Ada, Pascal, Forth и т.д. А дальше идут личные предпочтения и прочие факторы.

Если честно то на текущий момент я не могу различить развод по теме от серьезных высказываний. Я знаю что такое С его преимущества и недостатки... а в остальном плаваю

Таки забыли lisp и D. На них тоже делали системы, правда экспериментальные.

Там "и т.д." было

Ну, просто ребята пошутили :) тема уж больно провокационная.

А если не секрет, то почему такая задача? Вообще, тема очень непростая. Хотя есть много учебного материала, как теоретического (учебники), так и практического (код ядра).