types - Perl pragma for strict type checking

  use types;
  my int $int;
  my float $float;
  $int = $float; # BOOM compile time error!

This pragma uses the optimzie module to analyze the optree and turn on compile time type checking

    my float $foo = "string"; #compile time error
    sub foo (int $foo) { my ($foo) = @_ };
    foo("hi"); #compile time error   

    my int $int;
    sub foo { my float $foo; return $foo }
    $int = $foo; # compile time error

This pragma uses the optimzie module to analyze the optree and turn on compile time type checking

Currently we support int, float, number ,string and user defined classes, the implict casting rules are as follows.

    


    int    < > number
    int      > float
    float  < > number
    number   > string

Normall type casting is allowed both up and down the inheritance tree, so in theory user defined classes should work already, requires one to do use base or set @ISA at compileitme in a BEGIN block.

Return values are implicitly figerd out by the subroutine, this includes both falling of the end or by expliticly calling return, if two return values of the same sub differ you will get an error message.

Arguments are declared with prototype syntax, they can either be named or just typed, if typed only the calling convertions are checked, if named then that named lexical will get that type without the need for expliticty typing it, thus allowing list assignment from @_

None.

Please report bugs and submit patches using http://rt.cpan.org/

optimize B::Generate optimizer

Arthur Bergman, <ABERGMAN@CPAN.ORG>

Copyright 2002 by Arthur Bergman

This library is free software; you can redistribute it and/or modify it under the same terms as Perl itself.