Влод
Да норм
A64m
я что-то не понял, а можно пример кода как это получить?
они полиморфные же, т.е. в имплементации соотв класса можно что угодно делать
Anatolii
понятно
A64m
надо, видимо, пояснить что в коллекции безумных главных недостатков то, что главнм недостатком считают безумные люди
Влод
Ну человек испытывает гордость за то что нашёл то что никто не замечал
Влод
Мне кстати кажется что он что-то попроще имел ввиду, типа бесконечных списков
A64m
что функция при выполнении может эксепшон выкинуть?
A64m
тут надо быть гением, как минимум
Евгений
Иксепшоны зло от конкурентных костылей
Евгений
Уши от пи-калькулуса торчат
Антон
Anatolii
Я уже давно lyah читал
Anatolii
Курта хвалил @bravit111
Anatolii
Ой, это не тот бравит
Ignat
Возможно, Вы имели в виду: @bravit111
Anatolii
Да, почему телеграм не комплитнул
Ignat
у меня комплитнул
Ignat
¯\_(ツ)_/¯
Aliester
¯\_(ツ)_/¯
Alexander
/shrug
Ю ли я? 🤔
Denis
> iterals ... can throw exceptions and crash your program.
Это как?? Пример кода можно?
Oleg
> iterals ... can throw exceptions and crash your program.
Это как?? Пример кода можно?
instance IsString Foo where fromString = undefined?
Denis
ааааа, вот как
Denis
ну да, можно и SegFault поймать, играясь с unsafe-штуками.
Denis
конечно
Cheese
буфер может переполниться — а ты просто не передавай строку, не заканчивающуюся нулём
Ю ли я? 🤔
"Не лови".
Cheese
действительно, просто не пиши в чужую память, и не будет сегфолтов
Denis
Так главное ведь не то, что теоретически это МОЖНО сделать, а то, какие выводы из этого делаются. Я слышал такие возгласы, мол, нууууууу, у вас там unsafe-функции есть - всё, фигня эти ваши типы, вы всё врёте, у вас все те же грабли... 😂
Ю ли я? 🤔
Настоящий программист умеет не стрелять в ногу! Не умеешь? Вон из профессии, криворучка!
Ю ли я? 🤔
Так главное ведь не то, что теоретически это МОЖНО сделать, а то, какие выводы из этого делаются. Я слышал такие возгласы, мол, нууууууу, у вас там unsafe-функции есть - всё, фигня эти ваши типы, вы всё врёте, у вас все те же грабли... 😂
http://tvtropes.org/pmwiki/pmwiki.php/Main/IfJesusThenAliens
Cheese
Так главное ведь не то, что теоретически это МОЖНО сделать, а то, какие выводы из этого делаются. Я слышал такие возгласы, мол, нууууууу, у вас там unsafe-функции есть - всё, фигня эти ваши типы, вы всё врёте, у вас все те же грабли... 😂
тут выше претензия не к тому, что в Хаскеле есть unsafe, а в том, что его можно засунуть туда, где никто не ожидает
Denis
но это по крайней мере можно отловить
Denis
-XSafe
Зигохистоморфный
IORef < MVar < TVar < TMVar это же вроде все примитивы для конкаренси?
Denis
да, для конкарренси
Denis
TVar, например, для STM
A64m
да просто это не "literals - the simplest most basic programming construct there is", а спецсинтаксис для обычных функций, литералы в хаскеле, естественно, есть, но программист с ними почти никогда не сталкивается (всякие 12# 21## и "foo"#)
Denis
во-во
A64m
Классно :D А какие ещё примеры из коллекции?
> This issue ( :: ) is the most serious Haskell ergonomics issue I've encountered since discovering that head is a partial function and is still in the prelude
Denis
Это не вопрос объективной оценки, это по принципу "если ты захочешь придраться - ты всегда найдёшь, к чему..."
Cheese
A64m
ну, это не репортовый хаскель, а реально существующий. Другого у них для нас нет
Denis
> head is a partial function and is still in the prelude
так это вопрос не к Хаскелю, а к конкретной реализации Prelude. В конце концов, есть и другие варианты Прелюдии, без partial-функций
A64m
> head is a partial function and is still in the prelude
так это вопрос не к Хаскелю, а к конкретной реализации Prelude. В конце концов, есть и другие варианты Прелюдии, без partial-функций
поясню, что это коллекция смешных претензий, не предполагается что их серьезно надо обсуждать
Denis
смешных для кого?
A64m
для меня
Denis
для меня тоже
Denis
но для многих это не так
Denis
Это выходит как в той шутке: "Я слышал, сосед на своём Мерседесе вчера в аварию попал. Ну вот я и говорю - говно эти ваши Мерседесы"
Alexander
а прелюдии в которых вместо частичных функций призмы уже есть?
Cheese
мне не смешно от частичных литералов. правда, я не слышал, чтобы от них кто пострадал
Alexander
просто прелюдия без частичных функций это как-то странно, что-ли
Denis
но такие есть
A64m
ну и эта претензия больше про :: вместо :
Alexander
то, что они есть, это не говорит, что это что-то хорошее
Denis
как знать...
A64m
мне не смешно от частичных литералов. правда, я не слышал, чтобы от них кто пострадал
комизм не в том, что есть у кого-то такая претензия, а в том, что она объявлена "недостатком хаскеля номер один"
A64m
это как "главный недостаток гитлера - смешные усы"
Denis
@qnikst Я, напротив, слышал от многих практикующих хаскелистов, что дефолтная Prelude - это мрак и ужас...
Denis
но я не даю этому оценки, просто многие так говорят
Alexander
наличие чего-либо не является гарантией качества и правильности, вот это совершенно точно
Alexander
но недефолтные не сильно лучше
Dmitry
> This issue ( :: ) is the most serious Haskell ergonomics issue I've encountered since discovering that head is a partial function and is still in the prelude
Надо сайт делать, unlearn-haskell-for-more-great-good.org , вот с этим всем
Cheese
Nitpicks - HaskellWiki
https://wiki.haskell.org/Nitpicks
Dmitry
Опять всё изобретено до нас :(
A64m
Nitpicks - HaskellWiki
https://wiki.haskell.org/Nitpicks
испорчено тем, что заявлено как придирки, а не ГЛАВНЫЕ НЕДОСТАТКИ
Alexander
а альтернативных прелюдах обычно решают пару проблем, хорошо ещё если адекватным способом
кана
IORef < MVar < TVar < TMVar это же вроде все примитивы для конкаренси?
Что твои стрелки знают?
кана
Твар не зависит от мвар
кана
Твар - враппер над иорефом
andrei
трваь
Зигохистоморфный
Что твои стрелки знают?
приоритет (это не зависимость) можешь назвать его как мощность возможностей
Oleg
Ну тогда тварь точно не линейно больше мвари
Alexander
тварь это базовый примитив ртс
Зигохистоморфный
Ну тогда тварь точно не линейно больше мвари
та чо вы предрались) нет тут никакой зависимости) я мог написать просто через запятую
кана
?