Нурлан
проблема в том, что haskell это единственный язык который я знаю, ну еще python немного
Нурлан
затестить как-то очень хочется что есть на других языках
Alexander
я думаю в статье референсы есть
Alexander
вон в Tsukuba или где там Олег они что-то такое пилят
Нурлан
пилят stensil'sы ?
Alexander
вообще они пилят как же это зовётся, компилятор который под систему код собирает
Alexander
т.е. учитывая скорость cpu, memory layout и т.п.
Alexander
https://hal.inria.fr/hal-00645325
Alexander
один из подходов
Alexander
т.е. есть цикл, как его сделать так, чтобы нормально подгрузить cpu с учетом подгрузки данных
Alexander
/me мог бы оказаться в проекте где такое пилят, но по разным причинам не пошёл
Alexander
наследие irc
Нурлан
хехе
Alexander
у олега правда не haskell
Alexander
а ML
Alexander
вроде
Alexander
я наверное уже задавал загадку почему
Нурлан
я слишком часто уже повторяю "я незнаю что такое ..."
Alexander
а не OCaml даже
Alexander
тогда задаю : ]
Anatolii
В окамле модули вроде хваляи
Quet
просто был человек который знал окамл
Quet
а хаскель не знал
Anatolii
А про ML я ничего не знаю
Quet
вряд ли там какой технический выбор
особенности языка, модули.. кого это волнует)
Alexander
угу
Anatolii
Ну кроме того что он далекий родственник хаскеля
Alexander
там же универ
Alexander
студентов учили OCaml-у
Alexander
а нужна рабочая сила
Anonymous
Есть кто-нибудь знакомый с agda-stdlib?
Cinder
Зачем нужен мл, когда есть о верблюд?
Cinder
Замусоренный мл? И это как "плюс"? Знатная формулировка ответа
Vladimir
Замусоренный мл? И это как "плюс"? Знатная формулировка ответа
У вас случилось что-то в жизни что ли? Вы как укушенный.
Igor
кто что думает про эрланг с элексиром?
Anatolii
я эликсировский чатик телеграмовский иногда почитываю
Anatolii
там вроде сошлись во мнении
Anatolii
что для прода пока сыроват
Anatolii
для большого прода
Anatolii
кто-то там пробовал внутренние проекты делать простенькие
Anatolii
в итоге наебался и сказал что что-то большое запускать на нем не будет пока
Anatolii
а эрлангу сто лет уже
Anatolii
я думаю на нем можно писать
Anatolii
но наверное лучше понимать зачем тебе именно эрланг
Evgeny
а на чём наебался?
Anatolii
Я не следил за всей историей, просто там задали похожий вопрос и он ответил
Anatolii
Что куча детских болезней ещё
Anatolii
Именно у эликсира
Алдар
человек наебался в том, что он думал феникс такой же зрелый как рельсы, где можно хуяк хуяк гем инсталл и в продакшн
Anatolii
Я помню там жаловались что нету библиотеки норм для работы со временем
Anatolii
Хотя вроде уже сделали
Алдар
из эликсира можно эрланговские функции вызывать
Алдар
Что куча детских болезней ещё
https://shift.infinite.red/beyond-10-000-lines-ba1adc17cc7b#.pszknids3
Anatolii
Хех, уже наверное mature
Алдар
ну блин, мне кажется пока сам не попробуешь...
Алдар
к тому же у всех ожидания разные и есть некоторый субъективизм
Anatolii
А сколько уже эликсиру лет?
Алдар
судя по википедии 4
Anonymous
а тут есть нобади?
Anonymous
🙃
Vladimir
() <- вот он
Vladimir
:D
Алдар
IO ()
Anonymous
я дошел в учебнике до иф
Anonymous
пока нравится
Anonymous
😂
Алдар
Какой дойдешь до монадных трансформеров - скажи
Alexander
что есть nobody?
Alexander
() это unit, [] - пустой массив, Void - ничего и значение вообще не населён
Anonymous
что есть nobody?
новичек, который пробует осилить хаскель, до уровня написания чего-то полезного для себя
Alexander
ок
Alexander
я тоже
Alexander
тут даже комплексные есть
Alexander
вроде и не учат ничего и шум создают