Ввод переменных в функциях - PullRequest
3 голосов
/ 18 марта 2019

В Пакте я пытался заключить базовый привет-умный контракт.В то время как в состоянии завершить контракт, я получил предупреждение.Это не помешало выполнению моего контракта, но коснулось меня.

В будущих более длительных контрактах мне придется помещать тип рядом с параметром в функции?

Мой пример ( Пример изображения ): (defun hello (name)

Вышеприведенное выдает предупреждение, но следующее не дает ( Нет предупреждения ): defun hello (name:string)

Это лучше?практика включать тип?(Название: строка)

1 Ответ

2 голосов
/ 23 марта 2019

Да, Pact рекомендует вам строго вводить входные параметры, которые касаются базы данных. Однако типы входных параметров, которые указаны в схеме, могут быть обнаружены, и их не нужно записывать в определение функции. В онлайн-редакторе Pact контракт проверяется по умолчанию. Если вы пишете Pact в текстовом редакторе (в настоящее время поддерживается в Atom), вы можете добавить (typecheck ’moduleName) в файл repl, чтобы увидеть предупреждения.

...