Vlákno názorů k článku Nástroje pro statické typové kontroly v ekosystému jazyka Python od LavovaLampa - Ja uz si bez pyright neviem predstavit pracovat...

Ja uz si bez pyright neviem predstavit pracovat v Pythone. Vsetky projekty strict-by-default a CI fail ak zlyha typova kontrola. Nevravim ze staticka typova kontrola je silver bullet, ale chyti to vela veci a stale existuje moznost vyuzit "Any" ak clovek potrebuje naplno vyuzit moznosti Pythonu.

Trochu off-topic, ale fascinuje ma, ze vseobecny sentiment okolo "customer-facing" Microsoft veci je skor negativny. Naopak Microsoft Research produkuje hit za hitom (pyright, Lean, Koka, z3, TypeScript, F#, etc.).

Jednou se mě na pohovoru ptali, pro jakou firmu bych chtěl pracovat a proč a pro kterou nechtěl.
Pro SUN, protože jsou tam dobří inženýři a obchodníci.
Pro Microsoft ne, protože tam jsou obchodníci a dobří inženýři.

TypeScript je jednoznačně hit, všechny ostatní zmíněné věci jsou sporné (nerdí hračky nebo překonaný Pyright).

F# je z nejakeho duvodu dost mimo zajem. to je skoda, je to ML-like jazyk a docela pekne udelany (az na ten ekosystem okolo, mozna to je duvod nezajmu?)

Já jsem silně funkcionálně positivní, v F# jsem udělal jednu apku, vysloveně dobrovolně, iniciativně, chtěl jsem to zkusit. A nějak mi to vůbec nechutná.