и дают ли современные вузы хорошее образование или нет

Как человек, заканчивающий бакалавриат, я не очень доволен качеством образования, кажется, что чем больше у меня было свободного от учебы времени, тем больше я учился, а не выполнял формальности

как человек получивший PhD, но не продолживший работу по теме, у меня смешанные чувства,но я вот не уверен, что я бы не сидел в каком-нить JetBrains/Oracle с Java, если бы не получал образование

просто та тема классная, и в твиттере будет весело

@catamorphism щас я скопирую что у меня

"http-api-data" = callPackage ({ mkDerivation, attoparsec, attoparsec-iso8601, base, bytestring , Cabal, cabal-doctest, containers, directory, doctest, filepath , hashable, hspec, hspec-discover, http-types, HUnit, QuickCheck , quickcheck-instances, text, time, time-locale-compat , unordered-containers, uri-bytestring, uuid, uuid-types }: mkDerivation { pname = "http-api-data"; version = "0.3.7.2"; sha256 = "68516edab1c01d083a9f08baa9cb78adb60cb3f6e645f1096d02879a68bf6c82"; setupHaskellDepends = [ base Cabal cabal-doctest ]; libraryHaskellDepends = [ attoparsec attoparsec-iso8601 base bytestring containers hashable http-types text time time-locale-compat unordered-containers uri-bytestring uuid-types ]; testHaskellDepends = [ base bytestring directory doctest filepath hspec HUnit QuickCheck quickcheck-instances text time unordered-containers uuid ]; testToolDepends = [ hspec-discover ]; doHaddock = false; homepage = "http://github.com/fizruk/http-api-data"; description = "Converting to/from HTTP API data like URL pieces, headers and query parameters"; license = stdenv.lib.licenses.bsd3; }) {};

сгенерено stackage2nix

хм..

а понял!

не понял

@catamorphism cabal-doc-test сам по себе не хочет hspec

судя по hackage

хз, пиши ишшуй, у нас этот пакет юзается и пашет вроде

Чатик, я хочу попросить совета. Существует ли аналог Traversable, который использовал в качестве своего внутреннего правила не Applicative, а Alternative? Я постараюсь описать, что я имею ввиду. При попытке вычисления sequence [Just 1, Nothing] получим Nothing, вычисление прервется при первой встрече с Nothing, ибо так работает Applicative для Maybe. А я хочу, чтобы выполнялось правило Alternative. Я не нашел что-то похожее на вышеописанное и решил выдумать свой класс:

И попробовал написать экземпляр:

Семантика получилась достаточно прозрачной:

Я пока что-не пробовал вывести или проверить законы, но вдруг я трачу время зря и уже есть что-то готовое.

asum ?

asum :: (GHC.Base.Alternative f, Foldable t) => t (f a) -> f a

В asum нет предиката.

желаемое поведение для sequence не явно не Traversible

Prelude Data.Foldable> asum $ map (\x -> if x == 1 then Just 1 else Nothing) [1,2] Just 1 Prelude Data.Foldable> asum $ map (\x -> if x == 1 then Just 1 else Nothing) [2,1] Just 1 Prelude Data.Foldable> asum $ map (\x -> if x == 1 then Just 1 else Nothing) [2,3] Nothing

а понял

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

но у Maybe Alternative все равно же не подходящий?

а [False] -> Just [].. странненько но ладно

а [False] -> Just [].. странненько но ладно

На скорую руку пример подобрал. В первую очередь, я ищу обобщенное решение этой проблемы.

а [False] -> Just [].. странненько но ладно

все потому что у него так pure [] есть в определении

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

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

человек который всем рассказывал про грабли в ФП и что у него много опыта в нём и книг прочитанных оказался 5 курсником, с 0.5 репами на гитхабе в которых простые лабы

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

(я понял твиттер иначе не работает)

человек который всем рассказывал про грабли в ФП и что у него много опыта в нём и книг прочитанных оказался 5 курсником, с 0.5 репами на гитхабе в которых простые лабы

а это каждые двое из трёх так

есть минуты того, что ты пишешь свое имя и ник в твиттере

человек который всем рассказывал про грабли в ФП и что у него много опыта в нём и книг прочитанных оказался 5 курсником, с 0.5 репами на гитхабе в которых простые лабы

как ты это выяснил?

есть минуты того, что ты пишешь свое имя и ник в твиттере

.

*минусы

напомнило такое)

http://suhorukov.com/golovin-nikita https://github.com/9010v1n

http://suhorukov.com/golovin-nikita https://github.com/9010v1n

у него нет сабжа

ладно не буду больше лезть туда

это не мешает выдавать экспертное мнение

в интернете все знают, что ты кот

человек который всем рассказывал про грабли в ФП и что у него много опыта в нём и книг прочитанных оказался 5 курсником, с 0.5 репами на гитхабе в которых простые лабы

А где рассказывал?

в комментах у backendsecret

https://twitter.com/9010v1n/status/968868623723896833 и дальше

да они же все там недалёкие

я протестую, я нормальный!

ну то есть лучше просто их игнорить

> в ооп идеи ложатся на человеческие восприятие и мышление

вот с этого горит

Я там орнул с костыля под названием "паттерн метчинг" Пацан явно за адхок полиморфизм и метчинг через динамическую диспатчеризацию, как тру оопшники советуют (что собственно очень хорошо)

откуда они все этого набираются

что даёт такой уверенности

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

Может он думает что троллирует

> в ооп идеи ложатся на человеческие восприятие и мышление

А фп - для эффективной реализации на железе!

Ооп.Идеи.положитьНа(Человеческое.восприятие); Ооп.Идеи.положитьНа(Человеческое.мышление);

мне понравилось как Кей задвигал что западная цивилизация любить все разложить по коробочкам и наклеить на них ярлыки, потому ООП там и возникло и развилось

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

вопрос, какая парадигма исконно славянская?

так ООП разве не скандинавы придумали?

Скандинавы недостаточно западные?

Кей божится что он

вопрос, какая парадигма исконно славянская?

джиэс

ну они всегда стояли особняком

вопрос, какая парадигма исконно славянская?

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

да, так и было > developed in the 1960s at the Norwegian Computing Center in Oslo, by Ole-Johan Dahl and Kristen Nygaard

да, так и было > developed in the 1960s at the Norwegian Computing Center in Oslo, by Ole-Johan Dahl and Kristen Nygaard

ну он больше об адопшене и развитии

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

так вот почему среди разрабочиков АИ столько знакомых типажей

так этож.... ленивое фп как раз. наши сани форсят сами

плюс индусы

Я там орнул с костыля под названием "паттерн метчинг" Пацан явно за адхок полиморфизм и метчинг через динамическую диспатчеризацию, как тру оопшники советуют (что собственно очень хорошо)

он там базворды собрал

ясно же вместе не клеется