A strong type system for R
Declare symbols
Assign with type checking
A strong type system for R which supports symbol declaration and assignment with type checking and condition checking.
Useful links