Vlákno názorů k článku Statické typové kontroly zdrojových kódů Pythonu prováděné nástrojem Mypy (3) od Calculon - Tohle by se hodilo v Julii, tam když...

Tohle by se hodilo v Julii, tam když se člověk sekne s typem, tak v lepším případě je kód šnek a v horším to prostě chcípne.

Tak nejenom Julia, by to bylo uzitecne i v Lue napriklad.

Tak v podstatě všude :) Ale Julia už explicitní typové anotace a inferenci má, jen je nepoužívá ke kontrole typové správnosti.

jasne. ja vybral jazyk, kterej to zatim nema, kdezto okoli uz jo (JS->TS, Python->Mypy, neco i pro Ruby). Potom je par vykutalencu bez, jako Perl (to jeste nekde zije?) a tak ;)

Bez typů ani ránu :) I do toho ObjC blahé paměti to poměrně rychle přidali, jakmile zjistili, k čemu vede kód bez typů.

Tak mě napadá, nemá to už Lua v Amuletu? Ne že bych to nějak zvlášť znal, ale jestli se nepletu, je to v podstatě transpiler (něco jako ML -> Lua).

Amulet je bohužel mrtvej.

Zed’s dead, baby? :) To je docela škoda, zajímavá syntax i sémantika.