Ебанатика - наука точная
321 subscribers
114 photos
1 video
6 files
179 links
Яркие цитаты серьёзных экспертов. Хроники борьбы с ФП из первых уст. Достоверность цитат легко проверяется. Тексты и орфография сохраняются.


См. также:
@A64m_qb0_quotes
@rustlang_quotes
@gophers_think
Download Telegram
Forwarded from Гласси
Слушай, у тебя какие-то непонятные неправильные практики.
Forwarded from Дмитрий ⬡ Лапшин
Знающие скалу могут подтвердить, что Future это монада, но можно облажаться и кое-что нарушится. Кажется налажать так можно и в плюсах.
Forwarded from Stanislav Popov
короче я вот подумал в очередной раз есть ли у меня гендерная дисфория и в очередной раз пришел к выводу что мне слишком всеравно какой у меня пол.

но что если есть некоторая типизационная дисфория? тоесть что если языковые предпочтения лежат не в плоскости невежества а в плоскости человеческой идентичности?

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

ну и собственно наоборот

и перевод этого дискурса туда значил бы что никого нельзя переобучить или вылечить или спорить. это страшно но все к этому идет мне кажется
Forwarded from Eugene Bosiakov
Объяснить свойства монад все могут. Почему такие интродакшны не отвечают на вопрос зачем их ввели в язык? Эрланг справляется и без монад
Forwarded from Eugene Bosiakov
A monad is a container type together with a few methods defined on it.
Forwarded from Alexander Smirnov
В этом смысле реальный язык это монада над категорией всех типов
Forwarded from Eugene Bosiakov
sealed trait UserList
case class EmptyList extend UserList
case class ActualList extend UserList
def fetchUserList(): UserList

Это понятный код, ясно что и куда. А монада несет за собой какой-то набор матаппарата. Зачем он мне? Я же из базы данные тащу, там два типа, либо пусто, либо что-то есть, вот trait
Forwarded from Eugene Bosiakov
Все от того, что решили взять модель вычислений из теории категорий, теперь хрен разберешься, с одной стороны интерфейс с флатмапом, с другой стороны моноид, за что нам все это
Forwarded from Victor Kalinin
Как я понимаю, монада должна иметь какой-то эффект. Иначе это id не имеющий прямого смысла. Если же нужна ast монада, то что в ней будет за эффект?
Forwarded from Sergey Alaev
А что не так?
42
42.map[A](f: Int => A) = f(42)
Forwarded from Alexander Smirnov
Кстати, а я уже проводил в этом чате срач, что хаскель это наиболее продвинутая реализация ООП?
Forwarded from Deleted Account
Не знаю, не юзал питон
Forwarded from Deleted Account
Не люблю когда в коде нет скобок
Forwarded from Маjко
Наследование не нужно
Forwarded from Deleted Account
а как тогда сделать обобщённое программирование?
Forwarded from Апач Пёсонька
Ux и интерфейс это те вещи на которые положили хуй при проектировании гита
Forwarded from Апач Пёсонька
у него даже название переводтся как мерзавец
Forwarded from Апач Пёсонька
все существующие терминалы так себе