typecheck for explicit phases of GROUP BY

Пример запроса на котором проходит typecheck. Для агрегационных функций с несколькими параметрами в режиме over state, он используется из первого аргумента, при этом параметры - литералы (например limit для max_by) используются в том смысле, что их наличие влияет на тип state.

Percentile особая функция, для нее в MergeFinalize можно построить из одного state много срезов по разным значениям percentile.

%%(sql)
--pragma EmitAggApply;
$p = 
SELECT
    key,count(value) as a,avg(value) as b,percentile(value,0.1) as c,
    max_by(value,value) as e, sum_if(value,value>0) as f
FROM AS_TABLE([<|key: 1, value: 2|>])
GROUP BY
    key
    with combine
    ;

$p = PROCESS $p;
select FormatType(TypeOf($p));

$p = SELECT
    key,count(a) as a,avg(b) as b,percentile(c,0.1) as c,max_by(e,e) as e,
    sum_if(f,f) as f
FROM $p
GROUP BY
    key
    with combinestate
    ;
    
$p = PROCESS $p;
select FormatType(TypeOf($p));

$p = SELECT
    key,count(a) as a,avg(b) as b,percentile(c,0.1) as c,max_by(e,e) as e,
    sum_if(f,f) as f
FROM $p
GROUP BY
    key
    with mergestate
    ;
    
$p = PROCESS $p;
select FormatType(TypeOf($p));

    
$p = SELECT
    key,count(a) as a,avg(b) as b,percentile(c,0.1) as c,percentile(c,0.2) as d,max_by(e,e) as e,
    sum_if(f,f) as f
FROM $p
GROUP BY
    key
    with mergefinalize
    ;
    
$p = PROCESS $p;
select FormatType(TypeOf($p));


$p = 
SELECT
    key,count(value) as a,avg(value) as b,percentile(value,0.1) as c,percentile(value,0.2) as d, max_by(value,value) as e,
    sum_if(value,value>0) as f
FROM AS_TABLE([<|key: 1, value: 2|>])
GROUP BY
    key
    with finalize
    ;

$p = PROCESS $p;
select FormatType(TypeOf($p));
 %%

0 files changed, 0 insertions, 0 deletions