Size: a a a

F# Flood: ПДД made functional, making illegal state INGIBDDdale

2020 May 18

DB

Denis Bobrov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
ну тут я думаю архитектура * раст мемори менеджмент
источник

SN

Shub Niggurath in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Doge Shibu
Не совсем, её не выразить бесплатно на управляемых языках
я думаю, ты мог бы перенести код на раст 1 в 1 - и все равно получить прирост порядка 10 раз
источник
2020 May 19

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Denis Bobrov
ну тут я думаю архитектура * раст мемори менеджмент
Нет, тут больше наличиеприличного оптимизирующего компилятора, это очень важную роль в таких задачах играет
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Shub Niggurath
я думаю, ты мог бы перенести код на раст 1 в 1 - и все равно получить прирост порядка 10 раз
Не, я проверял такой вариант, оно достаточно рядом с джавой идёт.
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Там в пару раз выигрыш
источник

DB

Denis Bobrov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Компилятор подразумевается
источник

DB

Denis Bobrov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Как говорилось раньше, очень мало где норм компилятор
источник

DB

Denis Bobrov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
мне как то отказали в использовании TS именно из-за него, я не разбирался в чем там конкретно дело но это играет роль )
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Denis Bobrov
крутая история да
Хардкор пошел дальше, когда я пошел смотреть, можно ли ещё выиграть:
* Взял в зубы vtune и пошел анализировать, что происходит по метрикам
* Смотрел выхлоп компилятора в асме
* Смотрел профили различных видов

В итоге удалось ещё раз в 5-6 дополнительно выиграть за достаточно недолгий срок. Но тут пришлось чуть ансейф заюзать и ещё пару трюков применить.
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
А такие выигрышы мне важны, потому что это значит, что можно сильно выграть в качестве решений и в допустимом размере задач тупо засчёт грубой вычислительной мощи
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
И на задачах, где раньше Java вариант умирал буквально, у меня теперь стабильно работающий (и жрущий копейки памяти) сервис.
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Вот после этого народ вдохновился и пошел пробовать плохо работающую инфраструктуру переводить на раст.
источник

AH

Ayrat Hudaygulov in F# Flood: ПДД made functional, making illegal state INGIBDDdale
годный саксес стори
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Ayrat Hudaygulov
годный саксес стори
Если честно, я сам был удивлен насколько хорошо раст себя показал.

Я вначале долго не верил, что мой написанный за неделю прототип реально показывает настолько хороший результат. Закидал всё ассёртами, дополнительными проверками решения и т.д. в попытках понять, всё ли правильно делает.
источник

VK

Vladislav Khapin in F# Flood: ПДД made functional, making illegal state INGIBDDdale
источник

VK

Vladislav Khapin in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Эх
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Shub Niggurath
ты так написал, типа это архитектура дает прирост в 15 раз
Ну а архитектура, конечно, имеет значение.

Но её реализовать с таким выигрышем можно только на нескольких относительно мейнтрим языках, потому что все остальные не умеют полноценно инлайнить тайпклассы и полноценно оптимизировать большие методы, а мне это дико важно.
источник

DS

Doge Shibu in F# Flood: ПДД made functional, making illegal state INGIBDDdale
Теперь всё хочу поиграться на каком-нибудь языке с полноценными whole program optimizations, типа того же MLTon'а и посмотрел можно ли будет там получить похожие результаты, используя модули или рекордов функций.

Но как-то времени пока нет.
источник

VP

Vasiliy Pereverzev in F# Flood: ПДД made functional, making illegal state INGIBDDdale
источник

VP

Vasiliy Pereverzev in F# Flood: ПДД made functional, making illegal state INGIBDDdale
лол
источник