не

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

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

угу, 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/2431864559634c10905b9f62b3f7d78077dded2d.pdf

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

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

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

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

надо так 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 смотрите тут

А лол

Я думал у меня на работе амазон глушат

америка только лежит

Повез повез рабочий ноут домой

блин, если бы сейчас не деплоили, то апп бы не упал ((

хотя картинки всё равно на S3

шутят что красная галочка хостится на s3 и не отображается поверх зеленой )))

статус обновить не могут

https://twitter.com/Wacky_Tobaccy/status/836657576557199360

лол

https://twitter.com/awscloud/status/836656664635846656

бля это не шутка

Мда хех

Ну в общем у меня us-west-2c и кажется это Орегон и кажется я не должен этого всего ощущать

https://twitter.com/awscloud/status/836656664635846656

это поэтому quora лежит?

не исключено

половина интернетов лежит

не думайте, что интернеты это децентрализованная технология

это давно не так )

это давно не так )

зависит от

а с каких под интернеты=web?

очень многое не в web не лежит

так... ладно забудьте мой комментарий

а с каких под интернеты=web?

какая ересь

?

да понятно, что нет :) другое дело, что у многих сейчас это синонимы

кстати

вот так хорошо делать? data MessageWithReplyPort a = MessageWithReplyPort a (SendPort a) deriving (Generic, Typeable)

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

то бишь к каждому сообщению приклеивать обратный адрес

да, я так делаю периодически

это кажется такой идиоматический эрланг типа