я забыл ответить

@XetaFelius разобрался?

Смотря с чем именно? O_o

d-p примерами и всем этим

distributed-process/network-transport

Ну, не полностью изучил, но на возникшие вопросы

ответы получил

ответы получил

Туториалы правда подустарели. Некоторые ссылки недействительны, например, или изменения функций не учтены. http://haskell-distributed.github.io/wiki/networktransport.html http://haskell-distributed.github.io/tutorials/1ch.html

Вот и были вопросы.

?

?

Йоу

нет сорь я гей

пипец.... "гей", "рашка"... - чат про хаскель называется.

найс чат

indeed

пипец.... "гей", "рашка"... - чат про хаскель называется.

из всего разговора самое интересное тебе было про геев? )

И сразу нашлись люди, решившие подколоть

из всего разговора самое интересное тебе было про геев? )

смысл тогда в этом чате, если в нем вместо обсуждения haskell, педерасты будут себя рекламировать, да всякий треп вестись? Это вопрос к создателям чата, кто тут админ.

рекламировать? )

Я бы банил за хейт спич

Я бы банил за хейт спич

+

а кто кого захейтил?

хаскель опять захейтили?

заводы стоят, одни хейтеры кругом

Ну, а че еще остается

Заводы стоят, ибо праздники

У кого-то праздники, а у кого-то ещё нет

Можно и похейтить

Не

Лучше спать

Сон никому не вредит

Ты треть жизни спишь

А мог бы кодать

Я сплю довольно мало

И кодаю наверное слишком много

Если слишком много бывает

У меня тут конфликт внутренний. С одной стороны я недоучка и мне нужно серьёзно подтянуть фундаментальщину. С другой можно получать знания по языку, фреймворку и фронтэнду чтобы облегчить свою работу и повысить ликвидность прямо сейчас, но это будут менее глубокие знания в связи с лакунами в базовом образовании в CS.

держи нас в курсе)

ребят, давайте без картинок таких?

/stat@combot

combot.org/chat/-1001043143583

Name Activity Messages Active days Flood ratio leon nikitin 0.263% 5 4 143

5 сообщений и все хейтспич про канал, где большой оффтоп был один день когда не было активных тем про on topic, серьезно?

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

@nlvomsk давай ты пойдешь этим путем?

я, конечно, понимаю оффтоп мешает молчаливым читателям, из 500 человек наверняка есть много кто только читает и ничего не пишет, но я не знаю что с этим сделать

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

В реал ворлд хаскелль есть

Вполне книжка

есть в pdf ? )

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

есть в pdf ? )

Есть сайт

И бумажная

В пдф не знаю

о риливская, пдф где-то должен быть

Мне припёрло заказать бумажную

Большая довольно

Про трансформеры есть пейпер All About Monads. Там и примеры и интуиция

https://wiki.haskell.org/All_About_Monads

https://wiki.haskell.org/All_About_Monads ?

там же ссылка на PDF

ай

ERROR: S client not available

короче читаю в данный момент

Там и про простые монадки хорошо написано, если что. И примеры, и "как к этом пришли", и прочее

Трансформерщина с главы 17 начинается

http://book.realworldhaskell.org/read/

В RWH не то чтобы хорошо рассказывается про трансформеры. Да и сама книга во многом уже не real world

Для начала годится. Делитесь другими ссылками!

.. и другими ссылками.

class (Monad m) => MonadError e m | m -> e where throwError :: e -> m a catchError :: m a -> (e -> m a) -> m a вот | m -> e это вообще что

functional dependency

говорит, что "параметра у тебя два, но один однозначно определяет другой"

что значит однозначно определяет

говорит о том что для m есть только один e

для конкретного m может быть только один парный e, да

в инстансе

вот если я потом пишу instance MonadError (Either e) where throwError = Left (Left e) `catchError` handler = handler e a `catchError` _ = a где я тут однознчно что определяю?

я такое только в исходниках стдлиб видел, не в книгах, это как-то с версией хаскеля связанно?

Ну это такой экстеншн

Он выходит за пределы Haskell2010, поэтому во многих книгах его и нет

вот если я потом пишу instance MonadError (Either e) where throwError = Left (Left e) `catchError` handler = handler e a `catchError` _ = a где я тут однознчно что определяю?

ты не сможешь так инстанс написать

инстанс будет instance MonadError e (Either e) where

как это

это пример из книги, которую ты советовал

У класса MonadError два параметра

глава 10.3

> instance MonadError (Either e) where <interactive>:10:10: error: • Expecting one more argument to ‘MonadError (Either e)’ Expected a constraint, but ‘MonadError (Either e)’ has kind ‘(* -> *) -> Constraint’ • In the instance declaration for ‘MonadError (Either e)’

Да даже ты сам написал class (Monad m) => MonadError e m | m -> e where

Два параметра у класса

И когда ты класс инстанциируешь, то выбранная монада m будет определять параметр e

В инстансе instance MonadError e (Either e) where говорится, что тип ошибки MonadError тот же, что и у Either

проверил, есть такое дело • Too many parameters for class ‘MonadError’ (Use MultiParamTypeClasses to allow multi-parameter classes) • In the class declaration for ‘MonadError’ значит источник так себе, есть ошибки