Programovací jazyky

Byla vydána Agda verze 2.6.3. Přináší o 30% rychlejší typovou kontrolu (měřeno na standardní knihovně) a širší podporu reflexe (generování typů). Agda je funkcionální jazyk s typovým systémem, který umožňuje také formální verifikaci algoritmů a…

Mezi zajímavé vlastnosti knihovny Polars patří schopnost pracovat s daty, jejichž objem je větší než volná kapacita operační paměti. Protože se jedná o velmi důležitou vlastnost, budeme se touto technikou zabývat dnes.

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.

Ve druhé části seriálu o knihovně Polars, jejímž cílem je být výkonnější alternativou ke známé knihovně Pandas, se budeme převážně zabývat operacemi, které je možné provádět s datovými rámci (data frames).

Knihovna Pandas je v ekosystému Pythonu poměrně často používána například v oblasti zpracování dat a datových analýz. Mezi její nectnosti patří nižší výpočetní výkon i to, že zpracovávané datové rámce musí být uloženy v operační paměti.

V dalším článku o konzoli NES si ukážeme, jak namísto assembleru (nebo společně s assemblerem) využít i programovací jazyk C. Konkrétně si ukážeme použití překladače CC65 společně s knihovnou NESlib.

Společnost TIOBE zveřejnila svůj index oblíbenosti programovacích jazyků za leden 2023. Index se vytváří podle dotazů ve vyhledávačích Google, Bing, Yahoo, Wikipedii i ostatních. V minulém roce nejvíce rostlo C++ (4,62 %), pak C (3,82 %) a Python…

Jak jsme minule slíbil, tak dnes si ukážeme PHP Jet již čistě prakticky a to na nástroji Easy Deployer, který jsem někde mezi dováděním se synem, povídáním si s rodinou a pojídání cukroví znovu „napsal“ v nejnovější verzi PHP Jet.

Seznámíme se s frameworkem Capstone, což je univerzální disassembler podporující všechny mainstreamové architektury, jenž je implementován formou knihovny a je možné ho volat z různých programovacích jazyků.

Seznámíme se s možnostmi nabízenými frameworkem Keystone, který se velmi často používá společně s frameworkem Capstone. Keystone je implementován formou knihovny a proto ho lze použít z různých programovacích jazyků.

Mluvím hodně o modularitě, ale to může být dosti matoucí pojem, protože pojem „modul“ se vyskytuje v různých platformách a je chápan různě. Ovšem pojem microservices architecture to ve skutečnosti vystihuje mnohem lépe!

Seznámíme se s dalšími optimalizacemi, které je vhodné či nutné provádět na úrovni zdrojového kódu. Jedná se o předávání polí odkazem či hodnotou, optimalizace průchodu poli, řezy i mapami a taktéž použití synchronizace u gorutin.

Včera vyšlo PHP 8.2. Mezi novinkami jsou třídy jen pro čtení, rozšíření pro náhodná čísla, samostatné nové typy null, false a true a další. Opravena byla velká řada chyb, více detailů v kompletním přehledu změn. K dispozici je také návod, jak migrovat z 8.1 na 8.2. (zdroj: phoronix)

Seznámíme se se základními optimalizacemi, které je v některých případech vhodné či nutné provádět na úrovni zdrojového kódu. Některé dále zmíněné optimalizace jsou (zdánlivě) triviální, na druhou stranu ovšem opomíjené.

Představíme si možnosti poskytované nástrojem BaCon. Jde o transpřekladač jazyka BASIC (resp. jeho rozšířené podoby) do jazyka C. Tento nástroj je zajímavý proto, že umožňuje prostudovat různé aspekty a problémy transpřekladu.

V nedávném seriálu Pavla Tišnovského jsme se seznámili s vektorovými instrukcemi SIMD. V dnešním článku si ukážeme, jak jsem je použil při zrychlování konkrétního algoritmu.

Společnost Julia Computing, založená tvůrci jazyka Julia, se přejmenovala na JuliaHub podle svého hlavního produktu, cloudové platformy pro vědecké aplikace založené na Julii. Jak tvrdí Stefan Karpinski, jeden z tvůrců Julie a spoluzakladatel…

NSA včera vydala krátké upozornění na problém bezpečnost paměti. Celý dokument (PDF) má 7 stránek a zmiňuje používání jazyků, které bezpečně pracují s pamětí. Jako příklad jsou zmíněny C#, Go, Java, Ruby, Rust a Swift.  NSA cituje zdroje…

Dnes se seznámíme s rozšířeními instrukční sady, které se jmenují F16C, FMA a AVX-512. První dvě rozšíření jsou pojata minimalisticky, ovšem AVX-512 přidává velké množství instrukcí i registrů.

V dalším článku o jazycích z oblasti „array programmingu“ se ještě jednou vrátíme k jazyku APL. Ukážeme si, jak se v nových verzích APL (Dyalog APL) používá elegantní technika nazývaná point-free style nebo též tacit programming.

Dnes byla vydána verze Rustu 1.65.0. Kromě drobných syntaktických vylepšení a stabilizace některých API ve standardní knihovně stabilizuje generické přidružené typy (generic associated types, GAT), čímž jazyk získává o něco silnější typový systém…

V jazyku Go nalezneme podporu pro několik datových kontejnerů. Jedná se o pole, řezy a o mapy. Ovšem zdaleka zde nenalezneme všechny potřebné datové kontejnery. Jedním z nich je kontejner nazvaný deque neboli obousměrná fronta.

Minulý článek vyzněl jako kritika implementace korutin v C++20. Naopak si myslím, že je to skvěle vymyšlené s ohledem na užitečnost a vyjadřovací svobodu. Problémem je spíš neexistence implementačních pravidel.

V minulém díle jsem představil svou maličkost a vysvětlil jsem mé pohnutky proč jsem PHP Jet vytvořil a nastínil filozofii toho PHP8 frameworku. V dnešním díle již žádné teoretizování a hurá rovnýma nohama do praxe.

Dnes byla vydána verze 0.6.0 jazyka Idris 2. Přináší drobná rozšíření standardní knihovny, režimu REPL a odstraňuje bugy. Na rozdíl od jiných jazyků se závislostními typy (např. Agda, Coq a Lean) je Idris určen v první řadě pro psaní aplikací,…

K dispozici je finální vydání verze 3.11 populárního jazyka Python. Přináší významné zrychlení, lepší práci s výjimkami, lepší podporu typových anotací, vylepšenou syntaxi pro asynchronní tasky a podporu formátu TOML ve standardní knihovně. Hezký…

V dnešním článku se seznámíme s knihovnou nazvanou narray. Jedná se o knihovnu určenou pro programovací jazyk Go, která je navržena pro efektivní práci s n-rozměrnými poli s využitím ručně „vektorizovaného“ kódu napsaného v assembleru.

Když před zhruba dvěma roky konečně vyšla norma C++ verze 20, těšil jsem se, jako asi každý, jak si osahám a vyzkouším nové vlastnosti, které měly posunout jazyk zase trošku dál do budoucnosti.

Phoronix zveřejnil zprávu, že Linus Torvalds zařadil podporu jazyka Rust do nadcházejícího vydání linuxového jádra 6.1. Jedná se zatím o základní infrastrukturu obsahující integraci build systému a omezené bindingy pro základní vnitřní API jádra…

V pořadí již desátém článku věnovaném jazykům z oblasti „array programmingu“ se budeme věnovat jazyku, který se jmenuje Nial neboli Nested Interactive Array Language. Opět se přitom jedná o jazyk z rodiny odvozené od APL.