Luau: rozšíření jazyka Lua o statické typové kontroly a typovou inferenci (dokončení)
Zdroj:
root.cz
20.08.2026 (00:00)
it, počítače
Na úvodní článek o typovém systému v projektu Luau dnes navážeme a celé téma dokončíme. Vysvětlíme si podrobnosti o typovém systému, včetně hierarchie datových typů, generických funkcích a funkcích spouštěných při typové analýze. celý článek
Luau: rozšíření jazyka Lua o statické typové kontroly a typovou inferenci
Zdroj:
root.cz
18.08.2026 (00:00)
it-pocitace
Jazyk Lua je postaven dynamickém typovém systému, v němž jsou typy vztaženy k hodnotám a nikoli k proměnným či parametrům funkcí. Pro rozsáhlejší projekty je však výhodnější využívat statické typové kontroly.
Statické typové kontroly zdrojových kódů Pythonu prováděné nástrojem Mypy (2.část)
Zdroj:
root.cz
20.06.2023 (00:00)
it-pocitace
Ukážeme si práci s typově bezpečnými slovníky, typovou inferencí, práci s typově bezpečnými funkcemi (Callable) a ve druhé polovině pak převod aplikace bez určení datových typů ke kódu s doplněnými typovými informacemi.
Nástroje pro statické typové kontroly v ekosystému jazyka Python
Zdroj:
root.cz
05.05.2026 (00:00)
it-pocitace
Dnes se budeme zabývat třemi nástroji, které v ekosystému jazyka Python dokážou provádět statické typové kontroly: Mypy, Pyright a Ty. Liší se od sebe jak kvalitou výsledků, tak i přehledností či rychlostí.
Statické typové kontroly zdrojových kódů Pythonu prováděné nástrojem Mypy
Zdroj:
root.cz
15.06.2023 (00:00)
it-pocitace
Nástroj Mypy se společně s dalšími podobnými nástroji (Pyright, Pyro) používá pro statickou typovou kontrolu zdrojových kódů v Pythonu. Ten totiž podporuje zápis typových anotací resp. nápověd (hints).
Moonscript: jazyk inspirovaný CoffeeScriptem určený pro ekosystém jazyka Lua (dokončení)
Zdroj:
root.cz
18.11.2021 (00:00)
it-pocitace
Dnes dokončíme popis možností jazyka Moonscript, který je transpilován do jazyka Lua. Ukážeme si použití řezů, programových smyček vracejících hodnoty, deklaraci tříd či tzv. destructuring.
Komunikace se sloupcovými databázemi z jazyka Go: Parquet soubory (dokončení)
Zdroj:
root.cz
19.11.2020 (00:00)
it-pocitace
[35 minut čtení] Dnes dokončíme popis přímé manipulace s Parquet soubory v jazyce Go s využitím knihovny parquet-go. Zaměříme se především na rychlost přístupu, protože právě vyšší rychlost čtení dat je hlavní výhodou sloupcových databází. 1. Komunikace se sloupcovými databázemi z jazyka Go: Parquet soubory (dokončení)
Standardní šablonovací systém jazyka Go (dokončení)
Zdroj:
root.cz
14.12.2021 (00:00)
it-pocitace
V dnešním článku dokončíme popis standardního šablonovacího systému jazyka Go, který je představován knihovnou text/template. Jedná se o až překvapivě výkonný a taktéž rozšiřitelný systém umožňující například volání uživatelských funkcí.
Tvorba grafů a diagramů s využitím doménově specifického jazyka nástroje Graphviz (dokončení)
Zdroj:
root.cz
06.07.2021 (00:00)
it-pocitace
[41 minut čtení] Ve třetím článku o nástroji Graphviz si ukážeme další triky, například vykreslení tabulek, hledání cest, zvýraznění automaticky nalezeného podgrafu atd. Taktéž si popíšeme některé užitečné aplikace, které jsou nad Graphviz postaveny, včetně pradávného vektorového editoru xfig. 1. Tvorba grafů a diagramů s využitím doménově specifického jazyka nástroje Graphviz (dokončení)
Nvidii chce v provozu AI konkurovat i firma pohánějící velkou část chytrých telefonů. Podívejte se na její kontroverzní techniku
Zdroj:
lupa.cz
18.03.2026 (06:30)
it-pocitace
Qualcomm AI200 má být další konkurent pro inferenci umělé inteligence. V tréninku už není moc prostoru a v inferenci se otevírá prostor i pro jiné hráče než Nvidii.
Vývoj pro osmibitovou herní konzoli NES s využitím překladače jazyka C (dokončení)
Zdroj:
root.cz
19.01.2023 (00:00)
it-pocitace
V poslední části seriálu o vývoji her pro historickou osmibitovou herní konzoli NES dokončíme popis tvorby her a dalších aplikací pro NES s využitím překladače programovacího jazyka C společně s knihovnou NESlib.
BaCon: transpřekladač z jazyka BASIC do jazyka C
SQLite-vec: vektorové rozšíření databáze SQLite
Rozšíření instrukční sady SSE2 v programech psaných v assembleru (dokončení)
Převody zdrojových kódů z jazyka C do jazyka Go
Technologie WebAssembly a GopherJS: předávání argumentů mezi Go a JavaScriptem (dokončení)
Basilisp: interpret programovacího jazyka Clojure integrovaný s Pythonem
Moonscript: jazyk inspirovaný CoffeeScriptem určený pro ekosystém jazyka Lua
SIMD instrukce v rozšíření SSE
Lexikální a syntaktická analýza zdrojových kódů jazyka Go (dokončení)
Těžké loučení. Bitevní vrtulníky typu Mi-24 sloužily v ČSLA od roku 1978
Rozšíření instrukční sady AVX-512 na platformě x86–64 (dokončení)
Využití Redisu z jazyka Clojure pomocí knihovny Carmine (dokončení)
Testování aplikací s využitím nástroje Hypothesis (dokončení)
Dlouho očekávaná novinka v Go 1.8 – generické datové typy (dokončení)
pgvector : vektorová databáze postavená na Postgresu
Calysto Hy: integrace programovacího jazyka Hy s Jupyter Notebookem
Programovací jazyk R: vektory ve funkci základního datového typu jazyka
Standardní šablonovací systém jazyka Go
Go v roli skriptovacího programovacího jazyka
Druhý cizí jazyk je zásadní pro rozvoj žáků i země, míní odbornice
Funkce a typový systém programovacího jazyka ML
Xarray: sémantické rozšíření n-rozměrných polí z knihovny NumPy (dokončení)
Vláda prodloužila kontroly na hranicích se Slovenskem, budou ale mírnější
Lexikální a syntaktická zdrojových kódů jazyka Go
ULua: univerzální distribuce programovacího jazyka Lua
EndBASIC: moderní reinkarnace klasického jazyka BASIC
Projekt Gambit – další kvalitní interpret i překladač programovacího jazyka Scheme
Kombinace programovacího jazyka C3 s assemblerem
evitaDB: základy dotazovacího jazyka evitaQL
Elm: kombinace možností ML jazyka s prostředím JavaScriptu
Přetěžování operátorů v programovacím jazyce C3
Učebnice jazyka Java pro samouky III
Tokenizace textu: základní operace při zpracování přirozeného jazyka
