New posts in Typechecking

Type annotations for *args and **kwargs

How do you find out the type of an object (in Swift)?

Checking if an object is a given type in Swift

isinstance(foo,bar) vs type(foo) is bar

Is it Possible to Enforce Data Checking in MySQL using Regular expression

Class type check in TypeScript

What cases do the GHC occurs check identify?

Check whether a variable is a string in Ruby

Checking for a particular data constructor

Type checker for JavaScript?