JS
Не слишком ли офтоп? Если уж другие языки обсуждать то хотя бы фп, я понимаю что в хаскеле есть ffi для си, но это явно тема не для новичков
да, это я полез занудствовать
Size: a a a
2021 March 31
JS
короче, если хотите написать ядро ОС, пишите на Хаскеле, как Лаборатория Касперского
AK
Не слишком ли офтоп? Если уж другие языки обсуждать то хотя бы фп, я понимаю что в хаскеле есть ffi для си, но это явно тема не для новичков
Может и оффтоп, но к примеру в ембеддеде в С используется volatile переменные для дого что бы уазать, что содержимое может менятся внешним воздействием и выбрасывать ее нельзя меняя на константу. Но с точки зрения ФП это уже не впихнуть в чистую функцию?
[
короче, если хотите написать ядро ОС, пишите на Хаскеле, как Лаборатория Касперского
звучит многообещающе
JS
Может и оффтоп, но к примеру в ембеддеде в С используется volatile переменные для дого что бы уазать, что содержимое может менятся внешним воздействием и выбрасывать ее нельзя меняя на константу. Но с точки зрения ФП это уже не впихнуть в чистую функцию?
с точки зрения ФП это можно впихнуть в эффекты
AK
звучит многообещающе
На хакеле или как Касперского?
[
то, что ядро kasperskyOS на хаскеле
JS
то, что ядро kasperskyOS на хаскеле
не совсем так. в его исходниках очень много Хаскеля и оно написано с помощью Хаскеля
AK
с точки зрения ФП это можно впихнуть в эффекты
Мне кажется с точки зрения ФП это как параметр функции должно быть
JS
Мне кажется с точки зрения ФП это как параметр функции должно быть
обычно эффект — это результат. но может быть и параметром
JS
звучит многообещающе
не знаю, что оно обещает, но в проде уже давно
AK
обычно эффект — это результат. но может быть и параметром
Да, эффект упрощенно говоря это что то что инициируешь ты, а аргумент это что то что прилетает и от тебя не зависит. В эмбедедде volatile переменные они зависят от сторонних процессов как раз и ты на них не влияешь, только читать можешь
JS
Да, эффект упрощенно говоря это что то что инициируешь ты, а аргумент это что то что прилетает и от тебя не зависит. В эмбедедде volatile переменные они зависят от сторонних процессов как раз и ты на них не влияешь, только читать можешь
вы знакомы с монадами, IO и IORef?
AK
вы знакомы с монадами, IO и IORef?
Немного знаком
JS
Да, эффект упрощенно говоря это что то что инициируешь ты, а аргумент это что то что прилетает и от тебя не зависит. В эмбедедде volatile переменные они зависят от сторонних процессов как раз и ты на них не влияешь, только читать можешь
насколько я знаю, в языке С volatile означает всего лишь указание компилятору "убери магию, компилируй ровно то, что я написал"
AK
насколько я знаю, в языке С volatile означает всего лишь указание компилятору "убери магию, компилируй ровно то, что я написал"
Скорее запрет оптимизатору вычислять значение данной переменной
JS
Немного знаком
так вот это и есть изменяемые внезапно и снаружи ячейки памяти с точки зрения ФП
JS
Скорее запрет оптимизатору вычислять значение данной переменной
там есть и другие оптимизации, но это оффтопик
AK
так вот это и есть изменяемые внезапно и снаружи ячейки памяти с точки зрения ФП
Не спорю, в монаде ты капсулируешь императивный поток но сам поток определяется от тебя.
В ембедедде это плохой путь, жрет циклы проца и энергию, там код читающий регистры и области измененнные внешним агентом читают например в обработчике события и тут это на вызов функции больше похоже
В ембедедде это плохой путь, жрет циклы проца и энергию, там код читающий регистры и области измененнные внешним агентом читают например в обработчике события и тут это на вызов функции больше похоже
Д
C++ пока быстрее.
а ещё быстрее можно сгенерить из Хаскеля, смотрите доклады FHPC
а ещё быстрее можно сгенерить из Хаскеля, смотрите доклады FHPC
А где эти доклады можно найти?(название или ссылку в идеале)А то я этой фразой заинтересовал друга С++-ера))