Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Lispの紹介 〜 令和最新版
Search
t-sin
January 25, 2024
Programming
0
620
Lispの紹介 〜 令和最新版
Shibuya.lisp lispmeetup #113
で発表したときのスライドです。
t-sin
January 25, 2024
Tweet
Share
More Decks by t-sin
See All by t-sin
Carp言語さわってみた 〜鯉を取り戻せ編〜
tsin45
0
1.1k
Common Lisp製のゲームエンジンTrialについてすこし
tsin45
0
1.1k
Common Lispでのゲームボーイエミュレータ実装進捗報告 vol.1
tsin45
0
810
Other Decks in Programming
See All in Programming
AWS Summit Japan 2024と2025の比較/はじめてのKiro、今あなたは岐路に立つ
satoshi256kbyte
1
210
テスターからテストエンジニアへ ~新米テストエンジニアが歩んだ9ヶ月振り返り~
non0113
2
230
チームのテスト力を総合的に鍛えて品質、スピード、レジリエンスを共立させる/Testing approach that improves quality, speed, and resilience
goyoki
5
1.2k
テスト駆動Kaggle
isax1015
1
850
AIともっと楽するE2Eテスト
myohei
9
3.1k
リバースエンジニアリング新時代へ! GhidraとClaude DesktopをMCPで繋ぐ/findy202507
tkmru
4
1.2k
The Modern View Layer Rails Deserves: A Vision For 2025 And Beyond @ RailsConf 2025, Philadelphia, PA
marcoroth
2
760
dbt民主化とLLMによる開発ブースト ~ AI Readyな分析サイクルを目指して ~
yoshyum
3
1.2k
階層化自動テストで開発に機動力を
ickx
1
380
Claude Code派?Gemini CLI派? みんなで比較LT会!_20250716
junholee
1
670
可変変数との向き合い方 $$変数名が踊り出す$$ / php conference Variable variables
gunji
0
210
GPUを計算資源として使おう!
primenumber
1
280
Featured
See All Featured
Optimising Largest Contentful Paint
csswizardry
37
3.3k
Building a Scalable Design System with Sketch
lauravandoore
462
33k
The Success of Rails: Ensuring Growth for the Next 100 Years
eileencodes
45
7.5k
RailsConf & Balkan Ruby 2019: The Past, Present, and Future of Rails at GitHub
eileencodes
138
34k
Building an army of robots
kneath
306
45k
Dealing with People You Can't Stand - Big Design 2015
cassininazir
367
26k
Distributed Sagas: A Protocol for Coordinating Microservices
caitiem20
331
22k
Building a Modern Day E-commerce SEO Strategy
aleyda
42
7.4k
How to Create Impact in a Changing Tech Landscape [PerfNow 2023]
tammyeverts
53
2.9k
Design and Strategy: How to Deal with People Who Don’t "Get" Design
morganepeng
130
19k
Side Projects
sachag
455
43k
For a Future-Friendly Web
brad_frost
179
9.8k
Transcript
Lispの紹介 〜 令和最新版 @t-sin 2024-01-25 Shibuya.lisp lispmeetup #113
背景 • lispmeetupのオフライン開催が4年ぶり • Lispあまりよく知らない方もいそう • なのでLispを紹介します
Lispってどんな言語? • JSやPythonやRubyに近い手ざわり • Lispっていっぱいある – Lispは言語族の名前 • 自己拡張性が高い –
とても動的な処理系であることがおおい
LispとJSやRubyの似てる点 • 高階関数やラムダ式 • 静的型システムはない (たいていは) • RPELがある
Lispと似てる点: 高階関数 • JavaScriptによる例 (RosettaCodeより) • https://rosettacode.org/wiki/Function_composition#ES6 var compose =
(f, g) => x => f(g(x)); var id = compose(Math.sin, Math.asin); console.log(id(0.5)); // 0.5
Lispと似てる点: 高階関数 • Common Lispによる例 (RosettaCodeより) https://rosettacode.org/wiki/Function_composition#Com mon_Lisp > (defun
compose (f g) (lambda (x) (funcall f (funcall g x)))) COMPOSE > (let ((sin-asin (compose #'sin #'asin))) (funcall sin-asin 0.5)) 0.5
LispとJSやRubyの似てない点 • S式と呼ばれる構文 • Lispのマクロ – 構文木を構文木へ変換する – テキスト置換ではない –
でも静的型はない • (一部のLispは) REPLの機能がつよい
Lispはいっぱいある • たくさんの処理系がある – Scheme, Common Lisp, Emacs Lisp, Arc,
Clojure, Carp, … • その理由はおそらく… – Schemeが言語機能の実験場だった時期がある – 比較的単純なのでアイデアをすぐに実現できる – LisperがLisp大好きすぎる (?)
Lispの自己拡張性 • 関数を定義すると語彙が増える – 関数呼び出し構文はビルトインでもユーザ定義でも同じ – →言語を拡張している • ほかにも –
Lispのマクロ – 拡張可能なパーサ (Common Lisp) – 実行時情報をREPLで変更 (Common Lisp, Clojure) – 実行時にクラス定義の変更 (Common Lisp)
Lispの自己拡張性 • LISP 1.5のころから自己拡張性高かった – 基本的な要素がら複雑な機能を立ち上げていく • 川合史朗さんの『LISP 1.5の風景』に記載あり –
ラムダノート社『n月刊ラムダノート Vol.1, No.2 (2019)』所収
Lispのよくある誤解集 • 関数型言語である • マクロを書きまくる • インタプリタだから遅い
Lispの誤解集: 関数型言語である • 手続き型言語です • 高階関数とかあるけど再代入とか破壊的変更よくや る – オブジェクト指向だとなおさらやる •
Clojureは関数型言語っぽさを推しているけど、一 部破壊的変更ができるので全体としては関数型では ない
Lispの誤解集: マクロを書きまくる • そんなに書かないです • 複雑なバグを生みうるやつ – マクロのマクロのマクロの... – メタプログラミングあるある
• 関数ですむなら関数を書く • DSLを作るときには大活躍
Lispの誤解集: インタプリタで遅い • コンパイラを持ってること多し – 最近はコンパイラとインタプリタの境は曖昧 • インタプリタだけどVM方式だったりJITもってたり • Rubyに最近JITが入りましたよね?
• ネイティブコードコンパイラのある処理系は速い – SBCL (Common Lisp)、Chez Scheme (Scheme, R5RS) – ClojureはJVM言語なのでJVMに律速される
で、Lispって何ができるの? • わりと何でもできる – Webサービス、ゲーム、OS、ツール、... • 古い言語なのでいろんなソフトウェアがある • もしかしたら身近なところに潜んでいるかも …?
Lispの事例集: スクリプト言語 1 • GNU Emacs (Emacs Lisp) – エディタの設定とスクリプティング
• AutoCAD (AutoLisp) – CADのスクリプティング – CADってコマンド操作が基本っぽい
Lispの事例集: スクリプト言語 2 • Audacity (Nyquist) – Audacityは音声波形編集ソフト – Nyquistは音声信号生成もできる
• ALSA (alisp) – ALSAはLinuxのオーディオ抽象化レイヤー – 設定言語が実はLisp • `find / | grep alisp`してみると…?
Lispの事例集: Webサービス • ハチペイのバックエンド (Common Lisp) – 渋谷区の決済アプリ – https://www.hachi-pay.tokyo/
– 株式会社ポケットチェンジ • 広告媒体アカウント管理システム (Clojure) – https://tech-magazine.opt.ne.jp/entry/2021/01/13/124551 – 株式会社オプト • Practical Scheme (Gauche Scheme) – https://practical-scheme.net/ – 川合史朗さん
Lispの事例集: ゲーム • クラッシュ・バンディクー (1と2) – GOAL (Game Oriented Assembly
Lisp) というLisp • Kandria (Common Lisp) – メトロイドヴァニア系アクション – https://store.steampowered.com/app/1261430/Kandria/ • Steamで買って遊べます!!!
Lispの事例集: ツール (1) • pgloader (Common Lisp) – PostgreSQLのdump/loadツール –
https://pgloader.io • Maxima (Common Lisp) – 数式処理システム (Mathematicaみたいなやつ) – https://maxima.sourceforge.io/
Lispの事例集: ツール (2) • Lem (Common Lisp) – テキストエディタ •
Roswell (Common Lisp + C) – Common Lispの処理系マネージャ • Senn (Common Lisp) – 日本語入力メソッド (IME) – https://github.com/mhkoji/Senn
Lispの事例集: 作曲環境 • Opusmodus (Common Lisp) – https://www.opusmodus.com/ • Overtone
(Clojure) – https://overtone.github.io • Extempore (Scheme) – https://github.com/digego/extempore
Lispの事例集: そのほか 1 • Nyxt (Common Lisp) – キーボード指向のウェブブラウザ –
https://nyxt.atlas.engineer/ • Mezzano (Common Lisp) – オペレーティングシステム – https://github.com/froggey/Mezzano
まとめ • Lispはけっこういろいろできる • Lispはカッコいい • みんなもLispやろうぜ!!!