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

Zdroják » Různé » pf 2010

pf 2010

Články Různé

Redakce přeje všem čtenářům i autorům hezké, klidné svátky a vše nejlepší do nového roku. Děkujeme za přízeň a těšíme se na další pravidelná setkání u Zdrojáku v roce 2010.

Nálepky:

(… a protože jsme na serveru pro programátory, tak i jedno programátorské přání: Spoustu kvalitních balíčků a minimum debugování pod vánočním binárním stromem!)

pf2010

Komentáře

Odebírat
Upozornit na
guest
2 Komentářů
Nejstarší
Nejnovější Most Voted
gary_dEEN

Aplikací pre-, in- ani post- order jsem nedostal to, co bych čekal. Každopádně mnoho úspěchů do nového roku všem.

Čermi

Je třeba procházet do šířky. Sice nezvyklý způsob procházení stromu, ale nevadí, strom je taky jen graf :)

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.