@Log_net

Вот у меня вопрос какие Яп нужны, чтоб создавать антивирусы или ОС и т.д(сложные программы)!

0

@Dmitriy_M

Особенно забавно видеть

0

@castorsky

Во время первой загрузки система компилирует собственные компоненты.

0

Evg

А чем компилирует? Я в исходниках особенно и не ковырялся, но кроме текстов на лиспе там вроде бы ничего нет

Добавлено через 6 минут
Кстати, а зачем исходники компилировать в момент первой загрузки? Почему нельзя их просто взять и скомпилировать заранее?

Добавлено через 5 минут
Чисто посмотрев на имена файлов я так и не смог понять, где тут загрузчик бинарных файлов. Если он вообще тут есть. Хотелось-таки понять, умеет оно загружать файл по заданному адресу виртуального пространства (собственно из-за чего у нас и возник спор по поводу преобразования числа в адрес) или нет. Вполне возможно, что при такой идеологии пользовательским приложением является тут вовсе не бинарник, а текст на лиспе

0

@castorsky

Как бы Вам так объяснить. Лисп-образ сам по себе является чем-то вроде ОС и по сути ему ОС не нужна. Стандарт требует чтобы бинарный файл содержал лисп-образ способный в runtime составлять, компилировать и запускать новые программы. На другие вопросы не могу Вам ответить. Вы же видите что документации просто нет. Тем не менее примечательно то что это возможно. Даже все драйвера написаны на CL, что для меня является неожиданностью.

0

Evg

Что такое "лисп-образ"? Просто я с лиспом не знаком вообще никак, а интуитивно термин никак не понимаю

В исходниках помимо текстов на лиспе нашёл ещё какой-то файл в бинарном виде, что уже говорит о том, что эта ОС только для одного процессора. Да и вот хотелось бы понять, что это и каково его происхождение. Если это некоторое базовое ядро, написанное на ассемблере/си или чём-то подобном, то это многое объясняет, т.к. на лиспе по сути дела написана только некоторая "верхняя" часть ядра

0

@castorsky

компилятор, сборщик мусора и т.д. Всё что нужно для метапрограммирования во время выполнения. Чтобы программа могла "писать", компилировать и запускать другие программы, которые в свою очередь могли бы делать всё то же и т.д. По этой причине этот язык не подходит для мелких unix-way утилит, но идеален для создания полномасштабных систем. По поводу блобов, я их тоже видел. Только не понимаю почему блоб нельзя написать на чем-то отличном от си или ассемблера.

0

Evg

Тогда получается, что сначала пишется некоторая раскруточная часть, загружаемая на голой машине, которая и выполняет одновременно как смысл "образа лиспа" так и, вероятно всего, ядра операционной системы

Если я правильно понял из контекста, что такое "блоб". Машина на низком уровне управляется командами, которые не выражаются через языки программирования (без ассемблера или ассемблерных вставок). В основном это записи в системные регистры. Чтобы работать с устройствами, нужно уметь обращаться в память по фиксированному адресу (то бишь преобразование целое->поинтер с точки зрения языка программирования). Собственно, именно этот момент для меня был тем, что является препятствием для написания низкоуровневой части на высокоуровневых языках типа лиспа. Насколько я понял из исходников, на лиспе написан только обвес над тем, что является условно ядром данной системы. В этом смысле для написания ОС годится абсолютно любой язык, при условии, что ты втащишь в ядро ОС необходимую для этого языка run-time поддержку. На на 100% написать ядро на языке программирования нельзя даже на Си

0