Staticky typovaný skriptovací jazyk pro rok 2018

[David]

Obcas vznikne potreba po napsani nekolika kratkych skriptu a psat neco v Jave/C# mi prijde jako kanon na vrabce. Hledam proto idealne staticky typovany jazyk - s rozumnou syntaxi dobre podporovany napric ruznymi OS (Windows, Linux, MacOS).

Javu jsem zavrhl z duvodu pomaleho startu JVM (i kdyz Java nebo jazyky postavene nad JVM by mi vyhovovaly asi nejvice).
Python jsem zavrhl z duvodu dynamickeho typovani, nutnosti odsazovat a spatne podpory ve Win.
Ruby je mi celkem sympaticke ale preferoval bych staticke typovani (navic na windows muze trpet nekterymi problemy pri pouzivani third party knihoven kdy se musi neco kompilovat).
Perl/PHP odmitam kvuli nevyhovujici syntaxi.

Nejaky tip na co se v dnesni dobe zamerit?

[Reklama]

[gll]

není skript z definice interpretovaný? Python nebo typescript mají mocnější typový systém než Java/C#, ale slouží jen ke kontrole.

[gll]

typescript soubory jdou spouštět přímo, bez kompilace, ale je to pomalé, pro skripty nepoužitelné. I samotné node.js startuje hodně pomalu oproti cpythonu. Asi bych se být tebou naučil odsazovat.

[David]

není skript z definice interpretovaný? Python nebo typescript mají mocnější typový systém než Java/C#, ale slouží jen ke kontrole.

To si nemyslim ze je dulezite viz napr wiki: programs written for a special run-time environment that automate the execution of tasks [1] that could alternatively be executed one-by-one by a human operator. Scripting languages are often interpreted (rather than compiled).

Takove groovy je mnohdy uvadeno take jako skriptovaci jazyk...

[gll]

Takove groovy je mnohdy uvadeno take jako skriptovaci jazyk...

groovy jde spouštět i interpretem.

[Reklama]

[Ondra Satai Nekola]

není skript z definice interpretovaný? Python nebo typescript mají mocnější typový systém než Java/C#, ale slouží jen ke kontrole.

Interpretovanost s typovým systémem zas tak moc nesouvisí...

[perceptron]

powershell

[gll]

není skript z definice interpretovaný? Python nebo typescript mají mocnější typový systém než Java/C#, ale slouží jen ke kontrole.

Interpretovanost s typovým systémem zas tak moc nesouvisí...

nemusí ten staticky typovaný skript před spuštěním projít nějakým checkerem, což chvíli trvá?

[Cikáda]

Jistě že musí

Proč u skriptů chceš staticky typovaný systém? A co je nevyhovujícího na Perl syntaxi? Imo pro skripty na *nixu ideální

[Scripter]

není skript z definice interpretovaný? Python nebo typescript mají mocnější typový systém než Java/C#, ale slouží jen ke kontrole.

Interpretovanost s typovým systémem zas tak moc nesouvisí...

nemusí ten staticky typovaný skript před spuštěním projít nějakým checkerem, což chvíli trvá?

Jen jednou po změně souboru, jinak už interpretr ví, že typy sedí.

[Kit]

Statické typování má význam až u větších projektů. U krátkých skriptů jen překáží.

[oss]

Vsetko z toho splna Powershell

[BoneFlute]

Python ... mají mocnější typový systém než Java/C#, ale slouží jen ke kontrole.

Ani náhodou!

[borekz]

Tiny C Compiler  https://bellard.org/tcc/ umí rovnou spouštět program v C.

C script supported : just add '#!/usr/local/bin/tcc -run' at the first line of your C source, and execute it directly from the command line.

[gll]

Python ... mají mocnější typový systém než Java/C#, ale slouží jen ke kontrole.

Ani náhodou!

mypy umí typovou inferenci, protokoly, uniony, explicitní nullable typy, rozšiřitelnost pomocí pluginů .....

typescript toho umí ještě víc.