A type is an expression that represents the set of all possible values.. If you don't like making types explicit, you could use implicit typing like in Haskell

A type is an expression that represents the set of all possible values.. If you don't like making types explicit, you could use implicit typing like in Haskell, or having values carry their types like in Ruby.