re-find Michiel Borkent
 @borkdude
 Dutch Clojure Days 2019-04-06 discover functions with spec

No content

No content

No content

?

No content

?

No content

rationale for re-find • You are learning Clojure and don't know the names or even the existence of functions • You know a function exists, but forgot the order of arguments it takes

https://re-find.it

How does it work? • re-find searches within spec’ed functions • so it needs a collection of specs (speculative, but could be other specs for core or self-defined functions)

Why not just try everything without using spec?

Why use spec for this? Recommend only idiomatic functions
 


Spec validation (s/fdef clojure.core/inc :args (s/cat :x number?) :ret number?) {:args [1]
 :ret 1}

Spec validation (s/fdef clojure.core/inc :args (s/cat :x number?) :ret number?)

Spec validation (s/fdef clojure.core/inc :args (s/cat :x number?) :ret number?) But (inc 1) is not equal to 1...

Spec validation (s/fdef clojure.core// :args (s/cat :numerator number? :denominators (s/* number?)) :ret number?) (= 1 (/ 1 1)) ;; true

spec + exact match

spec + type match

permutation of args

Finitize

Stack • Self-hosted CLJS • Low operational cost (just static HTML + JS) • No security risks (evaluation on server) • CodeMirror + parinfer layer • automatic paren matching, closing, highlighting • CLJC: re-find lib works in Clojure and (self-hosted) CLJS

web + lib/CLI + JavaFX

Thank you! Questions or suggestions?
 @borkdude