Vlákno názorů k článku Vytváření vlastních řídicích struktur v jazyce Smalltalk od anonym - Jaka je prakticka motivace? Stejnym stylem by slo...

Jaka je prakticka motivace? Stejnym stylem by slo psat i v jinych plne OO jazycich, jen k tomu neni duvod.

v JS mohu psat neco jako

> Boolean.proto­type.ifTrue = function(body) {if(this.valueOf()) {body()}}

> (1 + 1 === 2).ifTrue(() => console.log(true))

true

Však se to v různých API jiných jazyků také používá. Promise, Optional, Stream...

Benefitem je, že je sémantika navržená na míru toho API. Je zde tedy lepší čitelnost, idiomatický zápis obvyklých konstruktů a kratší kód. Samozřejmě, při špatném návrhu to může vést k opaku. Navíc to jsou do určité míry subjektivní hlediska, takže hodnocení dvou lidí se bude lišit.

> Stejnym stylem by slo psat i v jinych plne OO jazycich,

Měl bych výhrady k řazení JS (a drtivé většině mainstreamových jazyků) k "plně" OO. Ono to OO = Objektově Orientované je schválně, protože Smaltalk je Objektový, ne jen Objektově Orientovaný :-)

Terminologie je jasná - OO vzniklo jako termín pro Smalltalk, po jeho znásilňování to Kay později dovysvětlil, že myšlenkou a podstatou bylo zasílání zpráv. Tohle splňují jen některé jazyky.

Jo, tohle Smalltalkeři říkají často. Akorát s tím termínem přišla i Simula která vznikla ještě před Smalltalkem. A ty jiné objektové jazyky jako C++ nebo Java vycházejí právě ze Simuly.
Ono se není čemu divit. Slovo objekt se při modelování světa přímo nabízí. A taky je tak zatraceně vágní, že se pod ním může schovávat skoro cokoliv. Sám Kay se později vyjádřil, že to jméno zvolil fakt blbě.

Nenašel jsem žádný zdroj, že by Simula kdykoliv používala termín objekt, ten se pro ni začal používat pravděpodobně až zpětně.

JavaScript nemá nelokální return, takže plnohodnou náhradu řídících struktur takto nevyrobíte Když napíšete `(1 + 1 === 2).ifTrue(() => return "success")`, je to něco jiného než `if (1 + 1 === 2) return "success";`

Díky použití zpráv můžete vytvořit snadno snadno další varianty, které budou se stávajícími konzistentní (ifNil:, ifEmpty:, ifExists:, ifAbsent:, ifError:...) a bude to fungovat třeba i pro proxy objekty.

date return pred

`return (1 + 1 === 2).ifTrue(() => "success")`

(ifNil:, ifEmpty:, ifExists:, ifAbsent:, ifError:...)

proc by to neslo v jinych jazycich?

Ale tak nikdy nebudete schopni vytvořit třeba rozumně vypadající "guard clause".

Zprávy ifNil: a podobné můžete udělat i v jiných jazycích, ale pokud nebudou mít podporu pro nelokální návrat, bude to hodně dřít a stále to nebude konzistentní, protože ty jazyky mají speciální syntaxi pro řídící struktury (čest výjimkám, jako je Lisp a Forth).