второй вариант тоже верный же, хм

так я и спросил об этом

ну ошибка, наверное

тут и первый же верный

да

ошибки в тесте получается?

а можно ссылку на тест?) я это тоже должен был проходить когда-то
должно было сохраниться

"Самостоятельно докажите выполнение первого (fmap id = id) и второго ( fmap f . fmap g = fmap (f . g)) законов функторов для функтора частично примененной функциональной стрелки (->) e. Отметьте те свойства оператора композиции функций, которыми вы воспользовались."
в этом прикол (отметить лишь те, которые пригодились для доказательства, вон там чувак написал тоже https://stepik.org/lesson/28880/step/7?discussion=367670)

Рац.предложения админам и "неновичкам"

Предлагаю банить (как минимум, ругать) за
- рекурсивные схемы,
- навязывание point free,
- рекомендации заюзать линзы, Free Monads, Type Families и прочее "неновичковое",
- разговоры про зависимые типы и даже другие языки

Также предлагаю отправлять в общий чат людей с вопросами по чему-то за пределами Functor/Applicative/Monad/др.базовых классов (возможно даже вопросы по трансформерам лучше перенаправлять в @haskellru)

И всех настоятельно призываю не решать за вопрошающего его проблему: этот канал создан для изучающих и решение проблем за них (например, выполнение д/з к курсам вроде степиковского) будет медвежьей услугой! Ещё хуже будут помогать советы вида "а вот так можно ещё короче!" (см.выше про point free) - пусть новички пишут как угодно, лишь бы им самим было понятно. Понятное дело, что code review - штука хорошая, но давайте исходить из принципа "лучшее - враг хорошего", как бы кому ни хотелось продемонстрировать свой скилл в code golf.

И ещё прошу хоть бы здесь не скатываться во флеймы про редакторы (новичку хватит блокнота и GHCi - так даже больше понимания будет) и диалоги на тему "а вообще этот ваш хаскель востребован/нужен кому нибудь?" (те, кто сюда приходят, уже решили изучить язык вне зависимости от его востребованости).

Можно вообще составить CoC, припинить ссылку на него и в случае споров ссылаться на него

Кароч, я, как человек заинтересованный (зря что ли я курс свой пытаюсь читать?), (бессовестно) предлагаю посильную помощь хотя бы в том же написании правил для чатика :)

А что за курс ты читаешь, расскажи? В универе?

Нет, просто набрал группу в 5 человек и учу базовому Haskell. Потом изучим базовый Elm и запилим практический web-проектик на этой связке. Занятия оффлайновые. Часто - на бумажке или доске. Базируемся в антикафшках по вечерам раз в неделю :)

в Москве?

Ага

у нас в НГУ хотят Haskell первокурсникам дать

Специалистов мало по Хаскеллю, чтобы занятия вести :(

Первокурсиникам норм - ещё голова не забита жавой или шарпом :)

Я бы, наверное, смог и студентам рассказывать, но тут в Мск есть кому этим заниматься - есть люди, которые сильно умелее меня как в плане преподавания, так и в плане умения в Haskell :)