AT
Не знаю почему, но генераторы точно не уступают монадам в гибкости.
Я что-то не вижу не то что доказательств этому утверждению, но даже эмпирических подтверждений.
Size: a a a
2020 May 04
А
Я что-то не вижу не то что доказательств этому утверждению, но даже эмпирических подтверждений.
Эмпирическое подтверждение я уже собственно обозначил
А
на генераторах была реализована асинхронщина в js до появления async/await, но после появления промисов
M
"Генераторные комбинаторы парсеров", может быть?
А
а промисы это почти монады
А
ах да, забыл
А
саги опять же
А
до сих пор используются
А
AT
Эмпирическое подтверждение я уже собственно обозначил
Реализации не то что STM, но и Continuation-Passing Monad на генераторах Вы не привели. Чтобы утверждать, что не уступают, нужны примеры по крайней мере всех тех же эффектов, что уже сделаны на монадах. Хотя бы основных, не говоря там про Backwards State и прочие изыски.
А
Реализации не то что STM, но и Continuation-Passing Monad на генераторах Вы не привели. Чтобы утверждать, что не уступают, нужны примеры по крайней мере всех тех же эффектов, что уже сделаны на монадах. Хотя бы основных, не говоря там про Backwards State и прочие изыски.
Не уверен кстати
А
что прям все все все фичи, реализованные на монадах, надо продемонстрировать
А
точнее уверен, что не надо
AT
что прям все все все фичи, реализованные на монадах, надо продемонстрировать
А что тогда значит "не уступают"???
А
А что тогда значит "не уступают"???
Дают такую же степень контроля над потоком вычисления, как и монады
А
Дают такую же степень контроля над потоком вычисления, как и монады
Интуитивно предполагаю, что не просто такую же, но и даже большую.
VM
Программисту имеющему опыт за рамками паскального семейства средств разработки (ну Дельфи, короче) практически нечем соблазниться. Не ищите там рационального зерна, это религия. Или как хобби (у меня, например :) Основные "жертвы" оберона - это школьники или люди из других профессий (не профессионалы в программировании), которые наслушались про "16 страниц, супер язык". Есть, как всегда, единичные исключения осмысленного применения на практике, но надо искать...
Так-с, а факты не укладывающиеся в эту теорию?
Active Oberon, OS A2?
MiniOs для вертолёта-беспилотника?
Станки с ЧПУ?
== ==
Кстати, не уверен, что FPGA с прошивкой на Active Cell удастся обогнать по скорости обработки потока данных.
== ==
Раз Дм.Дагаев на одном из "Дней Оберона" делал свой доклад, и мы обсуждаем этот доклад, то да...
== ==
Кроме О. , ещё любят делать компиляторы Modula-2.
( есть и интересные)
== ==
Об "анти О. религии":
шлите потребление RAM, как ведёт себя в QEMU и на "голом железе" конкуренты A2 и т.п.
Наверное, в не в чат по компиляторам... ( надо придумать куда)
В операционные системы на Ada я верю и так. ( На Си - скучно).
В Singularity верю.
ОС лучше самодостаточную, т.е. полная пересборка внутри себя и ещё пачка условий.
Послужу, так и быть "Фомой неверующим"...
Ещё можем скорость компиляции сравнить.
( Ладушки: лично я "свидетель Modula-3", как уже было признался)
Active Oberon, OS A2?
MiniOs для вертолёта-беспилотника?
Станки с ЧПУ?
== ==
Кстати, не уверен, что FPGA с прошивкой на Active Cell удастся обогнать по скорости обработки потока данных.
== ==
Раз Дм.Дагаев на одном из "Дней Оберона" делал свой доклад, и мы обсуждаем этот доклад, то да...
== ==
Кроме О. , ещё любят делать компиляторы Modula-2.
( есть и интересные)
== ==
Об "анти О. религии":
шлите потребление RAM, как ведёт себя в QEMU и на "голом железе" конкуренты A2 и т.п.
Наверное, в не в чат по компиляторам... ( надо придумать куда)
В операционные системы на Ada я верю и так. ( На Си - скучно).
В Singularity верю.
ОС лучше самодостаточную, т.е. полная пересборка внутри себя и ещё пачка условий.
Послужу, так и быть "Фомой неверующим"...
Ещё можем скорость компиляции сравнить.
( Ладушки: лично я "свидетель Modula-3", как уже было признался)
А
Точнее не больший контроль, а большую гибкость
AT
Интуитивно предполагаю, что не просто такую же, но и даже большую.
> точнее уверен, что не надо
У меня в голове это не складывается, извините.
У меня в голове это не складывается, извините.
А
> точнее уверен, что не надо
У меня в голове это не складывается, извините.
У меня в голове это не складывается, извините.
Не надо доказывать, что на генераторах можно реализовать STM