Alexander
Почти один-в-один с тем процитированным куском
Alexander
Слайды из моей презентации
Leonid 🦇
только наоборот
Alexander
Первый слайд - как все думают, что оно есть
Второй - как на самом деле
Крылатый
Alexander
Я понятия не имею, что это :)
Aliester
выглядит как пирамида Маслоу
Alexander
В пирамиде Маслоу базовые потребности снизу
Aliester
перевернутая пирамида - частый оккультный символ
Зигохистоморфный
недомутуморфизмы
Leonid 🦇
/me побрызгал на @xgrommx пестецидами
Leonid 🦇
у нас тут продакшен
Зигохистоморфный
оки
Leonid 🦇
/me вытравит всю эту математическую дурь из хаскеля
Aliester
/me вытравит всю эту математическую дурь из хаскеля
если вытравить математику из хаскеля, то выйдет раст
Alexander
математика нужна!
Alexander
а то будет как в ООП-мире, а вот тут у нас есть отличная аналогия ...
Alexander
а это аналогично
Alexander
вот только представте себе это этот объект будто...
Aliester
аналогии протекают
Alexander
и т.д.
Alexander
так бесило
Alexander
вот в том, то и дело
Alexander
не будет мат абстракций будут аналогии
Leonid 🦇
Ну вот сам будешь оправдываться перед гоферами за
(+) :: Semiring a => a -> a -> a
div :: EuclideanRing => a -> a -> a
(&&) :: HeytingAlgebra a => a -> a -> a
Leonid 🦇
Математики именно этого и добиваются!
A64m
одно время это в 5-ом классе изучали вроде
Leonid 🦇
ну точно не в моей школе
Aliester
для того чтобы писать на хаскеле нужна расширенная клавиатура
Leonid 🦇
я точно не слышал слова "Полукольцо" или "Алгебра Гейтинга" в школе
A64m
полукольцо-то точно изучали, но это вроде максимальная точка продвижения бурбакистов в школьную программу, потому они откатились
Leonid 🦇
Может быть в ваших "с физико-математическим уклоном" оно так и было. Но точно не в средней школе № 5 посёлка Красные Подмышки
Alexander
кольца и полукольца были
Alexander
алгебры были
Aliester
я это на первом курсе учил, когда линал проходил
A64m
на первом курсе-то понятно, как без этого
Leonid 🦇
Говорят программистам линейная алгебра не нужна. Хотят заменить на курс про использования git и github
kosc
Потом будут пайчарм изучать походу.
Alexander
git не нужно
Alexander
нужно только github
Aragaer
гитхаб без интернетов не работает
Aragaer
а гит работает
kosc
Так что интернеты тоже надо изучать!
Aragaer
интернеты уже поздно изучать. Еще чуть-чуть (началась политика, поэтому дальше не пишу)
kosc
Неплохо. Вовремя остановился. Молодец!
Leonid 🦇
интренет уже давно изучает вас
Aliester
если долго кибербулить в интернете, интернет начнет кибербулить тебя
Anatolii
а кто в чем конфиги хранит? dhall не предлагать!
Leonid 🦇
в nix. из них генерится json который парсится как yaml
A64m
или так, или дхол. не ошибитесь с выбором!
Anatolii
дхол - это bleeding edge
Anatolii
я не готов
Ilya
Aliester
надо анонимную группу опенсосрщиков как бурбакисты
Leonid 🦇
секта
A64m
уже есть "Олег" "Киселев"
Ю ли я? 🤔
Деконструктивная
Cheese
A64m
с кнопками [import qualified] и [LANGUAGE]
Nikolay
Добрый день
Nikolay
Как подкаст
Nikolay
Бананы и линзы вы слушаете
Nikolay
У них сломан сертификат ssl
Зигохистоморфный
он мертв
Nikolay
Очень хочется послушать их 39 аж выпусков
Nikolay
А как старые выпуски послушать?
Leonid 🦇
в архиве интернета?
IC
что там надо стаку сказать чтобы он перестал с заблоченого s3 качать?
Leonid 🦇
надо сказать cabal new-build
Denis
https://twitter.com/dshevchenko_biz/status/989496805795815425
Alexander
я спалился
A64m
нужна, но ни одной нормальной не сделали еще