Пользователь
Рассматривали Haskell вместе с/вместо Go?
"Сложность простоты"
https://habr.com/ru/post/469441/
TL;DR поста "Сложность простоты": автору (как он сам указывает, C# (mostly) developer; хотя он Rust, Scala знает) больше понравился Haskell.
Вот бы Haskell Prelude формально верифицировать на Idris 2, Agda 2.
@dolovar (понимаю, что у вас LibreOffice)
Например, OpenOffice (как @smart_alex указывал) 4.1.11 Ubuntu 20.04 даже к абзацам есть вопросы.
Поэтому может позволить себе
> возможность применять типы, если и когда мне это нужно
В сегодняшнем посте https://habr.com/ru/company/JetBrains-education/blog/589343/, например, использовался Coq. Среди CS сообщества считается, что теоремы, проверенные на Coq, не содержат ошибок в доказательствах.
Да, вышеупомянутые языки отсутствуют, а, например, Nix есть в highlight.js, а на Хабре нет (понял о нишевости).
https://github.com/highlightjs/highlight.js/tree/main/src/languages
Не оформлены фрагменты программного кода
Какой приоритет добавления подсветки синтаксиса Idris, Agda?
Да, и хвостовая рекурсия может быть при желании заменена итерацией (с формальной верификацией кода).
чистый функциональный код
А под "чистым" подразумевается "с контролем побочных эффектов".
императивное программирование основано на машине Тьюринга...Функциональное же программирование основывается на лямбда-исчислении.
императивное программирование основано на машине Тьюринга
...
Функциональное же программирование основывается на лямбда-исчислении.
https://ko.com.ua/-ischislenie_33286
Лямбда-исчисление - это тоже абстрактная машина Тьюринга.
не пользоваться finalize
finalize
И Cleaner.
АйТи Гильдия Украины. Что это и зачем нужно
"Статью написать, что ли."
Я бы почитал пост.
Да, в Java такого нет.
UB
https://github.com/input-output-hk/plutus , вообще Cardano-экосистема.
"[...]судя по всему приятна мысль, что кто то там умер."
@0xd34df00d показательно высказался по этому поводу в другом посте.
А именно ссылка из коммента выше работает? Потому что при попытке перейти напрямую в пост https://habr.com/en/company/skillfactory/blog/585884 из поста https://habr.com/ru/post/586020/, как локаль в URL подставляется и ru, и en, получается ссылка именно вида https://habr.com/ru/en/company/skillfactory/blog/585884/ , в этом всё и дело.
Обнаружил, что при попытке перейти напрямую в пост https://habr.com/en/company/skillfactory/blog/585884 из поста https://habr.com/ru/post/586020/, как локаль в URL подставляется и ru, и en. Дописал Команде поддержки.
Номер заявки HLT-FTHXK-341 .
Их ответ: "При попытке перейти напрямую в пост https://habr.com/en/company/skillfactory/blog/585884 из поста https://habr.com/ru/post/586020/, он не открывается. Но если открыть в новой вкладке или вставить адрес в адресную строку, пост открывается."
Ждём.
Спасибо за ответ, отправил запрос поддержке.
Рассматривали Haskell вместе с/вместо Go?
"Сложность простоты"
https://habr.com/ru/post/469441/
TL;DR поста "Сложность простоты": автору (как он сам указывает, C# (mostly) developer; хотя он Rust, Scala знает) больше понравился Haskell.
Вот бы Haskell Prelude формально верифицировать на Idris 2, Agda 2.
@dolovar (понимаю, что у вас LibreOffice)
Например, OpenOffice (как @smart_alex указывал) 4.1.11 Ubuntu 20.04 даже к абзацам есть вопросы.
В сегодняшнем посте https://habr.com/ru/company/JetBrains-education/blog/589343/, например, использовался Coq. Среди CS сообщества считается, что теоремы, проверенные на Coq, не содержат ошибок в доказательствах.
Да, вышеупомянутые языки отсутствуют, а, например, Nix есть в highlight.js, а на Хабре нет (понял о нишевости).
https://github.com/highlightjs/highlight.js/tree/main/src/languages
Какой приоритет добавления подсветки синтаксиса Idris, Agda?
Да, и хвостовая рекурсия может быть при желании заменена итерацией (с формальной верификацией кода).
А под "чистым" подразумевается "с контролем побочных эффектов".
https://ko.com.ua/-ischislenie_33286
Лямбда-исчисление - это тоже абстрактная машина Тьюринга.
И Cleaner.
АйТи Гильдия Украины. Что это и зачем нужно
"Статью написать, что ли."
Я бы почитал пост.
Да, в Java такого нет.
UB
https://github.com/input-output-hk/plutus , вообще Cardano-экосистема.
"[...]судя по всему приятна мысль, что кто то там умер."
@0xd34df00d показательно высказался по этому поводу в другом посте.
А именно ссылка из коммента выше работает? Потому что при попытке перейти напрямую в пост https://habr.com/en/company/skillfactory/blog/585884 из поста https://habr.com/ru/post/586020/, как локаль в URL подставляется и ru, и en, получается ссылка именно вида https://habr.com/ru/en/company/skillfactory/blog/585884/ , в этом всё и дело.
Обнаружил, что при попытке перейти напрямую в пост https://habr.com/en/company/skillfactory/blog/585884 из поста https://habr.com/ru/post/586020/, как локаль в URL подставляется и ru, и en. Дописал Команде поддержки.
Номер заявки HLT-FTHXK-341 .
Их ответ: "При попытке перейти напрямую в пост https://habr.com/en/company/skillfactory/blog/585884 из поста https://habr.com/ru/post/586020/, он не открывается. Но если открыть в новой вкладке или вставить адрес в адресную строку, пост открывается."
Ждём.
Спасибо за ответ, отправил запрос поддержке.