mempty справа же у меня верно определится как мемпти типа a?

или правильнее mempty = Maybe' (mempty)?

наверное имелось в виду mempty = Maybe' . mempty ?

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

mempty :: a

mempty = Maybe' (mempty :: a)?

mempty = Maybe' (Just mempty) ок ведь

mempty = Maybe' (mempty :: Maybe a) тогда уж

но мемпти определен для типа а

а не для Maybe a

хотя если он определен для a, то и для Maybe a тоже определен

а

ну да

instance Monoid a => Monoid (Maybe' a) where mempty = Maybe' (mempty) mappend (Maybe' (mempty)) m = m mappend m (Maybe' (mempty)) = m (Maybe' m1) mappend (Maybe' m2) = Maybe' (mappend m1 m2) Паттерн матчинг норм для маппенда с Maybe' (mempty)?

не пойму как паттерн матчить, если хочешь именно мемпти какого либо типа

не

кажись так оно не работает

ну т.е. матчить можно по конструкторам

угу, mempty просто как переменная получается

instance Monoid a => Monoid (Maybe' a) where mempty = Maybe' (Just mempty) mappend (Maybe' (Just a)) (Maybe' (Just b)) = Maybe' (Just (mappend a b)) mappend _ _ = Maybe' Nothing

я так понимаю ты что-то вот такое хочешь

да

а то что ты выше написал по идее должно следовать из законов моноида

угу, так работает

хотя последнюю строчку не понял

-- Identity laws x <> mempty = x mempty <> x = x

почему они тут выполняются

Ну кстати по всей видимости законы будут работать если ты определишь или не определишь mappend a (Maybe' Nothing) = a

а не

придётся всё таки НЕ определять эти два случая

иначе получается Maybe' Nothing <> mempty = mempty

да

Just Nothing это че за вообще

Не обращай внимания, это просто ничего.

String же это не Maybe

mempty у стринга []

ты подставил a Maybe String

mempty :: Maybe' String => []

туплю - снова посмотрел на код понял

О степик решают?

да, задачки с прошлого года

Решили эту?

да

все законы соблюли?

c mappend

какая развязка у этих вопросов?

все законы соблюли?

вроде да

вроде? =)

кажется дата неверная

кажется дата неверная

верная, в прошлом году еще завершил, но не все задачки решил, в этом году дорешиваю

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

надо так https://stepik.org/certificate/5cb4f5aff29c8e54738f328ea14f3735ae644bf6.pdf =)

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

надо так https://stepik.org/certificate/5cb4f5aff29c8e54738f328ea14f3735ae644bf6.pdf =)

👍

на edx кстати у меня меньше 100 : (

там 97 что-то такое

я там забил на poor man concurrency я почему-то его не понимал тогда

надо так https://stepik.org/certificate/5cb4f5aff29c8e54738f328ea14f3735ae644bf6.pdf =)

ты столько томил с этими вопросами только чтобы скинуть 100%?

нет

мне просто честно было интересно разобрались или нет

не я первый pdf-ками бросаться стал

ну ок

ну я надеялся что развязка будет: а я эти курсы и составил

ладно, кто-нить понимает про phase control в rewriting rules

это не ко мне : /

ты столько томил с этими вопросами только чтобы скинуть 100%?

да ладно тебе, все равно все молчат, пофлудим хоть

да я не про шум,

про нагнетение скорее

у меня есть метод в классе с {-# inline враппер с {-# INLINE [8] и правило с [9] которое превращает враппер в id

и что-то похоже что это не везде срабатывает, куда копать, чтобы пофиксить?

ну что ребята

амазон уже обсудили?)

вот это вендор лок, так вендор лок

а что с амазоном?

пизда какая-то, у нас апп на хероку упал после деплоя

умер амазон

кусочно

status.aws.amazon.com смотрите тут

А лол