Programovací jazyky

Začiatkom augusta vyšla nová hlavná verzia programovacieho jazyka Nim 2.0. Bol upravený manažment pamäti, pribudla nová syntax a nové štandardné moduly. Viaceré moduly a nástroje boli reorganizované. Verzia 1.0 bola vydaná v septembri 2019. Nim je…

V úvodním článku o programovacím jazyku F# jsme si řekli, že základními stavebními kameny tohoto jazyka jsou neměnitelné hodnoty, funkce a datové typy. Dnes se na tyto koncepty podíváme podrobněji.

Zaměříme se na popis práce s nekonečnými sekvencemi s využitím generátorů a funkcí poskytovaných knihovnou funcy. Nekonečné sekvence jsou zajímavé například proto, že se u nich stírá rozdíl mezi daty a dynamickým kódem.

Microsoft oznámil v auguste zaujímavú novinku: programovací jazyk Python bude možno používať priamo v Exceli. Užívatelia tak budú môcť využiť populárne knižnice, ako sú Pandas alebo Matplotlib. V súčasnosti si môžu Python v Exceli môžu vyskúšať…

Před dvěma týdny oznámil časopis IEEE Spectrum (Institute of Electrical and Electronics Engineers) již desátý žebříček nejlepších programovacích jazyků. Pro typického IEEE člena je nejlepší Python, podobně jako loni. Jen oproti loňsku svoji pozici…

Po letech vývoje byl oficiálně vydán Lean 4. Jedná se o čistě funkcionální jazyk vycházející z ML. Lean 4 má moderní syntaktické konstrukce, efektivní správu paměti (bez tracing GC) a jednoduché FFI pro nativní kód. Kód se překládá do C a následně…

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é…