wrap compile function in Type::Params

check_params.pl

#!/usr/bin/env perl

use strict;
use warnings;
use utf8;
use 5.010;

use Data::Dumper;
use Type::Params qw(compile);
use Types::Standard -types;

sub _compile {
    my $spec_ref = shift;

    my @spec_keys = keys %{$spec_ref};
    my $check = compile(@{$spec_ref}{@spec_keys});

    return sub {
        my $params_ref = shift;
        my @params_keys = keys %{$params_ref};

        my %temp;
        @temp{@spec_keys} = $check->(@{$params_ref}{@spec_keys});

        my %params;
        my @intersect = grep { defined } @{ { map { $_ => $_ } @spec_keys } }{ @params_keys };
        @params{@intersect} = @temp{@intersect};

        return %params;
    };
}

sub main {
    my $input = shift;

    state $check = _compile({
        a => Str,
        b => Int,
        d => Maybe[Str],
    });
    my %params = $check->($input);

    print Dumper \%params;
}

main({
    a => 1,
    b => 2,
    c => 3,
});