概要 Types::TypedCodeRef はPerlで「関数の型」をチェックする型を提供するようなモジュールです。 調べた感じ匿名サブルーチンにいい感じに引数の型とサブルーチンの返り値の型をつけてくれるようなモジュールもなさそうだったので、 AnonSub::Typed という匿名サブルーチンの引数の型と返り値の型をチェックするようなモジュールも作りました。 https://github.com/ybrliiu/p5-Types-TypedCodeRef https://github.com/ybrliiu/p5-AnonSub-Typed 使い方 use v5.30; use Test2::V0; use Types::TypedCodeRef qw( TypedCodeRef ); use Types::Standard qw( Int Str ); use AnonSub::Ty