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

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

Archiv pro štítek: Microsoft

Mobilní vývoj
Články Mobilní vývoj

Apache Cordova je technologie, která umožňuje vytvářet mobilní aplikace pro všechny běžně používané platformy – iOS, Android a Windows Phone. Je vhodná především pro jednodušší aplikace a její výhodou je fakt, že se při vývoji používá HTML a zvládne to každý, kdo umí napsat jednoduchou webovou stránku.

Články Různé

VS Code obsahuje povedený integrovaný modul pro správu zdrojových kódů – Git. Dnes si ukážeme, jak podporu pro Git nastavit. Nastavení si předvedeme s účty na GitHub a Visual Studio Team Services, které patří mezi nejpopulárnější a jsou zdarma.

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

Internet of Things (IoT) je bezesporu velký buzzword dnešního IT. Na druhou stranu tento fenomén velmi vážně berou i společnosti jako je Amazon a Microsoft. Obě tyto společnosti v nedávné době oznámily podporu IoT ve svých cloud službách. Článek se bude věnovat podpoře IoT na Microsoft Azure, která byla oznámena dříve než na Amazon, takže jsem měl víc času se s ní naučit. Na AWS IoT se teprve chystám, ale je si to dost podobné, takže informace, které se dozvíte v tomto článku, jsou pro obě služby podobné.

Články JavaScript

TypeScript je určený pro aplikace obsahující mnoho javascriptového kódu. Jedná se o nadstavbu jazyka JavaScript. Nabízí typovou kontrolu, třídy, moduly rozhraní, IntelliSense a refactoring kódu. Jeho syntaxe je navržena tak, aby byla co nejvíce shodná se syntaxí ECMAScript 6.

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.