Так, походу, надо мтпрото телеграма менять

Не в проксях дело

Там у телеги самой какие то траблы

Да, действительно

Такс, у меня есть вопросы по акке

Допустим, есть пользовательская сессия

С некоторым состоянием

КОторое я не хочу хранить в базу

сделай под неё актора! (это ответ на любой вопрос в акке)

Вопрос

Как мне правильно написать актора, который будет этот стейт хранить

В памяти

Как обычный класс :D

класс у тебя ж висит в памяти, просто полей туда добавь и всё

Так

А, F# Chat

вспомнил

:D

КОгда я делаю actorOf, что происходит?

Если актор уже создан, вернется ссылка на него или создастся новый?

ща пример скину

ты актору имя задаёшь, по имени (который адрес) он может только один такой быть

Один инстанс?

по одному ActorPath один актор

но тебе ничего не мешает создавать их так superactor-1 superactor-2 ...

Ну мне и нужен один инстанс, в общем-то

Ок. если вопрос про то как добавить полей в актора F#, то банально замыканиями накидай let'оф перед рекурсивной функцией

ну обычно короче

А в loop можно стейт передавать,да?

ну конечно, ты ж его сам объявляешь.

https://github.com/Szer/Akka.FSharp.ActorMonitoring/blob/5675b2a154f3f9bed6ae56cb1b3582dbe5137b1b/src/Akka.FSharp.ActorMonitoring/BaseActor.fs#L22

это совсем уж функциональненько будет - стейты в лупе прокидывать. Можно как хочешь делать в общем

Ну мне важен именно вопрос сохранения стейта внутри сессии

Мда, кто ж так пакеты пишет, подсовываешь Json 11 версии, пишет, что хочет 9-ю О_О

Можно каким либо образом кастить DU типы?

Мб какие то хаки есть

Можно каким либо образом кастить DU типы?

Что ты хочешь сделать?

А что вы хотите от сайта? Что там будет? Просто текущий по активации одностраничник @fvnever

Там будут статьи и переводы автоматом с гитхаба

Что ты хочешь сделать?

Ну смотри, у меня есть and BlockStatement = VariablesScope * Statement list И есть and Statement = |... | BlockStatement of BlockStatement Есть парсер для BlockStatement let blockStatement = pipe2 (symbol OPENCURLY >>. localDeclarations) (statements .>> symbol CLOSECURLY) (fun a b -> Ast.BlockStatement (a, b)) Но он возвращает Statement а не BlockStatement Потом из-за того что там Statement на выходе, у меня в AST вместо BlockStatement используется Statement, например and FunctionDeclaration = Identifier * Parameters * TypeSpec * Statement Все бы ничего, но у меня есть функция когда я семантический анализ делаю, которая должна принимать именно BlockStatement, а я не могу этот Statement привести к BlockStatement

Ну смотри, у меня есть and BlockStatement = VariablesScope * Statement list И есть and Statement = |... | BlockStatement of BlockStatement Есть парсер для BlockStatement let blockStatement = pipe2 (symbol OPENCURLY >>. localDeclarations) (statements .>> symbol CLOSECURLY) (fun a b -> Ast.BlockStatement (a, b)) Но он возвращает Statement а не BlockStatement Потом из-за того что там Statement на выходе, у меня в AST вместо BlockStatement используется Statement, например and FunctionDeclaration = Identifier * Parameters * TypeSpec * Statement Все бы ничего, но у меня есть функция когда я семантический анализ делаю, которая должна принимать именно BlockStatement, а я не могу этот Statement привести к BlockStatement

match statement with BlockStatement(...) -> dosomething | _ -> failwith "fuck"

match statement with BlockStatement(...) -> dosomething | _ -> failwith "fuck"

Так и думал что можно такой хак с матчингом заюзать. Спасибо

(match blockStatement with Ast.BlockStatement x -> x) Очень костыльно, но теперь не ругается

в функцию б вынес

в функцию б вынес

Да, я так и сделал

Просто показал не окончательный вариант)

в функции можно заюзать function короче получится

+

Так и сделал

просто меньше) тяжело сказать насколько

ну что. мастер класс покажешь?

ну что. мастер класс покажешь?

Ток если завтра, я дома не могу за комп сесть. Двое детей это непросто.

Так и сделал

Кстати, я недавно охуел и сразу же забыл, что можно сразу писать let block (BlockStatement(x)) = x Вспомнил только щас

в теории можно, на практике нет

Ну если где-то потом поймать MatchFailureException, то можно, но проще так вообще не делать

Зачем его ловить? Юзай этот синтакс в случаях, когда известно наверняка, что всё сматчится.

Я вот так, например, использую в сочетании с однокейсовыми DU: https://github.com/ForNeVeR/nightwatch/blob/2641e1c32a437ece0c12ad047fb2ac3da55651a3/Nightwatch.Core/FileSystem.fs#L13

Я вот так, например, использую в сочетании с однокейсовыми DU: https://github.com/ForNeVeR/nightwatch/blob/2641e1c32a437ece0c12ad047fb2ac3da55651a3/Nightwatch.Core/FileSystem.fs#L13

Кстати, а зачем делать однокейсовые DU? Много раз видел и так и не догнал

Кстати, а зачем делать однокейсовые DU? Много раз видел и так и не догнал

Там в примере же есть :)

А, ну да

Чтобы мне в Path не передали какие-нибудь левые строки.

Чтобы мне в Path не передали какие-нибудь левые строки.

Ну левую строку можно и так передать

Как?

Обернуть только придется

Ну, если оборачиваешь — значит, думаешь!

Правая строка

Ну левую строку можно и так передать

Это решается, если сделать конструктор приватным и добавить пару функций для врапа/анврапа.

https://fsharpforfunandprofit.com/posts/designing-with-types-single-case-dus/

Какие еще есть варианты? Классы и хак с тегами для единиц измерений?

Интерфейсы

Молодец он) и @gsomix молодец

Чет не могу понять, как в f# akka правильно стейт актора вернуть

Пишут, что ask это фуфуфу

Вернуть стейт? Это как? Зачем? Стейт инкапсулирован внутрях

Или всякие репозитории лучше делать традиционно?

Ща, 5 мин до работы дойду, расскажу и пример покажу

Типа доступа к бд этц

Почему ask это фуфуфу - Есть причина перформанса. Аск создаёт виртуального актора который будет дожидаться ответа от опрошенного. Если на моей тачиле получается прогонять 4кк месаг в секунду (ин процесс) через tell, то асками в 10 раз меньше. но это не самое главное самое главное что при использовании ask ты должен ожидать того что ответа ты не получишь

Ну это понятно

аск по умолчанию висит вечно, т.е. актор застопит обработку сообщений. Можно класть таймаут вторым аргументом и ловить ексепшн (акка делает так), можно в конфиге глобальном нгастроить таймаут дефолтный на все аски

как делать следует

точнее начну с другого) асками пользуются те кто не отошёл от процедурного програмирования в модели акторов. Т.е. вызвал процедуру (кинул аск актору), дождался возврата процедуры (ответа актора), работаем дальше. Это нифига не реактивно, стопит обработку мейлбокса, добавляет проблем

Message-driven системы работают не так. У акторов как известно есть 3 супер способности: 1) они могут создать конечное кол-во детей 2) они могут отправить конечное кол-во сообщений другим акторам 3) (важное) они могут поменять своё поведение перед обработкой следующего сообщения

вот про последнюю особенность надо подробнее. Чтобы реализовать вопрос ответ я пользовался стейтами. Например у меня тяжёлая работа с БД в сотню потоков, на каждый поток по актору, каждый такой актор находится в состоянии Busy, Idle. В Busy он все принятые сообщения кладёт в стеш, по окончанию Busy вываливает стеш в мейлбокс, продолжает работу. Так же он знает ActorRef куда надо заслать результат есть акторы которые дожидаются ответа от такого актора, но делают они это тоже реактивно, т.е. сигнализируют другим о своём состоянии ожидания а не тупо вешают себя в ожидании ask. Ответ приходит им в мейлбокс в виде типизированного месаджа SqlResponse например, который они умеют обрабатывать в состоянии ожидания ответа.

Могу пример на C# показать

Ну смотри, у меня есть актор, через который я лезу в базу

У него есть метод List

Как мне правильно результат List вернуть и куда?

Нене, у актора не бывает методов, у него есть реакции на входящие сообщения

Да, я неверно выразился

Он принимает сообщение List

Не, метод ты сделать можешь, но лучше сразу мыслить в message-driven стиле, станет проще

Смотри. Тебе приходит List<'a>, ты его обрабатываешь и возвращаешь Sender List<'b> например

сендер может реагировать на сообщения вида List как-то своим образом

Пока выглядит так, что у меня сверху должен быть актор, который действительно принимает списки

но лучше такие примитивные типы не пересылать, типизируй месаджи

Да это понятно

А можешь задачу вкратце?

Ну вкратце клиент платежного терминала

Есть список услуг для оплаты