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
Purely Functional Smalltalk-72
Search
Minori Yamashita
December 27, 2012
Programming
1
10k
Purely Functional Smalltalk-72
SchemeのマクロでSmalltalk-72をシミュレートします。それを踏まえて言語デザインについて考えます。
Minori Yamashita
December 27, 2012
Tweet
Share
More Decks by Minori Yamashita
See All by Minori Yamashita
Cloxp @ Smalltalk Meetup
ympbyc
0
280
Real World Objects
ympbyc
2
3.2k
ClojureScriptで変わるクライアントサイドWeb
ympbyc
0
930
LittleSmallscript
ympbyc
2
1.4k
Other Decks in Programming
See All in Programming
GPUを計算資源として使おう!
primenumber
1
260
Claude Code派?Gemini CLI派? みんなで比較LT会!_20250716
junholee
1
600
AI時代のソフトウェア開発を考える(2025/07版) / Agentic Software Engineering Findy 2025-07 Edition
twada
PRO
99
37k
DMMを支える決済基盤の技術的負債にどう立ち向かうか / Addressing Technical Debt in Payment Infrastructure
yoshiyoshifujii
4
430
マッチングアプリにおけるフリックUIで苦労したこと
yuheiito
0
210
はじめてのWeb API体験 ー 飲食店検索アプリを作ろうー
akinko_0915
0
140
#QiitaBash MCPのセキュリティ
ryosukedtomita
1
1.5k
ソフトウェア品質を数字で捉える技術。事業成長を支えるシステム品質の マネジメント
takuya542
2
15k
AI駆動のマルチエージェントによる業務フロー自動化の設計と実践
h_okkah
0
240
PipeCDのプラグイン化で目指すところ
warashi
1
310
テストから始めるAgentic Coding 〜Claude Codeと共に行うTDD〜 / Agentic Coding starts with testing
rkaga
16
5.6k
AI時代の『改訂新版 良いコード/悪いコードで学ぶ設計入門』 / ai-good-code-bad-code
minodriven
24
9.7k
Featured
See All Featured
What’s in a name? Adding method to the madness
productmarketing
PRO
23
3.5k
jQuery: Nuts, Bolts and Bling
dougneiner
63
7.8k
BBQ
matthewcrist
89
9.7k
4 Signs Your Business is Dying
shpigford
184
22k
Keith and Marios Guide to Fast Websites
keithpitt
411
22k
Producing Creativity
orderedlist
PRO
346
40k
ReactJS: Keep Simple. Everything can be a component!
pedronauck
667
120k
Git: the NoSQL Database
bkeepers
PRO
430
65k
How GitHub (no longer) Works
holman
314
140k
The Pragmatic Product Professional
lauravandoore
35
6.7k
Understanding Cognitive Biases in Performance Measurement
bluesmoon
29
1.8k
Mobile First: as difficult as doing things right
swwweet
223
9.7k
Transcript
Purely Functional Smalltalk-72 Dec 2012 Minori Yamashita
自己紹介 山下実則(19) • ハンドル: ympbyc ◦ twitter, github …etc •
代々木の12階でWebとスマホやってます。 • Available for hire 9月の合同勉強会でLittleSmallscriptの発表をさせ て頂きました。今回もよろしくです。
Smalltalk-72
コード例 Smalltalk-72 Manualより
コード例 Smalltalk-72 Manualより
goto ☞ox←mx ☞oy←my
• The first real Smalltalk ◦ -71は仲間内だけ? • 記号がいっぱい •
名前呼び出し。レシーバがトークンを食いながら 実行されて行く • クラスベースオブジェクト指向 ◦ クラスを関数としても呼び出せる ◦ 継承はない (-76から) • 本来は関数型的な思想 ◦ 代入dis • Lispの特殊形式をdisりながら作られた ◦ 全てメッセージングなのが理想 概要だけ…
LispのマクロでSmalltalk-72
コード例
コード例 Smalltalk-72 Manualより
(☝ _ )☝ SO
(☞ _ )☞ COOL (☝ _ )☝ SO
⇑
☞x←y ☞x←:.
(☞ x ← : . (+ x 2)) ☟ (lambda
(x) (+ x 2)) 定義側 ((foo 'bar) 5) ;=> 7 呼び出し側 これは、 (foo 'bar 5) と書きたい。後で出てきます。
None
to
to WAT DA FSCK IS Z
Z Combinator
None
to ⇒!?!?←#☞⇑!???!
(to animal (name) ( 'name ⇒ name '())) (define (animal
name) (Z (lambda (SELF) (lambda (⇒) (if (equal? 'name ⇒) name '()))))) ☟ メソッド名が束 縛される
コード例2
デモ
ここからが本題
アラン ケイは言いました
"take the hardest and most profound thing you need to
do, make it great, and then build every easier thing out of it" Alan Kay 1993
1970年、関数は弱かった。 • LISPしかない • ダイナミックスコープ • 先行評価 • 特殊形式に依存していた
そこでケイは 関数を"Make it great"するのではなく、 "The hardest and most profound thing"
として、オブジェクトとメッセージングを選ん だ。 Smalltalkでこれは成功した。
時は流れ
オブジェクト指向言語は肥大化した。 • C++, Java, Ruby ... • 無節操なAlgol風構文追加 • 副作用ベース
• オブジェクト指向誕生の動機が全く尊 重されていない
It is unfortunate that much of what is called "object-oriented
programming" today is simply old style programming with fancier constructs. Many programs are loaded with "assignment-style" operations now done by more expensive attached procedures. Alan Kay 1993
いっぽうそのころ
関数が強くなっていった! • クロージャ(レキシカルスコープ) • メッセージパッシング(Scheme) • 遅延評価 • カリー化 •
参照透明(副作用は最小) • The most profound thingとして十分 な機能を獲得した
今、Take the most profound thing and make it greatしたらどうなるの か。
一例
Nadeko
遅延評価とカリー化とシンプルなオブジェクトシス テムを積んだ純粋関数型言語. S式を使うけどマク ロはなし。 構文はラムダ抽象と関数定義と関数呼び出しの3 つだけ!
遅延評価とカリー化とオブジェクト指向風メッセー ジングを積んだ純粋関数型言語. S式を使うけどマ クロはなし。 構文はラムダ抽象と関数定義と関数呼び出しの2 つだけ! Haskell, Io Smalltalk Lisp
Smalltalk-72風 使っているのは関 数だけ!
Actor
後置風関数 - リストが高階関数 語順がSmalltalkと同じになる 無限リスト 部分適用
コミット歓迎
おしまい!
The Early History of Smalltalk http://www.esug. org/data/HistoricalDocuments/Smalltalk80/Smalltalk History.pdf Smalltalk-72 Instruction
Manual http://www.textfiles. com/bitsavers/pdf/xerox/alto/Smalltalk72_Manual. pdf Nadeko https://github.com/ympbyc/Nadeko 参考