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

Zdroják » Autoři » Archivy pro Jan Prachař

Archiv autora: Jan Prachař

Vývojář Testomato a FlowReader, autor CMS Eywa. Vystudoval teoretickou fyziku na MFF UK. Píše na Twitter a Google+, jeho projekty najdete na GitHubu.

JavaScript
Články JavaScript

JavaScript je jazyk, ve kterém se dají bez problémů používat postupy z funkcionálního programování. Jedním takovým a hojně používaným je návrhový vzor promise. V článku projdeme stručně jeho historii, pak se podíváme na jeho vztah k monádám a na závěr ho porovnáme s callbackovým asynchronním API, které v současnosti používá především Node.js.

Články JavaScript, Různé

Testy, které se krkolomně spouští, zobrazují nepřehledně výsledky nebo běží pomalu, budete spouštět málo a nakonec je přestanete psát. V článku pojednáme o tom, jak dosáhnout přesného opaku pomocí programu JsTestDriver. Ten umožní, aby se vaše javascriptové testy spouštěly snadno (třeba při každém uložení souboru v IDE), běžely rychle a navíc v několika prohlížečích najednou.

Články Různé

V článku si probereme možnosti, jak optimalizovat rychlost načítání webové stránky v prohlížeči nezávisle na výkonnosti samotné aplikace na serveru. Tématem dne je optimalizace komunikace mezi serverem a prohlížečem, kešování a efektivita kódu, který prohlížeč zpracovává. Představíme si i některé užitečné 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.