спонсируют, но есть ли у них что-то в продакшн на нем?

https://github.com/Microsoft/bond

я только это нашел, аналог thrift/protobuf

https://www.quora.com/How-does-Microsoft-use-Haskell/answer/Bartosz-Milewski?srid=pkWM

люблю эти лигатуры (шрифт Fira Code)

Как неравно получается?

Как неравно получается?

/= и !=

там

похоже что все держалось на нескольких людях, которые недавно ушли (один из них в фб)

лол

жизнь боль

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

вполне популярен, пока переписывают легаси с плюсов в финансовой сфере на хаскель

до попсовых ниш попозже дойдет

а как он в финансовой сфере со своим GC живет?

никак

а как он в финансовой сфере со своим GC живет?

а какие проблемы с GC?

ты про скорость? 20 милионов операций в секунду на одном хосте, норм?

если речь про HFT, нужна предсказуемая latency

если речь про HFT, нужна предсказуемая latency

все решаемо

а вы сами то такой софт писали?

для java есть специальные jvm со специальными GC, а для хаскеля?

пока нет, знакомый под битки пилит

пока нет, знакомый под битки пилит

битки - не HFT

если речь про HFT, нужна предсказуемая latency

это все равно, с реалтаймоси идет

ну вот, я пока не слышал про реалтаймовый runtime для хаскеля

как будто gc для кого-то проблема в финансовой сфере :р

вполне популярен, пока переписывают легаси с плюсов в финансовой сфере на хаскель

А можно этот момент подробнее? Я как раз из этой сферы, и пока что рабочий язык R, постепенно апплаюсь в HFT на C++, но вообще очень хотелось бы в будущем работать в финансах с Хаскеллем. Кто вообще из фондов с ним работает, есть какие-то кейсы?)

А можно этот момент подробнее? Я как раз из этой сферы, и пока что рабочий язык R, постепенно апплаюсь в HFT на C++, но вообще очень хотелось бы в будущем работать в финансах с Хаскеллем. Кто вообще из фондов с ним работает, есть какие-то кейсы?)

из того что я лично знаю это блокчейн, осталное инфа из инета

мониторинг буржнета

Ну, просто с блокчейном сложная тема, там транзакционные издержки очень высокие и неявные. Я понял, спасибо) Буду надеяться, что эта тема яснее станет

как писать/использовать на хаскелле эффективные структуры данных, не заворачивая их в IO/ST монады?

как сделать нотацию для IO ProcessHandle?

первая ошибка с -> IO ProcessHandle

вторая с -> IO ()

У тебя мэйн что возвращает?

Io processhandle

import System.Process coolTts :: String -> IO ProcessHandle coolTts x = runCommand $ "powershell.exe .\\tts.ps1 " ++ show x main :: IO () main = coolTts $ concat $ repeat "sas"

Не, это должно быть ио

Ио ()

так тоже не работает

А на деле Ио процессхэндл

вторая с -> IO ()

^^

там на скрине две ошибки

Окей, попробуй в конец main= ... дописать >> return ()

Жутко с телефона писать

Окей, попробуй в конец main= ... дописать >> return ()

просто добавило еще ошибку

main = (coolTts $ concat $ repeat "sas") » return ()

или даже main = do coolTts $ concat $ repeat "sas"; return ()

короче

у тебя сигнатура main :: IO

а ты ему подсовываешь IO Processhandle

main :: IO ()

да

сори

на твоей счастье есть (»)

(Monad m) => (») :: m a -> m b -> m b

вот и воспользуйся этим

с do то же самое

do - просто синтаксический сахар, транслируемый в вызовы (») и лямбды

на книжках по хаскелю надо писать "do убивает"

реально

вот и воспользуйся этим

что сделать?

main = (coolTts $ concat $ repeat "sas") » return ()

ну это я уже делал

оно не помогает

а не

скомпилило

а мне помогает)

:D

а так как почти любой первый опыт с do — это еще и getLine/putStrLn - то все, пиздец, человек сразу видит родную императивщинку

а еще оно мне убило систему вызовами tts из dll бесконечными

есть интервальное выполнение в хаскеле?

Это что такое?

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

или нужно sleep/что там использовать?

Кто-нибудь пробовал что-то писать на ATS? http://www.ats-lang.org/

или idris http://www.idris-lang.org/

к вопросу о понимании IO-монады и императивщины в хаскелл, помогает считать что в "IO a" хранится императивная программа, возвращающая a на выходе. Программа на хаскелл на самом деле занимается тем, что конструирует императивную программу из "кирпичиков" с помощью оператора композиции (»). main - специальная функция, которую вычисляет рантайм, чтобы получить императивную программу для выполнения