Příspěvky

871

/dev/null / Re:Těžké OOP problémy

« kdy: 12. 11. 2019, 16:12:01 »

No ona ta otázka je dost pochopitelná, protože buď má ondrama pravdu - tj. Prýmek použil množina namísto predikátu špatně -, nebo ji nemá, a pak by to muselo platit. A jelikož si na tom trvá...

To je omyl. Existuji otazky, na ktere odpoved neexistuje. Treba proto, ze jsou chybne strukturovane.

Napr: Muze Buh stvorit kamen, ktery by sam neunesl?

872

/dev/null / Re:Těžké OOP problémy

« kdy: 12. 11. 2019, 16:08:51 »

Nevim jestli jde o tohle... Nevim jak moc si to myslis nebo nemyslis.
Ale urcite sis myslel, ze ondrama nastoluje takovou otazku.

To by musel rict Cikada, o co mu jde a s cim nesouhlasi. Zatim kritizuje jenom veci, ktere si vymyslel. Ucebnicovy straw man

Jestli ondrama takovou otazku nastolil? Tezko rict. Kdyby se na ty polozene otazky pokusil odpovedet, ukazalo by se, v cem je jeho chyba. Jak jsšm psal, byla to instrumentalni odbocka, cviceni.

873

/dev/null / Re:Těžké OOP problémy

« kdy: 12. 11. 2019, 16:01:18 »

Krapet kruté vůči nám ostatním ;-)

Zivot neni pro posery!

874

/dev/null / Re:Těžké OOP problémy

« kdy: 12. 11. 2019, 15:29:18 »

Co třeba začít od začátku, s jakou formulací Cikáda nesouhlasí, bez ohledu na to, zda to Mirek Prýmek řekl. On to může odkejvat a hotovo?

To by neklaplo.

Taky bych tvé pozornosti doporučil fakt, že s ondrama jsme si to vyjasnili velmi rychle. S tebou to nejde. Proč asi?

Ja si myslim, ze docela vim, s cim Cikada nesouhlasi. Jenom me zajima, jak moc zarputile bude trvat na tom, ze jeho videni sveta je jedine spravne a nebude ochotny pripustit sebemensi chybu na sve strane

Vzhledem k tomu, s jakou urputnosti obhajoval absurdni teze "kazda faktura musi byt podepsana" a "vyznamy slov definuje slovnik", tak asi dost zarputile

875

/dev/null / Re:Těžké OOP problémy

« kdy: 12. 11. 2019, 14:42:57 »

Citace jsi dostal. Buď je neignoruj nebo nelži.

Nechápu, proč opakuješ to samé, co jsem citoval já, a říkáš, že to ignoruju? WTF?!

876

/dev/null / Re:Těžké OOP problémy

« kdy: 12. 11. 2019, 14:33:52 »

Máš tam citaci. Nelži.

Myslíš citaci jiných tvrzení, než jaká jsi mi vložil do úst? Hm.

-------

Tvrdil jsi, že predikát je množinou vlastností.

Netvrdil. Řekl jsem, že

"být funkcionálním jazykem" je množina několika různých vlastností

Vidíš tam někde slovo "predikát"? Já ne.

-------

začal jsi tvrdit, že predikát je vlastnost

Netvrdil. Řekl jsem, že

Co je to vlastnost? Já mám za to, že predikát.

-------

Jestli nevidíš rozdíl mezi tím, co jsem napsal, a mezi tím, jak mě interpretuješ, napíšu ti znovu, co už jsem ti psal několikrát: prostě mě neinterpretuj, ale doslovně cituj. A jestli něčemu nerozumíš, tak se zeptej. Jak snadné, Wattsone.

Taky bych tvé pozornosti doporučil fakt, že s ondrama jsme si to vyjasnili velmi rychle. S tebou to nejde. Proč asi?

877

Hardware / Re:Vzdálený odečet plynoměru

« kdy: 12. 11. 2019, 14:06:39 »

Zatím se mi jeví jako nejjednodušší varianta Elster INZ 61 pro vlastní odečet a pomocí ESP8266 data odesílat.

Pokud bys tam náhodou měl dosah The Things Network, byl by ideální hotový ESP32+LoRa modul (třeba TTGO), pomocí ULP počítat impulsy a jednou za čas pře TTN odeslat.

...anebo to samý, jenom přes tu wifi, jestli ji tam máš.

878

Hardware / Re:Vzdálený odečet plynoměru

« kdy: 12. 11. 2019, 14:03:38 »

bezdrátově, napadají mě možnosti Wifi / Sigfox / GSM.

Asi nejlepší je ta Wifi, pokrytí by tam teoreticky být měl. GSM by také problém být neměl, těch dat zase tolik nebude.

Hm, tyhle věci máme myslím jenom v prototypech a zakázkově, ve volném prodeji myslím nic není.

Viděl jsem nějaké konkurenční produkty, myslím že právě na sigfoxu, ale teď si nevybavím název, to vygooglíš.

879

/dev/null / Re:Těžké OOP problémy

« kdy: 12. 11. 2019, 12:22:08 »

Cemu nerozumis? Ze mnozina obsahuje ruzne prvky?

Nepsal jsi, ze obsahuje ruzne prvky, ale ze obsahuje ruzne vlastnosti.

880

/dev/null / Re:Těžké OOP problémy

« kdy: 12. 11. 2019, 12:01:35 »

Čekám omluvu.

Za to, ze si z prstu cucas veci, ktere jsem nikdy nerekl, by ses mel omluvit ty, ne ja.

Takze znovu: cituje presne, nebo se omluv.

881

/dev/null / Re:Těžké OOP problémy

« kdy: 12. 11. 2019, 11:53:15 »

Mnozina vzdy obsahuje ruzne vlastnosti.

Tomu 1. moc nerozumim (je to prilis vagni) 2. nevim, jak to souvisi s tim, co jsem rekl.

Spis by me zajimalo, jake vlastnosti teda obsahuje ta tvoje mnozina, jake Haskell, jake ostatni jazyky.

IMHO žádná obecně přijímaná definice funkcionálního jazyka není. Ta množina featur je něco ve stylu https://en.wikipedia.org/wiki/Functional_programming#Concepts

882

/dev/null / Re:Těžké OOP problémy

« kdy: 12. 11. 2019, 11:48:03 »

Tvrdil jsi, že predikát je množinou vlastností.

Cituj presne nebo se omluv.

začal jsi tvrdit, že predikát je vlastnost

Cituj presne nebo se omluv.

883

/dev/null / Re:Těžké OOP problémy

« kdy: 12. 11. 2019, 11:00:04 »

mám návrhové vzory, u kterých je toho dohadování mnohem méně.

Ten pocit nesdilim

884

/dev/null / Re:Těžké OOP problémy

« kdy: 12. 11. 2019, 10:59:15 »

Jasně, mohl bych to přepsat do formule, ale nemám chuť pálit čas na někom, kdo neumí číst a důkazy chce výhradně po ostatních. Sorry.

Ale formuli po tobe nikdo nechce. Uplne bude stacit, kdyz udelas to, co jsem rekl: ukazal mi presne a podrobne, jak podle tebe C vyplyva z A a B.

BTW, budu velkorysy a prehlidnu to, ze jsi rekl, ze jsem neco tvrdil, zatimco ted rikas, ze to vyplyva z toho, co jsem rekl. To je docela brutalni manipulace, ale nechme to byt.

Takze jestli ti dobre rozumim, podle tebe z tvrzeni:

A: "být funkcionálním jazykem" je množina několika různých vlastností
B: Co je to vlastnost? Já mám za to, že predikát.

nejak vyplyva

C:  množina predikátů je predikát

Ja opravdu nevim, proc si to myslis.

Uplne staci neformalni strukturovany popis, jako napr.:

X: Kazdy clovek je smrtelny
Y: Sokrates je clovek
---
Z: Sokrates je smrtelny.

Tvrzeni X rika, ze pro kazde individuum i, pro ktere plati predikat byt_clovekem plati i predikat byt_smrtelny. Pokud predpokladame, ze je tvrzeni X pravdive a zaroven predpokladame, ze plati predikat byt_clovekem(sokrates), musi platit i predikat byt_smrtelny(sokrates).

Takhle to bohate staci.

885

/dev/null / Re:Těžké OOP problémy

« kdy: 12. 11. 2019, 10:20:03 »

To pak jasně vyplývá především odtud

Já tam to vyplývání nevidím. Můžeš mi ho ukázat přesně a podrobně?