おいしいLisp

239 Views

August 06, 16

#lisp #clojure #Lisp #Clojure #メタプログラミング #DSL #関数型プログラミング

スライド概要

Lisp/S式とClojureの基本を簡単に紹介。
Clojureおーいしい!

profile-image
スライド一覧

「楽しく楽にcoolにsmartに」を理想とするprogrammer/philosopher/liberalist/realist。 好きな言語はClojure, Haskell, Python, English, français, русский。 読書、プログラミング、語学、法学、数学が大好き! イルカと海も大好き🐬

シェア

またはPlayer版

埋め込む »CMSなどでJSが使えない場合

ダウンロード

ダウンロード(pdf - 7.08MB)

関連スライド

slide-thumbnail

RDBでのツリー表現入門2024
rdb sql モデリング テーブル設計 ツリー mysql
user-img Kent OHASHI 42.1K
slide-thumbnail

JavaからScala、そしてClojureへ: 実務で活きる関数型プログラミング
関数型言語 関数型プログラミング java scala clojure
user-img Kent OHASHI 36.9K
slide-thumbnail

map関数の内部実装から探るJVM言語のコレクション: Scala, Kotlin, Clojureコレクションの基本的な設計を理解しよう
scala kotlin clojure コレクション 関数型プログラミング
user-img Kent OHASHI 31.6K
slide-thumbnail

Clojureコレクションで探るimmutableでpersistentな世界
関数型プログラミング clojure java scala コレクション
user-img Kent OHASHI 9.5K
slide-thumbnail

Kotlin Meets Data-Oriented Programming: Kotlinで実践する「データ指向プログラミング」
kotlin clojure データ指向プログラミング 関数型プログラミング プログラミングスタイル
user-img Kent OHASHI 6.1K
slide-thumbnail

RDBでのツリー表現入門
rdb sql モデリング テーブル設計 ツリー mariadb
user-img Kent OHASHI 5K
各ページのテキスト
1.

おいしいLisp

2.

lagenorhynque

3.

自己紹介 (defprofile lagenorhynque [Kent OHASHI] :github/twitter @lagenorhynque :company :languages [Clojure Haskell Python Scala English français Deutsch русский] :interests [ ]) 株式会社オプト プログラミング 語学 数学

4.

エイリアン Lisp cf. http://www.lisperati.com/logo.html alien language

5.

標準偏差(standard deviation)を計算しよう 標準偏差 - Wikipedia

6.

関数呼び出し: Python >>> standard_deviation([1, 2, 3, 4, 5]) 1.4142135623730951

7.

関数定義: Python from math import sqrt def standard_deviation(xs): n = len(xs) μ = sum(xs) / n return sqrt(sum((x - μ) ** 2 for x in xs) / n)

8.

関数呼び出し: Lisp (Clojure) (standard-deviation [1 2 3 4 5]) user=> 1.4142135623730951

9.

Python 関数名(引数1, 引数2, 引数3, ...) Lisp 関数名 引数1 引数2 引数3 ...) (

10.

関数定義: Lisp (Clojure) (defn standard-deviation [xs] (let [n (count xs) μ (/ (apply + xs) n)] (Math/sqrt (/ (apply + (for [x xs] (Math/pow (- x μ) 2))) n))))

11.

リファクタリング: Lisp (Clojure) なんとかしたい…… apply + ... 関数を定義しよう! (defn sum [ns] (apply + ns))

12.

関数の利用: Lisp (Clojure) apply + ⇒ sum (defn standard-deviation [xs] (let [n (count xs) μ (/ (sum xs) n)] (Math/sqrt (/ (sum (for [x xs] (Math/pow (- x μ) 2))) n))))

13.

リファクタリング: Lisp (Clojure) なんとかしたい…… (Math/sqrt (/ (sum (for [x xs] (Math/pow (- x μ) 2))) n)) マクロを定義しよう! (defmacro -> [x & forms] (loop [x x, forms forms] (if forms (let [form (first forms) threaded (if (seq? form) (with-meta `(~(first form) ~x ~@(next form)) (meta form)) (list form x))] (recur threaded (next forms))) x)))

14.

マクロの利用: Lisp (Clojure) (h (g (f x))) (defn standard-deviation [xs] (let [n (count xs) μ (/ (sum xs) n)] (-> (for [x xs] (Math/pow (- x μ) 2)) sum (/ n) Math/sqrt))) ⇒ (-> x f g h)

15.

式 Lisp/S 同図像性): code as data マクロ 自由自在なメタプログラミング ドメイン特化言語): 対象領域に合わせたミニ言語の構築 Lispにとってメタプログラミングは黒魔術ではなく言語の基本機能 homoiconicity ( : DSL (

16.

の例: SQL DSL SELECT u.id, u.name FROM user u WHERE u.age >= 20; Korma: Tasty SQL for Clojure (select user (fields :id :name) (where (>= :age 20)))

17.

の例: HTML DSL <head> <title> Lisp</title> </head> <body> <ul> <li>Scheme</li> <li>Common Lisp</li> <li>Clojure</li> </ul> </body> たのしい Hiccup: Fast library for rendering HTML in Clojure (html [:head [:title " Lisp"]] [:body [:ul (for [x ["Scheme" "Common Lisp" "Clojure"]] [:li x])]]) たのしい

18.

の例: JavaScript DSL let colors = ["red", "yellow", "green"]; colors.forEach(color => console.log(color)); ClojureScript: Clojure to JS compiler (def colors ["red" "yellow" "green"]) (doseq [color colors] (println color))

19.

のおいしさ Lisp コードをデータとして、データをコードとしてシームレスに扱える そのおかげで言語自体を目的に合わせて最適化できる

20.

Further Reading 公式 公式 ブラウザで試せる のひとつ ブラウザで試せる のひとつ プログラミング の入門書 日本語では現在唯一) おいしい 入門 のレシピ本 主に でのマクロの活用について 実践プログラミング 設計 実装のノウハウとRuby, Scala, のメタプログラミングについて Clojure: Clojure ClojureScript: ClojureScript Clojure instaREPL: Clojure REPL Replumb REPL: ClojureScript REPL 『 Clojure』: Clojure ( 『 Clojure 』: Clojure 『On Lisp』: Lisp( Common Lisp) 『 DSL』: DSL / Groovy, Clojure