clojure - 如何使用 core.typed 在 Clojure 中注释函数？

Question

我有以下简单代码:

; No, test.core isn't the real namespace
(ns test.core
    (:gen-class)
    (:require [clojure.core.typed :refer [ann]]))

(defn -main
  ([]
    (println "Hello, World!"))
  ([x]
    (println "You gave me " x)))

如何使用 core.typed 注释 -main 函数？

Answer 1

因为-main函数有不止一种实现，所以需要显式使用函数类型Fn，而不是短语法。它看起来像这样:

(ann -main
     (Fn [-> nil]
         [Any -> nil]))

看看 Functions core.typed wiki 中的条目，以获取有关函数类型语法的更多详细信息。另外，看看 cf ，因为它可以向您展示如何键入表单。

(clojure.core.typed/cf
  (fn ([] (println "Hello, World!"))
      ([x] (println "You gave me " x))))

;; => [(Fn [Any -> nil] [-> nil]) {:then tt, :else ff}]