Přejít k navigační liště

Zdroják » Značkovací jazyky » Strana 5 » Strana 5 z 10

Archiv pro štítek: Značkovací jazyky

Webdesign
Zprávičky Webdesign

Rozdíly mezi prohlížeči způsobují nejen nekompatibilitu JavaScriptu, ale i problémy s CSS. Nemusí jít jen o známé „IE hacky“ a rozdíly v box modelu. Známá i méně známá pravidla a postupy pro vytváření stylopisů s co nejmenšími počty „třecích…

Webdesign
Zprávičky Webdesign

„Jak Apple a Google oznámili podporu HTML5, stal se z tohoto pojmu buzzword měsíce,“ píše v článku A HTML5 Primer for the Overwhelmed na weblogu vývojářů ExtJS Michael Mullany. „Hledali jsme zaměstnance se zkušenostmi s HTML5, a…

Webdesign
Zprávičky Webdesign

Mark Pilgrim vydal další článek ze série „Dive into HTML5“, tentokrát s názvem „Distributed“, „Extensibility“ and other fancy words. Pojednává v něm o způsobu, jakým se HTML5 staví k mikrodatům (jako jsou RDFa nebo Mikroformáty) a o významu…

TypeScript 7 v Go: rychlejší buildy, chybějící API

Betaverze TypeScriptu 7.0 ukazuje víc než rychlejší tsc. Microsoft převádí kompilátor a jazykovou službu z původní kódové základny psané v TypeScriptu a běžící jako JavaScript do Go, přidává paralelní typovou kontrolu a připravuje novou editorovou část postavenou na LSP. Pro část nástrojů ale nepůjde o prostou výměnu binárky: TypeScript 7 zatím nemá stabilní náhradu dnešního Compiler API.

Prolog nezmizel. Jen dnes žije v jiných nástrojích

Prolog nezmizel. Jeho hlavní myšlenku dnes potkáváme v nástrojích, které se Prologu na první pohled nepodobají: v CodeQL pro analýzu kódu, v Rego pro policy-as-code, v Z3 pro práci s omezeními a v Leanu pro formální důkazy. Každý řeší jiný problém, ale všechny připomínají totéž: někdy je lepší popsat vztahy, pravidla, omezení nebo tvrzení než vrstvit další if.