миксины

https://people.mpi-sws.org/~rossberg/mixml/mixml-toplas.pdf

Я и так и не понял как они работают

Полупрямая сумма меня смущает

еще можно https://people.mpi-sws.org/~dreyer/thesis/main.pdf почитать

Ну они тут как раз что-то в духе dhall'а предлагают (только на уровне модулей)

helloWorld :: (Has Prelude p, Has TypeApplications c => p -> c -> Obj helloWorld p c = c $ main p main Prelude{..} = { main = print @Int 42 }

чёт хардкорно слишком

Ну я когда на SML писал, было прикольно

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

возможно, но это так, псевдо псевдокод, я его не приходя в сознание написал

как тайпклассы их особо не поюзаешь

Поэтому и загнулось

не совсем

https://twitter.com/ruHaskell/status/1017070493986426881

Переехать в токс? (табличка сарказм для непонимающих юмора)

гоу в кейбэйс, там даже гит встроенный)

Можно поднять селф-хостед маттермост

@cblp_su а дискорд открытый что ли? Последний раз когда искал нормальную опцию, это был Keybase

@cblp_su а дискорд открытый что ли? Последний раз когда искал нормальную опцию, это был Keybase

почему-то мне казалось, что да. кажется, там такая же фигня с инвайтами, как в Слаке

@cblp_su а дискорд открытый что ли? Последний раз когда искал нормальную опцию, это был Keybase

в Дискорде можно просматривать чат без регистрации

без смс

ну да, проблема

в Дискорде можно просматривать чат без регистрации

А если Ring попробовать?

Напишите уже свой чат на хаскеле, ну

А если Ring попробовать?

про него тоже никто не знает. не критично, но тоже недостаток

Напишите уже свой чат на хаскеле, ну

уже пишу, но до релиза ещё далеко

уже пишу, но до релиза ещё далеко

Надо привлечь инвестиции и нанять этот чат для написания того чата.

ну да, проблема

последнее — достоинство. проблема в инвайтах. правда, они скрыты

У wire сервера на хаскелле, но там большие группы емнип платные

я имею в виду, с Keybase проблема

про него тоже никто не знает. не критично, но тоже недостаток

А по функционалу он подходит?

Надо привлечь инвестиции и нанять этот чат для написания того чата.

это тоже в планах. кстати. где взять инвестиции, если не хочется отдавать кусок своего детища?

потрясающе конечно, что за столько лет так никто и не написал нормальный чат (да и других нормальных программ тоже)

самый смелый фантаст 60-х годов до такого не додумался

А по функционалу он подходит?

надо узнать об этом

это тоже в планах. кстати. где взять инвестиции, если не хочется отдавать кусок своего детища?

Не знаю, тоже бы хотел узнать детали.

потрясающе конечно, что за столько лет так никто и не написал нормальный чат (да и других нормальных программ тоже)

когда IRC писали, он считался нормальным

не считался он нормальным никогда

есть, конечно, некоторый процент людей, которм все нравится

даже ПРОГРАММЫ

не считался он нормальным никогда

телеграм тоже прекрасен, если мнение программистов не брать в расчёт

Программы устаревают быстрее, чем становятся нормальными

сомнительно

Программы устаревают быстрее, чем становятся нормальными

девятое правило Гранина

Хехе

Есть варианты поиграть в ICFP в топовой команде. В прошлом году Judge's Prize, лучшее достижение — 4е место. Стек гибкий, но сабмишен будет оптимизирован и написан на C++ с обвязкой на Python.

надо узнать об этом

Ещё Riot есть

Ещё Riot есть

да, он же [matrix]. пробовали на работе внутри команды. тормозит и глючит

Jonh de Goes хорошо набросил. https://youtu.be/v8IQ-X2HkGE

В его твиттере можно почитать бурления.

что за критические доклады про хаскель у него, которые он в начале упоминает? Их надо постить-то

Александр, подписался на ваш канал в ТЫТРУБЕ, отличные видео, спасибо

у меня тут тупой вопрос, если у меня есть HTTP запрос, который потенциально может длиться скажем 25 секунд. Есть ли библиотеки, которые позволяют его в проивзольный момент отменить?

Александр, подписался на ваш канал в ТЫТРУБЕ, отличные видео, спасибо

О, живой подписчик! ?

Jonh de Goes хорошо набросил. https://youtu.be/v8IQ-X2HkGE

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

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

Мне кажется, он намекал, что Дотти может стать тем фактором, который вернет ФПшников, если сосредоточиться на этом. Но да, я тоже не понимаю, как вообще это можно провернуть, не жертвуя обратной совместимостью

другое противоречие - это делать фя и отказываться от академщины

как это совмещать-то?

Мне кажется, он намекал, что Дотти может стать тем фактором, который вернет ФПшников, если сосредоточиться на этом. Но да, я тоже не понимаю, как вообще это можно провернуть, не жертвуя обратной совместимостью

так Дотти жертвует обратной совместимостью в любом случае

не радикально, как он предлагает, но тем не менее

так Дотти жертвует обратной совместимостью в любом случае

Ну я не совсем в курсе

другое противоречие - это делать фя и отказываться от академщины

Good point Но возможно, мы просто привыкли ассоциировать ФП с академией, а вдруг оно и без академии может, ведь уже хорошо база проработана.

Там еще был доклад ключевого контрибьютора в компилятор скалы, что-то вроде "мы все делаем не так", и он после этого ушел. Искать лень, да и не знаю, чем дело кончилось

> 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) но это же баги, а не фичи

> 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) но это же баги, а не фичи

Они посмотрели на Го, как тот выдает баги за фичи и процветает, и решили, что тоже могут.

тут он впадает как раз в то заблуждение, которое приписывает нынешним скаларулевым

ERROR: S client not available

предлагает "фичи" которые непонятно зачем функциональщикам нужны

? Кажется, Джон Де Гоез разбит наголову

вообще делать ФЯ из скалы не выглядит хорошей идеей, это самое днище ФП сейчас, не понятно вообще можно ли это ФЯ назвать

вообще делать ФЯ из скалы не выглядит хорошей идеей, это самое днище ФП сейчас, не понятно вообще можно ли это ФЯ назвать

А это же давний холивар. Я придерживаюсь мнения, что нет, Скала не ФЯ

т.е. я одобряю позицию "одно ФП, ООП не нужно" и выкидывание фич которые он призывает выкинуть, но он призывает, фактически, выкинуть всю скалу из скалы

в чем смысл такого сложного процесса не понятно

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

короче говоря, он в одном докладе сам себя победил вообще без посторонней помощи

у меня тут тупой вопрос, если у меня есть HTTP запрос, который потенциально может длиться скажем 25 секунд. Есть ли библиотеки, которые позволяют его в проивзольный момент отменить?

А чем System.Timeout не катит? Ну или если надо не по времени, то есть же async

Всем привет. Часто слышу, что Хаскель хорош для написания EDSL-ей. На какие библиотеки нужно посмотреть, чтобы убедиться в этом высказывании?

yab https://leanpub.com/magicalhaskell

Да что ж они все "This book is xxx% complete"?

Какой-то ленивый способ написания книги

Надеятся дописать пока ты читать будешь

Но есть шанс словить undefined

Этого и боюсь.

А есть стандартная функция которая из структуры функций делает структуру результатов применения функций. Чтобы специализированный тип был например [[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

А никто не в курсах что там с FPConf.Haskell? Заявки на спикеров якобы до 10 принимали, а апдейтов нету и форма заявки такая же висит со словами про 10-е

@cblp_su ты ничего не слышал?

ничего не слышал, организаторы пропали, я не организатор

я не уверен, такое поведение тебе надо? 10 & (sequence $ Compose [[\x -> Just x, \x -> Just (x * 10)]]) & getCompose

Да, оно, спасибо.

А чем System.Timeout не катит? Ну или если надо не по времени, то есть же async

Нужен не timeout а именно просто произвольный момент

дак чем async не гож?

берёшь и зовёшь cancel в нужный момент

Да нет, подходит наверное

Спасибо

Я же говорил, что вопрос тупой

тупее не задавать вопросы если они есть :)