Ну ладно тогда.

интересно, какую именно терминалогию он имеет в виду: если базовые функтор/монада/моноид - то не могу согласиться, это появляется и в других языках, а замена одних названий на другие почти ничего не изменит (если назвать монаду флэтмапабл, то лучше понимать не станут..., наверное). Если про кметовские паиринги комонад и монад какие - этого мало и эти люди тихо занимаются своими абстракциями в своих блогах

@bravit111

Лол, Брагилевский скопипастил мое сообщение отсюда

В твиттере это называется "цитата без ссылки!

Просто это были настолько распространённые фразы, что уже как common knowledge

основная проблема хаскеля для меня - отсутсвие адопшна среди больших компаний

https://youtu.be/mlTO510zO78?t=15m31s Is effing Facebook big enough?

Это человек, который утверждает, что "Haskell is useless" и что этот язык должен "Avoid success at all costs".

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

там была диаграмка

интересно, какую именно терминалогию он имеет в виду: если базовые функтор/монада/моноид - то не могу согласиться, это появляется и в других языках, а замена одних названий на другие почти ничего не изменит (если назвать монаду флэтмапабл, то лучше понимать не станут..., наверное). Если про кметовские паиринги комонад и монад какие - этого мало и эти люди тихо занимаются своими абстракциями в своих блогах

Да в том числе и базовую. Названия очень много значат.

основная проблема хаскеля для меня - отсутсвие адопшна среди больших компаний

смотря что такое адопшн, во многих больших компаниях минимум отдел есть

В твиттере это называется "цитата без ссылки!

?

?

Так, я соврал, правильное название «незакавыченная цитата»

когда твитер прорывается в реальный мир и ты видишь Брагилевского в чате

Окей :)

А как может выглядеть крестовый поход против пуристов? Будем исключать их из чатиков?

под пуристами в этом чате что имеется ввиду?

остракизм

отлучение от коммюнити

А как может выглядеть крестовый поход против пуристов? Будем исключать их из чатиков?

Ага. Пуристы не могут контактировать с реальным миром

неприем на работу

категорию образуйте сначала! а потом в походы ходите :P

обидные обзывательства

категорию образуйте сначала! а потом в походы ходите :P

А что делать с жопой?

каждая жопа немного тор

двигать

каждая жопа немного тор

Только что проверил — неправда

А что делать с жопой?

если среди идущих в крестовый поход есть жопа, то это проблема

под пуристами в этом чате что имеется ввиду?

Люди, которые вытупают за чистоту рядов хаскельного коммьюнити. "Не нюхал теоркат - недостоин (чего бы то ни было)"

под пуристами в этом чате что имеется ввиду?

Те кому не нравится то что ⊥ населяет каждый тип.

/me пристально ищет ⊥ в ByteArray#

не нашёл

Просто она приходит, когда ее не ждешь и не ищешь.

/me пристально ищет ⊥ в ByteArray#

Примитивы несчитово. Это вообще отдельный разговор

Просто она приходит, когда ее не ждешь и не ищешь.

оно приходит там, где должно и не приходит, там где не может

в unlifted типах, не приходит никогда

оно приходит там, где должно и не приходит, там где не может

UnsafePerformIO не балуетесь?

unsafePerformIO относится к проблеме чуть менее, чем никак

и его наличие, никак не создаст bottom в unlifted типах

Вот странно, unsafePerformIO есть, а жопы нет

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

чтобы не мешать не связанные вещи друг с другом

Это хороший совет, спасибо.

Так разговор не про это, а про то, что не стоит быть пуристом. Совсем упоротым тобишь. Чуть-чуть можно.

сделать bottom с unlifted типом можно (было) только при unsafeCoerce#

которое может кастануть lifted объект к unlifted

тип, а не объект, конечно же

с unlifted можно получить только _|_ в виде бесконечного вычисления

ну так пока на хаскеле пишешь и всё чисто - проблем нет и быть не может

я про то, что выбор "не быть пуристом" звучит странно в хаскель чате

я, кстати, не знаю примеров людей которых имеют ввиду

вот кто говорит, что не знаешь ТК - недостоин?

/me вообще в последнее вермя перестал обращать внимание на мнение тех у кого нет хаскеля в продакшене

но он уже есть почти у всех, а мнения отличаются?

/вставить цитату полонского

/me вообще в последнее вермя перестал обращать внимание на мнение тех у кого нет хаскеля в продакшене

То есть вообще перестал слушать чужие мнения?

for some definition of production

но он уже есть почти у всех, а мнения отличаются?

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

вон, есть ли у @bravit111 идрис и haskell в продакшене, учитывая, что у него продакшн это учить студентов и писать статьи

вон, есть ли у @bravit111 идрис и haskell в продакшене, учитывая, что у него продакшн это учить студентов и писать статьи

тру

Это хороший совет, спасибо.

unsafePerformIO вообще достаточно безобидное, можно конечно заалиасить вещи, если не написать {-# NOINLINE #-}, и если очень неосторожным быть то даже unsafeCoerce переизобрести. Но новых неожиданных bottom-ов оно не добавляет

А уж сколько таких "невинных" хаков в PureScript...

А уж сколько таких "невинных" хаков в PureScript...

А что там?

Там reinterpret_cast, когда делают "заныривание" в JS и "выныривание" оттуда с уже новым типом.

main = do let ref = unsafePerformIO $ newEmptyMVar putMVar ref 65 putStrLn =<< takeMVar ref

вот как-нить так

про purescript ничего сказать не могу

ERROR: S client not available

Ну, unsafePerformIO используется для паттерна с глобальными переменными (или настройками, или переменными окружения). Хотя этот паттерн и не особо нужен.

но то что выше можно записать для Storable через storableCoerce :: (Storable a, Storabel b) => a -> IO b storableCoerce a = alloca $ \ptr -> peek =<< castPtr <$> poke ptr a

много для чего он может использоваться

для анализа памяти возвращаемой FFI вызовами в матчингах и т.п.

но там лучше использовать более опасные варинты типа inlineIO и unsafeDupablePerformIO, но там нужно следить, чтобы data dependency было

иначе можно как в байтстрингах получить веселье

accursedUnutterablePerformIO

ну оно длинное

inlineIO - тоже самое

но это для morally pure функций

аллокация сишного объекта, не такая (а в байтстрингах было так)

в общем мой point был в том, что unsafePerformIO сам по себе не мешает проблема с bottom-ами

той проблема про которую люди пишут и ругаются, достаточно seq (как мне объяснили)

в unlifted мире этой проблемы нету, правда к счастью туда не часто надо лазать

Я вообще не испытываю проблем с bottom в хаскелях и не понимаю чего ноют

По мнению Касперского, основная уязвимость Интернета — в его анонимности. Поэтому, чтобы сделать всемирную паутину менее уязвимой, следует точно идентифицировать каждого её пользователя.

Пишут ли в Касперском без анонимных функций? philosophoraptor.png

А кто такие SPJ?

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

Каким?

емнип SLPJ

Касперский - нишевый региональный монополист

нет, глобальный

Из США выгнали

Касперский-то в список не попал вроде? Там же как раз бритва Полонского - критерий отбора

У кого нет миллиарда могут не идти в жопу?

а куда им идти?

у кого нет - в жопу, у кого есть - в список

наркомания

а вот такой вопрос, почему на хаскеле не пишут интерпретаторов?

есть у меня мысли, что на хаскеле их больше всего, но это только мыслт

я только слышал про попытку реализации перла, которая так ничем и не закончилась

а вот такой вопрос, почему на хаскеле не пишут интерпретаторов?

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

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

переписали уже давно полностью

есть у меня мысли, что на хаскеле их больше всего, но это только мыслт

ну, в том смысле, что пм атд это "паттерн" "интерпретатор" - то да