Этимология
Происходит от гл. монтировать, далее из франц. monter «подниматься», далее из вульг. лат. montare «поднимать, подниматься», далее из класс. лат. лат. mons (montis) «гора», далее из праиндоевр. *men- «выдаваться».

Это этимология слова. Она не объясняет разницу между значением названием предмета и тем, как этот предмет используют)

есть мнение (моё) что произошёл сдвиг названий по признаку внешней похожести инструментов. аналогичный тому что случился в паре: пассатижи - плоскогубцы. когда просто закрепилось название более простое в использовании.
так, есть слесарная монтажка (монтировка) которая используется для монтажа покрышек которая внешне схожа с гвоздодёром (выдергой) которую стали называть монтировкой из-за внешней схожести и более простого произношения

Коллеги, добрый день! У меня есть микросервис, который отправляет push-уведомления через AWS SNS. Мне нужно его немножко поправить (добавить два заголовка). Но я Хаскель не знаю, и изучать некогда. Нужна помощь за разумную мзду )

Объем работы оцениваю так: если бы это был C или что-то ещё знакомое мне, то я бы потратил пару часов, может меньше.

Приветствую всех. Программисты владеющие haskell и теорией ФП  показывают себя хорошо в написании кода на Rust. Ищутся такие программисты в проект HyperLedger Iroha 2 которые уже знакомы или готовы ознакомиться с языком Rust. Также интерес в области формальной верификации и знание FreeMonads это большой плюс, так как в проекте используется DSL язык для смартов, таких программистов из мира haskell любят ценят и с нетерпением ждут в проекте.
Пишите мне в личку и я дам прямые контакты на заинтересованных.

Это

https://github.com/hyperledger/iroha/tree/iroha2-dev
https://soramitsu.co.jp/

https://github.com/hyperledger/iroha/tree/iroha2-dev
https://soramitsu.co.jp/

где тут фри монады?)

https://github.com/hyperledger/iroha/blob/iroha2-dev/iroha/src/isi.rs

Это подобная вещь, соблюдать строго формальности цели нет.
Кроме этого ведутся свежие разработки где прорабатывается DSL

Они витают между строк на уровне идей 😏 Монады с do нотацией в Rust не осилили из-за zero-cost абстракций, но некоторое движение в сторону есть, может и осилят. Если надо просто синтаксис докрутить, можно обмазать макросами:

let l = mdo! {
 z =<< 1i32..11;
 x =<< 1..z;
 y =<< x..z;
 when x * x + y * y == z * z;
 ret ret((x, y, z))
}.collect::<Vec<_>>();

там HKT нет, какие монады то?

Структурно монады в расте, конечно, есть. Параметрического класса типов Monad - нет. Монады схожим же макаром и в С++ определяются, включая монаду продолжения. Дело же не в названиях, а в самой идее. Только это все уже лютый офтопик

А зачем выделять их в отедльную сущность, если от них нельзя абстрагироваться и приходится работать с конкретными экземплярами?

Можно абстрагироваться, через динамический полиморфизм

Его никто не отменял

можно абстрагироваться через соотвествующий канал, плз, это явно не обсуждение вакансии уже

Мне тут недавно рекрутер в личку постучалась на Linkedin с предложением, они сейчас ищут человека с опытом:
https://www.linkedin.com/jobs/view/haskell-developer-at-nr3-it-limited-1970379466/

> rail industry problems
🤔

industry - всё, ребят, расходимся