Leonid 🦇
Или traversable? На чем там linear у Кметта?
Ilya
вряд ли подойдут, слишком широкие
Ilya
Нужно уметь перегонять тип в Vector и обратно
Ю ли я? 🤔
Ну ту которую в тексте написана. В конце концов мысли это текст. Я стараюсь не пихать подтекст в свои слова, потому что сам плохо понимаю подтекст.
А вот вопроса "зачем" я не понимаю. Не преследую никаких скрытых целей
А какая там была открыто заложена? Можно для тупых, а то я три раза перечитал и не понял.
Ilya
по аналогии с fromIntegral и toInteger
Ю ли я? 🤔
И про цели непонятно. Хорошо, никаких скрытых, а какая открытая?
Евгений
по аналогии с fromIntegral и toInteger
Это имело бы смысл, если бы библиотека vector использовала такой тайпкласс, но она везде хочет сам вектор
A64m
т.е. надо просто писать код используя ф-и из Data.Vector.Generic и они будут работать с любыми векторами
Ilya
т.е. надо просто писать код используя ф-и из Data.Vector.Generic и они будут работать с любыми векторами
похоже, действительно оно, спасибо
Dmitry
Так что всем пока. Может, еще свидимся
Да 13-го только суд, потом будут апелляции, контраппеляции и тд. Короче, будут тянуть кота в долгий ящик ещё недели, а то и месяцы
Dmitry
То чувство, когда ты не в России, и тебя блокировка не коснётся...
Цензурировать Фейсбук уже собрались? Значит, и до Телеграмма рукой подать
Dmitry
А то вдруг мы им опять Трампа выберем
Dmitry
кто рассылку читает - что там с хакаджем вообще?
Dmitry
когда починят
Alexander
Почему "кому", а не "для чего"? Понятие долженстования носит двоякий характер -- это как Долг перед Другим, так и одна сторона причино-следственной связи. Например "вы должны нажать на курок, для того чтобы выстрелить"
На курок не нажимают, чтобы выстрелить. Курок взводят.
Leonid 🦇
Update: Things are _very close_ to being fully restored. However, due to varying time zones and sleep schedules we're not in a position to flip the switch just yet, lest I make another dumb error on my own and send us back to square one.
Also: the hackage server datamodel can feel a bit overengineered, but at times like these it really shines, in terms of the the ability to restore things. And the haskell language is great, in terms of letting me bang out a complicated restore script over the course of a day that worked essentially the first time when we set it loose on real data. More on this when the restore is actually done, and I sleep and recover, and then write a postmortem up.
Leonid 🦇
Запостил 4 часа назад
Евгений
Они пересобирают весь хекедж?
Denis
https://twitter.com/dshevchenko_biz/status/984669418511831040
Евгений
Раньше монада не была аппликативом же
Denis
Ну потому я и добавил пункт "по историческим причинам" ;-)
Aleksei (astynax)
Зачем опрос то?
Aleksei (astynax)
Чтобы узнать, нужно ли использовать и дальше?
Aleksei (astynax)
Тогда "по историческим причинам" - не на тот вопрос ответ
Denis
Чтобы просто понять настрой сообщества
Denis
зачем ещё опросы такие нужны? :-)
Aleksei (astynax)
"Почему он есть?" - "по историческим причинам" (без вариантов).
"Нужно ли дальше использовать?" - "нужно/не нужно/..."
Aleksei (astynax)
"Приходишь в старый проект, где везде return - пишешь return". Или "В Maybe всегда pure, ибо монада - типа чистая". Или "pure писать быстрее, чем return". Полно таких-вот вариантов
Denis
> "В Maybe всегда pure, ибо монада - типа чистая".
Прикольно.
Denis
@astynax Хорошо, а если в новом проекте, с нуля который.
Denis
Тогда как?
Aleksei (astynax)
Вкусовщина :)
Denis
😊
Aleksei (astynax)
В новом проекте можно правило для линтера написать, которое будет ругать за return и писать единообразно :)
Aleksei (astynax)
> (,,) <$> Just 1 <*> pure 2 <*> return 3
Just (1,2,3)
FTW
Aleksei (astynax)
return $ pure 42 - "плейн инглишь"
pure $ return 42 - тоже
pure $ pure 42 - "дичь"
return $ return 42 - тоже
Aleksei (astynax)
:)
Cheese
Aleksei (astynax)
Щютка
Aleksei (astynax)
"Вернуть чистое 42", "Чиста, вернуть 42"
Aleksei (astynax)
"Чистое-чистое 42" тоже ок. Но "вернуть вернуть 42" - такое
Dmitry
второй вариант явно имеет смысл!
Cheese
в голове заиграла «pure $ pure ❤️»
Dmitry
я чиста вернул 42
Aliester
четко и ясно
Aliester
42
Aleksei (astynax)
Ящитаю, что в do-нотации return выглядит лучше, т.к. монадические действия, это обычно глаголы.
А в выражениях (аппликативных например) pure лучше смотрится
Aliester
давайте мемоизируем это
Dmitry
дичайшие споры, btw
Dmitry
почти как про количество пробелов или положение фигурных скобок
Евгений
return хотят выпилить же
Dmitry
или camelNotation vs not_camel_notation
Евгений
Так что в новых проектах лучше юзать pure
Aleksei (astynax)
Выпилить, это хорошо
Aleksei (astynax)
Нет выбора - нет проблемы
Евгений
А в старых сделать sed 's/return/pure/g' (нет)
Cheese
Ящитаю, что в do-нотации return выглядит лучше, т.к. монадические действия, это обычно глаголы.
А в выражениях (аппликативных например) pure лучше смотрится
правильно, не глагол, потому что ничего не делает
Ilya
А что ещё хотят выпилить?
Aleksei (astynax)
Успешность?
Denis
😂
Ilya
Num не собираются упразднить?
kosc
И String
kosc
Всё равно это [Char]
Denis
Тогда уж и канонический FilePath 😂
Aleksei (astynax)
String, это старинная диковинка! Не трогайте
Aliester
табы или пробелы?
Denis
👍
Denis
пробелы
Aleksei (astynax)
Пробелы
Aleksei (astynax)
Вставляемые нажатием Tab
Denis
😂😂😂
Denis
табуляцированные пробелы
Ilya
tabs for indentation, spaces for alignment
Евгений
Надо выпилить табы. Если таб не внутри литерала, то компиляция должна разваливаться
Ilya
Неосиляторы нинужны