https://www.youtube.com/watch?v=J3RjkZN8yVU&feature=share
Viacheslav
Vasiliy
ооо вижу знатаков в чате.
Roman
тьфу, тут кто-то ранее говорил, что чистых функций не бывает впринципе, любая функция производит побочный эффект в виде тепла))
Ещё может значения менять в регистрах и памяти в процессе своей работы. Так вызвал чистую функцию, а у тебя в хипе потом мусор. Беда, беда)
Λ ll И K X
Bonart
Пусть говорят, что чистых функций не бывает, но я-то знаю, я-то знаю!
Roman
А вот в C++...))
Bonart
Намеренья как воздух гор чисты. В крестах вам сомневаться нет причины. Расчеты наши быстры и точны, а рейты высоки как горные вершины.
Anonymous
народ, мне тут пишут:
error FS0039: The type 'JsonProvider' is not defined.
как починить?
Ayrat
Ещё может значения менять в регистрах и памяти в процессе своей работы. Так вызвал чистую функцию, а у тебя в хипе потом мусор. Беда, беда)
Ну вот в пруверах аллокация выделяется особым эффектом в типе функции. И так как там есть зависимые типы, то ещё и размер аллокации, поэтому там в доказывается что стек не пробьёшь и ООМ не вызовешь.
Это в Low*, который написан на базе F*
Ayrat
Там вроде как третью версию будут пилить
Anonymous
Намеренья как воздух гор чисты. В крестах вам сомневаться нет причины. Расчеты наши быстры и точны, а рейты высоки как горные вершины.
Как понять что ты пишешь чистые функции? - Твоя футболка сухая и совсем не пахнет.
Doge
тьфу, тут кто-то ранее говорил, что чистых функций не бывает впринципе, любая функция производит побочный эффект в виде тепла))
Если речь про обратимые вычисления, то потенциально можно сделать функцию, вычисление которой не будет выделять тепла
Anonymous
Если речь про обратимые вычисления, то потенциально можно сделать функцию, вычисление которой не будет выделять тепла
Так энтропия же вроде неубывает? Или уже все поменялось?
Ayrat
Если речь про обратимые вычисления, то потенциально можно сделать функцию, вычисление которой не будет выделять тепла
А энтропию вселенной уменьшает?
Doge
Так энтропия же вроде неубывает? Или уже все поменялось?
Речь про принцип Ландауэра, а в нём именно про необратимые вычисления говорится.
Vasily
Любое вычисление необратимо
Anonymous
Anonymous
*больше*
Doge
Давай вот не будем про квантовую механику
Ну немного странно обсуждать физику информации без квантов
Anonymous
Ну немного странно обсуждать физику информации без квантов
Шо це за хуйня така - физыка информацийи?
Anonymous
Нет украинской раскладки
Anonymous
Извините
Vasily
Где-то видел инфу, что скала один из самых энергонеэффективных языков
Anonymous
Где-то видел инфу, что скала один из самых энергонеэффективных языков
Потому что на ней никто не пишет
Vasily
По количеству тепла на единицу полезной работы
Doge
Шо це за хуйня така - физыка информацийи?
Ну а как ещё назвать обсуждения физических принципов при работе с информацией?
Vasily
Но у нас главный по серверу в Таиланде макбук засовывал в холодильник на время компиляции
Doge
Где-то видел инфу, что скала один из самых энергонеэффективных языков
Что-то сомнительно звучит
Anonymous
Но у нас главный по серверу в Таиланде макбук засовывал в холодильник на время компиляции
Много отдал бы, чтобы это увидеть
Vasily
https://greenlab.di.uminho.pt/wp-content/uploads/2017/09/paperSLE.pdf
Vasily
Вот тут что-то есть, но скалы не наблюдается в списках
Vasily
https://sites.google.com/view/energy-efficiency-languages/results
Vasily
Почему скалы там нет- загадка
Ayrat
Почему скалы там нет- загадка
потому что основано на этих бенчах, где скалы нет
https://benchmarksgame-team.pages.debian.net/benchmarksgame/index.html
Vasily
Хммм
Ayrat
вот почему её в бенчах нет - это любопытно
Vasily
Ну вот я тоже задаюсь этим вопросом
Vasily
Что-то тут не так
Ayrat
результаты вангую будут хуже джавы
Ayrat
но не сильно хуже
Ayrat
потому что задачи про числодробилки все
Ayrat
если там обмазать скала-кодом с её интересными аллокациями на каждый чих
Vasily
Let the srach begins
Ayrat
там надо писать согласно бест пракстис языка
Doge
Так нельзя в этих бенчах
Может можно будет выиграть на инлайне и специализации.
Ага, ты код на F# или хаскеле там видел?
Ayrat
потому что иначе там и хаскель покажет норм результаты с ансейфом и мутабл
Ayrat
Ayrat
видел
Ayrat
поэтому никаких предъяв
Doge
Если нужно
Doge
А тут нужно
Vasily
А вот на скале начинают всякие Нижниковы за сердце хвататься
Ayrat
но есть вторая, она как бы побольше
Doge
А вот на скале начинают всякие Нижниковы за сердце хвататься
Не, в важных для производительность местах в скале тоже не зазорно.
Ayrat
Вот в F# комьюнити нет такого разделения. Есть 3.5 наркомана и всё
Vasily
Еще Влашин
Ayrat
в скала чате сразу видно что из себя комьюнити представляет
Ayrat
и кто там thought-leader