try core.typed

core.clj

(ns try-typed.core
  (:require [clojure.core.typed :refer :all]))

; String型の引数をとりnilを返す
(ann foo [String -> nil])
(defn foo
  "I don't do a whole lot."
  [x]
  (println x "Hello, World!"))

core2.clj

(ns try-typed.core
  (:require [clojure.core.typed :refer :all]))

(ann foo [String -> nil])
(defn foo
  "I don't do a whole lot."
  [x]
  (println x "Hello, World!"))

(ann call-foo [-> nil])
(defn call-foo []
  ; 型情報[String -> nil]と異なる呼出し                                                                                                                                                     
  (foo 1.5))

core3.clj

(ns try-typed.core
  (:require [clojure.core.typed :refer :all]))

(ann inc-str [String -> AnyInteger])
(defn inc-str
  [s]
  ;incにStringが渡される
  (inc s))

core4.clj

(ns try-typed.core
  (:require [clojure.core.typed :refer :all]))

(ann inc-str [String -> AnyInteger])
(defn inc-str
  [s]
  ;StringをIntegerに変換                                                                                                                                                                    
  (let [i (Integer/parseInt s)]
   (inc i)))