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í
×
    dnes 14:00 | Zajímavý článek

    Byl publikován aktuální přehled vývoje renderovacího jádra webového prohlížeče Servo (Wikipedie).

    Ladislav Hagara | Komentářů: 0
    dnes 12:00 | Nová verze

    V programovacím jazyce Go naprogramovaná webová aplikace pro spolupráci na zdrojových kódech pomocí gitu Forgejo byla vydána ve verzi 12.0 (Mastodon). Forgejo je fork Gitei.

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

    Nová čísla časopisů od nakladatelství Raspberry Pi zdarma ke čtení: Raspberry Pi Official Magazine 155 (pdf) a Hello World 27 (pdf).

    Ladislav Hagara | Komentářů: 1
    včera 16:11 | Nová verze

    Hyprland, tj. kompozitor pro Wayland zaměřený na dláždění okny a zároveň grafické efekty, byl vydán ve verzi 0.50.0. Podrobný přehled novinek na GitHubu.

    Ladislav Hagara | Komentářů: 1
    včera 15:55 | Komunita

    Patrick Volkerding oznámil před dvaatřiceti lety vydání Slackware Linuxu 1.00. Slackware Linux byl tenkrát k dispozici na 3,5 palcových disketách. Základní systém byl na 13 disketách. Kdo chtěl grafiku, potřeboval dalších 11 disket. Slackware Linux 1.00 byl postaven na Linuxu .99pl11 Alpha, libc 4.4.1, g++ 2.4.5 a XFree86 1.3.

    Ladislav Hagara | Komentářů: 5
    16.7. 21:22 | IT novinky

    Ministerstvo pro místní rozvoj (MMR) jako první orgán státní správy v Česku spustilo takzvaný „bug bounty“ program pro odhalování bezpečnostních rizik a zranitelných míst ve svých informačních systémech. Za nalezení kritické zranitelnosti nabízí veřejnosti odměnu 1000 eur, v případě vysoké závažnosti je to 500 eur. Program se inspiruje přístupy běžnými v komerčním sektoru nebo ve veřejné sféře v zahraničí.

    Ladislav Hagara | Komentářů: 17
    16.7. 16:22 | IT novinky

    Vláda dne 16. července 2025 schválila návrh nového jednotného vizuálního stylu státní správy. Vytvořilo jej na základě veřejné soutěže studio Najbrt. Náklady na přípravu návrhu a metodiky činily tři miliony korun. Modernizovaný dvouocasý lev vychází z malého státního znaku. Vizuální styl doprovází originální písmo Czechia Sans.

    Ladislav Hagara | Komentářů: 25
    16.7. 15:33 | Upozornění

    Vyhledávač DuckDuckGo je podle webu DownDetector od 2:15 SELČ nedostupný. Opět fungovat začal na několik minut zhruba v 15:15. Další služby nesouvisející přímo s vyhledáváním, jako mapyAI asistent jsou dostupné. Pro některé dotazy během výpadku stále funguje zobrazování například textu z Wikipedie.

    bindiff | Komentářů: 8
    16.7. 13:33 | Bezpečnostní upozornění

    Více než 600 aplikací postavených na PHP frameworku Laravel je zranitelných vůči vzdálenému spuštění libovolného kódu. Útočníci mohou zneužít veřejně uniklé konfigurační klíče APP_KEY (např. z GitHubu). Z více než 260 000 APP_KEY získaných z GitHubu bylo ověřeno, že přes 600 aplikací je zranitelných. Zhruba 63 % úniků pochází z .env souborů, které často obsahují i další citlivé údaje (např. přístupové údaje k databázím nebo cloudovým službám).

    Ladislav Hagara | Komentářů: 5
    16.7. 00:11 | Nová verze

    Open source modální textový editor Helix, inspirovaný editory Vim, Neovim či Kakoune, byl vydán ve verzi 25.07. Přehled novinek se záznamy terminálových sezení v asciinema v oznámení na webu. Detailně v CHANGELOGu na GitHubu.

    Ladislav Hagara | Komentářů: 0
    Jaký je váš oblíbený skriptovací jazyk?
     (59%)
     (27%)
     (7%)
     (3%)
     (0%)
     (1%)
     (4%)
    Celkem 410 hlasů
     Komentářů: 16, poslední 8.6. 21:05
    Rozcestník

    Dotaz: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov

    hermes avatar 18.8.2019 21:05 hermes | skóre: 6 | blog: Elektro | BA
    Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
    Přečteno: 419×
    Robim si staticko dynamicky programovaci jazyk. Uz to generuje funkcny kod.

    ale chcel by som tam teraz doplnit odvodzovanie typov na styl Ocaml teda Hindley-Milner typovy system:
    #takto sa typ odvodzuje lahko:
    
    let foo = 5 # odvodi foo : int
    let bar = "Abc" # odvodi bar : string
    
    # ale co toto:
    
    # baz by mala mat typ: int -> int
    let baz = func a -> a + 2
    let qux = func a -> a + a 
    
    # zavolame funkciu s ciselnym parametrom
    qux 2
    
    # zavolame funkciu zo stringovym parametrom
    qux "Hahaha"
    
    Pri tom poslednom priklade je uz otazka, ci by ta funkcia nemala byt polymorficka, alebo ci sa ma inferovat podla prvej pouzitej hodnoty a pri druhej vyhodit chybu.

    Viete mi v skratke vysvetlit, alebo odkazat ma na priklad, clanok, ci rovno hotovu kniznicu ako ten Hindley-Milner typovy system funguje?

    Samozrejme je mi jasne ze v urcitych situaciach automaticke odvodzovanie typov fungovat nebude a vtedy compiler vyhodi chybu a editor "vyzve" programatora, aby tam vlozil typovu anotaciu.

    Taktiez tam bude kedyword auto, ktorym sa vytvori nova premenna typu dynamic ktora bude moct obsahovat data hociakeho typu. Ale to sem nechcem teraz do toho pliest.
    auto x = 12 
    # premenna typu dynamic

    Odpovědi

    18.8.2019 22:17 debian+
    Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
    18.8.2019 22:19 debian+
    Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
    hermes avatar 19.8.2019 11:32 hermes | skóre: 6 | blog: Elektro | BA
    Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
    Vecer precitam.

    Ale nasiel som si velmi nazorny a jednoduchy demonstracny priklad. Teraz som v praci preluskam to vecer dik za odkazy.
    19.8.2019 19:43 debian+
    Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
    Nechces sa podelit.
    hermes avatar 20.8.2019 11:54 hermes | skóre: 6 | blog: Elektro | BA
    Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
    Jaj jasné. Tu je
    19.8.2019 02:36 Sten
    Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
    Přijde mi to jako generické lambdy v C++. Tam je to implementované pomocí šablon.
    19.8.2019 15:57 debian+
    Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
    Inac, Tvoj jazyk kompilovaci alebo intepretacny?
    hermes avatar 20.8.2019 12:09 hermes | skóre: 6 | blog: Elektro | BA
    Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
    Kompilovaný kompiluje sa do vyššieho programovacieho jazyka (do akého zatiaľ nenapíšem) a z neho do LLVM -> a natívneho kódu alebo aj JS (cez Emscripten) . Nechcem zatiaľ písať podrobnosti kým to nebude v takej fáze, že budem môcť dať von nejakú funkčnú verizu. A mať hotový aj web s podrobným manuálom a blog s nejakým tutorálom a pluginy do najpoužívanejších editorov (Zatiaľ mám plugin len pre VSCode)

    Už to generuje funkčný kód, ale stále to má ďaleko od dokončenia. A kôli typom sa to asi posunie minimálne o mesiac.
    20.8.2019 12:43 debian+
    Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
    To si si mal premysliet na zaciatku, aku chces silno typovy jazyk. Tak to riesis teraz za behu.
    hermes avatar 20.8.2019 18:06 hermes | skóre: 6 | blog: Elektro | BA
    Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
    Máš pravdu že by bolo lepšie keby som mal hneď od začiatku jasnú predstavu čo od jazyka chcem. A podľa toho napísal zadanie a bod po bode podľa neho napísal aplikáciu.

    Ale vlastne som to zo začiatku ani sám nevedel. Mal som pár nápadov a hmlisté predstavy ako ich zrealizovať. Ale presnú predstavu o typovom systéme som zo začiatku nemal, len som vedel že typová kontrola bude primárne statická, no zároveň chcem (hlavne kôli OOP pridať aj typ dynamic. V dnešnej dobe sa hodí oboje...

    Lebo keď si pozrieš vačšie projekty tak často sa skladajú z časti napísanej v staticky typovanom jazyku ako C++ a potom to zlepia nejakým dynamickým jazykom ako LUA alebo Python.
    21.8.2019 17:25 Miloslav Ponkrác
    Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
    O typovém systému je opravdu potřeba rozhodnout na začátku.

    Statický typový systém vede k jiným řešení. Dynamiku nad typy pak přidávají přetěžováním podprogramů a generickým programováním. Side effect statického typování je efektivita dat - není třeba k hodnotě přidávat typ, ani ho runtimově řešit.

    Dynamický typový systém na to jde opačně. Primárně ke každé hodnotě přiletí runtimově i typ. Když chce dynamický typový systém napodobit statické typování - jednoduše přidá constraint na datový typ k proměnné, parametrům funkcí, apod.

    Musíte se rozhodnout. Vše má svá pro a proti.

    Měl byste vědět, jakou filozofii jazyka požadujete, a k čemu ten váš programovací jazyk má sloužit. Podle toho odvodíte i ostatní.
    hermes avatar 20.8.2019 18:11 hermes | skóre: 6 | blog: Elektro | BA
    Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
    Zadanie resp todo list si robím pred každou vačšiou časťou toho jazyka a potom doňho pridávam ďaľšie nápady ako to vylepšiť, niečo naopak škrtnem, alebo občas niečo prepíšem a nad všetkým silno premýšlam, aby z toho vznikol jeden konzistentný celok a aby som priniesol aj nejaké nové nápady.
    20.8.2019 19:29 Kit | skóre: 45 | Brno
    Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
    Je dobré mít těch jazykových konstruktů co nejméně, aby ten jazyk nebyl moc složitý. Také co nejvíc funkcionalit vytlačit do knihoven a v jádře ponechat jen nezbytné minimum.
    Komentáře označují místa, kde programátor udělal chybu nebo něco nedodělal.
    21.8.2019 17:27 Miloslav Ponkrác
    Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
    Jazyk klidně může být složitý, když to vyžaduje jeho účel. Knihovny nemohou řešit vše, jen tak mimochodem.

    Napsat oholený a blbý jazyk nemusí být vždy cílem.
    23.8.2019 14:15 Kit | skóre: 45 | Brno
    Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
    Nevidím rozpor. Snad jen v tom, že jazyk by určitě neměl být složitý, což historie potvrzuje.
    Komentáře označují místa, kde programátor udělal chybu nebo něco nedodělal.
    23.8.2019 17:54 Miloslav Ponkrác
    Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
    Ani já nevidím rozpor. Jednoduchost/složitost by neměla být cílem.

    Funkcionální jazyky obvykle bývají směšně jednoduché.
    20.8.2019 19:20 Kit | skóre: 45 | Brno
    Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
    Vodopádový model se moc neosvědčil. Agilní přístup je pro takové projekty výhodnější. Na slepé uličky se prostě narazí dříve.
    Komentáře označují místa, kde programátor udělal chybu nebo něco nedodělal.
    21.8.2019 17:20 Miloslav Ponkrác
    Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
    Agilní přístup je na houby, pokud potřebujete věci promyslet. Z agilního přístupu nikdy nevznikle ani dobrý programovací jazyk ani dobrá knihovna ani dobrý operační systém.

    Agilní přístup plodí jen nalepováky na nalepováky.
    22.8.2019 04:48 Kit | skóre: 45 | Brno
    Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
    A vodopádový přístup se v dnešní době dá použít snad jen v korporacích, ale i tam je zoufale neefektivní.
    Komentáře označují místa, kde programátor udělal chybu nebo něco nedodělal.
    23.8.2019 13:48 Miloslav Ponkrác
    Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
    Jedno je nad slunce jasné: Použít jakoukoli agilní metodiku při návrhu nového programovacího jazyka, navíc v jedné osobě - je ptákovina na kvadrát.

    Návrh programovacího jazyky potřebuje především dokonale promyšlené základy a vlastnosti jazyka - což je v kontadiktu a opozici k jakékoli agilní metodice.
    23.8.2019 14:20 Kit | skóre: 45 | Brno
    Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
    V žádném případě to není ptákovinou. Napsal jsem už několik jazyků tímto způsobem, které dodnes plní svůj účel.
    Komentáře označují místa, kde programátor udělal chybu nebo něco nedodělal.
    23.8.2019 16:55 Miloslav Ponkrác
    Rozbalit Rozbalit vše Re: Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
    Je to ptákovina, pokud chcete napsat DOBRÝ a PROMYŠLENÝ jazyk.

    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.