Programovací jazyky

Dnes se seznámíme s několika balíčky ze standardní knihovny jazyka Python, které jsou určeny pro spouštění souběžných či dokonce paralelně běžících úloh. Zmíníme se i o způsobech komunikace mezi těmito úlohami.

Nyní již máme představu z čeho je aplikace poskládaná, v jakém prostředí běží, a nakonec také o tom, jak fungují její části a aplikace jako celek.

Nakladatelství The Pragmatic Programmers vydalo beta verzi knihy Effective Haskell od Rebeccy Skinnerové. Je určena středně pokročilým vývojářům zajímajícím se o funkcionální programování. Kniha se zaměřuje zejména na použití sofistikovaných…

Ve třetím článku o jazyce ML si ukážeme některé poněkud pokročilejší techniky. Seznámíme se s technikou curryfikace (curryingu), která je v ML podporována, podobně jako například v Haskellu.

Teď již víme, co je aplikace zač. Dále by bylo také dobré zjistit, jak aplikace jako celek a případně její komponenty fungují. Pro tento účel je součástí Actuator koncový bod health.

Ve druhé části článku (resp. celého miniseriálu) o programovacím jazyku ML se zaměříme především na podrobnější popis typového systému tohoto jazyka a taktéž na složitější funkce, které používají pattern matching.

Před neuvěřitelnými 49 lety vznikl první koncept jazyka ML. Jedná se o programovací jazyk, který byl v mnoha ohledech přelomový, a to díky svému typovému systému, jenž byl zkombinovaný s pattern matchingem.

Podívám se na podporu, kterou mně poskytuje framework Spring Boot v oblasti provozu aplikace. Framework tuto podporu skrývá pod označení Spring Boot Actuator, nebo také „Production-ready Features“.

AdaCore a Ferrous Systems oznámily společný projekt mající za cíl vyvinout vývojové nástroje pro Rust cílící na bezpečnostně kritické aplikace. AdaCore vyvíjí nástroje pro Adu a její formálně ověřitelnou podmnožinu SPARK. Společný projekt bude…

Na úvodní článek o knihovně Carmine, která umožňuje používat Redis v aplikacích naprogramovaných v Clojure, dnes navážeme. Ukážeme si mj. i komunikaci založenou na strategii publish-subscribe a taktéž použití front zpráv (queues).

Navážeme na předchozí články o využití šablonovacího systému v jazyce Go. Ukážeme si, jak je možné použít HTML šablony a jak je lze integrovat do služeb postavených na HTTP serveru.

Shikaku je jedna z japonských logických her, kterou publikoval časopis Nikoli. Jako obvykle se jedná o deskovou hru, kterou je možné hrát na čtvercové nebo obdélníkové desce.

Seznámíme se s využitím systému Redis v aplikacích naprogramovaných v Clojure. Použijeme přitom knihovnu Carmine. Kombinace Clojure a Redis nám umožní jednoduše zpracovávat strukturovaná data.

Ukážeme si, že datové struktury pole a mapa jsou v Message Packu heterogenní (což odpovídá původnímu textovému JSONu). Taktéž provedeme porovnání mezi formáty JSON, XML, BSON, gob a právě Message Packem.

Na Rootu již vyšlo více než dvacet článků o různých dialektech jazyků LISP a Scheme. Další dialekt, s nímž se seznámíme dnes, se jmenuje Femtolisp. Jedná se o LISP v tradičním pojetí, který je součástí překladače jazyka Julia.

Pro komunikaci mezi službami se v současnosti využívá relativně velké množství (serializačních) formátů. Ty můžeme rozdělit na formáty textové (JSON, XML) a binární. Mezi binární formáty patří i MessagePack.

Funkcionální jazyk Idris dostal novou verzi backendu pro JVM. Dohání tak oficiální verzi Idrisu 0.5.1, která vyšla v září 2021. Idris je čistě funkcionální jazyk se závislostními typy syntakticky podobný Haskellu. Jeho silný typový systém umožňuje…

Pro plnohodnotnou integraci jazyka Go s Pythonem je nutné umět předávat i hodnoty neprimitivních typů, zejména pole, řezy, struktury (záznamy) atd. S touto již poměrně složitější problematikou se částečně seznámíme v dnešním článku.

Aplikační události nemusí vytvářet pouze vaše aplikace. Stejně tak dělá Spring framework sám o svém běhu. Jejich přehled najdete v dokumentaci pod kapitolou Application Events and Listeners.

Poměrně často se můžeme setkat s požadavkem na propojení kódu psaného v Pythonu a v Go. Pro tento účel použijeme dvě technologie, které se samy nabízejí: cgo a ctypes. Ovšem uvidíme, že kvůli nim budeme muset „klesnout“ až na úroveň céčka.

Dnes se ve stručnosti seznámíme s multiplatformním integrovaným vývojovým prostředím, které se jmenuje Lazarus. Jedná se o takzvané RAD, přičemž vzhled, možnosti i chování do značné míry odpovídají slavnému vývojovému prostředí Delphi.

Dnes se ještě jednou budeme zabývat lexikální a syntaktickou analýzou v Go. Ukážeme si, jak detekovat některé problematické části kódu a taktéž způsob vyhodnocování aritmetických či logických výrazů s jejich mezipřevodem do RPN.

Ke konci roku již nemá smysl dohánět zpožděné projekty a na studium nových mainstreamových jazyků a technologií jsou novoroční předsevzetí. Proto si dnes popíšeme jazyky mimo mainstream. První z nich se jmenuje BQN, druhý ivy.

Byla vydána verze 3.1 jazyka Ruby. Nejvýznamnější změnou je přidání zabudovaného překladače YJIT, který výrazně zrychluje běh programů. Byl vyvinut firmou Shopify. Jazyk Ruby je dynamický a plně objektově-orientovaný, bez typové kontroly v době…

Pokud jste někdy přišli do styku s komunikací přes message broker s využitím vzoru publish-subscribe, pak vám systém aplikačních událostí ve Spring bude jistě hodně blízký.

Minule jsme se zabývali balíčky určenými pro lexikální a syntaktickou analýzu. Ukážeme si, jak rekurzivně procházet AST, realizaci algoritmu pro převod výrazů z infixové notace na notaci postfixovou i způsob detekce volání funkcí v AST.

V jednom z dřívějších článků o službách v distribuovaných systémech jsem se přiznal, že jsem silným zastáncem auditních záznamů o běhu aplikací. Tím rozumím informace o událostech, které se staly při běhu aplikace.

Ukážeme si, jak je možné s využitím standardní knihovny jazyka Go provádět lexikální i syntaktickou analýzu zdrojových kódů napsaných v Go, včetně konstrukce a zobrazení AST (abstraktního syntaktického stromu).

V osmdesáté první části seriálu o programovacím jazyce Go se seznámíme s dvojicí nástrojů určených pro statickou analýzu kódu a pro hledání potenciálních problémů. Tyto nástroje se jmenují gosec a go-critic.

K dispozici je veřejně přístupná beta verze Go 1.18. Největšími změnami je jsou nová volací konvence používající registry na jiných procesorových architekturách než amd64 a typové parametry a množiny umožňující plně generický kód. Nové přidaný…