You might be interested in the type system of Perl 6:

    subset Filename of Str where { $_ ~~ :f };

Here you define the Filename type as a string that represents an existing path. This particular example is a horrendous hack of course, but the tool looks very interesting. Not sure if this can be used for performance tuning in existing P6 implementations.