то есть вариант с прокси пролетает?

без прокси не взлетит

он не выведет нужный констрейнт сам

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

ну с лисперами поспорил наверное

второй пример это вообще не map между прочим..

так.. нас запутали словом map

меня во всяком случае

ещё эту штуку толком мапом не назовёшь: не меняет тип и меняет структуру.

applyToBoth

аа ну я пропустил сообщения

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

Да

Либо препод нас троллит

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

Ваш препод тут сидит

Задание позиционируется как бонусное и экстра сложное

лол

скинь задание

Ваш препод тут сидит

Добрый вечер. Хорошо что я шифруюсь

Мне кажется надо что-то размутить с TypeApplications

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

сам

@jagajaga "примерно следующим" это "именно так, как в примере" или допускается использование прокси, как у меня? Видно, что вывод в ghci фейковый (прити-принт), отсюда и вопрос

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

ну так TypeApplication - тоже явное указание типов

Примерно — это примерно. Именно так как в примере — это именно так как в примере. Мне не нравится идея получать баллы за задания засчёт сообщества. Задание сделано для того, чтобы поразбираться в сложных темах самостоятельно и проверить свои силы. Думаю, весь курс будет очень благодарен блинчикам Морозко за то, что студенты больше не смогут получить баллы за это задание :)

грустно как-то получилось :с

А можно, кстати, как-то получить список всех заданий?

Ваш препод тут сидит

бгг

есть подозрение что составлял задания тоже студент. из-за этого "примерно" и "map"

@kana_sama Решение на последнем скриншоте правильное. Отдельный challenge -- подумать, как передавать констрейнты вида (Ord a, Num a).

ну так TypeApplication - тоже явное указание типов

Я имел в виду используя эту штуку сделать так чтобы работало как в примерах

Добрый вечер. Хорошо что я шифруюсь

Кстати, это тебе не помогло, тебя уже деанонимизировали ;)

если бы там было apply было бы приятнее конечно, а не map

блин отвлечешься на работу, и все инетересное пропустил

Примерно — это примерно. Именно так как в примере — это именно так как в примере. Мне не нравится идея получать баллы за задания засчёт сообщества. Задание сделано для того, чтобы поразбираться в сложных темах самостоятельно и проверить свои силы. Думаю, весь курс будет очень благодарен блинчикам Морозко за то, что студенты больше не смогут получить баллы за это задание :)

Я пытался сам это решить, не смог и мне захотелось спросить советов мудрых. Я не прошу полное решение, какие-нибудь хинты в каком направлении думать помогли бы

ну вроде про RankNTypes и forall все написали сразу?

а дальше пошло про некомпилируется и должно...

Соре, больше не буду задания скидывать

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

обычно не подсказывают все решение

Я пытался сам это решить, не смог и мне захотелось спросить советов мудрых. Я не прошу полное решение, какие-нибудь хинты в каком направлении думать помогли бы

Если что-то непонятно, можно спрашивать преподавателей, которые сами явно сказали, что готовы помочь. Можно спрашивать в специально созданном для студентов канале в slack. В конце концов можно и с другими студентами пообсуждать. И уж точно не стоит спрашивать решение сразу на следующий день после появления задания, не попытавшись изучить предмет получше, чтобы самостоятельно всё сделать.

обычно не подсказывают все решение

Обычно да, но полное решение уже скинули

Если что-то непонятно, можно спрашивать преподавателей, которые сами явно сказали, что готовы помочь. Можно спрашивать в специально созданном для студентов канале в slack. В конце концов можно и с другими студентами пообсуждать. И уж точно не стоит спрашивать решение сразу на следующий день после появления задания, не попытавшись изучить предмет получше, чтобы самостоятельно всё сделать.

Меня не правильно поняли, я просил хинты а не полное решение

Блинчик

фу таким быть

Очень жаль

Если что-то непонятно, можно спрашивать преподавателей, которые сами явно сказали, что готовы помочь. Можно спрашивать в специально созданном для студентов канале в slack. В конце концов можно и с другими студентами пообсуждать. И уж точно не стоит спрашивать решение сразу на следующий день после появления задания, не попытавшись изучить предмет получше, чтобы самостоятельно всё сделать.

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

студенты что-ли?)

нашествие студентов @chshersh

Меня не правильно поняли, я просил хинты а не полное решение

блин это совсем не так если перечитать твои сообщения.

Надо было явно это указать, не подумал

test3 = applyBoth @ (Z Num (Z Ord Enum)) (sort . fmap succ) [1,5,4] [1.2, 3.3, 0.1] @chshersh так покатит?

что такое Z?

@qnikst Что такое Z? Это из какого-то пакета типа constraints?

нет

type Z a b = C a b x

C выписывать не буду а то и эту часть у студентов отберу

ну страндартный кметтотрюк

фантом?

Книжка от ОРейли нужна, "Стандартные кметтотрюки"

и ктулху на обложке

стикер можно запилить

test4 = applyBoth @ (N '[Num, Ord, Enum]) (sort . fmap succ) [1,5,4] [1.2, 3.3, 0.1]

красота?

только вместо N какое-нить MkConstList

@vlastachu ещё нужно Mastering Oleggery

это когда у тебя полное MPTC+FD запасные классы типов и все такое

так, тут тайпфемели, да?

type Z a b = C a b x

что-то это всё как-то не укладывается в случае с прокси трюк (фантом, твист) был слева, а теперь справа

@vlastachu ещё нужно Mastering Oleggery

не понял шутку(

@kana_sama в N '[..] <- typefamily

но оно разворачивается в то Z a (Z b c) что я выше писал

на чистых type family это вроде невозможно

не понял шутку(

про Олега Киселева же знаешь?

http://okmij.org/ftp/

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

так вот у тебя очень много type level магии

ну ладно понял. олег который не пишет на русском и с которым никто никогда не общался

но в основном на мультипараметрических классах типов и функциональных зависимостях

ну я общался по email

лично тоже его люди видели

CC @cblp_su

ну верю

да, я видел человека, которого называли Oleg Kiselyov

вот

если что я видел @cblp_su он настоящий человек