'p' 在函数类型中代表什么？
What does 'p' represent in a function's type?
给定以下函数定义：
f xs = []
它的类型是
f :: p -> [a]
由此，您应该如何理解p的意思？
它只是意味着任何东西吗？例如，f 接收 字面上的任意值 和 returns 列表?
是的，p可以是任何类型。重要的是要注意 a 可能是 p 以外的任何类型，正如@bereal 在评论中提到的
给定以下函数定义：
f xs = []
它的类型是
f :: p -> [a]
由此，您应该如何理解p的意思？
它只是意味着任何东西吗？例如，f 接收 字面上的任意值 和 returns 列表?
是的，p可以是任何类型。重要的是要注意 a 可能是 p 以外的任何类型，正如@bereal 在评论中提到的