Ayrat
кортежи где хранить будешь?
Vasily
В мейлбоксе
Ayrat
А в мейлбоксе как будет храниться?
Vasily
Если нужно состояние, то оно добавляется к кортежу
Vasily
А в мейлбоксе это стейт-список по идее
Ayrat
Бля, вот поступил в твой актор запрос -> (GetStatus of Id: Guid)
у тебя внтури они где лежат чтобы найти по гуиду некую структуру Status?
Fail
Ayrat
и если ты щас ответишь что ты используешь ИММУТАБЕЛЬНУЮ структуру внутри синхронного актора, я кину в тебя камень
Vasily
Vasily
Не ерепеньтесь
Vasily
Вопрос номер раз
Vasily
Стейты надо персистить или нет?
Ayrat
Короче, я прекращу эти страдания, проще всего взять мутабельный Dictionary и да, давать доступ через актора
Vasily
А где тут страдания?
Bonart
Ага, иммутабельные словарики зело прожорливы и неторопливы
Ayrat
Ну как же, мутабельность налицо
Ayrat
Dictionary - нечистая структура
Vasily
Пока только идёт этап уточнения проблемы
Vasily
А именно, какое быстродействие требуется этц
Ayrat
ну короче, я думаю мы оба понимаем что если мутабельность изолирована, то проблемы нет. Нет смысла упарываться по иммутабельности во всех местах
Ayrat
Актор + мутабельный словарь = отличное решение
Vasily
Ну особого нет, конечно
Vasily
Я про быстродействие не просто так спросил
Ayrat
Ну зачем лишние палки в колёса вставлять в производительности если использование иммутабельного Map не даст ничего в этом случае?
Vasily
Ну зачем лишние палки в колёса вставлять в производительности если использование иммутабельного Map не даст ничего в этом случае?
Ну, возможно, особое быстродействие и не требуется
Ayrat
Я работаю в основном с serverless, там платишь столько сколько твой код ранился, умноженное на потребление памяти.
Приходится писать с малым меморифутпринтом
Ayrat
в ажуре квантуется по 128мб, поэтому до этого значения пофигу))
Но это значит что обрабаывать данные по этапам нельзя, только стримами
Ayrat
производительность особо не проседает между Map и Dictionary, но каждое добавление к Map вызывает новую аллокацию цельного словаря. Такое себе решение
Nikolay
Nikolay
Выглядит круто
Nikolay
Сильно похоже на F#
Ayrat
Потому что у него под капотом OCaml, который как бы родитель F#
Анна
Nikolay
Там нет убогих библиотек из .Net 🌚
Nikolay
Я уже портировал парочку библиотек
Ayrat
Там нет убогих библиотек из .Net 🌚
Где там? в окамле? Там вообще экосистема ламповая, но по размерам с дотнетом ничтожна как донет с жава-миром
Анна
OCaml под винду так же тяжко сейчас?
gsomix
Nikolay
Где там? в окамле? Там вообще экосистема ламповая, но по размерам с дотнетом ничтожна как донет с жава-миром
Ну зато оно пишется без привязки к C# и другом языкам
Анна
Я хочу лабы и примеры в своём курсе на OCaml переделать, думаю, будет ли плохо совсем или прокатит. Там код будет как валенок простой и короткий
Nikolay
Nikolay
Не хочешь?
Ayrat
Ну зато оно пишется без привязки к C# и другом языкам
а толку с этого если можно только простые хеловорлды рисовать? Как только мне понадобится (вставь любую продуктовую БД), с обвязкой из (вставь какой-нибудь кеш, вебсервер и логомолотилку) придётся на полгода сесть либы рисовать
Ayrat
ну нахер такую жизнь
Romɑn
А чего сразу не в хаскель или в идрис?
Nikolay
Для лаб сойдёт
Vladislav
Vladislav
или там в чем проблемы
Ayrat
кстати, вы знаете про F*?
https://en.wikipedia.org/wiki/F*_(programming_language)
Ayrat
The main ongoing use case of F* is building a verified, drop-in replacement for the whole HTTPS stack in Project Everest.
Ayrat
они типа на матане и наркоте делают статически верифицированный HTTPS который компилится в натив.
https://project-everest.github.io/
Ayrat
система типов - хаскель курит в сторонке
Ayrat
А тут и поиграться можно
Ayrat
https://www.fstar-lang.org/tutorial/
Анна
Ага
я ещё недостаточно упоролась до хаскеля. И мне идеологически ML семейство идеально подходит
Romɑn
Анна
Есть языки, которые я хочу учить больше, чем хаскель :)
Ayrat
ну, вроде всё верно
Ayrat
любой блокнот справится
Romɑn
компайлер вот это все
Ayrat
это ж язык для трёх мат задротов, им ещё и IDE делать?)
Анна
F* уже где-то обсуждали, то ли в F# чате, то ли в компиляторном