Clojure Data Types : Type A type is property some values share to collect all similar things. Every language has a type system. Some langugages have strict type system, some are relaxed. Clojure is a dynamic and strongly typed language: Dynamic - As the type checking is enforced on the fly/run time. Strong - As operations on improper types are not allowed and errored out. type function in clojure helps knowing what is the type of the expression.