TypedPerl
A subset of perl language based on typed lambda calculus. It's a sample application for my talk of YAPC Asia 2013 Tokyo :p http://yapcasia.org/2013/talk/show/98184134-e975-11e2-ba88-5f716aeab6a4
!! CAUTION !! THIS APPLICATION IS STILL UNDER CONSTRUCTION.