нужна, но ни одной нормальной не сделали еще
module Prelude.Extended (
module Prelude
, unsafePerformIO) where
Leonid 🦇
Ю ли я? 🤔
нужна, но ни одной нормальной не сделали еще
А что должно быть в нормальной, чего нет в существующих? (или наоборот)
кана
имхо прелюдии универсально хорошей быть не может
A64m
даже на такой простой вопрос не найден еще ответ
Ю ли я? 🤔
Ну как так? Мы не знаем, какой должна быть нормальная, но при этом знаем, что все имеющиеся ненормальные?
Ю ли я? 🤔
Вдруг нормальной тогда вообще быть не может?!
IC
что там надо стаку сказать чтобы он перестал с заблоченого s3 качать?
~/.stack/config.yaml
package-indices:
- name: Hackage
download-prefix: https://hackage.haskell.org/package/
http: https://hackage.haskell.org/01-index.tar.gz
Ю ли я? 🤔
А какие вообще нынче есть, помимо универсума?
Denis
да их десятки
Ю ли я? 🤔
Топ-5 тогда :)
A64m
нинужны никакие топы. ни одну из них использовать не надо
кана
как и яп
Ю ли я? 🤔
нинужны никакие топы. ни одну из них использовать не надо
Вы не Роскомнадзор, чтобы это запрещать
Alexander
это ж не запрет
Alexander
rebase, rerebase
Alexander
classy-prelude, base-prelude
A64m
нормальный ЯП может быть, почему нет? Это просто ЯП в котором используются известные передовые решения для всяких проблем, сделать "нормальный ЯП" чисто техническая проблема. Будет ли он хорошим? Нет, не для всех проблем существуют решения еще.
Дима
Нормальный ЯП™️
Дима
Сделать нормальный яп — это онтологическая проблема, потому что каждый будет в этом случае думать о своем
Зигохистоморфный
и поэтому ты так часто за жс топишь)
A64m
пусть думает, это опреденение не зависит от того кто что-думает. А от того, использует ли язык плоды какого-то существующего ресерча, или игнорирует их ради специальной убогости, задуманной автором потому что у него отклонения какие-то, он мечтает карать программистов за то, что они плохие и т.д.
Alexander
если у меня есть 1 :: A -> B и 2 :: B -> Maybe A я же из этого могу призму сделать просто?
Alexander
или что я должен делать если хочу линзы и страдать?
A64m
линза ненормальная все равно получится, так что лучше призму делать
Leonid 🦇
http://hackage.haskell.org/package/lens-4.16.1/docs/Control-Lens-Prism.html#v:prism-39-
Alexander
@lonokhov спасибо
кана
1 . 2 . _Just же просто, не?
Ilya
можно как-нибудь (красиво) бесточечно записать покомпонентное сложение двух кортежей?
\(a, b) (c, d) -> (a + c, b + d)
Ilya
курю Control.Arrow пока, но понимания нет
Alexander
@Masteroid point-free пакет
A64m
это же функции
кана
а кек
Alexander
или pointfree оно может помочь
кана
я чет не сразу понял
Alexander
и написать как это в поинтфри
Alexander
а ты решишь нужно ли оно тебе
Alexander
оно
Alexander
в irc есть в боте
Leonid 🦇
можно как-нибудь (красиво) бесточечно записать покомпонентное сложение двух кортежей?
\(a, b) (c, d) -> (a + c, b + d)
http://hackage.haskell.org/package/bifunctors-5.5.2/docs/Data-Biapplicative.html
biliftA2 (+) (+) a b
Ilya
я знаю сайт http://pointfree.io/, но он выдает какую-то хрень
кана
тут проще можно
кана
https://hackage.haskell.org/package/bifunctors-3.2.0.1/docs/Data-Biapplicative.html
кана
а ну вот
Alexander
тот сайт делает тоже самое
Ilya
оно, спасибо
Leonid 🦇
я знаю сайт http://pointfree.io/, но он выдает какую-то хрень
ага, пишет что заблокировано роскомнадзором
Зигохистоморфный
NAryApplicative
доня.
можно как-нибудь (красиво) бесточечно записать покомпонентное сложение двух кортежей?
\(a, b) (c, d) -> (a + c, b + d)
ap (ap . ((,) .) . (. fst) . (+) . fst) ((. snd) . (+) . snd)
доня.
не благодари
A64m
> curry (uncurry ((+) `on` fst) &&& uncurry ((+) `on` snd)) (1,20) (300,4000)
(301,4020)
Leonid 🦇
а на линзах через both нельзя?
a66ath
Stackage nightly 2018-04-23 with GHC 8.4.2
Виталий
Ребят (и девчата если есть) подскажите как в xmonad добавить прозрачность окон
Виталий
простите за офтоп
Alexander
в сторону композитора использующегося смотреть вроде как
Виталий
compiz или что -то подобное и там в настройках прозрачность указывать?
Alexander
я не настраивал, но в свое время на глаза попадалось
Alexander
по compiz + xmonad не находится?
Alexander
@A64m_qb0 а имея 1 :: Lens A B и 2 :: Prism' B C можно сделать Prism A C ?
Виталий
по compiz + xmonad не находится?
спасибо буду в этом направлении продвигаться. Я просто думал без композитора это возможно будет
Alexander
https://stackoverflow.com/questions/43998105/making-every-window-transparent-with-xmonad
Alexander
третья ссылка в d-d-g
Alexander
даже композитора не надо
Aleksei (astynax)
https://hackage.haskell.org/package/xmonad-contrib-0.13/docs/XMonad-Hooks-FadeInactive.html#v:setOpacity
Leonid 🦇
Alexander
чета ругается
Виталий
Alexander
типы не натягиваются
Alexander
Expected type: p Credentials (f Credentials)
-> HashMap Text Aeson.Value -> f (HashMap Text Aeson.Value)
Actual type: p Credentials (f Credentials)
-> p (HashMap Text Aeson.Value) (f (HashMap Text Aeson.Value))
Alexander
хотя нафига мне там призмы
Alexander
нафиг линзы
Cheese
Expected type: p Credentials (f Credentials)
-> HashMap Text Aeson.Value -> f (HashMap Text Aeson.Value)
Actual type: p Credentials (f Credentials)
-> p (HashMap Text Aeson.Value) (f (HashMap Text Aeson.Value))
натянулось, но чего-то не хватает, чтобы вывести p ~ (->), или, наоборот, где-то слишком общая сигнатура написана