我为两个Int的元组声明了一个类型同义词:
type Coordinate = (Int, Int)
我想在坐标系中读取IO动作的一部分,归结为使用读取功能.有没有办法利用现有的元组读取实例来实现这一目标？
你刚试过吗？
答案是:是的,使用了元组实例,没有必要自己做任何事情,因为Coordinate它甚至不是一个不同的类型 - 它只是一个相同类型的"硬链接" (Int,Int),具有所有相同的函数和类实例.