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.
S množinami jsi začal ty, načež jsi začal tvrdit, že predikát je množina predikátů.Přesně cituj nebo se omluv.(...), protože "být funkcionálním jazykem" je množina několika různých vlastností (...)
Přesto nevím o žádné, která by splňovala to tvé hloupé tvrzení.Vzhledem k tomu, že si "moje tvrzení" cucáš z prstu, by tohle mohla být pravda.
Profesor Rosický byl jiného názoru.Mno, profesor Rosický, zřejmě narozdíl od tebe, moc dobře ví, že existují různé definice toho pojmu.
S množinami jsi začal ty, načež jsi začal tvrdit, že predikát je množina predikátů.Přesně cituj nebo se omluv.
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ě?Kite, abys nebyl naštvanej, že tady plevelíme vlákno o OOP... My tady totiž právě OOP probíráme!
Animal = {RespondsToMove}
Cat = {RespondsToMove, RespondsToMeow}
Dog = {RespondsToMove, RespondsToBark}
Animal_P(olgoi_khorkhoi) = true
RespondsToMeow(olgoi_khorkhoi) = false
RespondsToBark(olgoi_khorkhoi) = false
Animal_P(micka) = true
RespondsToMove(micka) = true
Cat_P(micka) = true
RespondsToMeow(micka) = true
Dog_P(micka) = false
RespondsToBark(micka) = false
Animal_P(tyrl) = true
RespondsToMove(tyrl) = true
Cat_P(tyrl) = false
RespondsToMeow(tyrl) = false
Dog_P(tyrl) = true
RespondsToBark(tyrl) = true
Animal_S = {olgoi_khorkhoi, micka, tyrl}
Cat_S = {micka}
Dog_S = {tyrl}
Animal je třída
Animal_P je predikát odpovídající třídě
Animal_S je množina individuí dané třídy
Tak to není pravda ani vzdáleně. Jednak přeskakuješ mezi "formalismes" a "sémantikou", což o kousek výše kritizuješ. Korektně se dá nanejvýš říct, že je mezi predikáty a množinami nějaký vztah, o definici ale rozhodně jít nemůže, protože ten vztah ani není 1:1. Tohle je hodně velký přešlap.Souhlas. "Definovat" bylo fakt idiotský slovo. Chtěl jsem prostě říct, že na predikát se taky můžeš dívat jako na množinu individuí pro který platí, to je celý, žádnou vědu za tím nehledej. Souvislost s modelem tam (v tomhle smyslu, jak jsem to myslel) nevidím, ale už jsem dost utahanej, radši už se budu poroučet než nad tím dál s tebou dumat
Ten ani neví, co to množina jeTo ale není žádná ostuda, protože to beztak neví nikdo
Proč tak složitě? Stačí říct, že každá funkce je instance součinového závislostního typu Πx:A.B(x), kde B nezávisí na x. A je to, nepotřebuješ množiny ani kartézský součinMnoziny tam potreboval Cikada
Jsem tu :-) S tim predikatem jsem to napsal spis jako popichnuti, protoze se vyjadrujes radoby akademickym jazykem a ve vysledku ten odstavec neni moc srozumitelny.Super! Vsechna cest, ze ses ozval a byl chlapsky uprimnej, klobouk dolu!
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...cili (tak jako vetsina vyrazu prirozeneho jazyka) i "funkcionalni jazyk" je proste fuzzy pojem. Pro nekoho je funkcionalni jenom Haskell a par jazyku, o kterych nikdy nikdo normalni neslysel, pro nekoho je funkcionalni jazyk i Javascript
(a proto IMHO neni moc moudry temahle pojmama nekoho mlatit po hlave )Tak pro zajimavost. [...]Ja bych to moc nekomplikoval. Jeste by se nedejmatkorpirodo mohl objevit nekdo, kdo by treba mohl ocitovat
Už jsme ji opravovali dva. Dokud nebudeš chápat rozdíl mezi `{a}` a `a`, tak to nemá smysl. Hlavně že si tu s Idrisem honíte trika.Nevim, jaky `{a}` a `a` mas namysli.
"být funkcionálním jazykem" je množina několika různých vlastností
"Byt funkcionalnim jazykem" neni mnozina, ale predikat.
Ne, všechno by bylo jednodušší, kdyby sis pamatoval, co píšeš, a přestal trollit.Cili doopravdy nemas zajem mou chybu opravit. Jenom trolis.
Typický vztah ale je, že predikát vyjadřuje, zdali něco (ne)má/(ne)splňuje nějakou vlastnost. Nepředpokládám, že bys to nevěděl.To nemuzu vedet, dokud nedefinujes, co je to vlastnost.
Odkdy je množina funkce?Odkdy je možné střílet káňata a mít přitom v Berouně maštal?
Bereme-li to tak, tak ok.Jinak to ani brat nejde.
Ne, myslím to, že predikát je většinou brán jako funkce, která vrací True/False.To je jiste jedna z moznych definic. Muzeme s ni dal pracovat, nejsem nejak zasadne proti. A jeste bysme teda potrebovali definici pojmu "vlastnost", abys mi mohl ukazat, kde jsem se zmylil.
Mozna lepsi nez vycet vlastnosti ktere potrebuje jazyk mit aby ho slo povazovat za funkcionalni by byl vycet vlastnosti ktere mit nesmi.Jj, přesně tak. Ty vlastnosti, o kterých mluvím, jsou negativní - jsou to omezení.
Co jinyho nesmim pridat?Třeba mutabilní struktury, sdílená data, ...
Nebo co musim odebrat z clojure, aby se stal ciste funkcionalnim?Side effecty. Mutabilní data, která se dají sdílet, má Clojure myslím taky, ne? (Nevím, celému lispovskému světu se záměrně dost vyhýbám, nesedí mi to)
Root.cz (www.root.cz), informace nejen ze světa Linuxu. ISSN 1212-8309
Copyright © 1998 – 2023 Internet Info, s.r.o. Všechna práva vyhrazena. Powered by Linux.
