vl_5_2_2015 Teil2: Type Checking

gistfile1.txt

(ns type.core
  (:require [clojure.core.typed :as t]))

(defn anzahl [c]
  (if-not (seq c)
    0
    (inc (anzahl (rest c)))))

(t/ann anzahl [(t/Seqable t/Any) -> t/Int])

(defn x [] (anzahl [0 0 0]))
(defn y [] (anzahl 3))

(defn seq' [c]
  (if (or (nil? c) (= c []))
    false
    c))

(t/ann seq' [(t/Seqable t/Any) -> t/Bool])

(t/ann seq' [(t/Seqable t/Any) -> (t/U t/Bool (t/Seqable t/Any))])


(comment
  (t/check-ns 'type.core)


  ;; Warum verwende ich (noch) kein typed clojure?

  (t/cf (partial + 5))

  (t/cf map)

  (t/cf first)

  (t/cf cons)

  (instance? (type  t/NonEmptySeq) t/ASeq)

  (t/cf conj)


  )

gistfile2.txt

(defproject type "0.1.0-SNAPSHOT"
  :description "FIXME: write description"
  :url "http://example.com/FIXME"
  :license {:name "Eclipse Public License"
            :url "http://www.eclipse.org/legal/epl-v10.html"}
  :dependencies [[org.clojure/clojure "1.6.0"]
                 [org.clojure/core.typed "0.2.77"]])