abclinuxu.cz AbcLinuxu.cz itbiz.cz ITBiz.cz HDmag.cz HDmag.cz abcprace.cz AbcPráce.cz
AbcLinuxu hledá autory!
Inzerujte na AbcPráce.cz od 950 Kč
Rozšířené hledání
×
eParkomat, startup z ČR, postoupil mezi finalisty evropského akcelerátoru ChallengeUp!
Robot na pivo mu otevřel dveře k opravdovému byznysu
Internet věcí: Propojený svět? Už se to blíží...
dnes 13:30 | Zajímavý software

Byly uvolněny zdrojové kódy známé rogue-like hry DoomRL. Počátky hry jsou v roce 2002. Je napsána ve FreePascalu a zdrojový kód je nyní k dispozici na GitHubu pod licencí GNU GPL 2.0. Autor pracuje na nové hře Jupiter Hell, která je moderním nástupcem DoomRL a na jejíž vývoj shání peníze prostřednictvím Kickstarteru.

Blaazen | Komentářů: 0
dnes 13:15 | Pozvánky

Přijďte s námi oslavit vydání Fedory 25. Na programu budou přednášky o novinkách, diskuse, neřízený networking atd. Release Party se bude konat 16. prosince v prostorách společnosti Etnetera. Na party budou volně k dispozici také propagační materiály, nová DVD s Fedorou 25 a samozřejmě občerstvení. Přednášky budou probíhat v češtině. Pro více informací se můžete podívat na web MojeFedora.cz. Jen připomínám, že tentokrát jsme zavedli

… více »
frantisekz | Komentářů: 0
včera 16:38 | Komunita

Byly zveřejněny videozáznamy přednášek a workshopů z letošní konference OpenAlt konané 5. a 6. listopadu v Brně. K videozáznamům lze přistupovat ze stránky na SuperLectures nebo přes program konference, detaily o vybrané přednášce nebo workshopu a dále kliknutím na ikonku filmového pásu. Celkově bylo zpracováno 65 hodin z 89 přednášek a workshopů.

Ladislav Hagara | Komentářů: 0
včera 11:30 | Komunita

Bylo oznámeno, že bude proveden bezpečnostní audit zdrojových kódů open source softwaru pro implementaci virtuálních privátních sítí OpenVPN. Audit provede Matthew D. Green (blog), uznávaný kryptolog a profesor na Univerzitě Johnse Hopkinse. Auditována bude verze 2.4 (aktuálně RC 1, stabilní verze je 2.3.14). Audit bude financován společností Private Internet Access [reddit].

Ladislav Hagara | Komentářů: 4
včera 06:00 | Komunita

Na YouTube byl publikován Blender Institute Reel 2016, ani ne dvouminutový sestřih z filmů, které vznikly za posledních 10 let díky Blender Institutu. V institutu aktuálně pracují na novém filmu Agent 327. Dění kolem filmu lze sledovat na Blender Cloudu. Videoukázka Agenta 327 z června letošního roku na YouTube.

Ladislav Hagara | Komentářů: 0
včera 01:02 | Zajímavý článek

Minulý týden byly vydány verze 1.2.3 a 1.1.7 webového poštovního klienta Roundcube. V oznámení o vydání bylo zmíněno řešení bezpečnostního problému nalezeného společností RIPS a souvisejícího s voláním funkce mail() v PHP. Tento týden byly zveřejněny podrobnosti. Útočník mohl pomocí speciálně připraveného emailu spustit na serveru libovolný příkaz. Stejně, jak je popsáno v článku Exploit PHP’s mail() to get remote code execution z roku 2014.

Ladislav Hagara | Komentářů: 1
8.12. 16:00 | Nová verze

Byla vydána verze 0.98 svobodného nelineárního video editoru Pitivi. Z novinek lze zmínit například přizpůsobitelné klávesové zkratky. Videoukázka práce s nejnovější verzí Pitivi na YouTube.

Ladislav Hagara | Komentářů: 1
8.12. 15:00 | Zajímavý software

Stop motion je technika animace, při níž je reálný objekt mezi jednotlivými snímky ručně upravován a posouván o malé úseky, tak aby po spojení vyvolala animace dojem spojitosti. Jaký software lze pro stop motion použít na Linuxu? Článek na OMG! Ubuntu! představuje Heron Animation. Ten bohužel podporuje pouze webové kamery. Podpora digitálních zrcadlovek je začleněna například v programu qStopMotion.

Ladislav Hagara | Komentářů: 5
7.12. 21:21 | Nová verze Ladislav Hagara | Komentářů: 0
7.12. 11:44 | Zajímavý projekt

Na Indiegogo byla spuštěna kampaň na podporu herní mini konzole a multimediálního centra RetroEngine Sigma od Doyodo. Předobjednat ji lze již od 49 dolarů. Požadovaná částka 20 000 dolarů byla překonána již 6 krát. Majitelé mini konzole si budou moci zahrát hry pro Atari VCS 2600, Sega Genesis nebo NES. Předinstalováno bude multimediální centrum Kodi.

Ladislav Hagara | Komentářů: 2
Kolik máte dat ve svém domovském adresáři na svém primárním osobním počítači?
 (32%)
 (24%)
 (29%)
 (7%)
 (5%)
 (3%)
Celkem 808 hlasů
 Komentářů: 50, poslední 29.11. 15:50
Rozcestník
Reklama

Dotaz: Jak může funkce pomocí typu ovlivnit, jak bude komponovaná do výrazu

11.12.2015 06:10 tacoberu | skóre: 3
Jak může funkce pomocí typu ovlivnit, jak bude komponovaná do výrazu
Přečteno: 411×
Následující popis bude dosti vágní, a dost možná i dost zmatený, protože když by byl konkrétní a ujasněný, tak mám odpověď :-)

Předpokládejme, že máme funkci (rename src desc), která přejmenovává nějaký soubor.

Teď já tuto funkci zavolám dejme tomu třikrát, asi takhle:
(randomseq
	(rename "a.txt" "b.txt")
	(rename "b.txt" "c.txt")
	(rename "c.txt" "d.txt")
	)
Z logiky věci (ačkoliv tento příklad není úplně ideální) nám záleží na pořadí těch příkazů. Ale jak naznačuje název té sekvence, tak mi nic nezabrání, abych ty tři funkce nacpal do sekvence, která pořadí příkazů nezaručuje. Což je samozřejmě blbě.

A mě se jedná o to, jak, pomocí typů můžu zajistit, abych takovou blbost, viz víše nemohl udělat. Znám IOMonády z Haskellu. Jestli je chápu dobře, tak mám naférovku typ sekvence, která zajišťuje seřaditelnost. A pak mám řečeno, že ta funkce může být použita jen a pouze v této sekvenci. Správně?

Jsou i jiné možnosti?

Jen pro zajímavost, nad čím dumám:

Tak například jsem při své úvaze vymyslel, že ta funkce rename, krom dvou jmen souborů bude mět ještě argument IO přijímající stav filesystému. A návratová hodnota bude výsledný stav filesystému. (To aby to bylo pure funkcionální.) Můžu si vymyslet typ, který bude fungovat jako singleton, takže jakákoliv další funkce, která chce pracovat s filesystémem musí tuto hodnotu "pustit", aby s tím mohla jiná funkce pracovat. Což se mi líbí. Hezky to řeší synchronizaci. Ale už to neřeší pořadí. Jak může funkce pomocí svého typu ovlivnit, jak bude komponovaná do výrazu?

Odpovědi

11.12.2015 11:36 graviton
Rozbalit Rozbalit vše Re: Jak může funkce pomocí typu ovlivnit, jak bude komponovaná do výrazu
Jazyk? Něco lispoidního? Zřejmě se někomu pokoušíš sdělit, že funkce rename má vedlejší efekty. Komu? Kompilátoru? Uživateli?

http://stackoverflow.com/questions/7254514/would-the-ability-to-declare-lisp-functions-pure-be-beneficial <-jakási diskuse o tom, co by znamenalo deklarovat funkcionální čistotu vůči kompilátoru

http://www.cs.sfu.ca/CourseCentral/310/pwfong/Lisp/4/tutorial4.html <- v lispu se dá programovat i imperativně, když má člověk chuť

Jistě je možné stav fs něčím reprezentovat a předávat si to. Nejsou monády zrovna o tom?

Co je přesně cílem? Zabránit uživateli jazyka, aby si střelil do nohy?
11.12.2015 14:23 tacoberu | skóre: 3
Rozbalit Rozbalit vše Re: Jak může funkce pomocí typu ovlivnit, jak bude komponovaná do výrazu
Jazyk? Něco lispoidního?
Žádný konkrétní jazyk, jen jsem chtěl popsat problém, a zvolil jsem lispovsko syntax.
Zřejmě se někomu pokoušíš sdělit, že funkce rename má vedlejší efekty. Komu? Kompilátoru? Uživateli?
Kompilátoru. Ale ono není jisté, zda se jedná o vedlejší efekt, když výsledek vracím v návratové hodnotě.
Jistě je možné stav fs něčím reprezentovat a předávat si to. Nejsou monády zrovna o tom?
Jsou. A existuje i jiný způsob?

A navíc, mě ani nejde tak o ten stav, jako spíše o tu nutnost zachovat pořadí (a ano, i o tom právě monády jsou).
Co je přesně cílem? Zabránit uživateli jazyka, aby si střelil do nohy?
Defakto ano. Přesněji potřebuji kompilátorovi říct: "Hele, až tohle budeš optimalizovat, tak nezapomeň zachovat pořadí."
11.12.2015 16:45 graviton
Rozbalit Rozbalit vše Re: Jak může funkce pomocí typu ovlivnit, jak bude komponovaná do výrazu
Ok, takže obecná úvaha o návrhu programovacího jazyka či prostředí.
není vedlejší efekt, když výsledek vracím v návratové hodnotě.
(rename "a.txt" "b.txt")
Výsledkem je přejmenování souboru na souborovém systému, ten typ návratové hodnoty bych chtěl vidět. :-)

Leda by to právě "stav souborového systému" žralo na vstupu a zas ho to vyhazovalo na výstupu.

Alternativně viz jedna z těch linkovaných úvah o "pure deklaraci" mít u všech knihovních funkcí informaci o jejich čistotě (absenci vedlejších efektů) a dokazovací systém, který si pro uživatelem zadefinovanou věc umí odvodit jestli je čistá nebo ne a bude přerovnávat jen ty čisté. Pak to může dělat takové legrácky, že bude výsledky pure funkcí cachovat, což může některé rekurzivní programy dost zrychlit (memoizace).
11.12.2015 17:14 tacoberu | skóre: 3
Rozbalit Rozbalit vše Re: Jak může funkce pomocí typu ovlivnit, jak bude komponovaná do výrazu
Ok, takže obecná úvaha o návrhu programovacího jazyka či prostředí.
Tak.
není vedlejší efekt, když výsledek vracím v návratové hodnotě.
(rename "a.txt" "b.txt")
Výsledkem je přejmenování souboru na souborovém systému, ten typ návratové hodnoty bych chtěl vidět. :-)

Leda by to právě "stav souborového systému" žralo na vstupu a zas ho to vyhazovalo na výstupu.
Ano, ano, takto jsem to myslel. "Plná" deklarace té funkce by byla něco jako: (rename io src desc) -> io
Alternativně viz jedna z těch linkovaných úvah o "pure deklaraci" mít u všech knihovních funkcí informaci o jejich čistotě (absenci vedlejších efektů) a dokazovací systém, který si pro uživatelem zadefinovanou věc umí odvodit jestli je čistá nebo ne a bude přerovnávat jen ty čisté. Pak to může dělat takové legrácky, že bude výsledky pure funkcí cachovat, což může některé rekurzivní programy dost zrychlit (memoizace).
Chápu to dobře, že to "jiné" řešení spočívá v tom, že se taková funkce prostě jenom označí, že u ní záleží na pořadí? Hmm, a jak může kompilátor zjistit, že víše uvedenou konstrukci nesmí přeložit? Mě napadá právě jen to, že sekvence randomseq má typovou signaturu, že přijímá pouze pure funkce (přesněji, funkce, které deklarovali, že jim na pořadí nezáleží). Myslíš to taky tak? Existují ještě jiné způsoby (krom těch monád)?
15.12.2015 09:58 ava
Rozbalit Rozbalit vše Re: Jak může funkce pomocí typu ovlivnit, jak bude komponovaná do výrazu
No nevím, přijde mi nějaké pochybné na tohle používat typový systém.

- Píšeš "Z logiky věci (ačkoliv tento příklad není úplně ideální) nám záleží na pořadí těch příkazů". Tady to tak vypadá - ale jen zdánlivě. Co kdyby jsi se pokoušel ve skutečnosti použitým kódem implementovat nějaký program na (pseudo)náhodné rozmetání souborů na disku (třeba šéfovi, který ti nezvýšil výplatu ?) Chceš, aby takový program nebylo možné implementovat?

- Pokud to zakóduješ do typového systému, ztratíš možnost typově bezpečně vytvářet takové sekvence za běhu (z uživatelského vstupu).

Aniž bych tomu rozuměl, možná bys mohl nějakou inspiraci načerpat zde

https://en.wikipedia.org/wiki/Substructural_type_system
15.12.2015 14:28 tacoberu | skóre: 3
Rozbalit Rozbalit vše Re: Jak může funkce pomocí typu ovlivnit, jak bude komponovaná do výrazu
No nevím, přijde mi nějaké pochybné na tohle používat typový systém.

- Píšeš "Z logiky věci (ačkoliv tento příklad není úplně ideální) nám záleží na pořadí těch příkazů". Tady to tak vypadá - ale jen zdánlivě. Co kdyby jsi se pokoušel ve skutečnosti použitým kódem implementovat nějaký program na (pseudo)náhodné rozmetání souborů na disku (třeba šéfovi, který ti nezvýšil výplatu ?) Chceš, aby takový program nebylo možné implementovat?
Ano, to si uvědomuji, proto jsem řekl, že ten příklad není ideální. Jde mi o něco takového:
main :: IO ()
main file = do
    putStr $ "Write to file: " ++ file
    h <- openFile file AppendMode
    hPutStr h anytext
    hClose h
    putStrLn "... done"
Kdy mi na tom pořadí záleží, a nemůžu tolerovat, aby mi to překladač přeházel pořadí. Ale je fakt, že ani tady volaný neovlivňuje pořadí. Možná jsem se v tom jen zamotal.
- Pokud to zakóduješ do typového systému, ztratíš možnost typově bezpečně vytvářet takové sekvence za běhu (z uživatelského vstupu).
Tak né nutně. Od toho ten typový system je, že určuje co mohu dělat. A když to určím blbě, tak je to chyba programátora funkce, ne uživatele. Za link díky, nastuduji.
15.12.2015 11:14 ava
Rozbalit Rozbalit vše Re: Jak může funkce pomocí typu ovlivnit, jak bude komponovaná do výrazu
Jinak (IO) Monády ti podle mě nijak nepomůžou v tom, co chceš (i když mi tedy není moc jasný co vlastně chceš). IO Monády jsou vlastně akce, které mohou v okolním světě vykonat nějakou IO operaci, a případně z ní vrátit výsledek (např. getLine je typu IO String). Navíc je (pomocí funkce >>=, taktéž zvané bind nebo flatMap) možné vytvořit novou IO monádu z již existující IO monády a funkce, která z výsledku vraceného existující monádou udělá novou.

Příklad (print zjednodušuji tak, aby bral String, ve skutečnosti bere Show a):

getLine :: IO String

print :: String -> IO String

getLine >>= print :: IO String

getLine >>= print vrací IO monádu, která nejprve zavolá getLine, a na výsledek zavolá print.

Pro tebe je důležitý use case s funkcí rename. Jak by jsi dosáhl to, co potřebuješ, když to bude IO monáda?

Jakého vlastně má být typu (zanedbám možnost selhání rename)?
  • IO () - přejmenuje ale nic nevrátí?
  • IO String - bude vracet název přejmenovaného souboru?
  • IO ???
Pokud to bude první případ, nic tě nenutí mít monády v nějakém konkrétním pořadí - nepodařilo se ti dosáhnout to, co chceš.

Pokud to bude druhý případ, můžeš ve skutečnosti vyjádřit vzájemnou vazbu mezi přejmenováními takto:

rename(rename(rename("a.txt", "b.txt"), "c.txt"), "d.txt")

Teďka ovšem chvilka k zamyšlení - k čemu mi vlastně byla IO monáda, když jsem toho samého mohl dosáhnout v obyčejném C - úplně přesně stejně, jak jsem právě napsal nahoře? :) Bohužel, žádný bonus oproti primitivnímu imperativnímu jazyku nepřinesla ...
15.12.2015 14:42 tacoberu | skóre: 3
Rozbalit Rozbalit vše Re: Jak může funkce pomocí typu ovlivnit, jak bude komponovaná do výrazu
Tady se dostáváme k tomu, že vysvětlujeme Monády na místo mého problému, ale neva.

Já chápu monády jako formu DSLka.

Například zajímavé užití je Promise, kde určíš, co se má provést, ale neurčuješ kdy. (Tam mimochodem taky záleží na pořadí.)

U IO monády je zase jiný požadavek, že specifikuješ co se má stát, ale vlastní vykonání se předá runtime.
Teďka ovšem chvilka k zamyšlení - k čemu mi vlastně byla IO monáda, když jsem toho samého mohl dosáhnout v obyčejném C - úplně přesně stejně, jak jsem právě napsal nahoře? :) Bohužel, žádný bonus oproti primitivnímu imperativnímu jazyku nepřinesla ...
Zásadní hendikep monád je fakt blbej zápis. Dlouho se na to zvyká. Bonus je v separaci kódu od reality.

Když zapíšeš:
rename(rename(rename("a.txt", "b.txt"), "c.txt"), "d.txt")
v céčku a zavoláš, tak ti to pokaždý přejmenuje soubor a.txt, (a když nebude, tak to chcípne). Jenže ty to chceš třeba jen otestovat, nebo to přejmennovat na jiném fs, nebo to přejmenovat v transakci, etc. V takovém případě ti imperativní C začne házet klacky pod nohy. (A to nemluvě o tom, když bych to chtěl strojově číst a chápat. Třeba kůli dokazování nějaké bezpečnosti a tak. Ale to už jsme jinde.)

Takže přejdeš na objekty a uděláš něco jako:
fs = new IO()
fs.rename(fs.rename(fs.rename("a.txt", "b.txt"), "c.txt"), "d.txt")
fs.commit()
A to už jsi jen krůček od Monád.
15.12.2015 14:46 tacoberu | skóre: 3
Rozbalit Rozbalit vše Re: Jak může funkce pomocí typu ovlivnit, jak bude komponovaná do výrazu
Teďka ovšem chvilka k zamyšlení - k čemu mi vlastně byla IO monáda, když jsem toho samého mohl dosáhnout v obyčejném C - úplně přesně stejně, jak jsem právě napsal nahoře? :) Bohužel, žádný bonus oproti primitivnímu imperativnímu jazyku nepřinesla ...
Zkoušel jsem přepsat do imperativního jazyka Either a Maybe monádu. A je to v nich strašně ale strašně ukecaný.
15.12.2015 17:25 tacoberu | skóre: 3
Rozbalit Rozbalit vše Re: Jak může funkce pomocí typu ovlivnit, jak bude komponovaná do výrazu
Pro tebe je důležitý use case s funkcí rename. Jak by jsi dosáhl to, co potřebuješ
Moje představa, se kterou si pohrávám je něco takového:
rename (io = getcontext, src:String, dsc: String): String, setcontext(io)
Kdy jakože io je argument s defaultní hodnotou, která se získá načtením z contextu, uvnitř té funkce s ním pracuji jako s dalším argumentem, když chci, můžu ten argument použít. Po zavolání té funkce, se ten argument nahradí za hodnotu v kontextu. Takže při volání ten IO nemusím vůbec používat.
(rename src dsc)
Jenže mi to ty Monády příliš připomíná, tak jsem se začal ptát.

Cílem je udělat čitelnější a pohodlnější zápis těchto druhů funkcí.
15.12.2015 14:40 ava
Rozbalit Rozbalit vše Re: Jak může funkce pomocí typu ovlivnit, jak bude komponovaná do výrazu
Co se v praxi občas používá, a třeba by se ti mohlo hodit, jsouPhantom types.

Např. http://stackoverflow.com/questions/28247543
15.12.2015 14:47 tacoberu | skóre: 3
Rozbalit Rozbalit vše Re: Jak může funkce pomocí typu ovlivnit, jak bude komponovaná do výrazu
Dík, kouknu.

Založit nové vláknoNahoru

Tiskni Sdílej: Linkuj Jaggni to Vybrali.sme.sk Google Del.icio.us Facebook

ISSN 1214-1267   www.czech-server.cz
© 1999-2015 Nitemedia s. r. o. Všechna práva vyhrazena.