... 关系通常写成 f : A - > B。箭头“ > ”是函数类型构造符,它从两个类型 A 和 B 出发,构造出一个函数类型 A- > B 。这一记号来源于数学中函数空间的记号。在集合论中, ...
確定! 回上一頁