BV
ты код покажи
Деньги должны идти в бизнес
В современном мире это невозможно без современных технологий
Size: a a a
2021 November 25
X
Только теория категорий, только эрланг мне в этом помогут
BV
эрланг даже авторам не нужен
2021 November 26
W
Не. Жива. Текущий стандарт - Ada2012. Лишь десять лет прошло, рано хоронить.
Тем более скоро Ada2022 релизнется.
Тем более скоро Ada2022 релизнется.
W
Там разные профили есть. Есть zpf профиль - Zero FootPrint. Без хипа, тредов и с мешком ограничений под ембеддед. Работает даже на 8 битной avr с 512 байт оперативы.
Есть ravenscar - в нём могут поддерживаться реалтайм таски.
Есть Ada/SPARK (крайняя версия 2014) - диалект ады для формальной верификации. Достаточно простой и в разы удобнее frama-c.
Есть ravenscar - в нём могут поддерживаться реалтайм таски.
Есть Ada/SPARK (крайняя версия 2014) - диалект ады для формальной верификации. Достаточно простой и в разы удобнее frama-c.
W
Только писать получается медленее, чем на сях/плюсах :(
Приходится объяснять компилятору, что ты не жираф.
Приходится объяснять компилятору, что ты не жираф.
W
1. Берём мы значится Coq и эксопртируем его в С.
2. ???
3. PROFFIT!
2. ???
3. PROFFIT!
W
Он вообще ни для чего, кроме как для перекладывания данных по сети не нужен.
BD
да и там есть варианты с гораздо менее вырвиглазным синтаксисом
BD
и без вм
W
Там otp из коробки до одури развит, включая низкоуровневую работу и протоколы управления. Тот жe snmp, который самому имплементить... то ещё удовольствие.
Но опять же, все упирается в перфоманс, потребление ресурсов и время на разработку. Эрланг много сетевых фич имеет из коробки, и отлаженных неплохо. Но память он покушать любит, да.
Пы.Сы. оффтопик.
Но опять же, все упирается в перфоманс, потребление ресурсов и время на разработку. Эрланг много сетевых фич имеет из коробки, и отлаженных неплохо. Но память он покушать любит, да.
Пы.Сы. оффтопик.
2021 December 01
DP
Erlang для ОСки красиво, вот только возможно ли там семантику копирования заменить на передачу владения?
иначе попаболь с памятью получается
иначе попаболь с памятью получается
BD
внутри вмки может в теории и можно. но если что-то из софт. стека завязано на том что копии остаются - придется переписывать
BD
ну и у них же есть там какая-то реализация Bare-metal BEAM которая собсно и получается осью
DF
подождите, в эрланге же универсальное представление (сиречь боксинг) , оно там между акторами еще и копирует чтоли?
не должно же
не должно же
DF
также традиционно поздравляю Беркуса и Борю и всех причастных с наступающим!
BD
Там наверняка оптимизации, но классический мессадж пассинг должен быть независимым.
DF
а, ты прав угу