Programovací jazyky

Vyšlo Pharo 10.0, programovací jazyk a vývojové prostředí s řadou pokročilých vlastností. Nová verze přináší především lepší modularizaci a pročištění, díky kterému se podařilo zmenšit velikost image o 10 %. Podrobnosti naleznete v poznámkách k vydání.

V řadě Undergraduate Topics in Computer Science nakladatelství Springer vychází kniha OCaml Scientific Computing s podtitulem Functional Programming in Data Science and Artificial Intelligence. Věnuje se numerickým a symbolickým vědeckým výpočtům a…

Dnes si popíšeme knihovny nazvané Curio a Trio. Jsou postavené nad relativní novinkou v Pythonu: klíčovými slovy async a await. Jejich cílem je zjednodušit tvorbu aplikací, v nichž jednotlivé části mohou běžet souběžně.

Navážeme na článek o typových parametrech, typových množinách, generických datových typech a generických funkcích Ukážeme si další vlastnosti typového systému jazyka Go 1.18 a taktéž některá omezení, která generické funkce a především generické metody mají.

Mnohými vývojáři netrpělivě očekávanou vlastností jazyka Go jsou (resp. byly) generické funkce a generické datové typy. Nakonec se objevily v nedávno vydané stabilní verzi Go 1.18.

Dnes se budeme zabývat instrukcemi určenými pro provádění aritmetických operací. Tyto instrukce se rozdělují na instrukce určené pro celočíselné datové typy a na instrukce, které provádějí operace s hodnotami s plovoucí řádovou čárkou.

Nová verze Javy, resp. JDK 18, přináší celkem devět dílčích novinek (JDK Enhancement Proposal; JEP). Najdeme mezi nimi přechod na UTF-8 jako výchozí, vlastní jednoduchý webový server (Simple Web Server, viz podrobnosti), Code Snippets v Java API…

Dnes si povíme, jak zajistit souběžné či paralelní zpracování úloh s využitím několika různých technologií. Bude se jednat o třídy ThreadPoolExecutor a ProcessPoolExecutor, ovšem zmíníme se i o korutinách a konstrukcích async a await.

Opět bych se chtěl zaměřit na hledání anomálií v jinak běžném chování systémů. Protože pokud bych měl při dohledu běžících systémů něco řešit, pak jsou to právě výjimky z obvyklého chování.

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.