Vasiliy
ооо вижу знатаков в чате.
Roman
тьфу, тут кто-то ранее говорил, что чистых функций не бывает впринципе, любая функция производит побочный эффект в виде тепла))
Ещё может значения менять в регистрах и памяти в процессе своей работы. Так вызвал чистую функцию, а у тебя в хипе потом мусор. Беда, беда)
Roman
disgusting
Такова жизнь
Bonart
Пусть говорят, что чистых функций не бывает, но я-то знаю, я-то знаю!
Roman
А вот в C++...))
Bonart
Намеренья как воздух гор чисты. В крестах вам сомневаться нет причины. Расчеты наши быстры и точны, а рейты высоки как горные вершины.
Anonymous
народ, мне тут пишут: error FS0039: The type 'JsonProvider' is not defined. как починить?
Ayrat
Ещё может значения менять в регистрах и памяти в процессе своей работы. Так вызвал чистую функцию, а у тебя в хипе потом мусор. Беда, беда)
Ну вот в пруверах аллокация выделяется особым эффектом в типе функции. И так как там есть зависимые типы, то ещё и размер аллокации, поэтому там в доказывается что стек не пробьёшь и ООМ не вызовешь. Это в Low*, который написан на базе F*
Ayrat
Там вроде как третью версию будут пилить
Doge
тьфу, тут кто-то ранее говорил, что чистых функций не бывает впринципе, любая функция производит побочный эффект в виде тепла))
Если речь про обратимые вычисления, то потенциально можно сделать функцию, вычисление которой не будет выделять тепла
Doge
Так энтропия же вроде неубывает? Или уже все поменялось?
Речь про принцип Ландауэра, а в нём именно про необратимые вычисления говорится.
Anonymous
Чорт побери, это была моя мысль
Все функциональные умы мыслят одинаково - подумал я.
Vasily
Любое вычисление необратимо
Doge
Любое вычисление необратимо
Скажи это унитарным гейтам в квантовых компах
Anonymous
*больше*
Vasily
Скажи это унитарным гейтам в квантовых компах
Давай вот не будем про квантовую механику
Doge
Давай вот не будем про квантовую механику
Ну немного странно обсуждать физику информации без квантов
Anonymous
Давай вот не будем про квантовую механику
Ну-ка нагибайтесь в суперпозицию.
Doge
Интеллектом давишь?
Нет, просто там куча важных результатов относительно информации есть
Anonymous
Ну немного странно обсуждать физику информации без квантов
Шо це за хуйня така - физыка информацийи?
Anonymous
Нет украинской раскладки
Anonymous
Извините
Vasily
Где-то видел инфу, что скала один из самых энергонеэффективных языков
Vasily
По количеству тепла на единицу полезной работы
Anonymous
Да не, пишут
Страдают и пишут, пишут и страдают. (с)
Doge
Шо це за хуйня така - физыка информацийи?
Ну а как ещё назвать обсуждения физических принципов при работе с информацией?
Vasily
Но у нас главный по серверу в Таиланде макбук засовывал в холодильник на время компиляции
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
потому что задачи про числодробилки все
Doge
результаты вангую будут хуже джавы
Скорее всего один в один, если писать как на джаве
Ayrat
если там обмазать скала-кодом с её интересными аллокациями на каждый чих
Vasily
Let the srach begins
Ayrat
там надо писать согласно бест пракстис языка
Doge
Так нельзя в этих бенчах
Может можно будет выиграть на инлайне и специализации. Ага, ты код на F# или хаскеле там видел?
Ayrat
потому что иначе там и хаскель покажет норм результаты с ансейфом и мутабл
Ayrat
видел
Doge
на фшарпе норм код
Ага, там та же самая мутабельность во все поля
Ayrat
поэтому никаких предъяв
Doge
но это норма в фшарпе :D
Ну и на скале тоже
Doge
Если нужно
Doge
А тут нужно
Ayrat
Ну и на скале тоже
у нормальной половины скалистов
Vasily
А вот на скале начинают всякие Нижниковы за сердце хвататься
Ayrat
но есть вторая, она как бы побольше
Doge
А вот на скале начинают всякие Нижниковы за сердце хвататься
Не, в важных для производительность местах в скале тоже не зазорно.
Ayrat
Вот в F# комьюнити нет такого разделения. Есть 3.5 наркомана и всё
Doge
Ну-ну
Посмотри внутренности того же зио и fs2
Vasily
Еще Влашин
Ayrat
в скала чате сразу видно что из себя комьюнити представляет
Ayrat
и кто там thought-leader
Ayrat
В понве
ни разу туда не заходил даже краем глаза