Programovací jazyky

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.

Vyšla verze 1.70.0 jazyka Rust. Protokol „sparse“ pro službu Cargo je nyní ve výchozím nastavení povolen pro čtení z crates.io. Tato funkce byla dříve stabilizována ve verzi 1.68.0, ale stále vyžadovala konfiguraci, aby bylo možné ji používat…

Dnešním článek začíná malá série ve které představím ORM, které je integrované ve framworku Jet. Před mnoha lety jsem byl alergický jen na slovo ORM. Proč? Protože práce s databází je nejužší hrdlo každé online aplikace.

Ukážeme si některé další možnosti použití cffi. Ukážeme si zpracování hlavičkových souborů, automatický překlad kódů z jazyka C do dynamicky linkované knihovny a předávání struktur či ukazatelů na struktury do funkcí psaných v C.

Python je dnes pravděpodobně nejrozšířenějším programovacím jazykem, k čemuž přispěl i fakt, že pro něj existuje obrovské množství balíčků. Mnoho z nich je ve skutečnosti jen lepidlo mezi Pythonem a nativními knihovnami.

Ukážeme si základní metody ovládání hráčů (postaviček) ve hrách, a to jak s využitím klávesnice, tak i pomocí joysticků připojených přes různá rozhraní: Kempston, Interface-2 atd.

Ve druhém pokračování miniseriálu o nástroji Numba si ukážeme především interní procesy, které Numba provádí při JITování kódu. Setkáme se tedy i s projektem LLVM, který je velmi populární, a to v mnoha oblastech.

Ukážeme si základní práci s klávesnicí ZX Spectra a seznámíme se s instrukcemi určenými pro čtení nebo zápis dat na vstupně-výstupní porty, což je z pohledu Z80 adresová oblast oddělená od prostoru pamětí ROM a RAM.

Vyšlo Pharo 11.0, programovací jazyk a vývojové prostředí s řadou pokročilých vlastností. Krom tradiční nadílky oprav přináší nová verze finalizaci založenou na Ephemerons, SIMD, efektivnější uzávěry, vylepšený debugger a podporu Gitu.

Ukážeme si trik pro blokový přenos dat, který spočívá v tom, že se přenáší vždy dvojice bajtů, což sice samo o sobě rychlejší není, ale Z80 nemusí načítat operační kódy instrukcí při přenosu každého bajtu.

Byla vydána nová verze programovacího jazyka Julia 1.9. Přináší například lepší předkompilaci balíčků, nativní typ Float16 nebo podporu architektury ARM na macOS v Tier 1. Julia je dynamicky typovaný jazyk pro vědeckotechnické výpočty, jehož…

Navážeme na práci s numerickými hodnotami s neomezeným rozsahem a budeme se zabývat knihovnou shopspring/decimal, která programátorům nabízí hodnoty s desítkovým exponentem v rozsahu –2^31 až 2^31–1 a libovolně rozsáhlou mantisou.

LFortran, moderní překladač jazyka Fortran, dostává s verzí 0.19.0 plně generické typy (šablony) včetně tzv. omezeného polymorfismu (templates/requirements). Fortran dosud neměl plnohodnotný polymorfismus, i když různé aspekty OOP byly do jazyka…

Společnost Modular představila nový jazyk nazvaný Mojo. Podle tvůrců je se jedná o nadmnožinu Pythonu, je rychlejší než C++ a stejně bezpečný jako Rust. Mojo cílí, stejně jako Julia, na vědecké výpočty, strojové učení a AI. Podobně jako Carbon…