我正在为一个用PHP编写的软件编写OS客户端。该软件使用简单的RPC接口来接收和执行命令。RPC客户端必须对他发送的命令进行签名,以确保没有MITM可以修改其中的任何命令。但是,由于服务器不接受我从OS X客户机发送的签名,我开始调查,发现PHP函数为给定的私钥/数据组合生成的签名与Objective-C 框架(它只是openssl库的包装器)不同:
S
我故意将x添加到此函数的末尾 if x > y then x else y我原以为x和y参数仍然是‘a类型的,但我得到了这个签名:为什么这些参数被推断为具有单元类型?编辑:谢谢你@gilles的回答。if x > y then x else y // no warningval foo2 : x:unit -> y