Skip to next slide
You can skip to the next slide in
3
Ad
Skip to next slide
You can skip to the next slide in
3
Ad
Skip to next slide
You can skip to the next slide in
3
Ad
Skip to next slide
You can skip to the next slide in
3
Ad
Skip to next slide
You can skip to the next slide in
3
Ad
Skip to next slide
You can skip to the next slide in
3
Ad
Skip to next slide
You can skip to the next slide in
3
Ad
Skip to next slide
You can skip to the next slide in
3
Ad
Skip to next slide
You can skip to the next slide in
3
Ad
Skip to next slide
You can skip to the next slide in
3
Ad
Skip to next slide
You can skip to the next slide in
3
Ad
×
Your browser does not support the video tag.
Skip to next slide
Ad
×
Share Slideshare
LinkedIn
Facebook
Twitter
Embed
Size (px)
Show related Slideshows at end
WordPress Shortcode
Link
Share
Email
2024 Trend Updates: What Really Wor...
by Search Engine Jou...
1038569 views
Storytelling For The Web: Integrate...
by Chiara Aliotta
950715 views
Artificial Intelligence, Data and C...
by OECD Directorate ...
873965 views
How to Leverage AI to Boost Employe...
by SocialHRCamp
367437 views
2024 State of Marketing Report – by...
by Marius Sescu
208765 views
Everything You Need To Know About C...
by Expeed Software
228715 views
View on Slideshare
1
of
47
Ad
View on Slideshare
1
of
47
Ad
![lagénorhynquelagénorhynque
(defprofile lagénorhynque
:id @lagenorhynque
:reading "/laʒenɔʁɛ̃k/"
:aliases ["カマイルカ🐬 "]
:lang...](https://image.slidesharecdn.com/everyday-life-with-clojure-spec-200417101759/75/Everyday-Life-with-clojure-spec-2-2048.jpg?cb=1666693211)
![簡単なプログラムの例簡単なプログラムの例dev> (defn hello [name]
(println (str "Hello, " name "!")))
#'dev/hello
dev> (hello "World")
Hello, Wo...](https://image.slidesharecdn.com/everyday-life-with-clojure-spec-200417101759/75/Everyday-Life-with-clojure-spec-6-2048.jpg?cb=1666693211)
![例えば、こんな関数を定義する例えば、こんな関数を定義する
様々な暗黙の前提がある(使う側は知る由もない)
(defn find-artists [ds {:keys [name ids sort-order]}]
(jdbc/execute!
...](https://image.slidesharecdn.com/everyday-life-with-clojure-spec-200417101759/75/Everyday-Life-with-clojure-spec-10-2048.jpg?cb=1666693211)
![PostgreSQLにアクセスするので⼊⼒の型が想定
と違うとPSQLExceptionが発⽣したり
example> (find-artists (ds) {:ids ["2"]})
Execution error (PSQLExceptio...](https://image.slidesharecdn.com/everyday-life-with-clojure-spec-200417101759/75/Everyday-Life-with-clojure-spec-14-2048.jpg?cb=1666693211)
![clojure.specを導⼊するclojure.specを導⼊するexample> (require '[clojure.spec.alpha :as s])
nil](https://image.slidesharecdn.com/everyday-life-with-clojure-spec-200417101759/75/Everyday-Life-with-clojure-spec-22-2048.jpg?cb=1666693211)
![この関数に"spec"を付けたいこの関数に"spec"を付けたい(defn find-artists [ds {:keys [name ids sort-order]}]
(jdbc/execute!
ds
(cond-> (sql/build...](https://image.slidesharecdn.com/everyday-life-with-clojure-spec-200417101759/75/Everyday-Life-with-clojure-spec-23-2048.jpg?cb=1666693211)
![仕様を⾃然⾔語で表現してみると仕様を⾃然⾔語で表現してみると
引数
ds: javax.sql.DataSource オブジェクト
{:keys [name ids sort-order]}: 以下
のキーを含むかもしれない検索条件マップ
:n...](https://image.slidesharecdn.com/everyday-life-with-clojure-spec-200417101759/75/Everyday-Life-with-clojure-spec-24-2048.jpg?cb=1666693211)
![example> (find-artists (ds) {:ids ["2"]})
Execution error - invalid arguments to everyday-life-with-clojur
e-spec.example/...](https://image.slidesharecdn.com/everyday-life-with-clojure-spec-200417101759/75/Everyday-Life-with-clojure-spec-38-2048.jpg?cb=1666693211)
