хз

Free $oftware

아침 v0.1.0-20210810!

(<*>).(<*>)

ExampleTypeAddress x = curry_constructor<ExampleTypeAddress, string, string, string, string>()("aa")("bb")("cc")("dd");

vector<ExampleTypePhoneNumber> y;

ExampleType example_type = curry_constructor<
 ExampleType,
 string,
 string,
 bool,
 int,
 ExampleTypeAddress,
 vector<ExampleTypePhoneNumber>
>()("foo")("bar")(false)(22)(x)(y);

cerr << "age: " << example_type.age << endl;

(<*>).(<*>)
Minory: тут выведет age: 1, ну я на шаг ближе к источнику проблемы.

(<*>).(<*>)
вот так нормально:

ExampleType example_type = constructor<
 ExampleType,
 string,
 string,
 bool,
 int,
 ExampleTypeAddress,
 vector<ExampleTypePhoneNumber>
>("foo", "bar", false, 22, x, y);

а так нет (единица снова получается):

ExampleType example_type = curry<
 ExampleType, string, string, bool, int, ExampleTypeAddress, vector<ExampleTypePhoneNumber>
>(constructor<
 ExampleType, string, string, bool, int, ExampleTypeAddress, vector<ExampleTypePhoneNumber>
>)("foo")("bar")(false)(22)(x)(y);

хэлпер curry тут что-то делает не то...

(<*>).(<*>)

template <
typename R,
typename A,
typename B,
typename C,
typename D,
typename E,
typename F
>
inline function<function<function<function<function<function<
R(F)>(E)>(D)>(C)>(B)>(A)
> curry(
function<R(A, B, C, D, E, F)> fn
)
{
return [=](A a) { return [=](B b) { return [=](C c) { return [=](C d) {
 return [=](E e) { return [=](F f) { return fn(a, b, c, d, e, f); }; };
}; }; }; };
}

(<*>).(<*>)
“C c”...“C d” БЯЛДЬ!

(<*>).(<*>)
хочется отпиливать руки, которые запиливали имлпицитный coercing

(<*>).(<*>)
лучше бы компилятор меня за это выпорол с пристрастием

(<*>).(<*>)
C — это bool, следом идёт C d — это должен быть uint8_t, но для этого аргумента создаётся лямбда с bool, вызывая её с uint8_t значение превращается в единичку, а потом передаётся в нормальную функцию, которая coerce-ится обратно в uint8_t

(<*>).(<*>)
O KURWA!

(<*>).(<*>)
ну ладно, я когда C++ решил трогать руками сам на это подписался

(<*>).(<*>)
надесюь в какой-нибудь C++30 завезут флаг, который выключает в модуле имплицитный кастинг

https://github.com/boostorg/context/pull/183 - починил тут сборку буст контекста смаком на армах, надеюсь, примут.

(<*>).(<*>)
эта функция ещё в паре мест использовалась. но там оба аргумента были string, так что компилятору тоже всё норм было.

Мб проще взять github.com/nlohmann/json?

(<*>).(<*>)
патч https://github.com/unclechu/cpp-parser-experiment/commit/900837d1f85b440171ddb725c2f87f2ce5ece056

(<*>).(<*>)

» [03:36:35] <тг> <@AlexFails> Мб проще взять github.com/nlohmann/json?
нет, смысл эксперимента не в нахождении готовой библиотеки для парсинга, в реализации хаскельных абстракций, и, используя их, в реализации парсеров.

Ну, это прогресс.