Предлагали сложные задачки для решения. С codewars и т.п.
задачки не совсем то, реальный полезный проект все-таки другой опыт дает.
Vladislav
Alexander
менторство вокруг реальных библиотек и проектов гораздо круче
Alexander
по-моему, там не реальные проекты были, а игрушечные и упражнения из книжек
это как решат, но большинство так было
Alexander
вопрос в том у кого есть открытые реальные проекты в которые можно контрибьютить?
Alexander
к меня просто нету, или проекты это бесполезный неадекват или тяжело выделить фронт работ
Alexander
в идеале хоть на ruHaskell добавить ссылки и информацию
Alexander
В чем реальность проекта измеряется?
Vladislav
в идеале хоть на ruHaskell добавить ссылки и информацию
да, хорошо бы. Можно же предположить, что существуют где-то хаскелисты разработчики, которые делают свой проект и которым не хватает свободных рук, которые неизвестно где найти, тем более бесплатно.
Cheese
вопрос в том у кого есть открытые реальные проекты в которые можно контрибьютить?
у меня есть проекты, нет времени на менторство. как оказалось, оно требует больше времени, чем просто принять пуллреквест
Cheese
В чем реальность проекта измеряется?
например, результат проекта — продукт, приносящий пользу
Cheese
в том что он нужен для чего-то полезного
упражнения тоже полезны — они какой-то навык развивают
Alexander
согласен
Temur
Я начинающий в Хаскелле, когда немного поднатаскаюсь было бы очень круто поучаствовать в каком-нибудь проекте
Евгений
Идея на 500 -- написать на сабже платформу, нацеленную на развитие собственных навыков и свободных проектов
Andrey
например, результат проекта — продукт, приносящий пользу
у меня такого дофига валяется.. в рамках "15 минут в день", конечно, но цель - релиз продукта, или приложеньки, или аггрегация опыта в виде статьи и т.п.
Andrey
ну т.е. за месяц решить какую-то конкретную задачу, имея каждый день лишь 15 минут
Vladislav
Идея на 500 -- написать на сабже платформу, нацеленную на развитие собственных навыков и свободных проектов
В перспективе, может быть, да, выльется в такую платформу. И первый шаг будет найти тех, кто отвечает двум условиям, наличие открытого проекта, в котором готов менторить.
Евгений у вас есть такой? Или может кого-то посоветуете?
Евгений
Я даже не программист
Vladislav
Cheese
Идея на 500 -- написать на сабже платформу, нацеленную на развитие собственных навыков и свободных проектов
в чём суть? чем эта платформа будет отличаться от остальных? в каком смысле вообще термин "платформа"?
Dmitrii
вопрос в том у кого есть открытые реальные проекты в которые можно контрибьютить?
В нашей организации есть!
* https://github.com/kowainik
У нас довольно много опенсорсных проектов и очень много планов касательно новых проектов, которые можно поделать. Мы предлагаем менторство всем желающим контрибьютить на Haskell в open-source 🙂
Vladislav
Влад
Привет, я недовно в ФП, профанский вопрос и единственный:
Теория категорий это тоже самое что и теория типов?
кана
нет
Влад
спс
Алексей ayaye :)
и сразу всё встало на свои места 😂
Vladislav
у них есть кое-что общее, обе не нужны чтобы на Haskell начать писать
Vladislav
точнее, с продуктами этих дисциплин столкнуться придется, а вот сами теории изучать не обязательно (и даже бестолково, потому что со знанием Haskell к ним как раз проще подобраться будет)
Cheese
но их объединяет категория типов, я подозреваю
Vladislav
категории можно где угодно отыскать, в типах в том числе
Влад
А ещё вопрос, ADT и HKT это части теории категорий или теории типов??
или как лучше сказать: результат разработки...
Влад
Или может мой вопрос вообще неимеет смысла..
Влад
HKT я подозреваю относиться к ТК
A64m
нет
кана
А ещё вопрос, ADT и HKT это части теории категорий или теории типов??
или как лучше сказать: результат разработки...
ТК - очень абстрактная вещь, которая конечно не знает ничего про какие-то там типы, их порядки и их алгебру
чтобы не было таких вопросов, лучше просто прочитать пару статей про ТК, если интересен именно он, книгу Милевски например. Или забить на это вообще, если интересен хаскель
Aleksei (astynax)
Она сразу про всё
Aleksei (astynax)
Про хлеб в булошной, например
Maxim
Ага, и про буррито
Влад
ладно, перефразирую вопрос, можно ли сказать, что оба ADT и HKT это продукты Теории типов?
Aleksei (astynax)
"Продукты применения ТТ при разработке ЯП"?
Влад
да
A64m
HKT точно прямой продукт ТТ, марк джонс когда делал конструктор-классы в гофере прямо барендрегтовский пейпер цитировал, насчет АлгТД точно сказать не могу, может их изобрели какие-то оторванные от теории умельцы, а теория была подведена позднее
Евгений
Влад
>АлгТД точно сказать не могу, может их изобрели какие-то оторванные от теории умельцы
Если у кого есть дополнить, то плз
Зигохистоморфный
HKT точно прямой продукт ТТ, марк джонс когда делал конструктор-классы в гофере прямо барендрегтовский пейпер цитировал, насчет АлгТД точно сказать не могу, может их изобрели какие-то оторванные от теории умельцы, а теория была подведена позднее
есть просто индуктивные и коиндуктивные данные (адт странное название)
Евгений
есть просто индуктивные и коиндуктивные данные (адт странное название)
Индуктивные и коиндуктивные типы — очень частный случай АлгДТ
A64m
А АлгДТ в NPL'е были? Или их в ML/Hope придумали?
в hope они почти соверменного вида, с паттерн матчингом (не совсем современного вида, правда, без учета последовательности кейсов), в эмеле мначала были суммы и произведения, без ПМ, без вот этого классического вида, когда объявляешь со своими метками конструкторов, в эмеле надо было с помощью асбтрактных типов их оборачивать
A64m
а в нпл емнип вообще типов-то нормальных не было
A64m
но нпл выпадает из того периода по которому я что-то читал, так что не советую тут мне верить на слово
Тык
Кстати, прагмаы specialize и inlinable сработали идеально, спасибо :-)
Тык
Без них конвертация double в байтстринг занимает 280 нс, с ними - 130
A64m
короче говоря "атд" в этих языках выглядели так
"нехопизированный" 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
A64m
альфы в эмельном листинге это греческие буквы в пейперах, в реальном коде это вроде должны были быть * - звездочки, а в хоповом листинге так и выглядели (просто параметры надо было объявлять, для них синтаксического соглашения нет)
Igor
А есть типа javarush чтo-тo пo haskell?
Aleksei (astynax)
CodeWars, например
Aleksei (astynax)
CodingGame
Aleksei (astynax)
Это "сайты с задачками", правда. А не интерактивные курсы. Если нужен курс, то тогда нужно смотреть на Степик (курс Дениса Москвина)
kosc
CodingGame вообще таращит.
kosc
Правда, на хаскеле у меня яиц не хватает там решать.
kosc
И хаскель-код у оппонентов ни разу не попадался.
kosc
А было бы круто.
Aleksei (astynax)
Раньше можно было смотреть в код других - вне текущих ивентов. Потом убрали эту фичу
Aleksei (astynax)
И раньше CodingGame был про ежемесячные соревнования в режиме "три часа на две задачи" с вещественными призами. А сейчас там в основном нужно "ботов писать"
Андрей
и lua есть даже
Sergey
на codeforces вроде можно haskell
𝙱𝚎𝚒𝚉𝚎𝚛𝚘
Alexey
почему?
Aleksei (astynax)
Организаторы просто не смогли два мероприятия параллельно организовывать
Aleksei (astynax)
Буду ждать полноформатной конфы в декабре, без fpconf-митапа как-нибудь обойдёмся :(
𝙱𝚎𝚒𝚉𝚎𝚛𝚘
То насколько поздно они это поняли меня оч расстраивает... Уже отпуск так запланировал, чтоб 15 числа в москву пролётом залететь.
Aleksei (astynax)
Обидно, да
Alexander
опс, случайно убил оффтоп(?)