Bynd 0.5

Bynd is a simple way of achieving static typing in Python.

A module which allows binding values to one or more types. The most common use case would be to use bynd as if it were an alias. When assigning a bynd object to a variable, the user will get runtime type checking, a bynd object in return, and access to the supplied value as well as the supplied types, where the value can be used the same way a variable would be used. The only inconvienence, would be having to use the dot operator when accessing the value from the bynd object and maybe having to instantiate a bynd object each time.

Examples:

Importing The 'bynd' Class

# filename: bind_test.py
from Bynd.bynd import bynd

Basic 'bynd' Usage

# Instantiate a bynd object
my_variable = bynd("some string")[str] # raises a 'byndError' if the value type is not str

# In the above example, we create a variable named 'my_variable'.
# Then, we instantiated a 'bynd' object and passed it a string value.
# Finally, we've bound the string value; "some string" to the type 'str'.

# To access the value, we can use the dot '.' operator.
print(my_variable.value)

# The type(s) can also be accessed the same way.
print(my_variable.types)

# bynd_test.py output
$ python3 bynd_test.py
'my_variable.value': "some string"
'my_varaible.types': ['str']

Recursive Type Checking

# bynd can perform recursive type checking for collection types only.
# First, we instantiate another bynd object.
my_list = bynd([1,2,3,[4,5,6]])[list]

# Second, for bynd to perform recursive type checking we have to
# use a bynd method named 'inner_types' which allows us to specify
# the inner types of the collections. To specify such types, we need
# to use the 'others' keyword argument and pass it a list of expected
# types.
my_list.inner_types(others=[int]) # raises a 'byndError' if the item types are not type 'int'

# Finally, if there aren't any errors, we can access and print the lists.
print(my_list.value)

# NOTE: recursive type checking only occurs when the 'inner_types' method is used and if
#   it encounters a collection type. Recursive type checking happens automatically within
#   the 'inner_types' method itself.

# bynd_test.py output
$ python3 bynd_test.py
'my_list': [1,2,3,[4,5,6]]