Понять FP что бы что?
чтобы не писать тонну ненужного хлама на своём родном ЯП
Anonymous
Anonymous
если речь только об фп, то почему в списке лиспа нет например
мне не очень нравится такой тип ЯП
Aleksei (astynax)
На не-ФП языке придётся писать кучу хлама, чтобы получить ФП
Зигохистоморфный
зигоморфизм - параморфизм с дополнительной алгеброй
хистоморфизм - катаморфизм через косвободные конструкции
препроморфизм - катаморфизм + натуральное преобразование
Зигохистоморфный
зигоморфизм - недомутуморфизм
Aleksei (astynax)
ФП, это не про "писать мало"
Cheese
а если скалу или Ф рещето?
на Скале можно программировать настоящие программы, а не только игрушки
Alexander
если только цитирует без кавычек
Aleksei (astynax)
Тогда можно не в программирование, а в математику.
Cheese
за просветлением надо в Индию, по пути Сохацкого. через 5 лет вернёшься, и будешь писать уберопердени на 600 строчек и матом разговаривать
Anonymous
λολ
Aleksei (astynax)
Тогда можно не в программирование, а в математику.
Любое программирование - всегда куча условностей и боли, находящаяся под слишком большим влиянием архитектуры ЭВМ
Vitaly
Думаю @bravit111 дважды одну шутку не шутит.
Вы ничего не понимаете, я в своих курсах каждый год шучу одни и те же шутки.
Aleksei (astynax)
Но в пределах курса - один раз?
Vitaly
Стараюсь
Anonymous
Вы ничего не понимаете, я в своих курсах каждый год шучу одни и те же шутки.
как там haskell 2020 поживает?
Vitaly
Никак
Leonid 🦇
Вы ничего не понимаете, я в своих курсах каждый год шучу одни и те же шутки.
Ну да. Хороших шуток мало, а студентов много.
Alexander
generic_plus :: s [Number] -> s [Number] -> s [Number]
generic_plus l r =
qforeach (\_ -> qforeach l $ \a ->
qyield $ rec[ "num" .= row_num
, "x" .= a
]
) $ \x ->
qforeach (\_ -> qforeach r $ \r ->
qyield $ rec [ "num" .= row_num
, "x" .= r
]) $ \y -> qwhere (x `proj` row_num .== y `proj` row_num)
$ qyield $ x `proj` "a" .+ y `proj` "a"
Alexander
во красота какая
Leonid 🦇
прямо как "На базаре зайцев мало, а дураков много"
Alexander
(именования дурацкие но это из черновика)
A64m
скоро станет хаскелем 2030
Alexander
так надо закоментировать это побыстрее и забыть
Leonid 🦇
Haskell 3025 (как battletech)
Alexander
генерит final tagless репрезентацию запроса, который можно оптимизировать и по нему сгенерить sql
Aleksei (astynax)
Haskell 3025 (как battletech)
"Клановская версия компилера мощнее, но сильнее греется"
Alexander
на самом деле у меня это пока не заработает, я не сделал rec ещё
Anonymous
генерит final tagless репрезентацию запроса, который можно оптимизировать и по нему сгенерить sql
Ψωετ ψωετ ψωετ ια νε πονιαλ
Leonid 🦇
"Клановская версия компилера мощнее, но сильнее греется"
ComStar Haskell Compiler
Leonid 🦇
в 3025 у них же деградация
Leonid 🦇
только у комстара остались технологии звёздной лиги
Ilya
Anonymous
Inner Sphere Haskell Compiler тогда уж :)
Внутресферийный компилятор для языка программирования Haskell
тогда уж
Anonymous
In the year 2525, if man is still alive
If woman can survive, they may find
In the year 3535
Ain't gonna need ghc to compile
Anonymous
In the year 2525, if man is still alive
If woman can survive, they may find
In the year 3535
Ain't gonna need ghc to compile
перевожу
там все короче на буржуазном начнут разговаривать
Ю ли я? 🤔
"Клановская версия компилера мощнее, но сильнее греется"
Прочитал "кланговская"
Aleksei (astynax)
только у комстара остались технологии звёздной лиги
Трофейные компилеры осталить. Гигантские боевые компиляторы. Починить, если компилер сломается, тогдашние людишки не могут, но компилить хеллоуворлды умеют
Ю ли я? 🤔
Haskell 3025 (как battletech)
Programmer 40K
"In the grim darkness of the far future, there is only JS"
Anonymous
Трофейные компилеры осталить. Гигантские боевые компиляторы. Починить, если компилер сломается, тогдашние людишки не могут, но компилить хеллоуворлды умеют
Хорош тот компилер, который на хеловордах ломается
kosc
@zheltoukhova чего до сих пор никак не отметилась тут? Или ты просто, что бы ещё один серый кружочек периодически снимать?
Aleksei (astynax)
Programmer 40K
"In the grim darkness of the far future, there is only JS"
JS - это уже колдовство. Только Низкоуровневый Готик (высокоуровневый можно, но не все могут)
Zheltoukhova
@zheltoukhova чего до сих пор никак не отметилась тут? Или ты просто, что бы ещё один серый кружочек периодически снимать?
отметилась, я кликнула случайно на какое то говно
Ю ли я? 🤔
Хорош тот компилер, который на хеловордах ломается
Хорош тот хелловорлд, который ломает компилер
Aleksei (astynax)
Системный вызов!
Ю ли я? 🤔
Не совсем, я верю в способности здесь присутствующих ;)
Aleksei (astynax)
SysCall to Arms!
Ю ли я? 🤔
Programmer 40K
"In the grim darkness of the far future, there is only JS"
Или так: Кхорн - это С, Нургл - это PHP, Тзинч - это Haskell, Слаанеш - это... JS как раз?
A64m
не "какое-то говно", а тест войта-кампфа
Aragaer
page fault for the page fault god!
Aleksei (astynax)
Тзинч, это Lisp как раз. Кхорн - Java (кровавый интерпрайз)
Aleksei (astynax)
Хмм. По идее хаоситы все слаботипизированные должны быть. Так что Кхорн, это C++
Aleksei (astynax)
"Больше шаблонов Богу Шаблонов!"
Leonid 🦇
Трофейные компилеры осталить. Гигантские боевые компиляторы. Починить, если компилер сломается, тогдашние людишки не могут, но компилить хеллоуворлды умеют
Огроменые Человекоподобные Боевые Компиляторы?
Aleksei (astynax)
Не обязательно человекоподобные
Aleksei (astynax)
"Mobile Suite GHC"
Aleksei (astynax)
"Battle Programmer Shirase-Peyton Jones"
Leonid 🦇
турбонёрды
Dmitry
"640GB хватит всем!"
Anonymous
https://github.com/snowleopard/alga-paper/releases/download/final/algebraic-graphs.pdf
Alexander
вот так отвлечёшься от канала а тут +200 сообщений, сразу видно community building
A64m
причем их все можно не читать
Anonymous
тем временем желающих читать пропозал про лин.типы так и не нашлось, так что секретарь рулевого комитета объявил о поиске желающего его прочесть повторно
Где что когда? Не всегда могу следить чат....
Alexander
причем их все можно не читать
причем не только по тому, чо не нужно выполнять модерские обязанности