Alexey Fedotov

функции заменяют принцип единственной ответственности?

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

может надо вспомнить, как называются соответствующие компоненты профунктора в реальном мире и дать им человекопонятные имена? а, кстати, в реальном мире есть профункторы?

я не слишком хорошо понимаю профункторы, поэтому не знаю, где их ещё могут применить, кроме оптики, да и про оптику ничего не понятно. А вот более простая штука multiply a b ...

А для пользования библиотекой профункторов надо в s t a b лезть? Это самый нижний слой — прямой буквальный перенос аксиом и теорем, чтобы комп мог на их основе автоматически д...

Да прочитал я ваши примеры. Они об ещё более комплексных фичах. Кейс сплит, продвинутый рефакторинг. Со скобочками машина неспособна толком помочь, а с продвинутым рефакторинг...

Является ли это отдельным типом? Является ли это отдельным тегом? Мне кажется, что правило TAPL применять просто абсурдно, потому что оно явно подразумевало другие языки. Точн...

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

Но в ТС в самом деле *** (плохая) система типов. Обещали яваскрипт с типами, а по факту мрачная утиная типизация. Это зачем? Я когда посмотрел в первый раз документацию, мне ч...

а это точно фокуседИнпут? а не может быть, что это окажется в другом контексте брампочпяк, например?

а есть ли способ направить хаскелль в LLVM? тогда можно получить на выходе WASM

А какие альтернативы вебпаку? Голый джс или вебассембли

ну а где в яве замыкания/функции первого порядка?

Я в чате по джаваскрипту ещё сижу, там каждые десять минут появляется новый чел с вопросом "как вызвать функцию?" или "что делает запятая". Это признак растущей индустрии. А з...

Если изначальный план был "А с синтаксисом В", при этом в язык попала куча фич от А и совсем мало фич от В, (в джс классов-то не было даже при Обаме), то это что значит? Что п...

Это значит профнепригодный человек. Как можно работать с программистами, которые пишут код и его не понимают?

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

верстать на хаскелле? лучше взять HTML

И то верно. Опять же, что значит изобрести? Брести — хорошее родное слово, изобрести — понятно, что значит, но вот это латинское изо-.

кстати, почему XSLT умер? Вот хороший пример языка, умершего от своих врождённых недостатков, а не от плохого маркетинга