Přepsání serveru v Javě

[Kamil Podlešák]

[V pohodě. Inference je v PHP běžná, jen jsem nevěděl, že se dostala už i do Javy.

Type inference v PHP? O tom bych rád slyšel detaily...

[Reklama]

[BoneFlute]

[V pohodě. Inference je v PHP běžná, jen jsem nevěděl, že se dostala už i do Javy.

Type inference v PHP? O tom bych rád slyšel detaily...

Já si zase počkám, zda bude Kit taky takovej frajer jako Nekola, a uzná chybu.

[Ondra Satai Nekola]

Já si zase počkám, zda bude Kit taky takovej frajer jako Nekola, a uzná chybu.

Koukam, ze latka na to byt frajer je v posledni dobe dost nizko :-D

[BoneFlute]

A co třeba tohle?

Kód [Vybrat] Rozbalit

val foo = (cond) ? new Foo() : new Bar();
foo.method();

Jak v takovém případě zafunguje inference? Bude hledat společná rozhraní obou tříd?

A co bys tak rekl? Jaky typ ma tenhle vyraz (cond) ? new Foo() : new Bar();? Nehledej slozitost, kde neni. Nebo se to alespon douc.

Tak já bych řekl, že buď vezme největší společný rozhraní, nebo spíš chcípne, protože je to otevřené. (Ale čerpám na základě zkušeností z Haskellu, Java tu interferenci nemá.)

Ale když by se to napsalo takhle:

Kód [Vybrat] Rozbalit


void foo(Bool cond) {
  val foo = (cond) ? new Foo() : new Bar();
  foo.method();
}

Tak má všechny potřebné informace co potřebuje, a mohlo by to projít. (Když by to uměla.)

[zboj]

A co třeba tohle?

Kód [Vybrat] Rozbalit

val foo = (cond) ? new Foo() : new Bar();
foo.method();

Jak v takovém případě zafunguje inference? Bude hledat společná rozhraní obou tříd?

A co bys tak rekl? Jaky typ ma tenhle vyraz (cond) ? new Foo() : new Bar();? Nehledej slozitost, kde neni. Nebo se to alespon douc.

Tak já bych řekl, že buď vezme největší společný rozhraní, nebo spíš chcípne, protože je to otevřené. (Ale čerpám na základě zkušeností z Haskellu, Java tu interferenci nemá.)

Typicky se bere prostě supremum, pokud typový systém tvoří úplný svaz. Nebo to je prostě chyba, když se výsledný typ neuvede explicitně, záleží na jazyku. Haskell je v tomto trochu specifický, když má de facto jen rozhraní.

[Reklama]

[BoneFlute]

A co třeba tohle?

Kód [Vybrat] Rozbalit

val foo = (cond) ? new Foo() : new Bar();
foo.method();

Jak v takovém případě zafunguje inference? Bude hledat společná rozhraní obou tříd?

A co bys tak rekl? Jaky typ ma tenhle vyraz (cond) ? new Foo() : new Bar();? Nehledej slozitost, kde neni. Nebo se to alespon douc.

Tak já bych řekl, že buď vezme největší společný rozhraní, nebo spíš chcípne, protože je to otevřené. (Ale čerpám na základě zkušeností z Haskellu, Java tu interferenci nemá.)

Typicky se bere prostě supremum, pokud typový systém tvoří úplný svaz. Nebo to je prostě chyba, když se výsledný typ neuvede explicitně, záleží na jazyku. Haskell je v tomto trochu specifický, když má de facto jen rozhraní.

Stačilo říct: "jo" :-)

[zboj]

A co třeba tohle?

Kód [Vybrat] Rozbalit

val foo = (cond) ? new Foo() : new Bar();
foo.method();

Jak v takovém případě zafunguje inference? Bude hledat společná rozhraní obou tříd?

A co bys tak rekl? Jaky typ ma tenhle vyraz (cond) ? new Foo() : new Bar();? Nehledej slozitost, kde neni. Nebo se to alespon douc.

Tak já bych řekl, že buď vezme největší společný rozhraní, nebo spíš chcípne, protože je to otevřené. (Ale čerpám na základě zkušeností z Haskellu, Java tu interferenci nemá.)

Typicky se bere prostě supremum, pokud typový systém tvoří úplný svaz. Nebo to je prostě chyba, když se výsledný typ neuvede explicitně, záleží na jazyku. Haskell je v tomto trochu specifický, když má de facto jen rozhraní.

Stačilo říct: "jo" :-)

Nestačilo, protože to chtělo opravit a upřesnit.

[BoneFlute]

A co třeba tohle?

Kód [Vybrat] Rozbalit

val foo = (cond) ? new Foo() : new Bar();
foo.method();

Jak v takovém případě zafunguje inference? Bude hledat společná rozhraní obou tříd?

A co bys tak rekl? Jaky typ ma tenhle vyraz (cond) ? new Foo() : new Bar();? Nehledej slozitost, kde neni. Nebo se to alespon douc.

Tak já bych řekl, že buď vezme největší společný rozhraní, nebo spíš chcípne, protože je to otevřené. (Ale čerpám na základě zkušeností z Haskellu, Java tu interferenci nemá.)

Typicky se bere prostě supremum, pokud typový systém tvoří úplný svaz. Nebo to je prostě chyba, když se výsledný typ neuvede explicitně, záleží na jazyku. Haskell je v tomto trochu specifický, když má de facto jen rozhraní.

Stačilo říct: "jo" :-)

Nestačilo, protože to chtělo opravit a upřesnit.

Tak to udělej. Vždyť jsi řekl tu samou větu co já, jen jsi použil cizí termity :-D

[Kit]

[V pohodě. Inference je v PHP běžná, jen jsem nevěděl, že se dostala už i do Javy.

Type inference v PHP? O tom bych rád slyšel detaily...

Vím, že se tomu tak u dynamicky a slabě typovaných jazyků neříká, ale stejně jsem byl zvědav, kdo se ozve.

[Vasek]

Pokud se vylozejne nenudist tak nic neprepisovat. Zabere to spoustu casu a vysledek bude podobny. Pohraj si s profilerem (https://visualvm.github.io/) a zjisti v cem je problem. Pro paralelni zpracovani requestu pouzij ThreadPool:
https://docs.oracle.com/javase/8/docs/api/java/util/concurrent/ThreadPoolExecutor.html
https://www.javacodegeeks.com/2013/01/java-thread-pool-example-using-executors-and-threadpoolexecutor.html

Az to bude fungovat jak ma, tak se muzes pustit do prepsani.

[andy]

Tak to mas nieco fakt spatne, lebo s undertow som dal nejako 20000/s (SEKUNDU) ani som nic neladil a uzke hrdlo boli asi nastavenia ab. Go bol na tom velmi podobne a node.js ostalo niekde v prachu.

[zboj]

Tak to mas nieco fakt spatne, lebo s undertow som dal nejako 20000/s (SEKUNDU) ani som nic neladil a uzke hrdlo boli asi nastavenia ab. Go bol na tom velmi podobne a node.js ostalo niekde v prachu.

Go by mělo být v tomto optimální, je to bare bones implementace nad nejnižší možnou vrstvou (při zachování bezpečnosti) a má rychlé algoritmy pro HTTPS.

[Aoidhghean]

Go bol na tom velmi podobne a node.js ostalo niekde v prachu.

Možná proto i sám tvůrce Node.js opustil svůj projekt a přešel na Go (schválně kdo jako první najde referenci).