以编程方式访问合同

Question

有没有办法以编程方式签订合同？我经历了this page，似乎唯一的方法是使用contract-name作为基准列表转储内容？

示例：给定(-> number? string? number?)，如何获取参数类型？希望有类似arg-types的东西返回'(number? string?)。返回类型也是如此。谢谢！