Programovací jazyky

Byla vydána verze 1.18 jazyka Go. Mezi novinky patří typové parametry (a množiny), fuzzing, pracovní prostory pro práci na více modulech zároveň a podpora nového ABI na ARM64 a PowerPC64 vedoucí k přibližně 20% zrychlení. Go vzniklo v Googlu pro…

Článek je věnován dvěma důležitým tématům: přenosům dat a taktéž problematice provedení některých operací za předpokladu, že je splněna nějaká podmínka. AArch64 nabízí kromě podmíněných skoků i celou řadu dalších instrukcí s podmínkou.

Jazyk Mercury dostal experimentálně podtypy. V nejnovější beta verzi je možné od datových typů odvozovat nové typy, jež jsou matematicky podmnožinou rodičovského typu. Jedná se o obdobu dědičnosti známé z objektově orientovaného programování…

Ve druhém článku o specifických vlastnostech instrukční sady procesorů AArch64 si popíšeme především použití podmíněných i nepodmíněných skoků a taktéž způsoby adresování dat, například při provádění blokových operací.

Instrukční sada procesorů s architekturou AArch64 má některé zajímavé vlastnosti, s nimiž se můžeme postupně seznámit. Dnes si ukážeme několik plně funkčních příkladů založených na několika základních instrukcích.

Na blogu AWS (Amazon Web Services) vyšel před dvěma týdny článek o udržitelném programování s Rustem. Celosvětově data centra spotřebují podle IEA (International Energy Agency) za rok asi 200 TWh elektrické energie, což je asi 1 % celosvětové…

Byla vydána verze 1.59 jazyka Rust. Mezi novinky patří podpora asembleru přímo v kódu (inline, pomocí makra asm!), možnost zmenšit velikost přeložených binárek (například odstraněním metadat pro debugging) nebo implicitní hodnoty pro číselné typové…

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.