GitHub repository: tadzik/Typed-Subroutines
Primary language: Perl6
Description: Better type checking for first-class functions