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í
×
    včera 19:44 | Zajímavý článek

    Před 32 lety, 6. června 1993, byl spuštěn první český WWW server (ještě pod TLD .cs), pro potřeby fyziků zabývajících se problematikou vysokých energií.

    Ladislav Hagara | Komentářů: 0
    včera 16:11 | Zajímavý software

    Střílečku Borderlands 2 lze v rámci výprodeje série Borderlands na Steamu získat zdarma napořád, když aktivaci provedete do 8. června 19:00.

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

    Byla vydána nová verze 2.22 svobodného video editoru Flowblade (GitHub, Wikipedie). Přehled novinek v poznámkách k vydání. Videoukázky funkcí Flowblade na Vimeu. Instalovat lze také z Flathubu.

    Ladislav Hagara | Komentářů: 0
    5.6. 15:00 | Komunita

    Canonical Launchpad vypíná systém správy verzí Bazaar. Vývojáři mohou své repozitáře do 1. září přemigrovat na Git.

    Ladislav Hagara | Komentářů: 5
    5.6. 13:22 | Nová verze

    Byla vydána nová verze 2.53.21 svobodného multiplatformního balíku internetových aplikací SeaMonkey (Wikipedie). Přehled novinek v poznámkách k vydání.

    Ladislav Hagara | Komentářů: 3
    5.6. 12:33 | Komunita Ladislav Hagara | Komentářů: 16
    5.6. 11:22 | Komunita

    Na Indiegogo byla spuštěna kampaň na podporu linuxového telefonu Liberux NEXX s osmijádrovým procesorem Rockchip RK3588S, 32 GB LPDDR4x RAM a 6.34″ 2400×1080 OLED displejem. Cena telefonu je 1 310 eur.

    Ladislav Hagara | Komentářů: 4
    5.6. 11:11 | Komunita

    Miro Hrončok vyhrál volby do Fedora Council. Mezi sedmi kandidáty, kteří se ucházeli o dvě křesla, nakonec získal nejvíce hlasů - 1089. Česká komunita má tak po delší době opět zástupce v nejvyšším orgánu Fedory.

    Ladislav Hagara | Komentářů: 0
    5.6. 04:33 | Zajímavý software

    Redox OS (Wikipedie), tj. mikrokernelový unixový operační systém naprogramovaný v programovacím jazyce Rust, nově podporuje X11 a GTK 3.

    Ladislav Hagara | Komentářů: 0
    5.6. 02:55 | IT novinky

    Dnes po celém světě startuje prodej herní konzole Nintendo Switch 2.

    Ladislav Hagara | Komentářů: 7
    Jaký je váš oblíbený skriptovací jazyk?
     (55%)
     (33%)
     (7%)
     (2%)
     (0%)
     (0%)
     (3%)
    Celkem 218 hlasů
     Komentářů: 14, poslední 2.6. 08:30
    Rozcestník

    Administrace komentářů

    Jste na stránce určené pro řešení chyb a problémů týkajících se diskusí a komentářů. Můžete zde našim administrátorům reportovat špatně zařazenou či duplicitní diskusi, vulgární či osočující příspěvek a podobně. Děkujeme vám za vaši pomoc, více očí více vidí, společně můžeme udržet vysokou kvalitu AbcLinuxu.cz.

    Příspěvek
    18.8.2019 21:05 hermes | skóre: 6 | blog: Elektro | BA
    Rozbalit Rozbalit vše Vlastny funkcionalny jazyk - automaticke odvodzovanie typov
    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

    V tomto formuláři můžete formulovat svou stížnost ohledně příspěvku. Nejprve vyberte typ akce, kterou navrhujete provést s diskusí či příspěvkem. Potom do textového pole napište důvody, proč by měli admini provést vaši žádost, problém nemusí být patrný na první pohled. Odkaz na příspěvek bude přidán automaticky.

    Vaše jméno
    Váš email
    Typ požadavku
    Slovní popis
    ISSN 1214-1267   www.czech-server.cz
    © 1999-2015 Nitemedia s. r. o. Všechna práva vyhrazena.