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

Zdroják » Knihovny a frameworky » Strana 8 » Strana 8 z 34

Archiv pro štítek: Knihovny a frameworky

Různé
Zprávičky Různé

Microsoft uvolnil druhou verzi svého frameworku pro vývoj webového rozhraní ASP.NET MVC.Změny v nové verzi se nesou v duchu vyšší typové bezpečnosti a lepší znovupoužitelnosti kódu v pohledech (views). Konrétně se jedná o: zavedení správy metadat…

Články Různé

Flash není jen animace, reklamy, Flex, reklamy, video a reklamy. Flash player v sobě obsahuje věci, které byste pravděpodobně nečekali, jako je podpora P2P. Ta je ve Flashi od roku 2008 a lze ji použít ve webových aplikacích, kde může ušetřit obrovské množství přenesených dat, a to nejen při streamování videa.

Články JavaScript, Různé

Třetí verze JavaScriptové knihovny ExtJs vyšla loni v červnu. Jedna z nepřehlédnutelných funkcí, uvedených v nové verzi tohoto frameworku, je možnost zobrazovat data v grafech, realizována pomocí technologie Flash. V článku si popíšeme komunikaci mezi Flash objektem, JavaScriptem a ExtJs.

Články Různé

Každý kdo má zkušenosti s předchozími verzemi Flexu ví, že vytvořit vlastní vzhled aplikace nebyl úplně jednoduchý úkol. Vývojáři Adobe se toto rozhodli změnit a ve Flexu 4 přišli s kompletně přepracovaným systémem skinování. V článku si ukážeme, jak skinovat komponenty ze sady Spark bez použití jakéhokoli dalšího nástroje.

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.