Alexander
ну вроде про RankNTypes и forall все написали сразу?
Alexander
а дальше пошло про некомпилируется и должно...
Vitaliy
Соре, больше не буду задания скидывать
Alexander
вообще тут люди не сразу поняли что задание мне кажется
Alexander
обычно не подсказывают все решение
Dmitrii
Я пытался сам это решить, не смог и мне захотелось спросить советов мудрых. Я не прошу полное решение, какие-нибудь хинты в каком направлении думать помогли бы
Если что-то непонятно, можно спрашивать преподавателей, которые сами явно сказали, что готовы помочь.
Можно спрашивать в специально созданном для студентов канале в slack.
В конце концов можно и с другими студентами пообсуждать. И уж точно не стоит спрашивать решение сразу на следующий день после появления задания, не попытавшись изучить предмет получше, чтобы самостоятельно всё сделать.
Vitaliy
Если что-то непонятно, можно спрашивать преподавателей, которые сами явно сказали, что готовы помочь.
Можно спрашивать в специально созданном для студентов канале в slack.
В конце концов можно и с другими студентами пообсуждать. И уж точно не стоит спрашивать решение сразу на следующий день после появления задания, не попытавшись изучить предмет получше, чтобы самостоятельно всё сделать.
Меня не правильно поняли, я просил хинты а не полное решение
Λrtem
Блинчик
Λrtem
фу таким быть
Vitaliy
Очень жаль
Влод
Если что-то непонятно, можно спрашивать преподавателей, которые сами явно сказали, что готовы помочь.
Можно спрашивать в специально созданном для студентов канале в slack.
В конце концов можно и с другими студентами пообсуждать. И уж точно не стоит спрашивать решение сразу на следующий день после появления задания, не попытавшись изучить предмет получше, чтобы самостоятельно всё сделать.
вечная фигня. никто не прочитает твоих указаний и никто не спросит напрямую. при том что задания могут быть кривыми и фидбек преподу имеет значение для качества материала.
с преподом сможет общаться только тот кто знал его вне учебы
кана
студенты что-ли?)
Kirill
нашествие студентов @chshersh
Влод
Меня не правильно поняли, я просил хинты а не полное решение
блин это совсем не так если перечитать твои сообщения.
Vitaliy
Надо было явно это указать, не подумал
Alexander
test3 = applyBoth @ (Z Num (Z Ord Enum)) (sort . fmap succ) [1,5,4] [1.2, 3.3, 0.1]
@chshersh так покатит?
Зигохистоморфный
что такое Z?
Dmitrii
@qnikst Что такое Z? Это из какого-то пакета типа constraints?
Alexander
нет
Alexander
type Z a b = C a b x
Alexander
C выписывать не буду а то и эту часть у студентов отберу
Alexander
ну страндартный кметтотрюк
Зигохистоморфный
фантом?
Dmitry
Книжка от ОРейли нужна, "Стандартные кметтотрюки"
Dmitry
и ктулху на обложке
Влод
стикер можно запилить
Alexander
test4 = applyBoth @ (N '[Num, Ord, Enum]) (sort . fmap succ) [1,5,4] [1.2, 3.3, 0.1]
Alexander
красота?
Alexander
только вместо N какое-нить MkConstList
Alexander
@vlastachu ещё нужно Mastering Oleggery
Alexander
это когда у тебя полное MPTC+FD запасные классы типов и все такое
кана
так, тут тайпфемели, да?
Влод
type Z a b = C a b x
что-то это всё как-то не укладывается
в случае с прокси трюк (фантом, твист) был слева, а теперь справа
Alexander
@kana_sama в N '[..] <- typefamily
Alexander
но оно разворачивается в то Z a (Z b c) что я выше писал
Alexander
на чистых type family это вроде невозможно
Alexander
http://okmij.org/ftp/
Alexander
популярность которого сейчас кметт затмил
Alexander
так вот у тебя очень много type level магии
Влод
ну ладно понял. олег который не пишет на русском и с которым никто никогда не общался
Alexander
но в основном на мультипараметрических классах типов и функциональных зависимостях
Alexander
ну я общался по email
Alexander
лично тоже его люди видели
Alexander
CC @cblp_su
Влод
ну верю
Cheese
да, я видел человека, которого называли Oleg Kiselyov
Alexander
вот
Alexander
если что я видел @cblp_su он настоящий человек
Alexander
так что можно выстраивать цепочку доверия
Alexander
вопрос в том настоящий ли я?
ᛏᚺᛖ ᛚᛖᛋᛒᛁᚨᚾ ᛗᚨᚾ ᚷᛁᚱᛚ 🐝
вопрос в том настоящий ли я?
не ты ли делал доклад в августе про конкарент хаскель?
Cheese
судя по тому, что за завтраком этот человек рассказывал, как ему удобно добираться до Нариты, это, вероятно, был действительно Oleg
Кабачок
хм, я видел @qnikst
Alexander
Pavel я
ᛏᚺᛖ ᛚᛖᛋᛒᛁᚨᚾ ᛗᚨᚾ ᚷᛁᚱᛚ 🐝
ну вот
ᛏᚺᛖ ᛚᛖᛋᛒᛁᚨᚾ ᛗᚨᚾ ᚷᛁᚱᛚ 🐝
настоящий ли я?
ᛏᚺᛖ ᛚᛖᛋᛒᛁᚨᚾ ᛗᚨᚾ ᚷᛁᚱᛚ 🐝
))
ᛏᚺᛖ ᛚᛖᛋᛒᛁᚨᚾ ᛗᚨᚾ ᚷᛁᚱᛚ 🐝
вообще очень сложно говорить о том, настоящий ли человек, наверное
Aragaer
откуда удобно добираться до нариты?
Alexander
оттуда гнде он живет
Alexander
@cblp_su ты не в курсе где он сейчас преподает?
Alexander
так выше у меня одна очепятка была
Alexander
но ищите сами
Влод
не ты ли делал доклад в августе про конкарент хаскель?
не всё, цепочка уже дошла до меня, а я тут главный персонаж, так что можно прекратить
ᛏᚺᛖ ᛚᛖᛋᛒᛁᚨᚾ ᛗᚨᚾ ᚷᛁᚱᛚ 🐝
не всё, цепочка уже дошла до меня, а я тут главный персонаж, так что можно прекратить
а кто ты, если не секрет?
Влод
не секрет но и примечательного ничего нет
имя фамилия как у всех, работа посредственная
ну разве что хата неплохая
Anonymous
Влод
андроид в нонейм конторке на старухе.
по работе пишу на котлине
Влод
да и на свифте тоже пишу.
реактивщина на мобилках сплошь императивная.
кана
test3 = applyBoth @ (Z Num (Z Ord Enum)) (sort . fmap succ) [1,5,4] [1.2, 3.3, 0.1]
@chshersh так покатит?
Решил короче таким же способом, классная задача
Alexander
@kana_sama хочешь небольшое продолжение?
кана
тайплевел списки?
Влод
особенно смешной тренд есть в андроиде Moxy
на собесах разговариваю с людьми и видимо это пользуется популярностью.
вместо норм модели как в редуксе, записываются все действия и воспроизводятся чтобы получить последний стейт
кана
это слишком легко
кана
а так давай
Alexander
сначала списки, а потом, чтобы списки генерировали сбалансированное дерево
Alexander
(я сам ни разу такое не делал)