Zobrazit příspěvky

Tato sekce Vám umožňuje zobrazit všechny příspěvky tohoto uživatele. Prosím uvědomte si, že můžete vidět příspěvky pouze z oblastí Vám přístupných.


Příspěvky - BoneFlute

Stran: 1 ... 43 44 [45] 46 47 ... 133
661
Studium a uplatnění / Re:Výchovné metódy v IT svete
« kdy: 02. 12. 2019, 23:16:13 »
P.S. jestli si můžu dovolit jednu radu, pokud na lidi nastoupíš a začneš jim říkat, že by něco měli dělat, protože ty si myslíš, že to bude mít supr efekty, to začneš dělat, je to dost nepřesvědčivé. Navrhoval bych lepší cestu: vychovej svoje děti podle toho, co považuješ za nejlepší a až za tebou lidi začnou chodit s otázkou "Jak jsi to udělal, že máš tak skvěle vychované děti?", sděl jim svoje tajemství. Bude to pádnější :)

 ;D

Mám takovou teorii. Netrvám na ní, a už vůbec pomocí ní nechci někoho fackovat.

Já měl skvělé rodiče. Pamatuju si spoustu případů, kdy jsem dostal na zadek. A taky si pamatuju, kdy se zachovali jako... "velicí lidé". Nikdy jsem neměl strach. A vždycky když jsem dostal na zadek, nebo nějaký trest, tak jsem si velice jasně uvědomoval, že jsem se tomu mohl snadno vyhnout.

Díky tomu mám z čeho čerpat.

Jenomže ne každý člověk má takové štěstí. Jsou lidé, kteří měli příliš přísné (nebo jinak nešikovné) rodiče. A tak se snaží tu chybu neopakovat. A nebo měli příliš liberální rodiče, a pak když se konečně dostali z vězení[1], tak se rozhodli že, opět, tu chybu nebudou opakovat.

A často se prostě stane, že ujíždí moc, no.

Ale ta snaha je rozhodně chvályhodná a zaslouží si maximální ocenění (i když nervy na ně nemám).


[1] Nadsázka, pro natvrdlé.

662
Studium a uplatnění / Re:Výchovné metódy v IT svete
« kdy: 02. 12. 2019, 23:00:34 »
Nie som si istý, či tvoj príspevok je troling, ale ...

...V každom prípade, skús si vypozorovať, keď dieťa niečo spraví a ty máš neštandardnú reakciu (vybuchneš, začneš kričať, začneš ho naháňať, aby do tej kaluže neskočilo, ...), aký to má efekt.
:facepalm: Na tomhle se podílet nebudu.


V každom prípade, skús si vypozorovať, keď dieťa niečo spraví aký to má efekt.
Samozřejmě, toto je pro mě zásadní měřítko. A jsem s výsledkem maximálně spokojený. Je usměvavá, hodná, přátelská, lidé ji mají rádi, když mě vidí září ji oči... Tož asi tak.

663
Studium a uplatnění / Re:Výchovné metódy v IT svete
« kdy: 02. 12. 2019, 20:29:08 »
Kouknul jsem teď na původní vlákno a musím se zeptat luvara:

Pokud "omezování dětí" považuješ za špatné per se (tím si nejsem jistý), tak platí to opravdu ve všech případech? Necháš dítěti bez problémů v pokoji alkohol? A co pervitin? A v jakém věku? I u 15-letého puberťáka s existenciálními depresemi?

Ako chceš zamedziť požitiu alkoholu svojemu dieťaťu? Budeš do jeho 18-stky, 24/7 pri ňom?

Môj názor (podopretý naštudovaným), je ten, že "Odmeny sú horšie ako tresty a tresty sú zlé".

Třeba je to jen společností špatně chápáno.

Tresty nejsou výchovné. Tresty ukazují 1/ kdo je autorita, 2/ co si o tom myslí.

Svoji dvouletou cácorku fyzicky trestám. Nesmí na chodbu. Když překročí práh, a neraguje na upozornění, jdu a dostane bez pardonu na zadek. Co je výsledkem?
- mě stačí pravidla říct
- ona ví co může, co se od ní očekává
- dostala na zadek dvakrát
- obadva jsme spokojení

Tak samozřejmě až poroste bude to drsnější, protože si bude více než teď prosazovat svou. Ale mým plánem je maximálně využít doby, kdy pro ni není potupné dostávat na zadek (tak do čtyř let). Vybudovat si s ní dobrý vztah založený na respektu, úctě, poslušnosti a důvěře. Takže až jí bude čtrnáct a bude chtít pít alkohol, tak jí to vysvětlím[1], a ona mě bude brát vážně.


Když píšu "vysvětlím", tak tím myslím skutečně vysvětlím, a nikoliv "řekl jsem a basta". I když to je samozřejmě taky inštrument, byť ve čtrnácti dost na prd.

664
Vývoj / Re:M:N kardinalita medzi tabulkami v odlisnych schemach
« kdy: 01. 12. 2019, 23:04:48 »
Chápu to dobře, že byste měl nad jednou tabulku více view pro foo, boo atd?

Vyzházel jsem ze zadání:
takže lze přes jednu vazební tabulku vázat různé typy,

Pokud by bylo třeba listovat všechny "závislosti obrázků", tak

Takže místo toho, abych měl objekt, předka, ze kterého by se odvodila vazební tabulka; tak bych to udělal naopak. V případě potřeby, kdy chci sloučit všechny "závislosti obrázků", tak si vytvořím jeden view, ve kterém dám unionem všechny ty vazební tabulky. Například.

665
/dev/null / Re:Těžké OOP problémy
« kdy: 01. 12. 2019, 16:38:29 »
Takže nic proti myšlence "otevřené mysli", ale je dobré přiznat, že má taky svoje hranice :)
Já bych se s tím moc nemazal. Podle mě je to jednorožec a hlupáci řvou jednoduše víc.

Rád vzpomínám na osmihodinovou diskusi s jedním ateistou. To byl člověk který byl chytrý, hrál fér, a přemýšlel. Společně jsme došli ke spoustě užitečnejch závěrů. Bylo to fakt hutný. Jenže narazit na někoho takového je skoro zázrak.

A to ani nemluvě o tom, že to stejně nemusí stačit a k té pravdě se nedopracuju.


666
/dev/null / Re:Těžké OOP problémy
« kdy: 01. 12. 2019, 04:42:03 »
Z toho vyplývá, že ti není sympatické pohybovat se ve společnosti svobodně pluralitně uvažujících jedinců.
Ne. To z toho nevyplývá.

Já mám "společnosti svobodně pluralitně uvažujících jedinců" celkem rád. Jen je to jednorožec. A samozřejmě každej blbec o sobě tvrdí, že má otevřenou mysl.


S dovolením se ostatním tvým příspěvkům nebudu věnovat, protože jsem přesvědčen o tom, že jsem to vysvětlil dostatečně a ty to vždycky nějak překroutíš.


*[1][2] Hmm... To je otázka, co by mělo být dříve. Víra v Boha nebo převzetí morálky z Bible? Protože začít věřit v Boha aniž bych souhlasil s Boží morálkou je divné.
Naopak. Absurdní je to spojovat. Opět v tom vidím tvůj nedostatek představivosti ohledně toho, co to znamená, když Bůh skutečně existuje. (Viz můj příspěvek o Špicberkách). Tento bod je základní problém. Ty spojuješ víru v Boha s tím, zda souhlasíš s jeho měřítkama. Vysvětli! (Už jsem to rozebíral, zřejmě jsi to přeskočil.)
Takže ty jsi na exitenci Boha přišel jen podle technikálií, např. jak jsi psal o těch 4 generálech?
Ano. Z velké části z mimobiblického zdroje. Z Bible jsem pochopil hlavně to, že ona je ten dopis od Boha (a ne Korán, védy, ...).


*[1][2] Hmm... To je otázka, co by mělo být dříve. Víra v Boha nebo převzetí morálky z Bible? Protože začít věřit v Boha aniž bych souhlasil s Boží morálkou je divné.
Naopak. Absurdní je to spojovat. Opět v tom vidím tvůj nedostatek představivosti ohledně toho, co to znamená, když Bůh skutečně existuje. (Viz můj příspěvek o Špicberkách). Tento bod je základní problém. Ty spojuješ víru v Boha s tím, zda souhlasíš s jeho měřítkama. Vysvětli! (Už jsem to rozebíral, zřejmě jsi to přeskočil.)
Chápu a máš pravdu, že je to pro mě velmi těžké si představit, že bych morální hodnoty pouze vykopíroval. Takže ty jsi na exitenci Boha přišel jen podle technikálií, např. jak jsi psal o těch 4 generálech? Co kdyby v Bibli byla nějaká morální absurdita, např. Bůh by v Bibli nařizoval Adamovi a Evě, že si nesmějí ubližovat, ale v dalším odstavci v Bibli by Bůh nařizoval, aby Adam Evu každý den zfackoval což by Evě ubližovalo. Nebral bys to jako důkaz toho, že takto popisovaný Bůh nemůže být pravdivý, protože skutečný Bůh by takové absurdní, hloupé, protichůdné příkazy nedával?
Nevím. Spíše ne. Pokud jsou v Knize zázraky, musí ta kniha být z nadpřirozeného zdroje. Pokud tam nejsou zázraky, tak to neříká vůbec nic. Samo o sobě by to jako důkaz nestačilo. Muselo by se k tomu něco přihodit. Nehledě k tomu, že stále platí, že Bůh může být zlej. [1]

Aniž bychom se oddávali nějaké složité filozofii, jsou následující jednoduché scénáře. A nevidím jak by to mohlo být jinak.

1/ Bůh není, nebo už není. Pak veškerá naše diskuse o Něm je zbytečná. A můžeme se bavit o tom, kde sehnat know-how. (Třeba tím tvým konsensem a pluralitní diskusí.)
2/ Bůh je, a je dobrý. Supr, vyhráli jsem jackpot. Budeme-li předpokládat, že když je stvořitelem všeho, tak to nebude úplnej lůzr, tak by jen idiot zkoušel vymejšlet lepší morální měřítka, než co má On. (Natož otevřenou myslí a pluralitním dialogem). Nehledě na to, že bych ho mohl taky naštvat a skončit bodem 3.
3/ Bůh je, a není dobrý. Tak to mám blbý. To nejlepší co můžu dělat je bejt zticha a doufat že si mě nevšimne. Byl bych korunovanej vůl, když bych ho začal nahlas kritizovat.


Tvé přirovnání s Kimem je docela trefné. Protože on je skutečně bohem. Upřímně korejčany lituji, protože je to Bůh zlej. A oni se samozřejmě chovaj racionálně a kritizujou ho teprve když se dostanou dostatečně daleko od něj. Ano, samozřejmě jejich bůh (Kim) má určitý dopad na jejich mentalitu, vo tom žádná (jako bychom na tom byli líp). Ale opakuju, nesdílím tvou víru, že otevřená mysl a pluralitní dialog nás spasí (ač je to obecně vzato skvělá věc, a je děsně supr - když je s kým). Ve skutečnosti jsem moc rád, že se na to nemusím spoléhat. [1]


Toto je pro změnu věc, se kterou mám problém já. Sice na jednu stranu tvrdíš, že věříš (nějak, částečně, trochu) v Boha. Ale je to Bůh sedící v koutě, který poslušně odkejvá to, na co se vy lidé svobodně, s otevřenou myslí a pluralitně domluvíte. ::) To není rouhání. To je blbost.


Už mě chápeš? Nejde o to, že z těchto morálních absurdit usoudím, že Bůh neexistuje. Já jen usoudím, že daný konkrétní (křesťanský nebo muslimský nebo ...) Bůh neexistuje.
Z druhé strany jsi se dopracoval k tomu, co jsem říkal už pár stránek zpět. Pokud je Bible (Korán, ...) od Boha. Paráda. Toto bychom měli.


Asi to nepochopíš, protože podle tebe je Bible od Boha. Podle mě je od lidí (tak jako každá jiná kniha).
Já to chápu. Jenže taky chápu, že jsi z Bible četl půl stránky (soudě podle reakcí tady), takže tvůj názor v tomto mě nechává chladným.


Pokud to chceš převést ke Špicberkám. To, že je na Špicberkách zima nezpochybní jejich existenci, ale jestliže se dočteš, že je tam zima a rostou tam tropické banánovníky, tak začneš pochybovat zda ten cestopis co čteš je pravdivý.
Samozřejmě. Mě dráždilo to, že jsi furt mluvil způsobem, jako by těm banánovníkům nějak záleželo na tom, jestli se ti to líbí nebo ne. Pokud tuto rétoriku opustíš, budu šťastný.




[1] Ve skutečnosti bůh zlej je. Když by sis přečetl ten kousek z Joba, tak by si pochopil, že přesně tím bohem je Satan. Dokonce aktuálně vládne této planetě. A je jen naším jediným štěstím, že není svrchovaný a všemohoucí. Ostatně můžeme vidět každý den kolem sebe, jak ovlivňuje uvažování lidí a žádná otevřená mysl a pluralita názorů mu v tom evidentně nebrání.

667
Vývoj / Re:M:N kardinalita medzi tabulkami v odlisnych schemach
« kdy: 30. 11. 2019, 18:40:41 »
Prosim nerieste tu integritu, ...
Chápu tu poznámku, ale jen bych rád zdůraznil, že integrita je klíčová vlastnost, proč používat databázi :-) Takže říct: "to neřešte" je... :-)

IMHO to mělo být

Kód: [Vybrat]
foo -> foo2picture -> picture
boo -> boo2picture -> picture
Samozřejmě. Pardon!

Pokud by bylo třeba listovat všechny "závislosti obrázků", tak
Oni jsou tam boje mezi těmi, kteří by rádi postgre více objektovej, a mezi těmi, kteří "takové blbost sem netahejte". (Jsem v druhém táboře :-) )

Osobně bych to řešil manuálně pomocí view. V Postgre je to bez výkonnostní ceny.

668
Vývoj / Re:M:N kardinalita medzi tabulkami v odlisnych schemach
« kdy: 30. 11. 2019, 16:38:20 »
Prosim nerieste tu integritu, triggery ani nic podobne :) otazka bola len aky je podla vas spravny navrh tabuliek. Vazobna tabulka v scheme picture kde bude id obrazka, a uuid akejkolvek inej entity (vdaka uuid) alebo schema picture bude obsahovat len zadefinovane obrazky, a to k comu sa viazu sa bude riesit v kazdej scheme zvlast, teda foo schema bude mat tabulku s foo_id a picture_id, bar schema bude mat tabulku s bar_id a picture_id a pod.

Máš tabulku foo, která vazbí N obrázků z tabulky picture. Pak máš tabulku boo, která vazbí N obrázků z tabulky picture. Tak?

V takovém případě bych měl pro každý extra vazební tabulku.
foo -> foo2picture -> picture
boo -> foo2picture -> picture

669
Vývoj / Re:M:N kardinalita medzi tabulkami v odlisnych schemach
« kdy: 30. 11. 2019, 16:21:32 »
IMHO záleží, jak jsou ta schémata koncipovaná, co které obsahuje. Technicky je možné oboje. Jedna vazební tabulka se dá použít pro M:N vazbu různých entit (i když to asi není z hlediska SQL nejčistší řešení). Viz třeba Discriminator v Hibernate nebo Polymorphic associations v ActiveJDBC (jde sice o odkazy na ORM, ale mimo jiné ukazují praxi).

Teda já nevím, ale jak chceš řešit cizí klíče, když ti jednou vazební tabulka bude ukazovat do Foo, a na jiném řádku do Boo?

Je to vybočení z SQL konceptu, ale integrita se dá zajistit třeba triggerem. Typ je prostě veden ve sloupci. Někdy se to IMHO hodí, jak ukazují i ty odkazy na ActiveJDBC a Hibernate. Vše co tvrdím je, že je to možno zvážit jako variantu s ohledem na okolnosti.
V pořádku. Já tě za to nelynčuju.

Přiznejme si, že takto je to ale dost teoretický. Napadá tě nějaký ideální příklad? (Z toho, co zadal tazatel nejsem moc moudrej. Přišlo mi, že mu vadí "jen" ty hranice napříč schematu.)

670
Vývoj / Re:M:N kardinalita medzi tabulkami v odlisnych schemach
« kdy: 30. 11. 2019, 04:14:33 »
IMHO záleží, jak jsou ta schémata koncipovaná, co které obsahuje. Technicky je možné oboje. Jedna vazební tabulka se dá použít pro M:N vazbu různých entit (i když to asi není z hlediska SQL nejčistší řešení). Viz třeba Discriminator v Hibernate nebo Polymorphic associations v ActiveJDBC (jde sice o odkazy na ORM, ale mimo jiné ukazují praxi).

Teda já nevím, ale jak chceš řešit cizí klíče, když ti jednou vazební tabulka bude ukazovat do Foo, a na jiném řádku do Boo?

671
/dev/null / Re:Těžké OOP problémy
« kdy: 30. 11. 2019, 04:09:57 »
Nerozumím ti proto, že si protiřečíš. Před tím jsi napsal, že jsi na existenci Boha přišel svým rozumem a nyní mi vnucuješ myšlenku jak hrozně je ti nepříjemná otevřená svobodná mysl (což považuji za důležitý předpoklad pro rozhodování rozumem).

Já jsem nikde nenapsal, že je mi nepříjemná otevřená svobodná mysl. Co je to za blbost?

Ano, já jsem se svým rozumem dopracoval k přesvědčení o existenci Boha. Stejně tak, jako bych se dopracoval k tomu, že existují dejme tomu Špicberky. Jak to souvisí s otevřenou a svobodnou myslí? (Tak možná je to moje chyba v tom, že z tvého vysvětlování neustále chápu, jakoby základem všeho bylo se sejít a o něčem diskutovat. Pokud si to tak nemyslel, tak to pak ok.)

Co mi přišlo opravdu nepříjemné je tebou zastávaná představa, (toto je přirovnání) že protože na Špicberkách je zima, tak nemohou existovat. To fakt nechápu, proč by je mělo zajímat. Ty si budou existovat bez ohledu na to, jak mi se tu domluvíme, a bude tam furt stejná zima bez ohledu na to jak moc ji nemáš rád. Pokud společně poplujem tím směrem, a vymlátíme se tam, tak jim můžeš vysvětlovat, že to, že tam je zima je hrozně nemorální, a vůbec. Ano, takovýto způsob uvažování mi přijde velice nelogický, a nezábavný.


Pokud do toho chceš promítnout to, že existenci Boha považuješ za realitu, tak to můžeme rozepsat takto:
Mělo by to fungovat takto:
A) svobodná otevřená mysl (nezaujaté hledání předporozumění a pravdy a naslouchání oponentům) => víra v Boha[1] => převzetí morálky z knih popisujícího daného Boha[2] => konsenzus[3] => tvorba zákonů
a né takto:
B) vnucení víry v Boha (převzetí po rodičích) => převzetí morálky z knih popisujícího daného Boha => konsenzus[4] => tvorba zákonů
Pokud netrváš na bodech konsenzus a tvorba zákonů, tak určitě A.


*[1][2] Hmm... To je otázka, co by mělo být dříve. Víra v Boha nebo převzetí morálky z Bible? Protože začít věřit v Boha aniž bych souhlasil s Boží morálkou je divné.
Naopak. Absurdní je to spojovat. Opět v tom vidím tvůj nedostatek představivosti ohledně toho, co to znamená, když Bůh skutečně existuje. (Viz můj příspěvek o Špicberkách)

Tento bod je základní problém. Ty spojuješ víru v Boha s tím, zda souhlasíš s jeho měřítkama. Vysvětli! (Už jsem to rozebíral, zřejmě jsi to přeskočil.)


*[3] Tady dává smysl zvolit politický systém, který usiluje o svobodně myslící jedince a pluralita názorů je velmi důležitá.
Pro mne nezajímavé téma.

*[4] Zde může být klidně diktatura, protože morální hodnoty jsou lidem vnucovány(prostřednictvím jednotné víry). Jak jsi správně uvedl, tady je pluralita názorů jen "dohadování" a (použiji tvou citaci) "V případě teoretického konceptu není důvod předpokládat, že pluralita bude dávat nějaké zvlášť výjimečné výsledky."
Pozn.: Pokud člověk nevěří v konkrétního Boha, tak místo [1] a [2] je vytváření morálních hodnot napříč různými filozofiemi/náboženstvími.

Přestože jsi se vyhl odpovědi na variantu A/B, tak z tvých předchozích příspěvků vyplývá, že jsi pro variantu B. Z toho mi tedy vychází, že jsi s největší pravděpodobností nenašel Boha pomocí svobodné vůle (svobodné otevřené mysli).
K tomuto se nebudu vyjadřovat. Příliš mnoho spekuluješ a domýšlíš si. Vzniká z toho chuchvalec, s kterým,  se nedá pracovat.


To máš jako ve škole. Samozřejmě bychom mohli vytvořit svobodně pluralitní třídu plnou otevřené svobodných myslí. Jestli bych se tam ale něco naučil, než ve třídě, kde učitel vládne pevnou rukou, a vysvětluje látku on, to si samozřejmě svobodně a pluralitně vyber.
Budeš se divit, ale fungují i velmi svobodné vzdělávací systémy - https://www.rodicevitani.cz/trendy-ve-vzdelavani/svobodne-skoly-misto-kde-ma-sedmilete-dite-stejnou-vaznost-jako-dospely-a-nemusi-se-ucit-kdyz-nechce/

O tom jaký vzdělávací systém je nejlepší by bylo na samostatnou dlouhou diskuzi, ale podobně jako při tvorbě morálních hodnot nebo při vzniku víry, považuji za důležíté, aby i u výběru vzdělávacího systému nebo konkrétního učitele byla na začátku svobodná volba.
Byl to příklad. OK, nepovedl se mi.


Možná se míjíme cílem. Můj cíl je, abych byl dobrým člověkem. I za tu cenu, že věci nebudou po mém. I za tu cenu, že budu muset uznat, že jsem se spletl, a mé morální cítění je pošahané. I za tu cenu, že budu poslouchat někoho chytřejšího. Samozřejmě si dokážu představit, že pro někoho je to příliš veliká cena za to být dobrým člověkem.
To jsme probírali. To já nepovažuji za víru v Boha, ale za oddanost Bohu. Oddanosti se bojím - jak jsem před tím psal, že křesťanů co chtějí vládnout pevnou rukou se bojím. Čím více svou oddanost popisuješ, tím více se tě bojím.
Ach jo. Zkus si z toho mého vysvětlení škrtnout tebou implantovanou myšlenku, že chci někomu vládnout. Je to lepší?


Každopádně. Mohu tě uklidnit. Patřím do té skupiny lidí, kteří jsou přesvědčeni o tom, že Bůh nepotřebuje moji pomoc, aby si tu na zemi udělal pořádek. Takže jestli někdy přijde někdo, kdo ti nafackuje, tak to nebudu já, ale On. (A to doslova. Žádní prostředníci v podobě lidských vlád, církví, čehokoliv.)

672
Studium a uplatnění / Re:Výchovné metódy v IT svete
« kdy: 28. 11. 2019, 21:14:41 »
1. jedno dítě, dva roky
2. Nezařazeno. Ale určitě ne demokratický. Když dávám zákazy (mobil, tablet ne-e) tak jimi šetřím, a hlavně dítě musí mít spoustu jiné zábavy - ne jen zákazy. Když dítěti něco přikážu, tak nejsem povinnej to vysvětlovat (když přebíhá dálnici, tak to fakt není čas). Ale vysvětlovat je samozřejmě lepší a velmi důležitý (jinak se nic nenaučí). Kromě restriktiv, tak učím hlavně příkladem.
3. ano
4. nevim, hodně
5. doma

Ptáš se na výchovu. Ale to je jen malá část celého soužití. Extrémně důležité je mu věnovat čas, pozornost, zájem. Hrát si s ním. Milovat ho.

673
/dev/null / Re:Těžké OOP problémy
« kdy: 28. 11. 2019, 15:16:06 »
Varianta A funguje pro většinu obyvatel v Česku.
Varianta B funguje pro většinu obyvatel v Egyptě. Tam se víra (potažmo morálka vycházející z dané víry) neřeší svobodným rozhodnutím, ale přejímá se (dědí) od rodičů. Proto když řekneš Egypťanovi, že jsi bez vyznání, tak to moc nechápe. Je to pro něj stejné jako bys mu řekl, že jsi bez národní příslušnosti.

Takže bys uvítal i v Česku variantu B? Pokud ano, tak fajn a budu ti moci oponovat, ale zatím mi ani tato elementární věc našeho nového sporu není jasná. Jakmile mi to vysvětlíš, budu moci reagovat na zbytek věcí co jsi napsal.
Zkusme to takto:

V Čechách máme určitou úroveň morálky a spravedlnosti. Dejme tomu morálka 40%, spravedlnost 60% (na přesnost čísel se vykašli). Bůh má cit pro morálku 100% a schopnost pro spravedlnost 100%. V Čechách to máme, jak si popisoval, konsensem (není to pravda, ale to neřešme). V případě Boha je to dané autoritou.

Vybral by sis konsens, nebo autoritu?


PS: Varianta A v Čechách samozřejmě nefunguje. Ta nefunguje nikde, protože neexistuje. Teda pokud trváš na "svobodná otevřená mysl (nezaujaté hledání předporozumění a pravdy a naslouchání oponentům)". V Čechách je prachsprostej konsens.

674
/dev/null / Re:Těžké OOP problémy
« kdy: 28. 11. 2019, 15:03:36 »
...

Hodně jsem o tom přemýšlel, a možná jsem na to přišel, v čem je problém.

Ty se furt točíš v tom, že si nedokážeš představit (netvrdím, že to máš uznávat, stačí si jen představit), že by existovat Bůh. Pro mě Bůh není  romantická konstrukce, ale realita. Díky tomu si nemůžeme my dva rozumět. Protože ty furt tlačíš věci, které v kontextu existence Boha nedávají smysl.

Jedna ukázka z mnoha: Jak mohu řešit "vytváření morálky podle sebe"? To je přece pro někoho, kdo vychází z předpokladu, že Bůh má na to mnohem lepší kapitál naprosto nesmysl. Ano, vytvořím si morálku podle sebe. Bude horší, trapnější, bude škodit. Pochopitelně.

Takže bys uvítal i v Česku variantu B? Pokud ano, tak fajn a budu ti moci oponovat, ale zatím mi ani tato elementární věc našeho nového sporu není jasná. Jakmile mi to vysvětlíš, budu moci reagovat na zbytek věcí co jsi napsal.
Proč by si mi měl oponovat? Proč by na tvém nebo na mém názoru v tomto mělo záležet? Opět, naprostá chyba v úvaze.

675
Vývoj / Re:Naivní závislostní typ (úvaha)
« kdy: 25. 11. 2019, 14:05:51 »
To jsou dvě různé věci, já se nebavil o typu reprezentujícím množinu sudých přirozených čísel, to by byl prostě podtyp bez záv. typů. Šlo o vytvoření typu, který zaručí sudost čísla *na úrovni typů*, třeba u toho div2 mi zabrání tomu, aby někdo předal liché číslo. Záv. typy se většinou používají k vynucení kontraktů, to je jejich hlavní přínos.

Rozumím. Zatímco já jsem vytvořil klasickou funkci kde platilo jen omezení na typ, ty jsi vytvořil košaťejší omezení jen pro tu funkci. Správně?
Díky tomu by šlo pak vytvořit “pravidla” kde by se výstupní typ funkce měnil podle toho co má za vstupy. Tak?

Každopádně ještě zopakuji otázku: Při volání té funkce na sudá čísla si stejně bude muset volající zajistit aby předával jen sudá. DT tomu nedodají žádnou další magii proti mému řešení?

Stran: 1 ... 43 44 [45] 46 47 ... 133