Так как будет по православному - Зигохистоморфный Препроморфизм ?

зигоморфизм + хистоморфизм + препроморфизм

а если серьёзно?

Зависит от конечной цели.

Зависит от конечной цели.

понять FP

Если серьёзно: Haskell лучше для изученя ФП. На практике получится ли использовать - это уже более сложный вопрос

"Хочу выучить N, что бы друзья прогеры думали, что у меня хер три метра" - однозначно хаскель.

а если скалу или Ф рещето?

понять FP

Не конечная цель.

Понять FP что бы что?

Не конечная цель.

вапщето да

если речь только об фп, то почему в списке лиспа нет например

Чтобы просветлиться!

Кстати да.

не фп

если речь только об фп, то почему в списке лиспа нет например

Лисп - процедурный язык

Понять FP что бы что?

чтобы не писать тонну ненужного хлама на своём родном ЯП

Лисп - процедурный язык

@bravit111 ^

если речь только об фп, то почему в списке лиспа нет например

мне не очень нравится такой тип ЯП

На не-ФП языке придётся писать кучу хлама, чтобы получить ФП

зигоморфизм - параморфизм с дополнительной алгеброй хистоморфизм - катаморфизм через косвободные конструкции препроморфизм - катаморфизм + натуральное преобразование

На не-ФП языке придётся писать кучу хлама, чтобы получить ФП

зато пойму много чего

зигоморфизм - недомутуморфизм

зато пойму много чего

Нам тут непонятно, что же вы ходить понять?

ФП, это не про "писать мало"

а если скалу или Ф рещето?

на Скале можно программировать настоящие программы, а не только игрушки

@bravit111 ^

Думаю @bravit111 дважды одну шутку не шутит.

зигоморфизм - недомутуморфизм

зигаморфиз - АХТУНГ АХТУНГ ШТРАССЕ УНД ШТРАССЕ

если только цитирует без кавычек

ФП, это не про "писать мало"

мне нужно просвитление

мне нужно просвитление

и грамматика

и грамматика

да

Тогда можно не в программирование, а в математику.

Тогда можно не в программирование, а в математику.

:D

Тогда можно не в программирование, а в математику.

да я уже там и руками и ногами

за просветлением надо в Индию, по пути Сохацкого. через 5 лет вернёшься, и будешь писать уберопердени на 600 строчек и матом разговаривать

λολ

Тогда можно не в программирование, а в математику.

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

Думаю @bravit111 дважды одну шутку не шутит.

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

Но в пределах курса - один раз?

Стараюсь

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

как там haskell 2020 поживает?

Никак

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

Ну да. Хороших шуток мало, а студентов много.

как там haskell 2020 поживает?

сдох, все на Python перешли

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"

во красота какая

прямо как "На базаре зайцев мало, а дураков много"

(именования дурацкие но это из черновика)

скоро станет хаскелем 2030

так надо закоментировать это побыстрее и забыть

(именования дурацкие но это из черновика)

что оно делает?

Haskell 3025 (как battletech)

генерит final tagless репрезентацию запроса, который можно оптимизировать и по нему сгенерить sql

Haskell 3025 (как battletech)

"Клановская версия компилера мощнее, но сильнее греется"

на самом деле у меня это пока не заработает, я не сделал rec ещё

генерит final tagless репрезентацию запроса, который можно оптимизировать и по нему сгенерить sql

Ψωετ ψωετ ψωετ ια νε πονιαλ

"Клановская версия компилера мощнее, но сильнее греется"

ComStar Haskell Compiler

ComStar Haskell Compiler

Inner Sphere Haskell Compiler тогда уж :)

в 3025 у них же деградация

только у комстара остались технологии звёздной лиги

зигоморфизм - параморфизм с дополнительной алгеброй хистоморфизм - катаморфизм через косвободные конструкции препроморфизм - катаморфизм + натуральное преобразование

abstract nonsense классический ?

Inner Sphere Haskell Compiler тогда уж :)

Внутресферийный компилятор для языка программирования Haskell тогда уж

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

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

перевожу там все короче на буржуазном начнут разговаривать

"Клановская версия компилера мощнее, но сильнее греется"

Прочитал "кланговская"

только у комстара остались технологии звёздной лиги

Трофейные компилеры осталить. Гигантские боевые компиляторы. Починить, если компилер сломается, тогдашние людишки не могут, но компилить хеллоуворлды умеют

Haskell 3025 (как battletech)

Programmer 40K "In the grim darkness of the far future, there is only JS"

Прочитал "кланговская"

"CLang PPC", всё верно

Трофейные компилеры осталить. Гигантские боевые компиляторы. Починить, если компилер сломается, тогдашние людишки не могут, но компилить хеллоуворлды умеют

Хорош тот компилер, который на хеловордах ломается

@zheltoukhova чего до сих пор никак не отметилась тут? Или ты просто, что бы ещё один серый кружочек периодически снимать?

Programmer 40K "In the grim darkness of the far future, there is only JS"

JS - это уже колдовство. Только Низкоуровневый Готик (высокоуровневый можно, но не все могут)

@zheltoukhova чего до сих пор никак не отметилась тут? Или ты просто, что бы ещё один серый кружочек периодически снимать?

отметилась, я кликнула случайно на какое то говно

Хорош тот компилер, который на хеловордах ломается

Хорош тот хелловорлд, который ломает компилер

Хорош тот хелловорлд, который ломает компилер

Это вызов?

Системный вызов!

Не совсем, я верю в способности здесь присутствующих ;)

SysCall to Arms!

Programmer 40K "In the grim darkness of the far future, there is only JS"

Или так: Кхорн - это С, Нургл - это PHP, Тзинч - это Haskell, Слаанеш - это... JS как раз?

не "какое-то говно", а тест войта-кампфа

page fault for the page fault god!

Тзинч, это Lisp как раз. Кхорн - Java (кровавый интерпрайз)

Хмм. По идее хаоситы все слаботипизированные должны быть. Так что Кхорн, это C++

"Больше шаблонов Богу Шаблонов!"

Трофейные компилеры осталить. Гигантские боевые компиляторы. Починить, если компилер сломается, тогдашние людишки не могут, но компилить хеллоуворлды умеют

Огроменые Человекоподобные Боевые Компиляторы?

Не обязательно человекоподобные

"Mobile Suite GHC"

"Battle Programmer Shirase-Peyton Jones"

турбонёрды

"640GB хватит всем!"

https://github.com/snowleopard/alga-paper/releases/download/final/algebraic-graphs.pdf

вот так отвлечёшься от канала а тут +200 сообщений, сразу видно community building

причем их все можно не читать

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

Где что когда? Не всегда могу следить чат....

причем их все можно не читать

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

причем их все можно не читать

Вот так не почитаешь, а потом нет желающих)

секретарь рулевого комитета в первый раз взывает к комитетчикам: https://mail.haskell.org/pipermail/ghc-steering-committee/2018-May/000575.html

и второй раз https://github.com/ghc-proposals/ghc-proposals/pull/111#issuecomment-388243017

Аа

Ну, все равно интересно

это, видимо, после того как назначенный читать про или паттерны через 3 месяца написал, что ему что-то лень