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.
Anonymovi tohle riziko nehrozi, muze si nadavat komu chceJediné nadávky jsi psal ty, navíc nevyprovokované (např. "onanista"), všichni ostatní psali věcně a bez urážek.
E. Moggi má definici liftingu v "An Abstract View of Programming Languages"Hezké, je tam definice i s kom. diagramem, akorát se v něm “liftuje” dolů
už jsem se na to chtěl vykašlat, ale ráno mi nějak pomalu startoval eclipse... E. Moggi má definici liftingu v "An Abstract View of Programming Languages"Tak už ho chudáka nechte, včera nakonec vytrolil sám sebe
...no a to je v rozporu s tím, že jste tvrdil, že "lift" je operace ledvin.Nevybavuji si, že bych něco takového tvrdil. A nemyslím, že byste si po tomto lživém tvrzení zasloužil, abych na nějaké další příspěvky reagoval.
Pokud to neumíte napsat formálně správněTak ještě jednou, já i v jsme na tu chybu upozornili (a napsali dostatečně jasně, proč je to chyba), na tom se shodneme. Jinak jak tu psali jiní, těžko můžete vyžadovat nějaké “formální vyjadřování”, když sám píšete vágně a popíráte vlastní slova. Ostatně podle příspěvků několika jiných uživatelů jste tu známá “firma”, když se sejde takováto násobná zpětná vazba (mimochodem ode všech napsaná slušně a v dobré víře), asi byste se měl nad svým chováním zamyslet. Nikomu tu asi nevadí, že se chcete donekonečna hádat, ale ono bez znalostí základní terminologie ani není o čem (domnívám se, že právě proto zmiňoval v to dostudování, aby vůbec byla možná nějaká rozumná diskuse - tímto ho prosím, ať mě opraví, mýlím-li se).
tak se prosím vraťme k našemu tématuNapsal jsem to dostatečně jasně. Pokud mi v nebo někdo jiný, kdo 1) zná FP a 2) umí slušně diskutovat řekne, že jsem někde udělal chybu nebo něco opomenul, rád se opravím nebo vysvětlení doplním. Jinak nemíním ztrácet čas.
To byla reakce na v, slušně se mě na něco zeptal a já mu slušně odpověděl. A jak je vidět výše, neměl problém pochopit, že když je v citaci “v”, je otázka adresována jemuDává Vám smysl to s tím liftem v bindu?Promiňte, ale nemám teď v plánu začínat nějakou jinou diskusi o něčem úplně jiném.
Já zas nemám rád, když někdo napíše "tak si to dostudujte"V tomto případě měl ale pravdu a napsal to slušně (a podle všeho v dobré víře, bez arogance), tak nebyl důvod sprostě ho urážet. Nemůžu mluvit za v, ale předpokládám, že na slušně položený dotaz by věcně reagoval a látku dovysvětlil. Po spršce urážek by se k tomu pochopitelně už neměl asi nikdo.
Jistě. Na té haskellí wiki (heslo Lifting) se (pro unární funkce) uvádí lift=fmap. A protože bind jeParadoxně naopak právě bind “liftuje”, takže ono to tvrzení je přesně naopak.můžete to rozvést?
(λx)(λf) join(fmap(f)(x))a -> m bm a -> m m bAno, všechny jsou příbuzné, myslím, že Vám nic zásadního neuniká.Ale zase abychom byli fér, ono těch "liftů" je několik, to pak mate.pokud pominu tu operaci se zdrojákem co zmiňoval Prýmek, tak vím o return/pure/unit, liftA, liftM a MonadTrans liftu, všechny mi připadjí příbuzné, uniká mi některá příchuť?
Nj, taky už dlouho pozoruju, že když se v diskuzi objeví Prýmek [...] Nevím co je to za zvláštní auru, ale když mám chuť se nasrat, přečíst pár jeho příspěvků funguje vcelku spolehlivě..Mně tedy k navození tohoto stavu mysli (nas...) stačí někteří z českých politiků a na Rootu bych se mu naopak rád vyhnul.
Takovým stylem vedení diskuse dotyčný většinou maskuje neznalosti nebo nejistotu (resp. obojí). Asi by mělo jít (bohužel jako v současné české politické diskusi) především o základní slušnost a etiku, tj. neurážet, neponižovat, přiznat chybu nebo neznalost. Ale jak je vidět, nakonec se neomalenost a hulvátství přece jen obrátí proti těm, co základní pravidla chování nedodržují - v politice i na Rootu.Tohle fórum jde vážně z kopce, normálně už se tady nedá diskutovat vůbec o ničem. Je to tady samý troll, onanista, troll, onanista. Jediná výjimka jsou některý témata, kde jsou dva onanisti vedle sebe....což je zvláštní, protože na jednu stranu se přesně nevyjadřuješ (čemuž se nedivím, toto není nejjednodušší látka), ale na stranu druhou po druhých to vyžaduješ nebo kvůli tomu shazuješ (a překrucuješ) jejich příspěvky
Nechtěl.Hodnota se liftuje, když se na ni zavolá lift0 (definice v tom odkazu).Chtěl jste říct "Hodnota se liftuje právě když se na ni zavolá lift0"?
V čem byla ta moje chyba?Protipříkladem bylo vyvráceno, že ve funkci předávané bindu musi být jakýsi lift. Teď by zase mohl převzít štafetu v, i když vlastně už není co dodat. No nic, Zeman taky nepřiznal, že ten Peroutkův článek o Hitlerovi neexistuje, a svět se nezbořil. Root se nezboří kvůli nějakému tvrzení o bindu a liftu (aspoň teda doufám). Třeba je ten lift “vlevo dole”
Trefné. Ale třeba ta diskuse nakonec přece jen nějak půjde.Výborně, tak přece jenom se nakonec snad dostaneme k normální diskusi, super! Možná by ještě pomohlo zmírnit ten nadřazený tón (nám to přijde triviální, ale ty to nedáváš) a dostaneme se skutečně na rovinu diskuse dospělých lidí.Možná by sis měl zamést před vlastním prahem. X-tou stránku se do nich navážíš (a chováš se tak běžně, viz naše diskuse o JS aj.), urážíš je a přitom jsou (minimálně Idris) konstruktivní a slušní. Tak se přestaň chovat jako trotl a diskutuj na úrovni, kterou se tváříš, že vyžaduješ. Prospěje to celýmu rootu. Dík
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.