M
Во вторых их даже в окамле не доконца внедрили
Size: a a a
2020 May 08
M
В третьих вообще есть сомнения о том решение ли это проблемы обработки ошибок
M
Сверху я рассуждал чисто практически о решении задачи
G
ну то же самое можно и для раста сказать. непонятно работает ли вообще борроу чекер на момент создания раста или нет
M
Мы с тобой недавно кукарекали за имплементацию зав типов
G
оказалось где-то работает, где-то нет
G
где не работает - допиливают
M
И у нас там куча проблем всплыло
M
где не работает - допиливают
Ну того и ждём собственно
G
еще самое ржачное то что даже в Си можно систему алг. эффектов сделать
M
Да вопрос то не в этом
G
да, я понял о чем ты
G
о недоразвитости концепции
M
Чувак на конфе показывал как на трёх опира орах можно весь фукан построить и как на этом писать компаил тайм функциональные вычисления
M
Проблема в том что ты не можешь это адекватно применить
M
о недоразвитости концепции
Не только
G
ну насчёт эрланга. он похожу не совсем general-purpose, т.к. всетаки у него есть своя ниша
G
вот раст general-purpose реально
M
Реализация тех или иным механизмов во-первых даёт обратную связь во вторых домейн специфик это решение задачи
M
Взять тот же эрланг