TGViewer
Лаборатория Математики и Программирования Сергея Бобровского Лаборатория Математики и Программирования Сергея Бобровского @lambda_brain · 1.41K subscribers
Post #1170 1.31K
Иногда я бываю в сильной растерянности... С одной стороны, для СильныхИдей хотелось бы готовить материалы примерно такого уровня:
"Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire"
We develop a calculus for lazy functional programming based on recursion operators associated with data type denitions. For these operators we derive various algebraic laws that are useful in deriving and manipulating programs.

С другой стороны, даже Эрик Мейер (один из авторов статьи) сегодня начал пропагандировать отход от абстракций в смысле "вообще", потому что мэйнстрим настолько зашкварился, что в нём не хотят даже самые элементарные правильные вещи применять.

Вот вчера курсант рассказал:
Готовлю аргументацию по внедрению подхода описания тестов через аннотацию DisplayName. Не ожидал, что простое и понятное предложение использовать достаточно простую аннотацию для повышения ясности теста встретит сопротивление, поэтому приходится готовить защиту для этого.

Совершенно не удивлён, и дальше, по мере роста объёмов кода, будет только хуже.
  • 🤔 46
  • 🔥 6
  • 👍 5
  • ❤ 2
  • ✍ 2
More from @lambda_brain
  1. Oct 12, 2026Один из ментатов попросился на работе вот на эту конфу => AI Native Conf 20 окт типа оплат…
  2. Oct 12, 2026. Облако драгоценностей за неделю. Вроде бы академические темки "кабанчика" (по highload у…
  3. Oct 11, 2026Современные разработчики практически больше не имеют возможности получить следующий профес…
  4. Oct 11, 2026Я такой: - вот эта фича позволит реализовывать популярный класс твоих задачек в 2,7 раза б…
  5. Oct 10, 2026Если бы вы направили всю энергию, которую тратите на беспокойство о потере работы из-за ис…
  6. Oct 10, 2026Продолжаю работу с ментатами 🤓 Буквально в сентябре потратил 2 недели впустую. Работал не…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →