Не споря с вами: там и одна из первых прикладных реализаций субструктурной типизации и линейной (здесь подразумевается любой вариант субструктурной типизации) логики.
Удачное проведение параллелей между оператором точка в Koka и операцией |> в Elixir. Ещё бы добавить подсветку синтаксиса для Koka в highlight.js, чтобы и на Хабре улучшить отображение (выделение цветом, например).
Почему на Хабре не появится автоматом подсветка новых языков программирования из highlight.js (спасибо за коммент@easimonenko
https://habr.com/ru/post/651803/comments/#comment_24084357
Тоже иду к тому, чтобы окуклиться с такими языками. Оффтоп:@sshikov, как вам потенциальное совмещение Java и Haskell в одном проекте?
Что использует Clean, виднее @vkni.
Некоторые особенности https://habr.com/ru/post/596193/comments/#comment_23858079
Может показаться интересным https://proofassistants.stackexchange.com
Не споря с вами: там и одна из первых прикладных реализаций субструктурной типизации и линейной (здесь подразумевается любой вариант субструктурной типизации) логики.
https://habr.com/ru/post/497762/comments/#comment_21514808
Удачное проведение параллелей между оператором точка в Koka и операцией |> в Elixir. Ещё бы добавить подсветку синтаксиса для Koka в highlight.js, чтобы и на Хабре улучшить отображение (выделение цветом, например).
Хоть я и не автор... Да, но нашёл только за 5 октября 2021 https://www.lawfirm1.com/l-1a-to-green-card-procedure-eb-1-requirements-processing-time/
"...employer does not need to have a permanent labor certification program (PERM) labor certificate..."
Можно было, во всяком случае, в прошлом году. Я так @0xd34df00d и @denis-19 случайно делал и исправлял на плюс.
Offspring "Million miles away"
https://youtube.com/watch?v=f5pCYU3k360
Для Java пятьдесят одно ключевое слово - это включая те, которые пишут в modules-info.java?
Именно о шахе.
https://habr.com/ru/post/598997/comments/#comment_23921619
Жду следующий пост с этими особенностями (не расписал из-за спойлера)
В Лондоне https://www.myvalleyjobstoday.com/jobs/software-developer-london-international-hedge-fund-london/454154664-2/ (но уже expired, подана 21.12.2021)
Сначала новости о James Webb, теперь эта - просто праздник какой-то.
В 2021 так и не написали комментариев.
https://habr.com/ru/post/285528/
А тут разработчик после автоматизации проводил время на Reddit (2013 год)
PSY стал первым, чей ролик получил миллиард просмотров
https://www.history.com/this-day-in-history/gangnam-style-first-youtube-video-to-hit-one-billion-views
@denisshevchenkoуже тренер (вопрос, совмещает ли с разработкой)
"О Haskell по-человечески"
https://sohabr.net/habr/post/214835/
Это всё был оффтоп
Извините, что вмешиваюсь.
https://www.indeed.com/q-Ocaml-$150,000-jobs.html?vjk=775772a2587b4a1e
Верхняя планка вакансии $230k/год (не уверен, что близко к Манхеттену)
Как отправная точка: вознаграждение за "вычислительный вклад" в науку https://ru.m.wikipedia.org/wiki/Gridcoin
@ky0 у вас есть ещё пример (ы)?