Co statycznie napisane języki są podobne do Pythona?

Question

Python jest najmilszym językiem, jaki obecnie znam, ale statyczne pisanie jest wielką zaletą z powodu autouzupełniania (chociaż obsługa języków dynamicznych jest ograniczona, to nic w porównaniu z obsługą obsługiwaną w trybie statycznym). Jestem ciekawy, czy są jakieś języki, które próbują dodać zalety Pythona do statycznie napisanego języka. W szczególności jestem ciekawy w językach z funkcji, takich jak:

• wsparcie składni: taki jak w przypadku słowników, listowe tablicy
• Funkcje: słowo kluczowe argumenty, zamknięcia, wartości krotka/wielokrotny zwrot
• modyfikacja Runtime/utworzenie klas
• Unikanie określania klas wszędzie (w Pythonie jest to spowodowane kaczki pisania, chociaż rodzaj wnioskowania będzie działać lepiej w statycznie wpisywanych języka)
• wsparcie mETAPROGRAMOWANIE: osiąga się to w Pythonie poprzez refleksję, annotati ons i metaclasses

Czy są jakieś statycznie napisane języki z dużą liczbą tych funkcji?

Answer 1

jest statycznie napisanym językiem dla wspólnej infrastruktury językowej (zwanej również platformą Microsoft .NET). Składnia jest wysoce inspirowane przez Python i mieszań/listy/tablicy są częścią składni:

i = 5 
if i > 5: 
    print "i is greater than 5." 
else: 
    print "i is less than or equal to 5." 

hash = {'a': 1, 'b': 2, 'monkey': 3, 42: 'the answer'} 
print hash['a'] 
print hash[42] 

for item in hash: 
    print item.Key, '=>', item.Value 

Answer 2

To może nie odpowiadać na wszystkie potrzeby, ale spojrzeć na Boo - The wristfriendly language for the CLI

jeśli nie , Bardzo polecam DSLs in Boo: Domain-Specific Languages in .NET, które oprócz aspektów DSL, obejmuje składnię Boo w bardzo miłym dodatku i wiele meta-programowania.

Ponadto tutorials to świetny zasób.

Answer 3

Autouzupełnianie jest nadal możliwe w dynamicznie pisanym języku; nic nie stoi na przeszkodzie, aby IDE wniosło wnioskowanie lub inspekcję typu, nawet jeśli implementacja języka tego nie robi.

Answer 4

Jeśli szukanie automatyczne jest tym, czego szukasz, możesz chcieć trzymać się Pythona i zamiast niego używać świetnego IDE.

Spróbuj pycharm: http://www.jetbrains.com/pycharm/index.html

Jeśli nie jesteś pewien kodowania niezwykle dynamiczny materiał (który prawdopodobnie nie można zrobić w języku statycznej tak), to będzie nadążać z kodem i daje ukończeniu refaktoryzacji i wszystko inne smakołyki, do których jesteśmy przyzwyczajeni w statycznie napisanych językach.

Można dać typehints IDE, gdzie naprawdę trzeba go wykonując:

def foo(bar): 
    if 0: bar = Bar() # "if 0" will be removed from the bytecode automatically by python 
    bar. # will now autocomplete 

Answer 5

Cobra jest statycznie wpisane języka CLR (jako Boo).Z jego strony internetowej:

Cobra jest uniwersalnym programowania język z:

- a clean, high-level syntax 
- static and dynamic binding 
- first class support for unit tests and contracts 
- compiled performance with scripting conveniences 
- lambdas and closures 
- extensions and mixins 
- ...and more 

Sample code: 

""" 
This is a doc string for the whole module. 
""" 


class Person 
    """ 
    This is a class declaration. 
    """ 

    var _name as String # declare an object variable. every instance of Person will have a name 
    var _age as int 

    cue init(name as String, age as int) 
     _name = name 
     _age = age 

    def sayHello 
     # This is a method 

     # In strings, anything in brackets ([]) is evaluated as an expression, 
     # converted to a string and substituted into the string: 
     print 'Hello. My name is [_name] and I am [_age].' 

    def add(i as int, j as int) as int 
     """ Adds the two arguments and returns their sum. """ 
     return i + j 

Answer 6

Język programowania D jest statycznie wpisane, natywnie kompilowane język, który ma kilka istotnych cech inspirowane przez Python.

Tablice i tablice asocjacyjne są wbudowane w język. Nie ma żadnych spisanych słów, ale biblioteki std.range i std.algorithm wypełniają większość tej pustki. Na przykład, oto sposób podsumować wszystkie parzyste liczby od 0 do 100 w D:

auto result = reduce!"a + b"(
    filter!"a % 2 == 0"(
     iota(0, 100) 
    ) 
); 

Brak argumentów kluczowych do tej pory, ale zamknięcia są tam. Krotki są obsługiwane, ale nie są rozpakowywane automatycznie.

W języku D należy unikać określania klas (i typów w ogóle) wszędzie za pomocą słowa kluczowego auto i szablonów. Na przykład, tutaj jest kod rodzajowy, aby znaleźć produkt tablicy dowolnego typu liczbowego:

// The return type of product() is inferred. 
auto product(T)(T[] array) { 
    T ret = 1; 
    foreach(num; array) { // typeof(num) is inferred. 
     ret *= num; 
    } 

    return ret; 
} 

D's wsparcie metaprogramming składa się z kompilacji introspekcji (na przykład, można iteracyjne nad polami klasy lub struktury w czasie kompilacji czas), informacje o typie środowiska wykonawczego i szablony, które są faktycznie zaprojektowane do metaprogramowania poza zwykłymi rodzajami. Na przykład, oto jak napisać rodzajowe funkcji, która generuje operację porównania domyślne dla dwóch strukturach, co jest przydatne, gdy trzeba dowolną całkowitą zamawiania czegoś podobnego binarnego drzewa:

/**Returns -1 if lhs < rhs, 0 if lhs == rhs, 1 if lhs > rhs.*/ 
int compareStructs(T)(T lhs, T rhs) { 
    foreach(tupleIndex, value; lhs.tupleof) { 
     if(value < rhs.tupeof[tupleIndex]) { 
      return -1; 
     } else if(value > rhs.tupleof[tupleIndex]) { 
      return 1; 
     } 
    } 

    return 0; 
} 

Answer 7

Chociaż nie jest to obiekt- zorientowane Haskell oferuje dużą liczbę funkcji, które Cię interesują:

• Składnia wsparcie dla listowych, plus do notacja dla szerokiej gamy sekwencjonowania konstruktów wiążących /. (Wsparcie składni dla słowników jest ograniczone do wykazów parach, np

  dict = ofElements [("Sputnik", 1957), ("Apollo", 1969), ("Challenger", 1988)] 
  

• Funkcje wspierać pełne zamknięć i wiele wartości zwracanych stosujące krotka. Argumenty Hasło nie są obsługiwane, ale potężnym cechą „ukrytych argumentów” może czasami substytutem.

• Żadna modyfikacja czasu wykonywania zajęć, rodzajów lub obiektów.

• Unikanie specificying Zajęcia/typów wszędzie przez typu wnioskowania.

• Metaprogramowanie za pomocą szablonu Haskell.

Ponadto, abyś poczuł się jak w domu, Haskell ma znaczące wcięcia!

Właściwie uważam, że Haskell ma zupełnie inne odczucie niż Python, ale głównie z powodu niezwykle potężnego systemu statycznego typu.Jeśli jesteś zainteresowany próbowaniem statycznego języka, Haskell jest jednym z najbardziej ambitnych w tej chwili.

Answer 8

Język programowania Go. Widziałem podobny paradygmat.

Answer 9

Myślę, że Eric i PyScripter mają ładne autouzupełnianie w systemie Windows, ale może nie tak dobre, jak PyTools dla Visual Studio (Express).

Dla statycznego typowania w Pythonie, użyję Cython: http://docs.cython.org/src/quickstart/cythonize.html

Answer 10

Rpython jest podzbiorem Pythonie, który jest wpisane statycznie.