Programovací jazyky

Jazyk F# není jediným jazykem z rodiny ML, který se používá v praxi. Setkat se můžeme i s jazykem OCaml, který se od F# v některých ohledech odlišuje. Jeho výhodou je čistší návrh, nevýhodou pak může být ekosystém tohoto jazyka.

Před neuvěřitelnými 50 lety vznikl první koncept jazyka ML, který byl v mnoha ohledech přelomový. Jazykem ML se inspiroval nejenom jazyk OCaml, ale taktéž programovací jazyk F#, o němž dnes začíná na Rootu seriál.

Koncom augusta oslávil jazyk Groovy svoje 20 narodeniny. Groovy je flexibilný, dynamický programovací jazyk určený pre Java platformu. Jazyk môžeme použiť na tvorbu klasických aplikácií alebo skriptov. Groovy nepatrí medzi populárne programovacie…

Seznámíme se s projektem nazvaným MakeCode Arcade, který je založený na technologii Blockly. V MakeCode Arcade lze vytvářet i sofistikované 2D hry, vše přitom vyžaduje pouze minimální až žádné znalosti programování.

Knihovna funcy, s níž jsme se začali seznamovat minule, nabízí možnost zpracování sekvencí, ať již sekvencí konečných či nekonečných. Dnes se seznámíme s nejužitečnějšími funkcemi určenými pro zpracování sekvencí.

Po letech vývoje byla vydána verze 4 RC (release candidate) jazyka Lean od Microsoft Research. Jde o čistě funkcionální jazyk s unikátní efektivní a plně automatickou správou paměti („functional but in-place“) založenou na počítání referencí…

Po preview jazyka Mojo, který byl přístupný pouze přes webové rozhraní, vydává nyní společnost Modular první beta verzi SDK. Prozatím jen na pozvání, ale začátkem září bude SDK dostupné veřejně. Jazyk Mojo je nadmnožina Pythonu se statickou…

Ve čtvrtém článku o podpoře funkcionálního programování v jazyku Python se zaměříme na popis knihovny nazvané funcy, která do Pythonu přináší další užitečné funkcionální techniky, mezi než patří currying funkcí a taktéž kompozice funkcí.

V předchozím článku jsme si ukázali, jak lze na obrazovku ZX Spectra vykreslit sprite definovaný svojí maskou. Ovšem prozatím není čas na jásání, protože naše vykreslovací rutina má mnoho nedostatků.

Eclipse OpenJ9 (dříve IBM J9) vyšlo minulý týden ve verzi 0.40. OpenJ9 je nezávislá implementace JVM, která je optimalizovaná pro menší zařízení. Pro zařízení s malou RAM je tu nově parametr  -XX:codecachetotalMaxRAMPercentage. OpenJ9…

Ve třetím článku o funkcionálním programování v Pythonu si popíšeme většinu funkcí, které nalezneme v knihovně functools. Taktéž se zmíníme o podpoře dekorátorů, což je další funkcionální technika převedená do Pythonu.

Poměrně velké množství užitečných a úspěšných aplikací používá pro komunikaci s uživatelem textové rozhraní. Dnes se seznámíme s některými knihovnami určenými pro tvorbu TUI v jazyce Go.

Včera vyšel první release kandidát Python 3.12.0 rc1. Díky několika zlepšením (například PEP709) je celkově o asi 5 % rychlejší než Python 3.11. Vylepšené jsou také chybové hlášky. Více detailů najdete na oficiálních stránkách. Ostrý Python…

Ve druhém článku o podpoře funkcionálního programování v jazyku Python se zaměříme na použití uzávěrů (closure), jejichž existence částečně plyne ze sémantiky Pythonu i z toho, že funkce jsou plnohodnotnými typy.

Ukážeme si užitečný balíček, který v kooperaci s překladačem a linkerem jazyka Go umožňuje vkládat data do výsledného spustitelného souboru. To zjednodušuje nasazení aplikace a zmenšuje míru „instalačních“ chyb.

Python je multiparadigmatickým jazykem, což znamená, že lze psát prakticky čistě imperativně, ale i objektově. Navíc v Pythonu nalezneme poměrně velké množství vlastností převzatých z funkcionálních jazyků.

V prakticky každé hře se setkáme s pohybujícími se objekty. Vykreslování takových objektů na ZX Spectru je poměrně složité kvůli specifické organizaci grafické paměti a systému barvových atributů.

Možná někoho napadne, co je to za bláznivý nápad, proč by si někdo psal novou databázi. Není to zbytečná práce? Proč nesáhnout po něčem existujícím? Databází máme přehršel. Na druhou stranu, proč ne.

Na konci prázdnin se bude konat setkání vývojářů jazyka Idris. Jedná se o jazyk pro kritické aplikace s důrazem na bezpečnost a spolehlivost kódu. Formální verifikace například zajištuje v době překladu absenci všech běhových chyb. Idris je…

Ukážeme si striktní režim Mypy i to, jak se pracuje s generickými datovými typy. Popíšeme si výpis typů zvolených symbolů či všech lokálních proměnných v průběhu statické typové analýzy a zmíníme se o neměnitelných hodnotách.

Ve středu vyšlo Go 1.21 RC2. V RC1 se totiž objevila chyba, ta byla opravena a vydáno bylo hned RC2. Mezi hlavní změny patří PGO (profile based optimization). To už bylo k testování v Go 1.20, ale v 1.21 již bude k ostrému nasazení. Stačí mít…

Ještě jednou se vrátíme ke zvukovému čipu řady AY-3–8910. Ukážeme si průběhy i frekvenční charakteristiku signálů, které lze naměřit na zvukovém výstupu ZX Spectra. Nezapomeneme ani na možnost tvorby šumu a práci s obálkou.

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.

Koncem loňského roku vyšel Python 3.11, který přinesl asi 40 % zrychlení oproti předchozím verzím díky PEP 659 (Specializing Adaptive Interpreter). Toto zrychlení se označuje jako tier 1. Python 3.12 by měl vyjít letos v říjnu a 3.13 až v druhé…

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).

V sedmnácté části seriálu o vývoji her a dalších aplikací pro slavné ZX Spectrum si ukážeme, jakým způsobem lze produkovat zvuky či hudbu s využitím zvukového čipu řady AY-3–8910, tedy slavného „ayčka“. To bylo součástí ZX Spectra 128k i některých dalších rozšíření (Melodik atd.).

Standardní knihovna C++ v LLVM používá pro třídění čísel uint32, uint64 a float ručně optimalizované funkce v assembleru sort3, sort4 a sort5. Skupina umělé inteligence DeepMind v Google chtěla stávající implementaci urychlit a pojala úlohu jako…

Ve třetí části článku o propojení Pythonu s nativními knihovnami s využitím balíčku cffi se budeme zabývat tím, jakým způsobem je možné do funkce naprogramované v jazyku C předat pole s prvky různých typů.

Cesta, která vedla od prvních reproduktorů k dnešním výkonným zvukovým čipům umožňujícím tvorbu prostorových několikakanálových zvuků a hudby založené na wavetable syntéze, byla poměrně dlouhá a především zajímavá.

S každou další verzí C++ lze víc a víc algoritmů přesunout do constexpr „domény“, kde se výpočty provádí během překladu a v runtime se již používají výsledky. Často ale vstupem do takového výpočtu je hodnota získaná až v runtime.