ну и плюс группы для изучения чего-то

но постепенно загнулост

по какой?

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

Предлагали сложные задачки для решения. С codewars и т.п.

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

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

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

это как решат, но большинство так было

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

подтверждаю!

вопрос в том у кого есть открытые реальные проекты в которые можно контрибьютить?

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

в идеале хоть на ruHaskell добавить ссылки и информацию

В чем реальность проекта измеряется?

в идеале хоть на ruHaskell добавить ссылки и информацию

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

вопрос в том у кого есть открытые реальные проекты в которые можно контрибьютить?

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

В чем реальность проекта измеряется?

например, результат проекта — продукт, приносящий пользу

В чем реальность проекта измеряется?

в том что он нужен для чего-то полезного

в том что он нужен для чего-то полезного

упражнения тоже полезны — они какой-то навык развивают

согласен

Я начинающий в Хаскелле, когда немного поднатаскаюсь было бы очень круто поучаствовать в каком-нибудь проекте

Идея на 500 -- написать на сабже платформу, нацеленную на развитие собственных навыков и свободных проектов

например, результат проекта — продукт, приносящий пользу

у меня такого дофига валяется.. в рамках "15 минут в день", конечно, но цель - релиз продукта, или приложеньки, или аггрегация опыта в виде статьи и т.п.

ну т.е. за месяц решить какую-то конкретную задачу, имея каждый день лишь 15 минут

Идея на 500 -- написать на сабже платформу, нацеленную на развитие собственных навыков и свободных проектов

В перспективе, может быть, да, выльется в такую платформу. И первый шаг будет найти тех, кто отвечает двум условиям, наличие открытого проекта, в котором готов менторить. Евгений у вас есть такой? Или может кого-то посоветуете?

Я даже не программист

у меня такого дофига валяется.. в рамках "15 минут в день", конечно, но цель - релиз продукта, или приложеньки, или аггрегация опыта в виде статьи и т.п.

Андрей, можно посмотреть на них?

Идея на 500 -- написать на сабже платформу, нацеленную на развитие собственных навыков и свободных проектов

в чём суть? чем эта платформа будет отличаться от остальных? в каком смысле вообще термин "платформа"?

вопрос в том у кого есть открытые реальные проекты в которые можно контрибьютить?

В нашей организации есть! * https://github.com/kowainik У нас довольно много опенсорсных проектов и очень много планов касательно новых проектов, которые можно поделать. Мы предлагаем менторство всем желающим контрибьютить на Haskell в open-source ?

В нашей организации есть! * https://github.com/kowainik У нас довольно много опенсорсных проектов и очень много планов касательно новых проектов, которые можно поделать. Мы предлагаем менторство всем желающим контрибьютить на Haskell в open-source ?

О, Дмитрий, круто!

Привет, я недовно в ФП, профанский вопрос и единственный: Теория категорий это тоже самое что и теория типов?

нет

спс

и сразу всё встало на свои места ?

у них есть кое-что общее, обе не нужны чтобы на Haskell начать писать

точнее, с продуктами этих дисциплин столкнуться придется, а вот сами теории изучать не обязательно (и даже бестолково, потому что со знанием Haskell к ним как раз проще подобраться будет)

но их объединяет категория типов, я подозреваю

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

А ещё вопрос, ADT и HKT это части теории категорий или теории типов?? или как лучше сказать: результат разработки...

Или может мой вопрос вообще неимеет смысла..

HKT я подозреваю относиться к ТК

нет

А ещё вопрос, ADT и HKT это части теории категорий или теории типов?? или как лучше сказать: результат разработки...

ТК - очень абстрактная вещь, которая конечно не знает ничего про какие-то там типы, их порядки и их алгебру чтобы не было таких вопросов, лучше просто прочитать пару статей про ТК, если интересен именно он, книгу Милевски например. Или забить на это вообще, если интересен хаскель

Она сразу про всё

Про хлеб в булошной, например

Ага, и про буррито

ладно, перефразирую вопрос, можно ли сказать, что оба ADT и HKT это продукты Теории типов?

"Продукты применения ТТ при разработке ЯП"?

да

HKT точно прямой продукт ТТ, марк джонс когда делал конструктор-классы в гофере прямо барендрегтовский пейпер цитировал, насчет АлгТД точно сказать не могу, может их изобрели какие-то оторванные от теории умельцы, а теория была подведена позднее

HKT точно прямой продукт ТТ, марк джонс когда делал конструктор-классы в гофере прямо барендрегтовский пейпер цитировал, насчет АлгТД точно сказать не могу, может их изобрели какие-то оторванные от теории умельцы, а теория была подведена позднее

Понял, спасибо!

HKT точно прямой продукт ТТ, марк джонс когда делал конструктор-классы в гофере прямо барендрегтовский пейпер цитировал, насчет АлгТД точно сказать не могу, может их изобрели какие-то оторванные от теории умельцы, а теория была подведена позднее

А АлгДТ в NPL'е были? Или их в ML/Hope придумали?

>АлгТД точно сказать не могу, может их изобрели какие-то оторванные от теории умельцы Если у кого есть дополнить, то плз

HKT точно прямой продукт ТТ, марк джонс когда делал конструктор-классы в гофере прямо барендрегтовский пейпер цитировал, насчет АлгТД точно сказать не могу, может их изобрели какие-то оторванные от теории умельцы, а теория была подведена позднее

есть просто индуктивные и коиндуктивные данные (адт странное название)

есть просто индуктивные и коиндуктивные данные (адт странное название)

Индуктивные и коиндуктивные типы — очень частный случай АлгДТ

А АлгДТ в NPL'е были? Или их в ML/Hope придумали?

в hope они почти соверменного вида, с паттерн матчингом (не совсем современного вида, правда, без учета последовательности кейсов), в эмеле мначала были суммы и произведения, без ПМ, без вот этого классического вида, когда объявляешь со своими метками конструкторов, в эмеле надо было с помощью асбтрактных типов их оборачивать

а в нпл емнип вообще типов-то нормальных не было

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

Кстати, прагмаы specialize и inlinable сработали идеально, спасибо :-)

Без них конвертация double в байтстринг занимает 280 нс, с ними - 130

короче говоря "атд" в этих языках выглядели так "нехопизированный" ml 78-го года abslist : (. + (alpha x alpha list)) -> alpha list replist : alpha list -> (. + (alpha x alpha list)) absrectype alpha list = . + (alpha x alpha list) with nil = abslist(inl()) and $.(x,l) = abslist(inr(x,l)) and null(l) = isl(replist(l)) and hd(l) = fst(outr(replist(l))) and tl(l) = snd(outr(replist(l))) hope 80-го typevar alpha data list(alpha) == nil ++ cons(alpha#list(alpha))

А с мономорфной Функцией - те же 130

альфы в эмельном листинге это греческие буквы в пейперах, в реальном коде это вроде должны были быть * - звездочки, а в хоповом листинге так и выглядели (просто параметры надо было объявлять, для них синтаксического соглашения нет)

А есть типа javarush чтo-тo пo haskell?

ERROR: S client not available

CodeWars, например

CodingGame

Это "сайты с задачками", правда. А не интерактивные курсы. Если нужен курс, то тогда нужно смотреть на Степик (курс Дениса Москвина)

CodingGame вообще таращит.

Правда, на хаскеле у меня яиц не хватает там решать.

И хаскель-код у оппонентов ни разу не попадался.

А было бы круто.

Раньше можно было смотреть в код других - вне текущих ивентов. Потом убрали эту фичу

И раньше CodingGame был про ежемесячные соревнования в режиме "три часа на две задачи" с вещественными призами. А сейчас там в основном нужно "ботов писать"

CodingGame вообще таращит.

о, спасибо

о, спасибо

Вообще-то, про него изначально Алексей вспомнил...

CodingGame

спасибо )

и lua есть даже

на codeforces вроде можно haskell

Стоило ожидать

почему?

Организаторы просто не смогли два мероприятия параллельно организовывать

Буду ждать полноформатной конфы в декабре, без fpconf-митапа как-нибудь обойдёмся :(

То насколько поздно они это поняли меня оч расстраивает... Уже отпуск так запланировал, чтоб 15 числа в москву пролётом залететь.

Обидно, да

опс, случайно убил оффтоп(?)

так у меня проблема со стеком

собираю пакет, в extra-deps последний servant-auth-client

при сборке падает и говорит что ему не хватает модуля из servant-auth

причем при последующих ребилдах тоде

меняю в stack.yaml версию servant-auth на минорную ниже - все собирается

меняю версию назад как было - тоже собирается

модуль есть во всех версиях