Pull to refresh
33
0

Разработчик

Send message

Не, напрямую так не получится :(

the trait `Strategy` is not implemented for `{integer}`, which is required by `({integer}, {integer}): Strategy`

После in должно идти что-то имплементирующее Strategy trait, который всякие возможности перебора и упрощения комбинаций значений должен предоставлять. Поэтому нужно именно что костылять с dummy имплементаций трейта которая бы возвращала определенный список значений, причём так, чтобы proptest не резал некоторые значения как избыточные при симплификации.

Похож, но всё же не то. Тут именно ренжи и всякие их any::<u32>() являются источником данных и явного способа впихнуть туда полностью кастомно генерируемый массив своих данных не видно. Накостылять наверняка можно, но выглядеть полагаю уже будет не сильно читаемо.

Не фаззинг, а просто генерация тест кейсов кодом. (Пример как это в NUnit)
Иногда в константы кейсы трудно запихать из-за сложной логики создания входных данных

Параметризованные тесты

А так, чтобы параметры кодом генерировать вместо констант, сейчас возможно? Пару лет назад не нашёл такого способа, плюнул, сделал циклами внутри обычного #[test].

Вообще я пересекался в инфопространстве с Deep ранее, там postgres под капотом был, но потом они запилили свой самописный движок, побенчмаркали на данных в 100 килобайт свою практически in-memory хранилку с дефолтным постгресом с включенным fsync и сказали что их БД на порядок быстрее самого быстрого решения на рынке :)

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

nin-jin и deep, вот это заруба двух эзотерических подходов!

Переместив API на уровень ассоциативной БД вы не убрали API как концепцию.

где всё совместимо со всем

А можно какой-нибудь понятный пример? Просто если такая совместимость это "посмотреть что за связи использует пакет на питоне и сконвертировать связи пакета на JS в подходящие", то концептуально это всё то же перекладывание JSON, только спрятанное под мишурой малоизвестной БД с возможностью натыкать часть перекладываний в графовом UI

Инженеры компании ходили по различным проектам открытого программного обеспечения и причиняли оптимизацию сортировки

на Zen 4 скорость сортировки даже незначительно падает

Звучит так, будто вы на что-то намекаете

Именно для единиц измерения в F# есть например Units of Measure.

Haskel/TS/Flow/Kotlin

А в Kotlin есть прям что-то принципиально более крутое чем в Java? Всегда считал что он больше про практичный сахар для всё той же java/c#-ной ООП парадигмы, нежели что-то фундаментально другое, как Scala.

Учитывая что у той же Dota 2 версию не апнули ни когда так же движок меняли, ни при значительной переделке карты, охотно верится

Теоретически наверное умельцы смогут сделать репак последней версии, которая отвязана от valve и позволяет играть на community серверах. Хотя думаю энтузиастов не найдется, они в 1.6 / CSS гоняют

Использую Fleksy keyboard, там есть панелька с кнопками Выделить всё, Копировать, Вырезать, Вставить + слайдер позволяющий отпозиционировать курсор влево/вправо с большей точностью


Заголовок спойлера

image

их свойсва уже определены в этот момент

Это называется теория скрытых параметров. И эксперименты её опровергают (гуглить нарушение неравенств Белла)

А зачем для этого F#, если можно просто record struct в С# объявлять?

Это же как далеко и соответственно какого размера должно быть зеркало чтобы задержка была заметна o_O

Я прост шарпист, за джавой не особо слежу :) Ключевое в вашем примере насколько я понял это sealed interface Data permits SuccessData, ErrorData, благодаря которым компилятор может проверить switch на полноту покрытия, чего не происходит в C#. Тогда действительно это вполне можно юзать как DU

Вообще в спеке есть one-of.
Правда обычно хотя бы один из OneOf это некоторая ошибка, а её не только как body вернуть надо, но и statusCode выставить нужный, так что пожалуй действительно от ручного маппинга до конца не получится избавиться.

Да, я его юзаю во внутренней логике, но всё же его использование выглядит громоздко, AutoMapper не смапит его автоматически, из API OneOf<> не вернешь без приседаний и спеку swagger нативно для него не сгенерирует.


Будь DU нативно в языке, тулинг бы подтянулся, в отличие от библиотеки о которой не слышали 95% разработчиков

Эх, когда же discriminated unions уже завезут в Java/C#. Всё какие-то полумеры

1
23 ...

Information

Rating
4,644-th
Location
Тхимпху, Бутан, Бутан
Registered
Activity