AZ
мне пришлось разбивать алгоритм на батчи по 500, потому что 1000 итераций ЕВМ уже не осиливает
Size: a a a
2018 December 01
AL
в смысле с предсказанием сколько вычисления займут из-за лени и т.п.? или просто с производительностью?
λ
@ozkriff смарт-контракты это скорее всего именно задача для чистой ленивой функциональщины. Но для неё нужно написать компилятор и VM, а вряд-ли сейчас кто-то в блокчейне это осилит.
AZ
в смысле с предсказанием сколько вычисления займут из-за лени и т.п.? или просто с производительностью?
потому что у фп как правило плохо сп роизводительностью, если в компилятор сильно не вкладываться
λ
хаскелеподобное плохо потому что там с производителньостью плохо
Да ты что
AL
хочется верить что к делу можно припахать уже написанные слои оптимизаций всякие, но да, я плохо себе ситуацию представляю в текущей экосистемы разработки функциональных компиляторов
λ
@ozkriff смарт-контракты это скорее всего именно задача для чистой ленивой функциональщины. Но для неё нужно написать компилятор и VM, а вряд-ли сейчас кто-то в блокчейне это осилит.
Плюс к этому стоит добавить - а кто ж тогда будет смарт контракты писать, если языком для их написания будет хаскель?
AZ
Плюс к этому стоит добавить - а кто ж тогда будет смарт контракты писать, если языком для их написания будет хаскель?
тогда они действительно будут смарт контракты
λ
хочется верить что к делу можно припахать уже написанные слои оптимизаций всякие, но да, я плохо себе ситуацию представляю в текущей экосистемы разработки функциональных компиляторов
Вся экосистема состоит из одного компилятора
AL
Плюс к этому стоит добавить - а кто ж тогда будет смарт контракты писать, если языком для их написания будет хаскель?
челы с зарплатами от 6к, которые успели наловить себе боли от js и осознавшие что статический анализ все равно не является принципиальным решением
но да, в целом с мыслью согласен, к сожалению :(
но да, в целом с мыслью согласен, к сожалению :(
AL
Вся экосистема состоит из одного компилятора
? поясни мысль
λ
челы с зарплатами от 6к, которые успели наловить себе боли от js и осознавшие что статический анализ все равно не является принципиальным решением
но да, в целом с мыслью согласен, к сожалению :(
но да, в целом с мыслью согласен, к сожалению :(
Большая часть этих челов тупо начинают писать больше тестов. Потом снова наступают на грабли и снова начинают писать ещё больше тестов.
AZ
λ
? поясни мысль
По сути в этой сфере есть только GHC. Все неигрушечные решения пишутся с его использованием.
AZ
большинство необучаемо
AZ
посмотри комментарии
AL
По сути в этой сфере есть только GHC. Все неигрушечные решения пишутся с его использованием.
Разве поверх LLVM не выросло сколько-то библиотек?
λ
Разве поверх LLVM не выросло сколько-то библиотек?
Поверх LLVM работает тоже GHC.
AL
Да, но всякие агды и coq'и как же? И еще куча экспериментальных штуковин. Они же что-то переиспользуют все (надеюсь).
AL
Ладно, в общем основную мысль я понял - все, как обычно, плохо по всем фронтам сразу))