Size: a a a

2020 March 25

AZ

Alex Zhukovsky in rust_offtopic
Gymmasssorla
Тогда можно Element определить как начальное значение и список шагов, а GroupedList как [Element] 🤦‍♀️
это измоморфно сохранению изначального списка насколько я могу судить)
источник

G

Gymmasssorla in rust_offtopic
Alex Zhukovsky
это измоморфно сохранению изначального списка насколько я могу судить)
Изоморфизм мы определим как Element -> List Int
источник

AZ

Alex Zhukovsky in rust_offtopic
Gymmasssorla
Изоморфизм мы определим как Element -> List Int
мне это напоминает йонеду по кодированию числа списком юнитов
источник

G

Gymmasssorla in rust_offtopic
Alex Zhukovsky
мне это напоминает йонеду по кодированию числа списком юнитов
Но короче идея в том была, чтобы более точную структуру отдавать)
источник

AZ

Alex Zhukovsky in rust_offtopic
Gymmasssorla
Но короче идея в том была, чтобы более точную структуру отдавать)
ты не можешь сделать более точную структуру чем та что передана
источник

G

Gymmasssorla in rust_offtopic
GroupedList защитит от ошибок наподобие возвращаем [1, 2, 1]
источник

G

Gymmasssorla in rust_offtopic
Как сделать полную спецификацию этой функции разбиения чисел - тоже интересная задача
источник

B

Bogdan in rust_offtopic
Alex Zhukovsky
для этого мне надо в AddTransient написать код который возвращает DataConnection или как он там
А почему Transient? c линкюдиб оно мб и зарабоатет, но странно
источник

AZ

Alex Zhukovsky in rust_offtopic
Gymmasssorla
GroupedList защитит от ошибок наподобие возвращаем [1, 2, 1]
это изоморфно (xs, \any i < len - 1. xs[i] + 1 == xs[i])
источник

AZ

Alex Zhukovsky in rust_offtopic
Bogdan
А почему Transient? c линкюдиб оно мб и зарабоатет, но странно
потому что либо транзиент, либо синглтон
источник

AZ

Alex Zhukovsky in rust_offtopic
синглтон не подходит по понятным причинам
источник

AZ

Alex Zhukovsky in rust_offtopic
я бы добавил Pooled, но такой опции нет
источник

B

Bogdan in rust_offtopic
Scoped же
источник

AZ

Alex Zhukovsky in rust_offtopic
Bogdan
Scoped же
у меня это считай то же самое
источник

AZ

Alex Zhukovsky in rust_offtopic
ну можно и скоупед
источник

AZ

Alex Zhukovsky in rust_offtopic
у меня пока один контроллер, я только начал сервис делать)
источник

G

Gymmasssorla in rust_offtopic
Gymmasssorla
Как сделать полную спецификацию этой функции разбиения чисел - тоже интересная задача
Выходные списки должны быть последовательны относительно переданного списка и быть упорядоченными по возрастанию, вот
источник

G

Gymmasssorla in rust_offtopic
Можно ещё 2 доказательства возвращать помимо [[Int]]
источник

G

Gymmasssorla in rust_offtopic
Или в виде отдельных лемм сделать
источник

B

Bogdan in rust_offtopic
Alex Zhukovsky
теперь я хочу сделать такой же для постгрёвого клиента linq2db
Вроде вот так делают, но я не знаю насколько это идиоматично


     LinqToDB.Common.Configuration.Linq.AllowMultipleQuery = true;

     var dbFactory = DataBaseFactory.DefaultDataBaseFactory;

     services.AddSingleton<IDataBaseFactory>(dbFactory);
     services.AddScoped(x => dbFactory.CreateDb());
источник