Programovací jazyky

Server This Week in Rust přinesl odkaz na zajímavý článek z pera tří vývojářů projektu Chromium. Autoři v něm rozvíjejí myšlenku implementovat v C++ stejná, nebo alespoň podobná pravidla paměťové bezpečnosti na úrovni typového systému, jako má Rust…

V první polovině osmdesátých let patřilo k dobrému vychování dodávat domácí i osobní počítače vybavené nějakým dialektem programovacího jazyka BASIC. Výjimkou není ani IBM PC, pro které byl dodáván mj. i GW-BASIC, později QBasic.

Byla vydána verze 0.5.0 jazyka Idris 2. Z větších změn lze zmínit přidání inkrementálního překladu a zrychlení typové kontroly omezením redukcí v době překladu. Idris je funkcionální jazyk s velmi silným typovým systémem včetně závislostních typů…

Často se setkáme s požadavkem na umožnění zápisu výrazů do vstupních formulářových polí, pro použití výrazů v konfiguračních souborech atd. Lze to řešit vložením interpretru plnohodnotného jazyka, ale mnohdy stačí doménově specifický jazyk (DSL).

Na světě je nová hlavní verze Javy, resp. číselně stejná verze balíku OpenJDK. Sedmnáctka přináší několik novinek, například novou renderovací pipeline pro macOS (používá API Metal, OpenGL končí), podporu portu pro Apple M1, vylepšené…

Na světě je nová verze programovacího jazyka Go 1.17. Změn není příliš mnoho, přibyla například podpora 64bit ARM na Windows a samozřejmě opravy různých chyb. Toto vydání ale přináší jisté zvýšení výkonu, konkrétně byl změněn způsob předávání…

Nejdříve dokončíme popis stylu vykreslení cest, resp. přesněji řečeno jednotlivých segmentů cesty. Dále si ukážeme definici vzorku čáry a nezapomeneme ani na možnost simulace ručního kreslení na plátno.

V některých aplikacích vytvářených s Jupyter Notebookem se setkáme s nutností vykreslení nějakého diagramu, schématu či vizualizace výsledku simulace. Nejuniverzálnější je knihovna ipycanvas, kterou si dnes popíšeme.

Ukážeme si vkládání interaktivních ovládacích prvků (tlačítek, posuvníků atd.) do diářů vytvářených a prezentovaných v Jupyter Notebooku, Jupyter Labu i v JupyterLite. Tyto prvky umožňují interaktivní modifikaci parametrů výpočtů, grafů atd.

Tvorbou aplikací pro běh v terminálu se budeme zabývat i dnes. Nejprve se zmíníme o knihovně cfmt, která rozšiřuje možnosti standardní knihovny fmt a ve druhé půlce článku si ukážeme vykreslování grafů do terminálu knihovnou asciigraph.

V dnešním článku se seznámíme se zajímavým projektem nazvaným JupyterLite. Jedná se o alternativu ke známému Jupyter Notebooku, která však běží kompletně v prohlížeči a na straně serveru vyžaduje jen poskytnutí statického obsahu.

Vyšlo Pharo 9.0. Přináší podporu GTK3, nástroje pro ladění na úrovni jednotlivých objektů, refaktorování, vylepšenou podporu ARM (včetně Apple M1) a FFI a mnoho dalšího. Pharo je programovací jazyk a vývojové prostředí s řadou pokročilých vlastností.

Jazyk Go se většinou nepoužívá pro tvorbu klasických desktopových aplikací. Je ovšem často využívaný pro tvorbu backendu webových aplikací. Setkáme se i s nástroji (například gotop), které využívají emulátor textového terminálu.

Projekt Tor oznámil vývoj projektu Arti, což je nová implementace klientského a serverového software napsaná v moderním jazyce Rust. Vývoj se rozbíhá díky finančnímu příspěvku Zcash Open Major Grants (ZOMG) ve výši 670 tisíc dolarů. Současná…

Včera byla vydána verze 0.4.0 jazyka Idris 2. Jedná se o reimplementaci původního experimentálního jazyka Idris, který je podobný Haskellu a obsahuje propracovanou podporu závislostních typů. Podobně jako v případě jazyka Agda je jeho typový systém…

Dnes si ukážeme, jak lze použít základní funkce Apache Kafky v jazyku Go. Demonstrační příklady budou využívat dvě knihovny, a to konkrétně confluent-kafka-go a Sarama. Důležitým tématem je však i testování aplikací.

Nová verze jazyka Swift představená na letošním WWDC přináší korutiny ve formě async/await, které umožňují asynchronní vykonávání kódu. Příslušné rozšíření standardní knihovny podporuje tzv. “structured concurrency.” Další zajímavou novinkou…

Byla vydána první beta verze jazyka Go 1.17 s několika podstatnými novinkami. Největší novinkou je změna ABI (prozatím na platformě amd64), nyní se místo zásobníku používají k předávání hodnot registry. Nová je také podpora Windows na ARM64 včetně…

Microsoft oznámil vlastní build OpenJDK. Ke stažení jsou balíčky pro x64 Windows, Linux a macOS. V předběžném přístupu jsou balíčky pro arm64 Windows a Linux. Microsoft používá zdrojové kódy OpenJDK a skripty pro sestavení Eclipse Adoptium. Jaký…

Dnešní článek, jenž tematicky navazuje na trojici článků o programovacích jazycích a vývojových nástrojích pro osmibitové počítače Atari, je věnován programovacím jazykům pro počítače firmy Sinclair Research.

Luca Boccassi vytvořil pull request, kterým do systemd zavádí podporu pro programovací jazyk Rust. V systemd by tak bylo možné psát moduly ve dvou programovacích jazycích, jak v doposud používaném C, tak nově i v Rustu. Zatím se jedná…

Autor programovacího jazyka Python Guido van Rossum se loni doma v důchodu při pandemii nudil a proto začal pracovat pro Microsoft. Nyní oznámil, čeho chce spolu s malým týmem Microsoftu dosáhnout. Jde o zrychlení CPythonu. Ve verzi 3.11 by mohl…

Dnes se zaměříme na popis cross překladačů a cross assemblerů. Zmíníme se například o projektu Mad-Assembler, který je používán dodnes, podobně jako cross překladač programovacího jazyka C.

Facebook otevřel zdrojové kódy projektu Cinder, který má za cíl optimalizovat CPython 3.8. Podle popisu projektu přináší optimalizace, jako např. vylepšený výkon korutin, bytecode caching a JIT, který umí využít typové anotace.

CuPy je open source matematická knihovna pro Python, která používá array kompatibilní s NumPy a je akcelerována na GPU NVidia pomocí CUDA (odtud název). Minulý týden vyšla knihovna CuPy ve verzi 9, která přidává podporu pro GPU AMD pomocí ROCm…

V dnešním článku si popíšeme potenciálně velmi užitečný projekt nazvaný py4j. Tento nástroj zajišťuje obousměrnou komunikaci na úrovni zdrojového kódu mezi Pythonem a programovacím jazykem Java.

Google vydal další vlastní programovací jazyk s otevřeným zdrojovým kódem, tentokrát pro logické programování: Logica. Jedná se o deklarativní jazyk se syntaxí inspirovanou Prologem, ve kterém se dají psát sofistikované dotazy. Překládá se do SQL…

V prakticky jakémkoli programu psaném v Clojure nalezneme mnoho míst, ve kterých se používají mapy. Tato nejužitečnější datová struktura existuje ve třech základních podobách, ovšem existuje i forma prioritní mapy.

V dnešním článku budeme pokračovat v tématu, kterému jsme se začali věnovat minulý týden. Popíšeme si totiž některé další významné programovací jazyky a programátorské pomůcky dostupné pro osmibitové domácí mikropočítače Atari.

Vývojáři linuxového jádra pracují na tom, aby bylo možné volitelně některé komponenty programovat v jazyce Rust. K podobnému kroku se teď odhodlal i Google, který bude Rust používat při psaní některých nízkoúrovňových součástí v rámci projektu…