Ну, когда для ООП продвигаются концепции иммутабельных (и только таких) объектов - оно становится сильно похожим на ФП. :)

На хабре часто публикуют его выступления. Можно составить впечатление.

Такое ощущение, что его приглашают на конфы с удовольствием, поскольку очень энергичный докладчик и никого не оставляет равнодушным :)

тоже очень важное качество для докладчика, надо отметить

Ну, с него легко можно словить бугурт. Да.

По-моему, основных реакций три:

- он вааще не прав!
- а он ведь прав!
- бы-гы-гы, жрачно.

И непонятно какая именно преобладает :)

Не очень понял. А зачем это знать монаде? Она кажется и без знания о типе может вполне нормально жить.

Если бы было class Maybe<T> ... то да. А такой класс Monad предполагает, что ты будешь его использовать как генеричный интерфейс к любой монаде. Например, чтобы определить генеричные функции: forever, void, mapM, sequence etc. И тогда без HKT не получится Monad параметризовать типом конкретной монады, н-р, Maybe. Можно посмотреть boost:hana, там это все было. Или FTL

Времена массового десктоп программирования никуда не делись :-) просто оно мутировало немного местами.

А в каком месте дотнеты и жабы отъели? В десктоп, по хорошему, они не смогли. Жаба, по факту - вообще только на серверах. А дотнет- только на винде.

Жабы и дотнеты, в плане десктопа скорее Делфи и VB похоронили

про жабу ложь, к сожалению

Ну, жаба на десктопе только в очень специфических нишах

IDE :)

Я думал, что ты хочешь
template<template<typename> typename T>
struct Monad

Да, это и хочу. Но там не все так просто

А... Зачем?

Если не нужны генеричные для всех монад функции, то можно и не делать так.

Делись. Сейчас массово клепают либо Web, либо мобильные приложения. Причем и там, и там back-end восстребован гораздо больше, чем декстоп.

Java выжила C++ из тех же банков, например, в которых до начала 2000-х многое на плюсах разрабатывалось, а потом переехало на Java. Ну и на .NET.

.NET Core начинают активно под *nix-ами применять.

Так что и JVM, и .NET сильно C++ подвинули. И количество C++ников изрядно подсократилось после массовой переквалификации оных в Java и .NET разработчиков в районе 2000-2005 годов.

Дык веб - это новый десктоп :-) поделия на электроне - это десктоп. Загружаемые через интернет приложения и исполняемы в специализированной VM (в браузере веб аппы) - это тоже десктоп.

Все осталось. Только чуть чуть видоизменилось.

Этому "новому" десктопу до десктопа хотя бы уровня конца 1990-х еще пилить и пилить. И не факт, что допилят.

зато оно в ондроидах есть.