Медленно это из-за конкретного человека, насчёт качества: само икфп в норм качестве, а вот воркшопы никак не осилят, да

там последние 10 лет один и тот же конкретный человек что-ли?

В 13м году и митапы не писали в норм качестве-то

надо поехать, чтобы поймать кого надо и объяснить, как мир страдает без видеозаписей

я думаю все знают

как с nofib

В 13м году и митапы не писали в норм качестве-то

но хоть в каком-то писали. в отличие от icfp

там последние 10 лет один и тот же конкретный человек что-ли?

Деньги на запись стали выделяться относительно недавно. До и всеобщая ютубизация прошла не так давно, если вспомнить. Последние пару лет один человек занимается, да. Да этого не знаю

хотя я не исключаю, что icfp 2013 писали, просто до сих пор не выложили еще

возвращайтесь в РФ

Ну, да, митапы в Нске пишутся и выкладываются, ЕМНИП. А так это сложный вопрос

надо поехать, чтобы поймать кого надо и объяснить, как мир страдает без видеозаписей

Там на месте не факт, что будут люди, которым надо жаловаться :) это в сигплан или асм надо…

Ну, да, митапы в Нске пишутся и выкладываются, ЕМНИП. А так это сложный вопрос

Давно?

Давно?

Я смотрел записи с Нских техписательских митапов (недавних), какие-то записи ФП митапов из ДубльГИСа (достаточно старых)

Давно?

ЛямбдаНск выкладывает. Те, которые удалось записать. Августовские еще не выложили

а зачем вообще этот ghc-grin ?

это сделанный на коленке недофронтенд из гхц, чтоб можно было какие-то хеллоуворлды скомпилировать их имплементацией GRIN - это такой изобретенный в 90-е способ компилировать ФЯ, с помощью которого ни разу не удалось написать даже имплементацию которая сама себя компилирует или еще какое нетривиальное приложение

Но вообще-то спасибо, конечно, за консёрн, как говорится, попробую поискать, за какие верёвочки ещё можно потянуть. Самому видео-чейру я писал, он никакой.

это сделанный на коленке недофронтенд из гхц, чтоб можно было какие-то хеллоуворлды скомпилировать их имплементацией GRIN - это такой изобретенный в 90-е способ компилировать ФЯ, с помощью которого ни разу не удалось написать даже имплементацию которая сама себя компилирует или еще какое нетривиальное приложение

я вроде нагуглил что-то про энергоэффективность и тд

ФП дорос уже до таких оптимизаций ...

Интересно, кстати, кто из чатика (кроме меня :)) будет там

но учитывая какое сейчас плачевное состояние с работами по имплементации фя - это мегапроект века, практически

это сделанный на коленке недофронтенд из гхц, чтоб можно было какие-то хеллоуворлды скомпилировать их имплементацией GRIN - это такой изобретенный в 90-е способ компилировать ФЯ, с помощью которого ни разу не удалось написать даже имплементацию которая сама себя компилирует или еще какое нетривиальное приложение

А в чём отличие от graph reduction machine?

от g-машины в смысле? это тоже граф редукшн

не знаю, как в двух словах сказать

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

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

да, он что-то такое рассказывал

что там что-то типа switch-case/state machine в эвалуаторе строится для программы

тогда у нас все вызовы это direct jump

@glhfo будет жить. Поприветствуем!

Ребята, кто прилично знает Scala, отзовитесь! Есть пара позиций в JB (Спб/Мюнхен как минимум). Пишите в личку.

офтоп

Кстати, почему на главной typeable.io висит лого тинькова?

возможно тиньков был их клиентом

Да что ты говоришь Какой глубокий вывод)

Я вот не нагуглил что именно они для них делали

Плохо гуглил впрочем

/me ползает по distributed-process и в шоке от лапши

@voidlizard Квопросу о вкусовщине относительно хаскельного кода. Известные метрики применимы и к нему

Некропостинг

а как наиболее красиво сделать: zipWith f x (tail x)?

чот после этого пошли какие-то соревнования по обфускации кода

а как наиболее красиво сделать: zipWith f x (tail x)?

f >$< x >*< tail x только сильно не бейте, если это не работает

Некропостинг

Это цитата для Дмитрия. В чате по хаскельным вакансиям он попросил пример того, что в хаскеле можно считать императивной лапшой. Я вспомнил, что такой разговор уже был

Вот конкретно с этим я не согласен и готов обсудить, что императивное программирование на Haskell, хоть и лучшее ИП из существующих, но все же императивное. Лейбл "Это же Haskell" не дает автоматически защиты от говнокода и стрельбы в ногу.

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

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

Нужно формализовать понятие "лапша", ну а дальше дело за малым -- добавляешь опцию "-Wlapsha" и ок.

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

А что значит "выстрелить себе в ногу"?

ну вот да, лапша тоже начинает отдавать вкусовщиной

как вам код серванта, например? или vinyl ?

Нужно формализовать понятие "лапша", ну а дальше дело за малым -- добавляешь опцию "-Wlapsha" и ок.

Если бы это было можно сделать, для всех главных языков уже появился бы инструмент, который это детектирует и предотвращает. Однако феномен лапши существует. Ошибку здесь я вижу в том, что для хаскеллистов то, что не формализовано - не существует, но практика показывает, что в промышленном программировании таких вещей очень много

А что значит "выстрелить себе в ногу"?

Это к тому же. Отсутствие формализации не означает отсутствие феномена

Если бы это было можно сделать, для всех главных языков уже появился бы инструмент, который это детектирует и предотвращает. Однако феномен лапши существует. Ошибку здесь я вижу в том, что для хаскеллистов то, что не формализовано - не существует, но практика показывает, что в промышленном программировании таких вещей очень много

Ну я как бы и шучу на эту тему. Что невозможно это понятие формализовать, и отсюда -- вкусовщина.

Если бы это было можно сделать, для всех главных языков уже появился бы инструмент, который это детектирует и предотвращает. Однако феномен лапши существует. Ошибку здесь я вижу в том, что для хаскеллистов то, что не формализовано - не существует, но практика показывает, что в промышленном программировании таких вещей очень много

да промышленное программирование это тоже бессмысленный штамп

linux kernel - промышленное программирование?

коммерческие стеки протоколов?

коммерческие драйвера?

как вам код серванта, например? или vinyl ?

Vinyl - еще одна поппытка поиграться на уровне типов и сделать то, что простые смертные ни понять, ни поддерживать не могут. Servant получше, так как его eDSL на типах хотя бы имел целью быть в продакшне. Но это не важно, так как нам не нужно поддерживать ни vynil, ни aervant в нашем коде, и мы можем свести взаимодействие с ними к минимуму.

linux kernel - промышленное программирование?

Почему нет?

да ладно. понадобится что-то сделать, чего в серванте нет из коробки - а в нём почти ничего нет из коробки - и очень быстро будете писать и отлаживать во время компиляции код с UndecidableInstances

ну и если ядро линукса, стеки и драйвера - это то самое великое и ужасное Промышленное Программирование - то сам термин смысла не имеет

да ладно. понадобится что-то сделать, чего в серванте нет из коробки - а в нём почти ничего нет из коробки - и очень быстро будете писать и отлаживать во время компиляции код с UndecidableInstances

Я - не буду. Я понимаю цену внедрения servant и vinyl в мой проект. Accidental complexity и риски крайне высоки. Но вот хаскеллистам, которые витают где-то высоко, слова "поддерживаемость, accidental complexity, борьба со сложностью", видимо, ни о чем не говорят. Программировать на Haskell можно двумя способами: либо ублажать свой могучий интеллект, либо писать код для всех.

отсутствие типов, отсутствие тестов, отсутствие проектирования, отсутствие чувства прекрасного, копипаста, размазывание ответственности - это всё и есть промышленное программирование в таком случае

Если бы это было можно сделать, для всех главных языков уже появился бы инструмент, который это детектирует и предотвращает. Однако феномен лапши существует. Ошибку здесь я вижу в том, что для хаскеллистов то, что не формализовано - не существует, но практика показывает, что в промышленном программировании таких вещей очень много

> то, что не формализовано - не существует Кстати да, тоже заметил, очень странная позиция на самом деле.

Я - не буду. Я понимаю цену внедрения servant и vinyl в мой проект. Accidental complexity и риски крайне высоки. Но вот хаскеллистам, которые витают где-то высоко, слова "поддерживаемость, accidental complexity, борьба со сложностью", видимо, ни о чем не говорят. Программировать на Haskell можно двумя способами: либо ублажать свой могучий интеллект, либо писать код для всех.

камон, сервант это единственное приличное вебное, что сейчас есть

что, если не сервант? на чем вебсервисы-то писать?

ERROR: S client not available

ну и если ядро линукса, стеки и драйвера - это то самое великое и ужасное Промышленное Программирование - то сам термин смысла не имеет

Попробуйте сказать всем, кто этот термин использует, что он не имеет смысла. Можно даже статью написать, запостить куда-нибудь на реддит или хабр. Я могу заранее предсказать реакцию

на йесоде, что ли?

хаха

Попробуйте сказать всем, кто этот термин использует, что он не имеет смысла. Можно даже статью написать, запостить куда-нибудь на реддит или хабр. Я могу заранее предсказать реакцию

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

В том числе как я понял, это выражается в непринятии не "математических" тайпклассов. Всякие там IOReader, IOWriter и прочее

а публика с хабра начинает откладывать кирпичи просто от факта, что кто-то делает не так, как они

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

отсутствие типов, отсутствие тестов, отсутствие проектирования, отсутствие чувства прекрасного, копипаста, размазывание ответственности - это всё и есть промышленное программирование в таком случае

Вам попадались плохие проекты.

пхаха. мне попадались всякие, давно в этом бизнесе

что, если не сервант? на чем вебсервисы-то писать?

А на чем написано большинство веб сервисов?

на Java ?

В том числе как я понял, это выражается в непринятии не "математических" тайпклассов. Всякие там IOReader, IOWriter и прочее

Да-да, это в копилку

на Java ?

Не на серванте

ну у нас тут хаскельный чатик

что-то не верится, что сейчас кто-то будет писать вебсервис не на серванте

у нас 2018-ый год, на минутку

https://github.com/input-output-hk/cardano-sl/tree/develop/docs как я понял, критерии хорошего и плохого кода размазаны тут

и от тайплевел-халявы - автогенерации документации, клиентского кода, тестов, swagger - никто нп откажется

что-то не верится, что сейчас кто-то будет писать вебсервис не на серванте

Я бы не стал как минимум потому что его тайп левел магию я не понимаю. Хотя я и в хаскеле зелёный совсем.

ну вот сервант как раз и заставляет немного разобраться в тайплевеле

несильно. т.к. есть вещи куда хардкорнее него

абсолютный минимум для 2018-го года.

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

вот d-p-client-server жутковат

все что Тим писал жутковато

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

у них видос был минут на 40

оч. хороший

у меня не хватило сил отревьювить все эти пакеты и переписать

Я - не буду. Я понимаю цену внедрения servant и vinyl в мой проект. Accidental complexity и риски крайне высоки. Но вот хаскеллистам, которые витают где-то высоко, слова "поддерживаемость, accidental complexity, борьба со сложностью", видимо, ни о чем не говорят. Программировать на Haskell можно двумя способами: либо ублажать свой могучий интеллект, либо писать код для всех.

Хотя, наверное, даже тремя способами: еще абы как. Ео это ни для интелоекта, ни для других. Ни рыба, ни мясо

тот кто пишет веб сервис не на серванте или пишет сервис на 1.5 ендпоинта или делает это плохо

https://github.com/input-output-hk/cardano-sl/tree/develop/docs как я понял, критерии хорошего и плохого кода размазаны тут

Я там, например, много косяков вижу. Начиная от отсутствия структуры и заканчивая тестами в папках самих библиотек

тот кто пишет веб сервис не на серванте или пишет сервис на 1.5 ендпоинта или делает это плохо

?