Programovanie a modne trendy?

hop

Re:Programovanie a modne trendy?
« Odpověď #45 kdy: 26. 08. 2017, 20:58:23 »
A jsou ty jiné věci skutečně přínosem, nebo je to jen módní pozlátko?

Za módní pozlátko se dá označit cokoliv, i ten Lisp. Objektivně, jiné jazyky umožňují psát stručnější kód, který má blíž ke konvenčnímu matematickému zápisu (infixová notace).


Ivan Nový

Re:Programovanie a modne trendy?
« Odpověď #46 kdy: 26. 08. 2017, 21:00:13 »
V exaktních vědách to je vždy matematika + něco. Ovšem vidět podstatné souvislosti, k tomu se musí člověk dopracovat.

Paradoxně někdy ta matematika z toho dělá neexaktní vědu, když se interpretují matematické struktury, které se v realitě nevyskytují, jako by existovaly :-)))

Kiwi

Re:Programovanie a modne trendy?
« Odpověď #47 kdy: 26. 08. 2017, 21:14:50 »
na teorii kategorií se například předělává celá fyzika, motivací k zavedení teorie kategorií bylo, nepohlížet na realitu skrze objekty, i když nakonec jakési objekty jsou i v teorii kategorií, taky snaha zbavit se množin. Jde o nové paradigma, kdy na atom, nebo elektron se nepohlíží jako na kuličku, ale jako na nějakou funkci. Což je docela zajímavé, protože to mění běžné představy o konstrukci hmoty.

OMG! Jako vystudovaný fyzik musím s politováním konstatovat, že plácáte naprosté nesmysly. Absolutně netušíte, která bije. Jste úplně mimo. Mícháte dohromady hrušky a králíky aniž byste navíc tušil, jak taková hruška či králík vypadá.

Možná by bylo rozumnější se vyjadřovat k něčemu, čemu alespoň náznakově rozumíte. Ne k něčemu, o čem si někde přečtete nějakou volovinu na nějakém pochybném blogu či esoterickém portálu. Tedy pokud to není nějaký váš vlastní myšlenkový průjem.

Ptolemaiův i Koperníkův systém pohybu planet empirická data vysvětlují obojí zhruba stejně nepřesně. Máte dva matematické modely, které popisují empirická data stejně dobře. Které části těch modelů jsou reálné, když to jinak zjistit na aktuální úrovni poznání nejde. Když v modelu existuje nějaký objekt, znamená to, že taková je i realita?

Fyzik realista řekne ano. Ale je to založeno na víře, že tomu tak je.

Fyzik, narozdíl od vás, především chápe rozdíl mezi kinematikou a dynamikou. Kinematika nic nevysvětluje, pouze popisuje. Ani jeden z těch systémů pohyb planet nevysvětluje, jak se mylně domníváte, ale oba jej pouze popisují. Liší se pouze počátkem souřadnic. Zatímco starší za něj volí celkem logicky pozorovatele, novější volí (opět celkem logicky) takový bod, aby byl matematický popis co nejjednodušší, tj. Slunce, resp. těžiště Sluneční soustavy. Přejít od jednoho systému k druhému lze prostou transformací souřadnic.
Pomocí kinematiky rozhodnout nejde, to víme dnes stejně dobře, jako to věděli tenkrát. Heliocentristé byli v té době vedeni spíše intuicí, principem Occamovy břitvy, že realitě bude nejspíš odpovídat ten model, který je matematicky jednodušší. Jinými slovy - proč věřit tomu, že středem Vesmíru je Země, kolem níž obíhá Měsíc a Slunce a kolem Slunce ostatní planety, potažmo celý Vesmír, když model se Sluncem uprostřed je mnohem symetričtější a jednodušší? Ovšem důkaz to není. Ten přinesla až dynamika, před kterou už musela rezignovat i církev. Jakmile byla na stole teorie působení gravitace, bylo zřejmé, že geocentrický model nemůže odpovídat realitě, protože je s touto teorií v rozporu, narozdíl od modelu heliocentrického, který do ní krásně zapadal.

A kvantový chemik ví, že pracuje s modely orbitalů, jaké se v realitě nevyskytují a přesto je schopen na základě operování s nimi spočítat energetické poměry v molekulách, používají se tvary jaké jsou v atomu vodíku i pro jiné atomy. Matematicky by to vyšlo i s jinými funkcemi.

A co? Objevujete Ameriku. V kvantovce jde o poznatek starý víc než 80 let, v klasické fyzice nějakých 200 let (diferenciální vs. integrální přístup): různé matematické konstrukce dávající stejné výsledky při popisu jedné a té samé reality. Že se něčemu říká orbitaly je dáno historicky, protože to tak kdysi pojmenoval Bohr. Jestli v tom hledáte něco víc a přicházíte na to, že reálně tam asi žádné elektrony nekolotají kol dokola jako planety, tak vězte, že to fyzici vědí už dávno.
Ostatně i Maxwell používal při popisu elektromagnetického pole jiné konstrukce, než používáme dnes. V jeho modelu založeném na kvaternionové algebře těch rovnic bylo poněkud víc než současné vektorově-analytické 4 (nebo dokonce jediná za použití relativistického tenzorového počtu), používal pojmy jako "proudová trubice", zatímco současné "siločáry" nikoli. Ale snad nikoho by nenapadlo, že ta proudová trubice nebo siločára je nějaký existující objekt! Nebo vás snad ano?

Milfaus

Re:Programovanie a modne trendy?
« Odpověď #48 kdy: 26. 08. 2017, 22:05:40 »
<Trololo>
Citace
Programovanie a modne trendy?

Letos myslím programátoři nosí plnovous a šálu.   ;D
</Trololo>

Kit

Re:Programovanie a modne trendy?
« Odpověď #49 kdy: 26. 08. 2017, 22:11:26 »
..., používal pojmy jako "proudová trubice", zatímco současné "siločáry" nikoli. Ale snad nikoho by nenapadlo, že ta proudová trubice nebo siločára je nějaký existující objekt! Nebo vás snad ano?

Když vezmu v potaz kvantovou mechaniku, tak ano, ty siločáry si představuji jako objekty. Dokonce podle definice života by mohly být považovány i za živé.


Re:Programovanie a modne trendy?
« Odpověď #50 kdy: 26. 08. 2017, 22:23:47 »
<Trololo>
Citace
Programovanie a modne trendy?

Letos myslím programátoři nosí plnovous a šálu.   ;D
</Trololo>
+1
:-D

Kit

Re:Programovanie a modne trendy?
« Odpověď #51 kdy: 26. 08. 2017, 22:26:03 »
A jsou ty jiné věci skutečně přínosem, nebo je to jen módní pozlátko?

Za módní pozlátko se dá označit cokoliv, i ten Lisp. Objektivně, jiné jazyky umožňují psát stručnější kód, který má blíž ke konvenčnímu matematickému zápisu (infixová notace).

Konvenční matematický zápis používá současně prefixový, infixový i postfixový zápis, klidně i v jednom vzorečku. K tomu ještě hromadu dalších forem zápisu (horní či dolní index, integrál, zlomek, odmocnina,...) Lisp to sjednotil na prefixový zápis, Forth na postfixový. Ostatní programovací jazyky pro zápis používají guláš, každý trochu jiný. Když k tomu přidáme odlišnou syntaxi L-výrazů a R-výrazů, je dokonalý.

Ondra.

Re:Programovanie a modne trendy?
« Odpověď #52 kdy: 26. 08. 2017, 22:52:20 »
Všechny programovací jazyky jsou de facto univerzální lisp, ale zdrcnutý do specializovaných konstrukcí.

To je naprosto pravda, vite kolik stran ma referencni prirucka napr. Javy nebo C++, swiftu, plna specializovanych konstrukci? Stovky stran.

Vite kolik ma stran referencni prirucka Lispu? Ctyri radky.

Kit

Re:Programovanie a modne trendy?
« Odpověď #53 kdy: 26. 08. 2017, 23:02:22 »
Všechny programovací jazyky jsou de facto univerzální lisp, ale zdrcnutý do specializovaných konstrukcí.

To je naprosto pravda, vite kolik stran ma referencni prirucka napr. Javy nebo C++, swiftu, plna specializovanych konstrukci? Stovky stran.

Vite kolik ma stran referencni prirucka Lispu? Ctyri radky.

Navíc se většina aplikací, napsaných v jiných jazycích než Lispu, musí při upgrade restartovat...

hop

Re:Programovanie a modne trendy?
« Odpověď #54 kdy: 26. 08. 2017, 23:03:51 »
Vite kolik ma stran referencni prirucka Lispu? Ctyri radky.

ty čtyři řádky bych chtěl vidět. Můžete je sem postnout?

Ondra.

Re:Programovanie a modne trendy?
« Odpověď #55 kdy: 26. 08. 2017, 23:29:06 »
Vite kolik ma stran referencni prirucka Lispu? Ctyri radky.

ty čtyři řádky bych chtěl vidět. Můžete je sem postnout?

1. syntax: ()
2. call convention: (fun param1 param2)
3. Do not evaluate: quote '
4. list: '(a b c)

Tak a ted umis Lisp, uzivej to moudre.

hop

Re:Programovanie a modne trendy?
« Odpověď #56 kdy: 26. 08. 2017, 23:39:26 »
Vite kolik ma stran referencni prirucka Lispu? Ctyri radky.

ty čtyři řádky bych chtěl vidět. Můžete je sem postnout?

1. syntax: ()
2. call convention: (fun param1 param2)
3. Do not evaluate: quote '
4. list: '(a b c)

Tak a ted umis Lisp, uzivej to moudre.

tak to neni referencni prirucka. Podle toho nic nenaprogramujete.

Ondra.

Re:Programovanie a modne trendy?
« Odpověď #57 kdy: 27. 08. 2017, 00:01:57 »
tak to neni referencni prirucka. Podle toho nic nenaprogramujete.

Jaktoze ne?
(+ 1 2) je funkce, validni a spustitelny kod a zaroven je to i cely program, ze ktereho se da vygenerovat binarka. Operatory jsou to stejne co funkce.

Pavel Tišnovský

Re:Programovanie a modne trendy?
« Odpověď #58 kdy: 27. 08. 2017, 00:05:54 »
Vite kolik ma stran referencni prirucka Lispu? Ctyri radky.

ty čtyři řádky bych chtěl vidět. Můžete je sem postnout?

1. syntax: ()
2. call convention: (fun param1 param2)
3. Do not evaluate: quote '
4. list: '(a b c)

Tak a ted umis Lisp, uzivej to moudre.

V dobrem si trosku rypnu: mozna namisto toho posledniho staci dat tecka dvojici. Ale ano, cely LISP je mozne popsat na par radcich. Referencni prirucka by mohla zminit i priklad konkretni UPLNE implementace, coz se pet funkci a tri specialni formy:

funkce: CAR, CDR, CONS, EQ,  ATOM
formy: COND, LAMBDA, QUOTE

jpu

Re:Programovanie a modne trendy?
« Odpověď #59 kdy: 27. 08. 2017, 00:28:37 »
C#, Java, Angular, CSS, JS, HTML to su modne trendy, nie tie kecy co tu maju ludia, ktori tu neustale melu o Haskell, Prolog, Lisp, atd.