169 похожих чатов

Вопрос, вот задание https://stepik.org/lesson/7602/step/9?unit=1473 вот код и ошибка, удивляет, что требуется

еще и Semigroup так и должно быть, или я опять делаю ошибки ?
https://play.haskell.org/saved/A1sChdnf

14 ответов

16 просмотров

Сейчас в Хаскелле моноид создаётся поверх полугруппы (как и в математике): mappend = (<>). В версии Хаскелля, для которой написан курс, такого ещё не ввели.

код от другой задачи

Fedor- Автор вопроса
Cheese Syrowiecki
код от другой задачи

Странно вот, как я так путаюсь.... https://play.haskell.org/saved/RxfbFv96

Михаил
Сейчас в Хаскелле моноид создаётся поверх полугруп...

дополню чуть-чуть -- современный Хаскель instance Semigroup MyData where (<>) = myAppend instance Monoid MyData where mempty = myEmpty -- старый Хаскель instance Monoid MyData where mappend = myAppend mempty = myEmpty

Fedor- Автор вопроса
Fedor
а вроде минимальное, еще и mconcat ?

а что в документации написано?

Fedor- Автор вопроса
Cheese Syrowiecki
а что в документации написано?

ghci> :i Monoid type Monoid :: * -> Constraint class Semigroup a => Monoid a where mempty :: a mappend :: a -> a -> a mconcat :: [a] -> a {-# MINIMAL mempty | mconcat #-}

Fedor
ghci> :i Monoid type Monoid :: * -> Constraint cla...

здесь палка означает "или"

Fedor- Автор вопроса
Fedor
ghci> :i Monoid type Monoid :: * -> Constraint cla...

обычно документацию удобно смотреть на сайте https://hackage.haskell.org/package/base-4.20.0.0/docs/Data-Monoid.html#t:Monoid

Cheese Syrowiecki
обычно документацию удобно смотреть на сайте https...

там вот так написано. ну ок, в данном случае без разницы, но другие вещи удобнее обычно

Strange Rabbit
ghci> :doc Monoid

а там нет minimal definition внезапно

Fedor- Автор вопроса
Cheese Syrowiecki
дополню чуть-чуть -- современный Хаскель instance ...

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

Похожие вопросы

Обсуждают сегодня

Всем привет, написал код ниже, но он выдает сегфолт, в чем причина? #include <stdio.h> #include <stdlib.h> #include <string.h> struct product { char *name; float price; };...
buzz базз
70
Всем доброго дня, ребят подскажите пожалуйста, если в курсе по ассемблеру используется MASM32, могу ли я использовать FASM? В чем явная разница и будет ли у меня все работать?
Botsman
17
Хотел бы спросить у знающих, правильную ли я выбрал книгу для начала изучения ассемблера Юрова В.И ? Или есть более лучшие книги для начала обучения?
Botsman
25
Книга Юрова В.И пойдёт для обучения?
Botsman
24
$params = [ 'formid' => 'feedbackForm', 'formTpl' => '@CODE: <form class="form-validate" data-id="ajax_form"> <fieldset class="margin-bottom-md"> ...
Pathologic
1
Люди добрые, помогите с идеями, потому что свои закончились. У клиента падает софтина в момент инициализации модуля OtlEventMonitor на RegisterWindowMessage('Gp/OtlTaskEvents/...
Михаил Усков
7
> Примечательно, что новый владелец удаляет из GitHub любые жалобы, указывающие на подозрительную активность или смену владельца, и, видимо, рассчитывает на то, что пользовате...
Alex Sherbakov
2
GridView fully ignored first parent(SizedBox), and take width from second parent(Container). How can I constrain GridView by first parent? Widget build(BuildContext context) {...
Hamster
1
Коллеги, добрый день. Есть такой вопрос: Есть модуль, который надо запустить через супервизор как дочерний процесс. Пока инстансов было нужно 8, всё было окей, но когда их ст...
Δημήτηρ
4
Hey there Which is the best Linux destro for developers (coding)? To my research on reddit, they said Linux mint is good for mid level spec and Ubuntu for high Lev hardwar...
Wiz 🪄
11
Карта сайта