在函数中键入变量

Typing Variables in Functions

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

在未来更长的合同中,我是否必须将类型放在函数中的参数旁边?

我的例子(Sample Picture):(defun hello (name)

以上会引发警告但以下不会 (No Warning):defun hello (name:string)

包含类型是最佳做法吗? (名称:字符串)

是的,Pact 鼓励您对接触数据库的输入参数进行强类型化。但是,可以检测模式中指定的输入参数的类型,不需要在函数定义中写出。在 Pact 在线编辑器上,默认情况下对合同进行类型检查。如果您在文本编辑器中编写 Pact(目前在 Atom 中支持),您可以在 repl 文件中添加 (typecheck 'moduleName) 以查看警告。