Typechecking

The Community Z Tools (CZT) project is building a set of tools for editing, typechecking and animating formal specifications written in the Z specification language, with some support for Z extensions such as Object-Z, Circus, and TCOZ. These tools are all built using the CZT Java framework for Z...


Platforms: *nix

Getargs::Long is a Perl module with named subroutine arguments, with optional type checking. SYNOPSIS use Getargs::Long; # case sensitive use Getargs::Long qw(ignorecase); # case insensitive # Simple, args mandatory my ($val, $other) = getargs(@_, qw(val other)); # Simple, args optional...


Platforms: *nix

Functional Programming for Python. Provides a small mixin to provide 1) type constraints for named tuples 2) pre/postcondition typechecking for functions 3) syntactical sugar to make your code look pretty (accomplished through a PEP 302 import hook)


Platforms: Windows, Mac, Linux