React — русскоговорящее с...
Android Developers
Python
Vue.js — русскоговорящее ...
supapro.cxx
DotNetRuChat
GNU/Linux Help
Telegram Developers
Node.js — русскоговорящее...
DevOps — русскоговорящее ...
JavaScript Noobs — сообще...
![Django [ru]](https://image.telq.org/channel_avatar_1063854692_12437233608009742_mini.jpeg){kind=avatar}
Django [ru]
Go-go!
Angular - русскоговорящее...
ntwrk
Верстка сайтов HTML/CSS/J...
phpGeeks
Kubernetes — русскоговоря...
Битрикс для разработчиков
MODX. Русскоязычное сообщ...
pgsql – PostgreSQL
Laravel Pro
iOS Developers — русского...
ClickHouse не тормозит
Rust — русскоговорящее со...
JavaScript — русскоговоря...
С#
pro.cxx
pro.jvm
React Native — русскогово...
Devs Chat
Docker — русскоговорящее ...
HTML/CSS — русскоговоряще...
Python beginners
🐧 RU.UBUNTU — Официальное...
Kotlin Community
Embedded Group
Чат экстремального погром...
aiogram
Scala User Group
Haskell
PHP
TypeScript
Клуб Vue.js-разработчиков
Xamarin Developers (MAUI,...
F# Chat
![Svelte [svelt] - All abou...](https://image.telq.org/channel_avatar_1142273288_5399907573915831550_mini.jpeg){kind=avatar}
Svelte [svelt] - All abou...
Системное администрирован...
Nuxt.js | Vue SSR
var chat = new Chat();
Data Science Chat
Android Architecture
Ассемблер
Laravel для начинающих
Церковь метрик
Dart & Flutter
QA — русскоговорящее сооб...
Tarantool
pro.elixir
Python Flask
SAP ABAP
R (язык программирования)
learn.java
Big Data Science :: AI / ...
DevsHelper
SwiftBook
Solidity Development
pro.net (former COM+)
Delphi & Lazarus
OpenStreetMap RU
Visual Studio Code — русс...
ru_mysql
pro.lua
GraphQL — русскоговорящее...
Evolution CMS развитие и ...
Dart / Flutter
pro.Asm
OpenCartForum - 🇺🇦🇪🇺Чат O...
IDE и редакторы — русског...
Angular.js (1.x) — русско...
Frontend_ru
Flutter Developers — русс...
AutoIT RU
AI / Искусственный Интелл...
Lame C
Laravel Framework Russian...
WebPwnChat
Чат — Верстка Сайтов и Фр...
pro.python
Java Underground
dlang.ru
Natural Language Processi...
javascript_ru
SqlCom.ru - сообщество MS...
Cinema 4D
pro.vim
PHP DevConf KZ🇰🇿
Delphi Community
Autohotkey_RU ( v1 & v2 )
pro.rb (Ruby/Rails / RU)
Server Side Swift Develop...
RubyRush.ru
Oracle RU
DevOps
Software Design/Architect...
sql_ninja
Modern::Perl
Odoo talks & fun
AndroidDev Pro:: Професси...
WordPress for developers
ru.nim.talks
PowerShellRus - о Powersh...
Эльбрусы и с чем их едят
Java/Kotlin and more
pro.buildsystems
Powershell Rus
Haskell Start
Python для анализа данных
Скрипты Гугл, Таблицы, Go...
WebGL ru
Compiler Development
firebase_ru — русскоговор...
phpclub.ru
ErlangRus
RU.CRYPTOGRAPHY — Криптог...
Electron.js
QA juniors
GameDev for Web
MySQL (EN)
Go Get A Job
Lame C++
pro.osdev - os developmen...
RU.Docker — Официальное Р...
Emacs — русскоговорящее с...
PostgreSQL (English)
Ember_js
FreePascal & Lazarus
Tilda Developers
Django
WordPress – русскоговорящ...
Язык программирования Jul...
ReasonML и OCaml
sentry_ru
ansible — русскоговорящее...
WebAssembly — русскоговор...
Сrystal Lang — русскогово...
aiohttp
Clojure — русскоговорящее...
heroku_ru
PowerShell Pro
systemd
macOS Developers — русско...
use Perl or die;
FORTH и родственные ЯП
ru_jenkins
Natural Language Processi...
CatBoost
CyberBiology
Sequelize - community (en...
sonarqube_ru
Elm Lang сообщество разра...
SublimeText_RU
NativeScript
WordPress CodeRun
ReactiveX - русскоговорящ...
PureScript — русскоговоря...
#Вайти
Эликсир и Вунш
Cassandra
Вопрос, вот задание https://stepik.org/lesson/7602/step/9?unit=1473 вот код и ошибка, удивляет, что требуется
еще и Semigroup так и должно быть, или я опять делаю ошибки ?
https://play.haskell.org/saved/A1sChdnf
14 ответов
Сейчас в Хаскелле моноид создаётся поверх полугруппы (как и в математике): mappend = (<>). В версии Хаскелля, для которой написан курс, такого ещё не ввели.
код от другой задачи
Fedor
Автор вопроса
код от другой задачи
Странно вот, как я так путаюсь.... 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
Автор вопроса
дополню чуть-чуть -- современный Хаскель instance ...
а вроде минимальное, еще и mconcat ?
а вроде минимальное, еще и mconcat ?
а что в документации написано?
Fedor
Автор вопроса
а что в документации написано?
ghci> :i Monoid type Monoid :: * -> Constraint class Semigroup a => Monoid a where mempty :: a mappend :: a -> a -> a mconcat :: [a] -> a {-# MINIMAL mempty | mconcat #-}
ghci> :i Monoid type Monoid :: * -> Constraint cla...
здесь палка означает "или"
Fedor
Автор вопроса
ghci> :i Monoid type Monoid :: * -> Constraint cla...
обычно документацию удобно смотреть на сайте https://hackage.haskell.org/package/base-4.20.0.0/docs/Data-Monoid.html#t:Monoid
ghci> :i Monoid type Monoid :: * -> Constraint cla...
ghci> :doc Monoid
обычно документацию удобно смотреть на сайте https...
там вот так написано. ну ок, в данном случае без разницы, но другие вещи удобнее обычно
ghci> :doc Monoid
а там нет minimal definition внезапно
Fedor
Автор вопроса
дополню чуть-чуть -- современный Хаскель instance ...
по идее как мне кажеться я написал вариант, который должен работать в обоих случаях
Похожие вопросы
Обсуждают сегодня