Спасибо!

да, он очень гладко стелет :)

Ребят, давайте всё-таки попробуем в будущем быть деликатнее, следить за языком и избегать флуда. Сейчас в чате слишком мало про эльм и слишком много срача про что угодно другое.

Нужно просто банить токсичных.

Но если серьёзно то да, от своего лица прошу прощения у всех читавших и читающих, надеюсь вы просто проскроллили.

Все ники давно известны. :)

все чаты вместе образают единую сферу

Про баны не стал бы говорить, но какая-то модерация не помешала бы.

Надо признать, что самый частый вопрос по теме здесь "а используется ли Эльм в продакшне?", наверное потому что всё остальное всем понятно.

На удивление, на более конкретные вопросы по эльму я отвечал или в личке, или в других более общих фп-чатах

КИБЕРБУЛЛИНГ

верификацию  компилятор делает

как? Мы пока не попытаемся заюзать, корректность не узнаем

это только в питоне. А статическая типизация - она такая, код чекается компилятором

Площадь хорошая аналогия для интеграла, да.
Единственная хорошая аналогия для моноидов и прочей ментальной маструбации - это  пример из реальной жизни, в котором код использующий соотв. абстракцию, стал лучше, чем был без неё. И вот тут я вижу непреодолимую проблему сведетелей  хаскиля - ничего врузумительного по этой линии от них не добьёшся. Кроме банальщины про то как Maybe освобождает от жуткой страшной NRE, которой в продакшене практически и нет

так мы в го нигде явно не указываем, что такой-то тип имплементит интферфейс, пока не попытаемся заюзать

если не имплементит, компилятор не пропустит. в чём проблема-то?

ты троллишь что ли?

нет

у нас есть интерфейс
и у нас есть тип
мы не юзаем их пока вместе (пусть это либа)
поэтому и проверить на то, имплементит ли тип интерфейс, мы не можем