A typeless language is also called a dynamically typed languages. All type checks are done while the program is running. For example, evaluating Scheme expression (+ #t 'abc) causes a run-time error, indicating that the arguments of + must be numbers.