Příspěvky

901

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

« kdy: 11. 11. 2019, 20:19:35 »

Zkus aspoň tu wikipedii

Myslíš třeba tohle?

predicates have many different uses and interpretations in mathematics and logic, and their precise definition, meaning and use will vary from theory to theory.

aby sis všiml, že jsi napsal kravinu. [...] že mu to ani typově nesedí

I pro tebe platí to, co jsem psal gillovi: budu vděčnej každýmu, když v něčem, co jsem napsal, najde faktickou chybu a faktograficky ji opraví, s odkazem na relevantní zdroj. Upřímně ti za to předem děkuju, pakliže by ses rozhodl to udělat.

902

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

« kdy: 11. 11. 2019, 16:27:15 »

Myslel jsem si, že tu budeme propírat OOP. Místo toho se tu hádají stoupenci FP o slovíčka. Nechcete si to vyříkat ve vlastním vlákně?

Sorry. OP uz se neozval, tak jsem predpokladal, ze pani ucitelka vyhlasila volnou zabavu

Slibuju, ze jestli mi ondrama odpovi na https://forum.root.cz/index.php?topic=22043.msg320247#msg320247 zalozim na to samostatne tema.

903

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

« kdy: 11. 11. 2019, 16:17:27 »

Čím víc pruhů...

Tak tak.

Cim vic pruhu ... tim vetsi mindfuck

Nejdřív mu objasni rozdíl mezi syntaxí a sémantikou formálních jazyků, potažmo mezi dokazatelností a splnitelností (v teorii modelů), až to pochopí (včetně korektnosti a úplnosti), bude moct s tebou diskutovat Časem se třeba dopracuje až k modální logice, její emulaci v LPŘ a třeba i vyšším řádům a rozdílu mezi obecnou a standardní sémantikou. Druhá možnost je, že se na něj vys…š

To nebude potreba. Cikada rad argumentuje tim, ze definici vyznamu slov urcuji jazykove prirucky, tak treba v nejake z nich definici tech pojmu najde

904

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

« kdy: 11. 11. 2019, 16:07:45 »

To není problém. Však se taky většinou říká, že jazyk "má funkcionální konstrukce", těch čistých je minimum. Přesně podle definice.

No právě že těch čistých je minimum. Běžně se říká, že Erlang, Elixir, Clojure, ... jsou funkcionální jazyky a přitom ani jeden by takovou přísnou definici nesplňoval... Proto myslím, že jsou to spíš "shades of grey" - čím víc těch "vlastností funkcionálních jazyků" splňuje, tím víc je to funkcionální jazyk... Erlang a Elixir třeba celkem všechny, až na side effecty, takže tím padá i RT.

905

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

« kdy: 11. 11. 2019, 16:03:18 »

Ahoj, chtěl bych se poradit jak jednoduše odečítat stav plynoměru bez toho, aby k němu člověk musel chodit.
Konkrétně se jedná o běžný model od Elster BK-G4 (https://www.gas.cz/elster-plynomer-bk---g4-dvouhrdlovy-roztec-100-mm/produkt/8050/371/?gclid=EAIaIQobChMI25Lg68_h5QIVj0TTCh3thgxmEAQYASABEgLAePD_BwE).

Hlavní potíž je v tom, že podmínkou je bezdrátový odečet a jako zdroj napájení by měla stačit velká autobaterie se solárním panelem. Majitel pozemku neumožňuje to jakkoli zadrátovat.

Máte někdo nějaký nápad?
Děkuji.

Bezdrátové odečítače plynoměrů naše firma dělá: https://www.energomonitor.com/cz/#8

Otázka je, kam a jak bys ta data chtěl dostat, když nesmíš použít žádné dráty.

906

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

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

Já si nic myslet nemusím, máme definice. Třeba ti to Idris vysvětlí.

Ok. Definice pojmu "predikát" a pojmu "vlastnost" jsou teda podle tebe jaké?

907

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

« kdy: 11. 11. 2019, 15:56:51 »

Pak je ten seznam, na který odkazuješ, k prdu, když obsahuje mezi sebou se implikující položky. Co je teda kromě ref. průhlednosti nedílnou součástí FP? Vážně, fakt mě nic nenapadá.

Spíš naopak: pokud by byla RP podmínkou, pak nebude "funkcionální jazyk" skoro nic. Zůstane ti jenom Haskell a pár těch akademických pokusných jazyků...

908

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

« kdy: 11. 11. 2019, 15:31:36 »

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

Ne, to teda není.

Proč si to myslíš?

909

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

« kdy: 11. 11. 2019, 15:25:57 »

Mohly bysme [...]

OMG! Sorry. Ne, fakt nemám problém s identitou, to jsem asi jenom už myslel na to "bysme", když jsem to psal

910

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

« kdy: 11. 11. 2019, 15:10:40 »

Hmm, IMHO jde jen o referenční průhlednost (což zahrnuje “pure” funkce a datové struktury).

To máš určitě pravdu, referenční transparentnost implikuje ledasco

Typy a funkce vyšších řádů s tím nijak přímo nesouvisí, to má i Fortran.

To bych řekl, že je podmínka nutná, ne postačující. Bez ní si funkcionální jazyk moc neumím představit.

911

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

« kdy: 11. 11. 2019, 15:06:20 »

"Byt funkcionalnim jazykem" neni mnozina, ale predikat.

Dobrá připomínka, pojďme si ji teda rozebrat.

Zaprvé jsem nenapsal množina [čehokoli], ale  "množina vlastností". Co je to vlastnost? Já mám za to, že predikát. Souhlas? Podle mě teda vlastně nastoluješ otázku, jestli 1. dává vůbec smysl mluvit o množině predikátů 2. jestli je množina predikátů predikát. Souhlas?

Pokud v obojím souhlasíš, tak bych teď navrhoval takovou menší instrumentální odbočku, kde dám slovo zase tobě, ať z toho máme hezký dialog:

1. Mějme (aktuálně) konečné (jakkoli třebas potenciálně nekonečné) univerzum individuí. Řekněme třebas programovacích jazyků v daném čase a světě. Individua značme tradičně I.

2. Mějme predikát P nad množinou I, který říká, že dané individuum má nějakou vlastnost. Třeba že programovací jazyk "je funkcionální".

3. Mějme množinu "funkcionálních jazyků" M.

Co bys řekl o vztahu mezi P a M? Mohly bysme v nějakém smyslu říct, že P a M jsou izomorfní? Rozeber a zdůvodni.

912

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

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

Ta stěžejní vlastnost je jen jedna. Nebo co je ta údajná množina?

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

913

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

« kdy: 11. 11. 2019, 08:24:10 »

Ze zdejších konverzací však mám pocit, jako kdyby Haskell byl jediným správným funkcionálním jazykem.

To je asi spíš proto, že Haskell je dobrý jako příklad, protože "být funkcionálním jazykem" je množina několika různých vlastností, různé jazyky splňují různé její podmnožiny a Haskell splňuje asi všechno - tj. je hodně čistě funkcionální. Například Erlang nebo Elixir (a AFAIK i Lispy) mají side effecty, což moc funkcionální není.

Zároveň je Haskell ještě relativně dobře známý, protože se často učí na školách. Příklady pro Agda nebo Idris by byly srozumitelné výrazně menšímu počtu lidí.

914

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

« kdy: 10. 11. 2019, 15:56:08 »

A teď hejt FP

915

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

« kdy: 10. 11. 2019, 14:46:20 »

a můžeme se vrátit třeba k hejtování OOP.

Challenge accepted!