Another aspect of the untyped lambda calculus is that it does not distinguish between different kinds of data.
無型別lambda演算的另一方面是它並不區分不同種類的資料。