а разница между человеком и животным та же, что и между калькулятором и ноутбуком

а разница между человеком и животным та же, что и между калькулятором и ноутбуком

Аналогии это признак качественно построенной аргументации

чувствуется сарказм

проблема аналогий та же что и с абстракциями

Абсурдно объявлять особенностью человека то, что его не отличает от других животных. Ведь особенность и есть, по определению, отличие, нет?

они текут

а где я говорил об отличии человека от животного?

Абстракции не текут

Иначе это аналогии, а не абстракции xD

да даже абстракция целых чисел и та

течет

Тут открыли отдел /r/im14andthisisdeep?

а такой есть?

да даже абстракция целых чисел и та

Вылезай уже из компьютера и виртуального мира в реальный

"Природа" человека состоит в том, что человек сам создаёт свою природу

Именно так. Как и любые "смыслы".

Извините что прерываю, у меня такой вопрос. Вот для целых чисел у нас есть класс Integral. Как только мы реализуем его инстанс, мы оснащаемся функцией toInteger. А есть ли подобный класс для векторов? В нём я точно так же ожидаю каст с какому-нибудь векторному типу, например к Vector. Мне это нужно для правильного интерфейса к моей библиотеке для решения задачи об упаковке рюкзака (очень обобщенной). Моя библиотека будет уметь работать с Vector, а от юзера будет требоваться лишь указать, как его кастомные типы кастуются к этому Vector, и он тут же получит возможность пользоваться библиотекой.

Извините что прерываю, у меня такой вопрос. Вот для целых чисел у нас есть класс Integral. Как только мы реализуем его инстанс, мы оснащаемся функцией toInteger. А есть ли подобный класс для векторов? В нём я точно так же ожидаю каст с какому-нибудь векторному типу, например к Vector. Мне это нужно для правильного интерфейса к моей библиотеке для решения задачи об упаковке рюкзака (очень обобщенной). Моя библиотека будет уметь работать с Vector, а от юзера будет требоваться лишь указать, как его кастомные типы кастуются к этому Vector, и он тут же получит возможность пользоваться библиотекой.

Стандартного такого нет, но может Foldable сойдёт

Или traversable? На чем там linear у Кметта?

вряд ли подойдут, слишком широкие

Нужно уметь перегонять тип в Vector и обратно

Ну ту которую в тексте написана. В конце концов мысли это текст. Я стараюсь не пихать подтекст в свои слова, потому что сам плохо понимаю подтекст. А вот вопроса "зачем" я не понимаю. Не преследую никаких скрытых целей

А какая там была открыто заложена? Можно для тупых, а то я три раза перечитал и не понял.

по аналогии с fromIntegral и toInteger

И про цели непонятно. Хорошо, никаких скрытых, а какая открытая?

по аналогии с fromIntegral и toInteger

Проще просить у пользователя вектор

по аналогии с fromIntegral и toInteger

Это имело бы смысл, если бы библиотека vector использовала такой тайпкласс, но она везде хочет сам вектор

Извините что прерываю, у меня такой вопрос. Вот для целых чисел у нас есть класс Integral. Как только мы реализуем его инстанс, мы оснащаемся функцией toInteger. А есть ли подобный класс для векторов? В нём я точно так же ожидаю каст с какому-нибудь векторному типу, например к Vector. Мне это нужно для правильного интерфейса к моей библиотеке для решения задачи об упаковке рюкзака (очень обобщенной). Моя библиотека будет уметь работать с Vector, а от юзера будет требоваться лишь указать, как его кастомные типы кастуются к этому Vector, и он тут же получит возможность пользоваться библиотекой.

Vector (который класс) и есть такой аналог Integral

т.е. надо просто писать код используя ф-и из Data.Vector.Generic и они будут работать с любыми векторами

т.е. надо просто писать код используя ф-и из Data.Vector.Generic и они будут работать с любыми векторами

похоже, действительно оно, спасибо

Так что всем пока. Может, еще свидимся

Да 13-го только суд, потом будут апелляции, контраппеляции и тд. Короче, будут тянуть кота в долгий ящик ещё недели, а то и месяцы

То чувство, когда ты не в России, и тебя блокировка не коснётся...

Цензурировать Фейсбук уже собрались? Значит, и до Телеграмма рукой подать

А то вдруг мы им опять Трампа выберем

кто рассылку читает - что там с хакаджем вообще?

когда починят

Почему "кому", а не "для чего"? Понятие долженстования носит двоякий характер -- это как Долг перед Другим, так и одна сторона причино-следственной связи. Например "вы должны нажать на курок, для того чтобы выстрелить"

На курок не нажимают, чтобы выстрелить. Курок взводят.

Можно хоть в голову себе из дробовика выстрелить. Но, естественно, с такой целью вы удовлетворения не получите, потому что само потребление носит наркотический характер. Краткий миг блаженства сменяется сумерками перед следующей попыткой удовлетворить Желание. Взбираясь по лестнице производительных целей вы всегда оставляете за собой нечто чувственное, являющееся живым свидетельством выполнения цели. Например нахреначил свою кривую опенсорсную утилиту и потом в периоды упадка душевного смотришь на неё и радуешься, что ты не совсем ничтожество.

Всегда так делаю.

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.

Запостил 4 часа назад

Они пересобирают весь хекедж?

https://twitter.com/dshevchenko_biz/status/984669418511831040

Раньше монада не была аппликативом же

Ну потому я и добавил пункт "по историческим причинам" ;-)

Зачем опрос то?

Чтобы узнать, нужно ли использовать и дальше?

Тогда "по историческим причинам" - не на тот вопрос ответ

Чтобы просто понять настрой сообщества

зачем ещё опросы такие нужны? :-)

"Почему он есть?" - "по историческим причинам" (без вариантов). "Нужно ли дальше использовать?" - "нужно/не нужно/..."

"Приходишь в старый проект, где везде return - пишешь return". Или "В Maybe всегда pure, ибо монада - типа чистая". Или "pure писать быстрее, чем return". Полно таких-вот вариантов

> "В Maybe всегда pure, ибо монада - типа чистая". Прикольно.

@astynax Хорошо, а если в новом проекте, с нуля который.

Тогда как?

Вкусовщина :)

?

В новом проекте можно правило для линтера написать, которое будет ругать за return и писать единообразно :)

> (,,) <$> Just 1 <*> pure 2 <*> return 3 Just (1,2,3) FTW

return $ pure 42 - "плейн инглишь" pure $ return 42 - тоже pure $ pure 42 - "дичь" return $ return 42 - тоже

:)

return $ pure 42 - "плейн инглишь" pure $ return 42 - тоже pure $ pure 42 - "дичь" return $ return 42 - тоже

всё наоборот же

Щютка

"Вернуть чистое 42", "Чиста, вернуть 42"

"Чистое-чистое 42" тоже ок. Но "вернуть вернуть 42" - такое

второй вариант явно имеет смысл!

в голове заиграла «pure $ pure ❤️»

я чиста вернул 42

четко и ясно

ERROR: S client not available

42

Ящитаю, что в do-нотации return выглядит лучше, т.к. монадические действия, это обычно глаголы. А в выражениях (аппликативных например) pure лучше смотрится

давайте мемоизируем это

дичайшие споры, btw

почти как про количество пробелов или положение фигурных скобок

https://twitter.com/dshevchenko_biz/status/984669418511831040

Во-первых, это красиво (с)

return хотят выпилить же

или camelNotation vs not_camel_notation

Так что в новых проектах лучше юзать pure

Выпилить, это хорошо

Нет выбора - нет проблемы

А в старых сделать sed 's/return/pure/g' (нет)

Ящитаю, что в do-нотации return выглядит лучше, т.к. монадические действия, это обычно глаголы. А в выражениях (аппликативных например) pure лучше смотрится

правильно, не глагол, потому что ничего не делает

А что ещё хотят выпилить?

Успешность?

почти как про количество пробелов или положение фигурных скобок

Пробелы не трожь, это святое!

?

Num не собираются упразднить?

И String

Всё равно это [Char]

Тогда уж и канонический FilePath ?

String, это старинная диковинка! Не трогайте

табы или пробелы?

?

пробелы

Пробелы

Вставляемые нажатием Tab

???

табуляцированные пробелы

tabs for indentation, spaces for alignment

Надо выпилить табы. Если таб не внутри литерала, то компиляция должна разваливаться