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

Zdroják » Microsoft » Strana 16 » Strana 16 z 16

Archiv pro štítek: Microsoft

Různé
Články Různé

Mikroformáty jsou zajímavá technologie, o které se často hovoří, píše (i na Zdrojáku), ale která ne vždy bývá nakonec implementována. Společnost Microsoft před několika hodinami vydala nástroj, který nejen přidává podporu mikroformátů do nejrozšířenějšího prohlížeče všech dob, ale také do všech prohlížečů podporujících JavaScript. Bude se jednat o historický přelom? Pozor, dnes píšeme SUBJEKTIVNĚ!

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.