LunarML: definice vlastních operátorů a pokročilý typový systém
Zdroj:
root.cz
16.06.2026 (00:00)
it, počítače
Popíšeme si a vyzkoušíme dvě možná nejdůležitější vlastnosti jazyka Standard ML: pokročilou možnost definice vlastních operátorů s volitelnou asociativitou i prioritou a taktéž definici rekurzivních datových typů. celý článek
Definice uživatelských datových typů v jazyku F#
Zdroj:
root.cz
14.11.2023 (00:00)
it-pocitace
Velká síla programovacího jazyka F# spočívá v principu deklarace nových datových typů. Podporován je algebraický typový systém, ale například i možnost deklarace tříd s jejich hierarchií.
Norská společnost Kongsberg vyvinula pokročilý PVO systém NOMADS
Zdroj:
zive.cz
24.06.2024 (11:45)
it-pocitace
Společnost Kongsberg Gruppen vyvinula pokročilý mobilní systém protivzdušné obrany NOMADS • Ten byl navržen tak, aby chránil vojenské jednotky při přesunech • NOMADS využívá modulární architekturu a je vybaven nejmodernějšími senzory a zbraněmi
LunarML: definice a volání různých variant funkcí
Zdroj:
root.cz
09.06.2026 (00:00)
it-pocitace
Nejprve se budeme zabývat definicí a voláním různých variant funkcí, včetně jejich curryfikace. Dále si ukážeme, jak jsou zpracovávány chyby a na závěr se ve stručnosti seznámíme s definicí uživatelských rekurzivních datových typů.
LunarML: až překvapivě kvalitní transpiler z jazyka Standard ML do jazyků Lua a JavaScript
Zdroj:
root.cz
02.06.2026 (00:00)
it-pocitace
Seznámíme se s projektem nazvaným LunarML. Jedná se o transpřekladač (transpiler) transformující zdrojové kódy zapsané v jazyce ML (resp. Standard ML) do programovacích jazyků Lua a JavaScript.
Sherpa A2M je pozoruhodný vysoce mobilní minometný systém
Zdroj:
zive.cz
08.07.2022 (11:45)
it-pocitace
Minometný systém Sherpa A2M má být adekvátní odpovědí na taktické výzvy současného válčení • Nabízí mobilitu, ochranu pro posádku, palebnou podporu pozemním jednotkám a také mobilní protibaterijní palbu • Součástí vybavení je i pokročilý systém pro řízení palby a intuitivní ovládání
Reflexe v programovacím jazyce Go
Zdroj:
root.cz
20.02.2025 (00:00)
it-pocitace
Typový systém jazyka Go je pro většinu menších aplikací velmi jednoduše použitelný a obvykle nevyžaduje žádné „ohýbání“. Ovšem existují situace, v nichž je nutné pracovat s hodnotami, jejichž typy nemusí být známé v době překladu.
Funkce a typový systém programovacího jazyka ML
Zdroj:
root.cz
10.02.2022 (00:00)
it-pocitace
Ve druhé části článku (resp. celého miniseriálu) o programovacím jazyku ML se zaměříme především na podrobnější popis typového systému tohoto jazyka a taktéž na složitější funkce, které používají pattern matching.
Kanada chce od USA pořídit protivzdušný systém pro Ukrajinu, píše Reuters
Zdroj:
ceskenoviny.cz
10.01.2023 (21:19)
it-pocitace
Mexiko - Kanada chce od Spojených států pro Ukrajinu pořídit pokročilý systém protivzdušné obrany. Podle agentury Reuters, která se odvolává na nejmenovaný vládní zdroj, to dnes kanadský...
AI prostoupí Windows. Pokročilý Copilot poběží na pozadí a budou se upscalovat video a hry
Zdroj:
zive.cz
15.12.2023 (14:45)
it-pocitace
Další hlavní verze Windows vyjde nejdříve v září 2024 •Nabídne mnoho novinek založených na AI •Patřit k nim budou pokročilý Copilot nebo časová osa
Kyjev a Washington pokročily v dohodě o nerostných surovinách, hotovo zatím není
Zdroj:
ceskenoviny.cz
24.04.2025 (18:57)
it-pocitace
Kyjev - Kyjev a Washington pokročily v přípravě dohody o americkém podílu na ukrajinském nerostném bohatství, ujednání ale tento týden ještě hotové nebude. Dnes to ve Washingtonu podle agentury Reuters...
Lidskoprávní organizace předají Sněmovně petici za nápravu definice znásilnění
Slevy na Samsungy, nové Motoroly a AirPods za korunu. Nabídky zařízení u operátorů v květnu
Coconut: zápis některých operátorů s využitím Unicode
Které programy instalujete na nový počítač jako první?
Vláda schválila změnu definice znásilnění, půjde o nesouhlasný pohlavní styk
Nové iPhony, Xiaomi s Leicou, slevy a předvánoční akce. Nabídky zařízení u operátorů v říjnu
Německý kanón Skynex je postrachem dronů na Ukrajině. Koupí si ho i první země NATO
Nabídky operátorů v prosinci: Vánoční akce, výhodné Xiaomi a Nokia s Hadem
Informace od operátorů pro ČT? To ne, řekli vládní právníci a navrhli další změny
Televizní nabídky operátorů na podzim 2025. Liší se počtem zařízení i videotékami
Tesla přeceňuje svého autopilota. Američané hledají rovnováhu mezi bezpečností a inovacemi
Volant Logitech G923 přináší pokročilý systém zpětné vazby. Ucítíte každou zatáčku
Pokročilý streaming založený na Apache Kafce, jazyku Clojure a knihovně Jackdaw
10 nejméně tragických tarifů českých operátorů. Pro radost nejsou, ale aspoň vás neoškubou
Nové Samsungy, slevy na Honor a tablet i AirPods za korunu. Nabídky zařízení u operátorů v únoru
Rakušan: Podle dat operátorů přišlo z Ukrajiny do Česka zhruba 200.000 lidí
Džungle tarifů a balíčků. Roční přehled nabídek českých televizních operátorů
[aktualita] ČTÚ: většina operátorů neplní nové povinnosti o skutečných a inzerovaných rychlostech
Nabídky operátorů v lednu: Nový Samsung, slevy na Xiaomi a lokátor pro domácí mazlíčky
Srovnání nabídek poskytovatelů placené televize. Jeden z operátorů snižuje kvalitu
Pokročilý streaming založený na Apache Kafce, jazyku Clojure a knihovně Jackdaw (2. část)
Předvánoční akce, výhodný scooter i hodinky za korunu. Nabídky zařízení u operátorů v listopadu
[aktualita] Cenový srovnávač nabídek operátorů pro ČTÚ vyrobí firma CHAPS
Přetěžování operátorů v programovacím jazyce C3
[článek] Sky Q: multimediální zábavní systém, který od našich operátorů neznáme
Slevy na Xiaomi, dětský segway a AirPods pro studenty. Nabídky zařízení u operátorů v září
Nabídky operátorů v listopadu: Výhodné Xiaomi, předvánoční akce a „dvojičky“
Letní akce, novinky Applu a sluchátka za korunu. Nabídky hardwaru operátorů v červnu
[článek] Novoroční přehled nabídek českých a slovenských operátorů
