я

ппц, ухудшать производительность счётчика на ровном месте. типа я хочу к counter добавить 1.5 лесоруба?

@lonokhov а чего вы обсуждаете?

prometheus-client

https://turingmachinesimulator.com/

ладно, пусть у них там double, зачем на стороне хаскеля то он?

Ну сделай PR чтоб было CounteInt и CounterDouble :)

Судя по состоянию либок прометея из хаскеля особо сильно никто и не юзает

так что всё допиливать надо, как обычно

@lonokhov лучше скажи какие у тебя мысли по сматывания удочек Фримена с BDFL пурсы?

странная штука https://github.com/ndmitchell/debug#readme

Kirill ого, а что там, комитет теперь?

Kirill ого, а что там, комитет теперь?

Ну вот я пока не понял

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

пишет что устал и мухожук

может личные причины, а может не нашел кто бы ему за это платил

@lonokhov лучше скажи какие у тебя мысли по сматывания удочек Фримена с BDFL пурсы?

BDFL?

https://en.wikipedia.org/wiki/Benevolent_dictator_for_life

Уже обсуждали, что Хаскель — наименее используемый на дневной работе язык? https://stackoverflow.blog/2017/04/19/programming-languages-used-late-night/

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

Roses are red The postman is punctual My day job is OOP But my heart has gone functional

вродеж уже шутили, что по ночам вылезают вампиры и кодют а хацкеле

10 процентных пунктов разницы с го всего. Меня больше беспокоит, что 20% читающих про шарепойнт и эксель это делают в нерабочее время.

больные ублюдки

тоже самое хотел сказать про эксель

За рабочий день не успели. А если к завтрему не сделают - будут бить плеткой

Day job Результаты: OOP (6): mekhrubon levwalkin Andrii vipiemzalubov artemohanjanyan ZeroBias Functional (10): mark_frost Erring egoarka A64m_qb0 GnuPetrovich lonokhov PineappleZombie gltronred vasyayorkin jagajaga Unemployed/other (4): pauline_nemchak Dmitry greenest_pig EvgeniyZh

А если я пишу на питоне, то это OOP, functional или other?

OOP

лоу-левел ёпта

а если я кнопки крашу это OOP, functional или other?

лоу-левел ёпта

Так вот почему ты на боку лежишь и плачешь. И кот.

а вообще это было к вопросу про питон)

мне кажется что путь от питона до го они со временем осилят

Это вряд-ли, там в питоне они любят всякие динамические штуки, а на го без полиморфизма ничего такого не сделать

Procedural

UnsafeCell::new(Box::new(RwLock::new(Arc::new(Mutex::new(Memes)))))

#[derive(Default)]

@xgrommx помню, Вы переписывали recursion-schemes на Идрис. Если есть что-то обычное вроде data Node a = Node2 a a| Node3 a a a data Tree a = Empty | Single a | Branch (Tree ( Node a)) для такого можно объявить Recursive или есть какие-то аналоги Recursive, индексированные функтором?

/stat@combot

combot.org/chat/-1001043143583

Аналога Typeable1 к тайпклассу Data не существует?

@xgrommx помню, Вы переписывали recursion-schemes на Идрис. Если есть что-то обычное вроде data Node a = Node2 a a| Node3 a a a data Tree a = Empty | Single a | Branch (Tree ( Node a)) для такого можно объявить Recursive или есть какие-то аналоги Recursive, индексированные функтором?

индексированные функтором?

Аналога Typeable1 к тайпклассу Data не существует?

Typeable1 же давно задепрекейчен?

хм, ну его сделали polykinded, а Data нет

и теперь не сделаешь инстансы, например для dependent map

dependent map из dependent-map?

ага

есть ли для хаскелл такой модуль что только объявляешь json модель и оно по ней валидирует (В соответствии с спецификацией) например как в https://github.com/epoberezkin/ajv

основываясь на http://json-schema.org/

оп https://github.com/seagreen/hjsonschema

разве распарсив через aeson нельзя удостовериться в соответствии схеме?

ну только формат другой, лучше даже

ну тут прикол в том, что по этой схеме и сразу swagger совметимо

а

короче это же уже валидационная схема

как стандарт

пока только 2 и одна походу оутдейт

http://json-schema.org/implementations.html#validator-haskell

ну вот розетки нету, это подстава..

Ха, в двухэтажном с китайцами их аж 4

Тапочки не забудь

не выдадут похоже

я специально взял предыдущие

в общем с этими поездами до Москвы реально расслабляется и забываешь что не везде так

Я в деревню как-то на СПб - Астана в плацкарте ехал, казахском. Хорошо что мне всего 5 часов. Вагоны из 80 с ремонтом в 90х. Прямо СССР

на белорусских как-то так же

ERROR: S client not available

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

но сегодня она не ездит

ладно надо бы телефон вырубать, а то и зарядить негде будет

Всем добрый вечер! Подскажите пожалуйста, с чего лучше начать знакомство с Haskell, "О Хаскелл по-человечески" или "Learn you a Haskell for a great good" и как эти книги соотносятся между собой?

Всем добрый вечер! Подскажите пожалуйста, с чего лучше начать знакомство с Haskell, "О Хаскелл по-человечески" или "Learn you a Haskell for a great good" и как эти книги соотносятся между собой?

с http://haskellbook.com/

а неимущим ее можно спиратить где-то?

могу в личку скинуть, если тут нельзя пиратить)

был бы рад

с http://haskellbook.com/

Несколько вопросов) Эта книга самодостаточна? Или посли неё можно читать другое? А чем не подходят мною указанные книги (это не сказано как "в укор", просто интересно мнение)?

Несколько вопросов) Эта книга самодостаточна? Или посли неё можно читать другое? А чем не подходят мною указанные книги (это не сказано как "в укор", просто интересно мнение)?

learn you уже очень стара, а тут есть и база, и CT, и можно в реальные проекты

Всем добрый вечер! Подскажите пожалуйста, с чего лучше начать знакомство с Haskell, "О Хаскелл по-человечески" или "Learn you a Haskell for a great good" и как эти книги соотносятся между собой?

А ещё есть чат @haskell_learn , там можно подробнее спрашивать вопросы

learn you уже очень стара, а тут есть и база, и CT, и можно в реальные проекты

а что такое CT?

а что такое CT?

теория категорий

А ещё есть чат @haskell_learn , там можно подробнее спрашивать вопросы

спасибо!

а что такое CT?

Category Theory, теоркат

А ещё есть чат @haskell_learn , там можно подробнее спрашивать вопросы

он для нубов?

Category Theory, теоркат

ох уж это сокращение, стал часто путать с теорией катастроф :/

он для нубов?

Ну по мере сил старается быть для начинающих

он для нубов?

я чаще стал замечать, что haskell_learn для haskell'а, а этот для флуда)))

Там более жёсткие правила: запрет на переусложнённые темы, оффтоп

я чаще стал замечать, что haskell_learn для haskell'а, а этот для флуда)))

с питончатами аналогичная ситуация

А ещё есть чат @haskell_learn , там можно подробнее спрашивать вопросы

там все еще глупые правила ?

Почему глупые? Нормальные

Category Theory, теоркат

Никогда не сталкивался, вот и не понял)

learn you уже очень стара, а тут есть и база, и CT, и можно в реальные проекты

для нуля подойдет?

learn you уже очень стара, а тут есть и база, и CT, и можно в реальные проекты

в learn you тоже ct есть (отдаленно), да и для начальных этапов ct не нужна, так что спокойной можно брать эту книгу в качестве первой

так то по CT есть отдельная книга без смс, примеры на хачкеле: https://github.com/hmemcpy/milewski-ctfp-pdf/releases/download/v0.4.1/category-theory-for-programmers.pdf

и самый кайф – видеолекции к ней https://www.youtube.com/watch?v=O2lZkr-aAqk&list=PLGtm7trCCklGuwdTT6Ep7PPBnXTYFHBCX&index=2 там прям плейлист с сабами на русском (но лучше без них смотреть :))

так то по CT есть отдельная книга без смс, примеры на хачкеле: https://github.com/hmemcpy/milewski-ctfp-pdf/releases/download/v0.4.1/category-theory-for-programmers.pdf

прошу прощения, а насколько CT нужна для изучения Haskell? Возможно ли хорошо овладеть данным языком без хорошего знания данного раздела математики?

эти абстракции позволяют использовать хаскель и понимать как юзать либы, когда видишь монадки, семигруппы и тд, сама теория очень простая, я на русском начинал отсюда http://anton-k.github.io/ru-haskell-book/book/15.html

почему вы пишите category theory, а не теория категорий? в чём смысл заменять русский на английский даже когда это не имеет смысла?