@cblp_su а дискорд открытый что ли? Последний раз когда искал нормальную опцию, это был Keybase
почему-то мне казалось, что да. кажется, там такая же фигня с инвайтами, как в Слаке
Cheese
Cheese
@cblp_su а дискорд открытый что ли? Последний раз когда искал нормальную опцию, это был Keybase
в Дискорде можно просматривать чат без регистрации
Vladislav
без смс
Vladislav
ну да, проблема
Alexander
Напишите уже свой чат на хаскеле, ну
Alexander
уже пишу, но до релиза ещё далеко
Надо привлечь инвестиции и нанять этот чат для написания того чата.
blini
У wire сервера на хаскелле, но там большие группы емнип платные
Vladislav
я имею в виду, с Keybase проблема
Vladislav
про него тоже никто не знает. не критично, но тоже недостаток
А по функционалу он подходит?
Cheese
Надо привлечь инвестиции и нанять этот чат для написания того чата.
это тоже в планах. кстати. где взять инвестиции, если не хочется отдавать кусок своего детища?
A64m
потрясающе конечно, что за столько лет так никто и не написал нормальный чат (да и других нормальных программ тоже)
A64m
самый смелый фантаст 60-х годов до такого не додумался
Alexander
это тоже в планах. кстати. где взять инвестиции, если не хочется отдавать кусок своего детища?
Не знаю, тоже бы хотел узнать детали.
Cheese
потрясающе конечно, что за столько лет так никто и не написал нормальный чат (да и других нормальных программ тоже)
когда IRC писали, он считался нормальным
A64m
не считался он нормальным никогда
A64m
есть, конечно, некоторый процент людей, которм все нравится
A64m
даже ПРОГРАММЫ
Cheese
не считался он нормальным никогда
телеграм тоже прекрасен, если мнение программистов не брать в расчёт
Alexander
Программы устаревают быстрее, чем становятся нормальными
A64m
сомнительно
Alexander
Хехе
jm
Есть варианты поиграть в ICFP в топовой команде. В прошлом году Judge's Prize, лучшее достижение — 4е место. Стек гибкий, но сабмишен будет оптимизирован и написан на C++ с обвязкой на Python.
Alexander
Jonh de Goes хорошо набросил.
https://youtu.be/v8IQ-X2HkGE
Alexander
В его твиттере можно почитать бурления.
A64m
что за критические доклады про хаскель у него, которые он в начале упоминает? Их надо постить-то
шурхіт
Александр, подписался на ваш канал в ТЫТРУБЕ, отличные видео, спасибо
Viacheslav
у меня тут тупой вопрос, если у меня есть HTTP запрос, который потенциально может длиться скажем 25 секунд. Есть ли библиотеки, которые позволяют его в проивзольный момент отменить?
Alexander
Александр, подписался на ваш канал в ТЫТРУБЕ, отличные видео, спасибо
О, живой подписчик! 😊
A64m
Jonh de Goes хорошо набросил.
https://youtu.be/v8IQ-X2HkGE
очевидное противоречие, сначала он показывает как любители ФП бегут из скалы, причем задерживаются там все меньше, а потом предлагает из нее нормальный ФЯ делать. не упущено ли время?
Alexander
очевидное противоречие, сначала он показывает как любители ФП бегут из скалы, причем задерживаются там все меньше, а потом предлагает из нее нормальный ФЯ делать. не упущено ли время?
Мне кажется, он намекал, что Дотти может стать тем фактором, который вернет ФПшников, если сосредоточиться на этом. Но да, я тоже не понимаю, как вообще это можно провернуть, не жертвуя обратной совместимостью
A64m
другое противоречие - это делать фя и отказываться от академщины
A64m
как это совмещать-то?
A64m
Мне кажется, он намекал, что Дотти может стать тем фактором, который вернет ФПшников, если сосредоточиться на этом. Но да, я тоже не понимаю, как вообще это можно провернуть, не жертвуя обратной совместимостью
так Дотти жертвует обратной совместимостью в любом случае
A64m
не радикально, как он предлагает, но тем не менее
Alexander
другое противоречие - это делать фя и отказываться от академщины
Good point
Но возможно, мы просто привыкли ассоциировать ФП с академией, а вдруг оно и без академии может, ведь уже хорошо база проработана.
Alexander
Там еще был доклад ключевого контрибьютора в компилятор скалы, что-то вроде "мы все делаем не так", и он после этого ушел. Искать лень, да и не знаю, чем дело кончилось
A64m
> Features Scala has on Haskell:
- first-class modules
- first-class type classes / instances
- OO-style method dispatch
- familiar syntax
- seamless JVM/JS interop
- strict semantics (fits JVM/JS)
но это же баги, а не фичи
Alexander
> Features Scala has on Haskell:
- first-class modules
- first-class type classes / instances
- OO-style method dispatch
- familiar syntax
- seamless JVM/JS interop
- strict semantics (fits JVM/JS)
но это же баги, а не фичи
Они посмотрели на Го, как тот выдает баги за фичи и процветает, и решили, что тоже могут.
A64m
тут он впадает как раз в то заблуждение, которое приписывает нынешним скаларулевым
A64m
предлагает "фичи" которые непонятно зачем функциональщикам нужны
Alexander
😆 Кажется, Джон Де Гоез разбит наголову
A64m
вообще делать ФЯ из скалы не выглядит хорошей идеей, это самое днище ФП сейчас, не понятно вообще можно ли это ФЯ назвать
Alexander
вообще делать ФЯ из скалы не выглядит хорошей идеей, это самое днище ФП сейчас, не понятно вообще можно ли это ФЯ назвать
А это же давний холивар. Я придерживаюсь мнения, что нет, Скала не ФЯ
A64m
т.е. я одобряю позицию "одно ФП, ООП не нужно" и выкидывание фич которые он призывает выкинуть, но он призывает, фактически, выкинуть всю скалу из скалы
A64m
в чем смысл такого сложного процесса не понятно
A64m
он же сам говорит что твиттер не будет переходить на другой язык просто потому что он тоже называется скалой
A64m
короче говоря, он в одном докладе сам себя победил вообще без посторонней помощи
Kirill
у меня тут тупой вопрос, если у меня есть HTTP запрос, который потенциально может длиться скажем 25 секунд. Есть ли библиотеки, которые позволяют его в проивзольный момент отменить?
А чем System.Timeout не катит? Ну или если надо не по времени, то есть же async
Vasiliy
Всем привет. Часто слышу, что Хаскель хорош для написания EDSL-ей. На какие библиотеки нужно посмотреть, чтобы убедиться в этом высказывании?
Зигохистоморфный
yab
https://leanpub.com/magicalhaskell
Dmitry
Да что ж они все "This book is xxx% complete"?
Dmitry
Какой-то ленивый способ написания книги
eahqzsr
Надеятся дописать пока ты читать будешь
eahqzsr
Но есть шанс словить undefined
Dmitry
Этого и боюсь.
eahqzsr
А есть стандартная функция которая из структуры функций делает структуру результатов применения функций. Чтобы специализированный тип был например [[Int->Maybe Int]] -> Int -> [[Maybe Int]]
Зигохистоморфный
traverse для Compose?
Зигохистоморфный
мб это так
:t sequence @(Compose [] []) @((->) Int)
sequence @(Compose [] []) @((->) Int)
:: Compose [] [] (Int -> a) -> Int -> Compose [] [] a
Зигохистоморфный
ну или sequence . sequence
Зигохистоморфный
А есть стандартная функция которая из структуры функций делает структуру результатов применения функций. Чтобы специализированный тип был например [[Int->Maybe Int]] -> Int -> [[Maybe Int]]
я не уверен, такое поведение тебе надо?
10 & (sequence $ Compose [[\x -> Just x, \x -> Just (x * 10)]]) & getCompose
Kirill
А никто не в курсах что там с FPConf.Haskell? Заявки на спикеров якобы до 10 принимали, а апдейтов нету и форма заявки такая же висит со словами про 10-е
Kirill
@cblp_su ты ничего не слышал?
Cheese
ничего не слышал, организаторы пропали, я не организатор
eahqzsr
Viacheslav
А чем System.Timeout не катит? Ну или если надо не по времени, то есть же async
Нужен не timeout а именно просто произвольный момент
Kirill
дак чем async не гож?
Kirill
берёшь и зовёшь cancel в нужный момент
Viacheslav
Да нет, подходит наверное
Viacheslav
Спасибо
Viacheslav
Я же говорил, что вопрос тупой
Kirill
тупее не задавать вопросы если они есть :)