Smalltalk uses message passing, not

Smalltalk uses message passing, not method invocation. The distinction is subtle, but enormously powerful.

Some terminology: Given foo bar: baz, #bar: is a selector, foo is the receiver of a message called #bar: (the # indicates a symbol, much like Common Lisp would say 'bar (or even more appropriately, :bar)), and baz is an argument or parameter. When the line's executed, foo is sent the message #:bar: with argument baz. So far, it's pretty normal. In Java it would look like foo.bar(baz);.

In Java, the runtime system would figure out foo's actual type, find the most appropriate method, and run it.

Things look almost the same in Smalltalk. When you send an object a message, it searches in its method dictionary for a method whose name matches that of the selector of the message. If it can't find one, it searches in its superclass' method dictionary, and so on. Pretty normal stuff.

If it can't find any matching method, it sends itself the #doesNotUnderstand: message, with the original message as a parameter. (Yes, a message send is an object.) But #doesNotUnderstand: is also just a method. You can override it.

For instance, you can have an object that responds to some set of messages while forwarding any other messages it receives to some delegate object. Override #doesNotUnderstand: and hey presto, you have a proxy that will need no maintenance to keep its protocol in sync with the delegate.

Trivial syntax

No, I'm not joking. Smalltalk's entire grammar's maybe 15 lines long. The JLS is... not. Why care? A simple syntax makes it simple to tear a chunk of code apart. Metaprogramming! Refactoring!

No syntax for:

conditional statements: (n < 3) ifTrue: ['yes'] ifFalse: ['no']
for loops: 1 to: 10 do: [:i | Transcript show: i asString]
try-catch: [i := i / 0] ifError: ['oops!']
try-finally: [i := i / 0] ensure: [stream close]

And notice all those []s - first-class closures with a clean syntax.

ผลลัพธ์ (ไทย) 1:

ภาษาสมอลล์ทอล์กใช้ข้อความช่วย เมธไม่ แตกเป็นรายละเอียด แต่มีประสิทธิภาพมหาศาลบางคำศัพท์: ให้ฟูบาร์: บินบาซ #bar: เป็นตัวเลือก ฟูเป็นผู้รับข้อความที่เรียกว่า #bar: (#บ่งชี้สัญลักษณ์ ภาษาลิสป์ทั่วไปเหมือนจะบอกว่า ' บาร์ (หรือยิ่งเหมาะ สม,: บาร์)), และบินบาซเป็นอาร์กิวเมนต์หรือพารามิเตอร์ รายการของใช้ ฟูส่งข้อความ #: บาร์: ด้วยอาร์กิวเมนต์บินบาซ เพื่อห่างไกล ไม่สวยปกติ ใน Java นั้นจะดูเหมือน foo.bar(baz)ในจาวา ระบบรันไทม์จะทราบชนิดของฟูจริง ค้นหาวิธีการที่เหมาะสม และเรียกใช้สิ่งที่ดูเกือบเหมือนกันในภาษาสมอลล์ทอล์ก เมื่อคุณส่งข้อความ จะค้นหาในพจนานุกรมของวิธีการสำหรับวิธีการที่มีชื่อตรงกับตัวเลือกของข้อความ ถ้ามันไม่หา จะค้นหาในซุปเปอร์คลาสของพจนานุกรมวิธี และอื่น ๆ สิ่งปกติสวยถ้ามันไม่สามารถหาวิธีการจับคู่ใด ๆ มันส่งตัวเอง #doesNotUnderstand: ข้อความ ข้อความต้นฉบับเป็นพารามิเตอร์ (ใช่ ส่งข้อความเป็นวัตถุ) แต่ #doesNotUnderstand: เป็นเพียงวิธีการ คุณสามารถแทนได้ตัวอย่าง คุณสามารถมีวัตถุที่ตอบสนองบางชุดของข้อความขณะที่ส่งข้อความอื่น ๆ ที่ได้รับมอบหมายวัตถุบางอย่าง แทน #doesNotUnderstand: และเฮ presto คุณมีพร็อกซีที่จะต้องบำรุงรักษาไม่ให้ของโพรโทคอลให้ตรงกันกับผู้รับมอบสิทธิ์ไวยากรณ์เล็กน้อยไม่ ฉันไม่ล้อเล่น ภาษาสมอลล์ทอล์กเป็นทั้งไวยากรณ์ของที 15 บรรทัดยาว หมู่เกาะ JLS ... ไม่ แคร์ทำไม ไวยากรณ์ง่ายทำให้ง่ายต่อการฉีกขาดท่อรหัสอพาร์ท Metaprogramming Refactoringไม่มีไวยากรณ์สำหรับ: เงื่อนไข: (n < 3) ifTrue: ifFalse ['ใช่']: ['ไม่'] สำหรับวนรอบ: 1:10 ทำ: [: ฉัน | ดูเสียงบรรยาย: ฉัน asString] ลองจับ: [ฉัน: =ฉัน / 0] ifError: ['โอ๊ะ '] ลองจน: [ฉัน: =ฉัน / 0] ให้: [สตรีมปิด]และสังเกตทั้งหมดที่[] s - ปิดชั้นไวยากรณ์สะอาด

ผลลัพธ์ (ไทย) 2:

สมอลล์ทอล์คใช้ข้อความผ่านไม่วิธีการอุทธรณ์ ความแตกต่างคือความอ่อนโยน แต่ทรงพลังมหาศาลบางคำศัพท์: ให้บาร์ foo: baz, #bar: เป็นตัวเลือก, foo เป็นผู้รับของข้อความที่เรียกว่า #bar: (# บ่งบอกถึงสัญลักษณ์เหมือนกันเสียงกระเพื่อมจะบอกว่า ' บาร์ (หรือมากขึ้นอย่างเหมาะสม: บาร์)) และ baz การโต้แย้งหรือพารามิเตอร์ เมื่อสายที่ดำเนินการ foo จะถูกส่ง message #: บาร์: กับการโต้แย้ง baz จนถึงขณะนี้ก็เป็นเรื่องปกติสวย ใน Java มันจะมีลักษณะ foo.bar (baz) ;. ใน Java runtime ระบบจะคิดออก foo ชนิดที่เกิดขึ้นจริงหาวิธีการที่เหมาะสมมากที่สุดและเรียกใช้สิ่งที่มีลักษณะเกือบจะเหมือนกันในสมอลล์ทอล์ค เมื่อคุณส่งวัตถุข้อความจะค้นหาในวิธีการของพจนานุกรมสำหรับวิธีการที่มีชื่อตรงกับที่เลือกของข้อความ หากไม่สามารถหาหนึ่งจะค้นหาใน superclass วิธีการ 'ของพจนานุกรมและอื่น ๆ สิ่งที่ปกติสวยถ้ามันไม่สามารถหาวิธีการจับคู่ใด ๆ ก็ส่งตัวเอง #doesNotUnderstand: ข้อความที่มีข้อความต้นฉบับเป็นพารามิเตอร์ (ใช่ส่งข้อความเป็นวัตถุ.) แต่ #doesNotUnderstand: ยังเป็นเพียงวิธีการ คุณสามารถแทนที่มันตัวอย่างเช่นคุณสามารถมีวัตถุที่ตอบสนองต่อการชุดของข้อความบางส่วนในขณะที่การส่งต่อข้อความใด ๆ ที่ได้รับมอบหมายกับวัตถุบางอย่าง แทนที่ #doesNotUnderstand และเฮ้ presto คุณมีพร็อกซี่ที่จะต้องไม่มีการบำรุงรักษาเพื่อให้โปรโตคอลในซิงค์กับตัวแทนไวยากรณ์เล็กน้อยไม่ฉันไม่ได้ล้อเล่น อาจจะ 15 สายทั้งไวยากรณ์ของสมอลล์ทอล์คยาว JLS ก็คือ ... ไม่ได้ ทำไมดูแล? ไวยากรณ์ง่ายทำให้ง่ายต่อการฉีกขาดก้อนของรหัสออกจากกัน metaprogramming! ! refactoring ไวยากรณ์ไม่มี: งบเงื่อนไข (n <3) ifTrue: ['ใช่'] ifFalse: ['ไม่มี'] สำหรับลูป: 1 ถึง: 10 ทำได้: [: I | แสดง Transcript: ฉัน asString] ลองจับ : [i = I / 0] IFERROR: ['Oops!'] ลองที่สุด: [i = I / 0] มั่นใจ: [กระแสใกล้] และสังเกตเห็นทุกคน [] S - ปิดชั้นแรกด้วยการทำความสะอาด วากยสัมพันธ์

ผลลัพธ์ (ไทย) 3:

Smalltalk ใช้ข้อความผ่าน ไม่ใช่วิธีการ . ความแตกต่างคือ บอบบาง แต่ทรงพลังมหาศาล

บางศัพท์ : ให้ฟูบาร์ : baz : เป็น#บาร์ , เลือกฟูเป็นผู้รับของข้อความ เรียกว่า#บาร์ : ( #แสดงสัญลักษณ์ , มากเช่น Lisp สามัญจะบอกว่า ' บาร์ ( หรือมากขึ้นอย่างเหมาะสม : บาร์ ) ) และ บาซเป็นอาร์กิวเมนต์และพารามิเตอร์ เมื่อสายถูกประหารชีวิตฟูจะส่งข้อความ# : บาร์ : บาซ อาร์กิวเมนต์ มันเป็นเรื่องปกติสวย ในจาวา มันจะดูเหมือนฟูบาร์ ( บาส ) ; .

ใน Java ระบบรันไทม์จะคิดออกฟูจริง ประเภท หาวิธีที่เหมาะสมที่สุด และเรียกได้

สิ่งที่ดูเป็นเกือบเดียวกันในธ . เมื่อคุณส่งวัตถุข้อความค้นหาในวิธีการของพจนานุกรมสำหรับวิธีการที่มีชื่อตรงกับที่ของตัวเลือกของข้อความ ถ้ามันหาไม่เจอก็ค้นหาในของซูเปอร์คลาส ' วิธีพจนานุกรมและอื่นๆ เรื่องปกติสวย

ถ้ามันไม่สามารถหาวิธีการจับคู่ มันส่งเอง# doesnotunderstand : ข้อความ , ข้อความต้นฉบับเป็นพารามิเตอร์ ( ครับ ข้อความที่ส่งเป็นวัตถุ) แต่# doesnotunderstand : ยังเป็นเพียงวิธีการ คุณสามารถแทนที่ได้

สำหรับอินสแตนซ์ คุณสามารถมีวัตถุที่ตอบสนองต่อบางชุดของข้อความในขณะที่อื่น ๆที่ได้รับมอบหมาย ข้อความบางวัตถุการส่งต่อ . แทนที่# doesnotunderstand : และนี่ Presto คุณมีตัวแทนที่จะต้องปรับปรุงเพื่อให้โปรโตคอลในซิงค์กับผู้แทน

เรื่องไวยากรณ์

ไม่ ฉันไม่ได้ล้อเล่นนะSmalltalk ทั้งไวยากรณ์บางที 15 สายยาว การสอนคือ . . . . . . . ไม่ ทำไมต้องสนใจ ? ไวยากรณ์ง่ายทำให้มันง่ายที่จะฉีกชิ้นรหัสนอกเหนือ โกปาเดลเรย์ ! วาริท !

ไม่มีไวยากรณ์สำหรับ :

งบเงื่อนไข : ( < 3 ) iftrue : [ " " ] iffalse : [ ' ' ]
ห่วงสำหรับ : 1 : 10 : [ : | หลักฐานแสดง ผมลองจับ asstring ]
: [ : = I / 0 ] iferror : [ 'oops ! ]
ลองสุดท้าย : [ I : = I / 0 ] ว่า :[ ปิด ] กระแส

และสังเกตเห็นพวก [ ] - ชั้นแรกปิดด้วยสะอาด วากยสัมพันธ์