frenchy64

  (cf (fn [arg] (if (true? arg) 1 "foo"))
      [Boolean -> (U Number String)
       :filters {:then (| (& (is true 0)
                             (is Number RET))
                          (& (is false 0)
                             (is String RET)))}]))

frenchy64

user=> (require 'cemerick.austin.repls)
nil
user=> (cemerick.austin.repls/exec)

NullPointerException   clojure.core/complement/fn--4048 (core.clj:1357)

frenchy64

(defn disj
  ([set] set)
  ([set key]
   (when set
     (. set (disj key))))
  ([set key & ks]
   (when set
     (let [ret (disj set key)]
       (if ks
         (recur ret (first ks) (next ks))

frenchy64

(ns timl.set)

;start clojure.core
(defn max-key
  ([k x] x)
  ([k x y] (if (> (k x) (k y)) x y))
  ([k x y & more]
   (reduce #(max-key k %1 %2) (max-key k x y) more)))

(defn remove

frenchy64

(All [b1 ...]
(All [x r b2 ...]
     (Fn [[b1 ... b1 -> b2] ... b2 -> [b1 ... b1 -> '[b2 ... b2]]]
         [[b1 ... b1 -> r] * -> [b1 ... b1 -> (Vec r)]]
         [[x * -> b2] ... b2 -> [x * -> '[b2 ... b2]]]
         [[x * -> r] * -> [x * -> (Vec r)]])))

frenchy64

     (All [b1 ...]
     (All [r b2 ...]
       [[b1 ... b1 b2 ... b2 -> r] b1 ... b1 -> [b2 ... b2 -> r]]))

frenchy64

     (All [b1 ...]
     (All [y b2 ...]
          (Fn [[b1 ... b1 b2 ... b2 -> y] b1 ... b1 (HSequential [b2 ... b2]) -> y]
              [[b1 ... b1 r * -> y] b1 ... b1 (U nil (Seqable r)) -> y])))

frenchy64

(defprotocol Foo
  (is-foo [this, a :- Number] :- Number)
  (is-bar [this, a :- Int] :- Int
          [this, b :- Number] :- Number)
  (is-baz [this, a :- Int] :- Int
          [this, a :- Int, b :- Int] :- Int
          [this, a :- Int, b :- Int, c :- Int] :- Int))

frenchy64

(def init-aliases
  '[
  ^{:doc "A type that returns true for clojure.core/integer?"
    :forms [AnyInteger]}
clojure.core.typed/AnyInteger (U Integer Long clojure.lang.BigInt BigInteger Short Byte)

    ^{:doc "A type that returns true for clojure.core/integer?"
      :forms [Int]}
clojure.core.typed/Int (U Integer Long clojure.lang.BigInt BigInteger Short Byte)
      ^{:doc "A type that returns true for clojure.core/number?"

frenchy64

(ns clojure.core.typed.test.interop
  (:import (java.io File))
  (:require [clojure.core.typed :as t :refer [ann non-nil-return check-ns cf]]))

(ann f File)
(def f (File. "a"))

(ann prt (U nil String))
(def prt (.getParent ^File f))