Lexikální uzávěr typu třída v Javě

[Matador]

Jde v Javě udělat uzávěr typu třída? Nedávno jsem na to narazil v Pythonu, tam to jde přímočaře, nejspíš kvůli dynamickému typování. Případně v jakých jazycích to jde nebo jaký je idiomatický způsob v Javě nebo C#? Lambda výrazy už jsou ve všech běžných jazycích (naštěstí), ale u tříd jsem na uzávěry kromě Pythonu nenarazil.

[Reklama]

[Honza]

Obecně v Javě ne, ale pro každý případ (vstup/výstup) máš k dispozici interface.
Asi hledáš toto:

Kód: [Vybrat]

https://docs.oracle.com/javase/8/docs/api/java/util/function/package-summary.html

[andrej]

Počujte, Kefalín. A čo si vy predstavujete pod takým slovom 'Lexikální uzávěr'?

[Matador]

Počujte, Kefalín. A čo si vy predstavujete pod takým slovom 'Lexikální uzávěr'?

Ustálené termíny si snad umíš vygooglit, když je neznáš.

[pivni_milovnik]

Počujte, Kefalín. A čo si vy predstavujete pod takým slovom 'Lexikální uzávěr'?

Ustálené termíny si snad umíš vygooglit, když je neznáš.

Vite jak poznam lopatu? computer science terminy rikat v pocestéych spatne prelozenych frazich.

[Reklama]

[Trader]

Obecně v Javě ne, ale pro každý případ (vstup/výstup) máš k dispozici interface.
Asi hledáš toto:

Kód: [Vybrat]

https://docs.oracle.com/javase/8/docs/api/java/util/function/package-summary.html

To s tím přece vůbec nesouvisí.
Ve Swiftu jde napsat toto:

Kód: [Vybrat]

func myFancyClass(x:Int) -> A.Type {
  class T : A {
    init() { print("outer scope: x=\(x)") }
  }
  return T
}
let X = myFancyClass(1)
let Y = myFancyClass(1)
let x = X()
let y = Y()
...
Nicméně ta syntax je hnus, lepší je staré dobré

Kód: [Vybrat]

return class extends A { ... }

[Honza]

To s tím přece vůbec nesouvisí.
Ve Swiftu jde napsat toto:

Ano máš pravdu, se Swiftem to vůbec nesouvisí.

[Trader]

To s tím přece vůbec nesouvisí.
Ve Swiftu jde napsat toto:

Ano máš pravdu, se Swiftem to vůbec nesouvisí.

Souvisí, viz "Případně v jakých jazycích to jde". Ale tys tam plácnul blbost.

[mmm]

[/code]
Nicméně ta syntax je hnus, lepší je staré dobré

Kód: [Vybrat]

return class extends A { ... }

javascript

[Honza]

To s tím přece vůbec nesouvisí.
Ve Swiftu jde napsat toto:

Ano máš pravdu, se Swiftem to vůbec nesouvisí.

Souvisí, viz "Případně v jakých jazycích to jde". Ale tys tam plácnul blbost.

Není to blbost, jak uděláš uzávěr v Javě, aby byl first-class? Tak, aby šel poslat jako parametr do nějaké další metody? Jakého typu bude, když zůstane inline? Abych ho použil se své metodě třeba dvakrát?

[Trader]

To s tím přece vůbec nesouvisí.
Ve Swiftu jde napsat toto:

Ano máš pravdu, se Swiftem to vůbec nesouvisí.

Souvisí, viz "Případně v jakých jazycích to jde". Ale tys tam plácnul blbost.

Není to blbost, jak uděláš uzávěr v Javě, aby byl first-class? Tak, aby šel poslat jako parametr do nějaké další metody? Jakého typu bude, když zůstane inline? Abych ho použil se své metodě třeba dvakrát?

Asi došlo k nedorozumění. Otázka se týká uzávěru třídy. Uzávěr nemá nic společného s funkcemi, jsou to dva naprosto ortogonální koncepty, uzávěr jen drží kontext (v tomto případě lexikální) pro nějaký jiný objekt. Pravda je, že pojem "uzávěr" (closure) se často používá jako synonymum pro lambda výraz, ale to je špatně, jak ostatně ukazuje i toto téma. V tom zmíněném Pythonu (nebo JS, tam to funguje úplně stejně) funkce může vrátit třídu (typ), která si drží kontext (typicky nějakou lokální proměnnou nebo parametr z vnějšího scopu). V Javě to téměř jistě nepůjde, ta nemá ani higher-kinded types, natož tohle. 

[Honza]

Asi došlo k nedorozumění. Otázka se týká uzávěru třídy. Uzávěr nemá nic společného s funkcemi, jsou to dva naprosto ortogonální koncepty, uzávěr jen drží kontext (v tomto případě lexikální) pro nějaký jiný objekt. Pravda je, že pojem "uzávěr" (closure) se často používá jako synonymum pro lambda výraz, ale to je špatně, jak ostatně ukazuje i toto téma. V tom zmíněném Pythonu (nebo JS, tam to funguje úplně stejně) funkce může vrátit třídu (typ), která si drží kontext (typicky nějakou lokální proměnnou nebo parametr z vnějšího scopu). V Javě to téměř jistě nepůjde, ta nemá ani higher-kinded types, natož tohle.

OK, to beru. Psal jsem, že v to Javě nepůjde.. Ale Function je tomu nejblíže, a Java stejně žádný jiný koncept k tomuto účelu nemá.

[Trader]

OK, to beru. Psal jsem, že v to Javě nepůjde.. Ale Function je tomu nejblíže, a Java stejně žádný jiný koncept k tomuto účelu nemá.

Jo, tím Function to jde možná částečně obejít, kdysi jsem tak něco řešil v Pythonu, než jsem zjistil, že to jde lépe. Mně osobně na tom zajímá, jak by se taková věc dala řešit při překladu (v Pythonu a JS to je vzhledem k dynamickému typování triviální). Ale to už je tak trochu vyšší dívčí...