在函数中键入变量

Question

我正在Pact中尝试基本的hello world智能合约。 在能够完成合同的同时，我收到了警告。它并没有阻止我的合同运行，但确实使我担心。

在将来需要更长的合同时，我是否必须将类型放在函数中参数旁边？

我的示例（Sample Picture）：(defun hello (name)

以上内容会发出警告，但以下内容不会（No Warning）：defun hello (name:string)

包括类型是最佳做法吗？ （名称：字符串）

Answer 1

是的，Pact鼓励您强烈键入与数据库有关的输入参数。但是，可以检测在模式中指定的输入参数的类型，而无需在函数定义中写出。在Pact在线编辑器上，默认情况下对合同进行类型检查。如果您是在文本编辑器中编写Pact（Atom当前支持该协议），则可以在repl文件中添加（typecheck‘moduleName）以查看警告。