Это было конкретно Антону наброс, не тебе :) К твоей позиции вопросов у меня нет (ладно, есть, но я вряд ли за отсутствием достаточного опыта в разных парадигмах смогу их задать)

А я тоже ответил на твоё сообщение, потому что в нем был вопрос, но если про максималистов, то это про другого чувака 😅

Понял-принял)

Или как не писали, так и не пишут 🌚

А вот ещё
https://research.jetbrains.org/news/retrofitting-parallelism-onto-ocaml

За живое задел прям 😭

На Идрисе писать просто

Ох. Это вот такие вот наркоманы потом на собесах во всяких Яндексах требуют идеально помнить весь синтаксис и наименования при написании кода на листочке. Пиздец:)

Пушка! В убунте 20.04 в обычном гномовском поиске работает поиск по символам. То есть можно жмакнуть Meta, написать rocket, выбрать там U+1F680 и получить в буфере обмена 🚀

Проще в тг написать двоеточие и rocket :)

Да, но это работает далеко не везде, кроме телеги)

А можно вместо 1F680 что-то человекозапоминаемое? Нет там никаких алиасов или ещё чего?

У меня просто экстеншн для гноми стоял, который умеет искать смайлы по названию, а тут прям из коробки)

Вот это гораздо лучше. с:

некоторые проблемы решить нельзя в данный момент.

например, проверка входных данных между компонентами/модулями или иными логическими кусками ПО. динаимка в это не могёт в полной мере. да, у динамических яп есть схемы, но ни в одной популярной динаимики нет схемы, которая могла бы разрулить сигнатуры  функций. а ещё схемы - это удар по перфомансу, настолько сильный, что их частое использование просто делает программу негодной для чего либо крмое скриптования местчекового

Что имеешь ввиду под «которая могла бы разрулить сигнатуры функций»?

ну, например, у меня функция принимает объект, в духе
{a: String, b: String, c: (String, Int) => Int }

в динамике уже невозможно описать схему для валидации входа, максимум что можно сделать это поля {a: String, b: String}

Да, действительно)

Зато мне понравилась история, когда чуваки патчили ошибку в прошивке спутника подключаясь через репл к нему с земли)))