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.
Переместив API на уровень ассоциативной БД вы не убрали API как концепцию.
где всё совместимо со всем
А можно какой-нибудь понятный пример? Просто если такая совместимость это "посмотреть что за связи использует пакет на питоне и сконвертировать связи пакета на JS в подходящие", то концептуально это всё то же перекладывание JSON, только спрятанное под мишурой малоизвестной БД с возможностью натыкать часть перекладываний в графовом UI
А в Kotlin есть прям что-то принципиально более крутое чем в Java? Всегда считал что он больше про практичный сахар для всё той же java/c#-ной ООП парадигмы, нежели что-то фундаментально другое, как Scala.
Теоретически наверное умельцы смогут сделать репак последней версии, которая отвязана от valve и позволяет играть на community серверах. Хотя думаю энтузиастов не найдется, они в 1.6 / CSS гоняют
Использую Fleksy keyboard, там есть панелька с кнопками Выделить всё, Копировать, Вырезать, Вставить + слайдер позволяющий отпозиционировать курсор влево/вправо с большей точностью
Я прост шарпист, за джавой не особо слежу :) Ключевое в вашем примере насколько я понял это sealed interface Data permits SuccessData, ErrorData, благодаря которым компилятор может проверить switch на полноту покрытия, чего не происходит в C#. Тогда действительно это вполне можно юзать как DU
Вообще в спеке есть one-of.
Правда обычно хотя бы один из OneOf это некоторая ошибка, а её не только как body вернуть надо, но и statusCode выставить нужный, так что пожалуй действительно от ручного маппинга до конца не получится избавиться.
Да, я его юзаю во внутренней логике, но всё же его использование выглядит громоздко, AutoMapper не смапит его автоматически, из API OneOf<> не вернешь без приседаний и спеку swagger нативно для него не сгенерирует.
Будь DU нативно в языке, тулинг бы подтянулся, в отличие от библиотеки о которой не слышали 95% разработчиков
Не, напрямую так не получится :(
После in должно идти что-то имплементирующее Strategy trait, который всякие возможности перебора и упрощения комбинаций значений должен предоставлять. Поэтому нужно именно что костылять с dummy имплементаций трейта которая бы возвращала определенный список значений, причём так, чтобы proptest не резал некоторые значения как избыточные при симплификации.
Похож, но всё же не то. Тут именно ренжи и всякие их
any::<u32>()
являются источником данных и явного способа впихнуть туда полностью кастомно генерируемый массив своих данных не видно. Накостылять наверняка можно, но выглядеть полагаю уже будет не сильно читаемо.Не фаззинг, а просто генерация тест кейсов кодом. (Пример как это в NUnit)
Иногда в константы кейсы трудно запихать из-за сложной логики создания входных данных
А так, чтобы параметры кодом генерировать вместо констант, сейчас возможно? Пару лет назад не нашёл такого способа, плюнул, сделал циклами внутри обычного #[test].
Вообще я пересекался в инфопространстве с Deep ранее, там postgres под капотом был, но потом они запилили свой самописный движок, побенчмаркали на данных в 100 килобайт свою практически in-memory хранилку с дефолтным постгресом с включенным fsync и сказали что их БД на порядок быстрее самого быстрого решения на рынке :)
Ну а вообще как обычно, как только начинаются вопросы по существу, конкретных ответов ждать не приходится. Спасибо что хоть тут не стали отвечать буллшитом который сгенерировал ChatGPT.
nin-jin и deep, вот это заруба двух эзотерических подходов!
Переместив API на уровень ассоциативной БД вы не убрали API как концепцию.
А можно какой-нибудь понятный пример? Просто если такая совместимость это "посмотреть что за связи использует пакет на питоне и сконвертировать связи пакета на JS в подходящие", то концептуально это всё то же перекладывание JSON, только спрятанное под мишурой малоизвестной БД с возможностью натыкать часть перекладываний в графовом UI
Звучит так, будто вы на что-то намекаете
Именно для единиц измерения в F# есть например Units of Measure.
А в Kotlin есть прям что-то принципиально более крутое чем в Java? Всегда считал что он больше про практичный сахар для всё той же java/c#-ной ООП парадигмы, нежели что-то фундаментально другое, как Scala.
Учитывая что у той же Dota 2 версию не апнули ни когда так же движок меняли, ни при значительной переделке карты, охотно верится
Теоретически наверное умельцы смогут сделать репак последней версии, которая отвязана от valve и позволяет играть на community серверах. Хотя думаю энтузиастов не найдется, они в 1.6 / CSS гоняют
Использую Fleksy keyboard, там есть панелька с кнопками Выделить всё, Копировать, Вырезать, Вставить + слайдер позволяющий отпозиционировать курсор влево/вправо с большей точностью
Это называется теория скрытых параметров. И эксперименты её опровергают (гуглить нарушение неравенств Белла)
А зачем для этого 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#. Всё какие-то полумеры