Jaki jest najlepszy typ w języku Hack?

Question

W systemie typu the Hack language istnieje typ "top", znany również jako typ "any" lub uniwersalny typ "Object"? Oznacza to, że wszystkie typy są podklasami?

The manual mentions "mixed" types, które mogą być podobne, ale tak naprawdę nie są wyjaśnione. Istnieje również możliwość po prostu pominięcia deklaracji typu w niektórych miejscach. Jednak nie można tego zrobić wszędzie, np. jeśli chcę zadeklarować, że coś jest funkcją od string do najwyższego typu, nie jest jasne, jak to zrobić. function (string): mixed?

Answer 1

Jestem inżynierem pracującym na Hack na Facebooku. To naprawdę wnikliwe i interesujące pytanie. W zależności od tego, co dokładnie robisz, Hack ma kilka różnych odmian tego.

Po pierwsze, porozmawiajmy o mixed. Jest to supertype wszystkiego. Na przykład ten typechecks:

<?hh // strict 
function f(): mixed { 
    return 42; 
} 

Ale ponieważ jest to supertypem wszystkiego, nie można zrobić wiele o wartości mixed aż przypadek analizować tego, co jest w rzeczywistości, poprzez is_int, instanceof, itd. Oto przykładem tego, jak trzeba by użyć wyniku f():

<?hh // strict 
function g(): int { 
    $x = f(); 
    if (is_int($x)) { 
    return $x; 
    } else { 
    return 0; 
    } 
} 

„brakującego adnotacja” typ („any”) jest nieco inna niż ta. Podczas gdy mixed jest nadtypem wszystkiego, "każdy" jednoczy ze wszystkim - jest podtypem wszystkiego podtypu i. Oznacza to, że jeśli zostawisz adnotację, zakładamy, że wiesz, co robisz i po prostu ją przepuszczasz. Na przykład, następujące typechecks code jak napisano:

<?hh 
// No "strict" since we are omitting annotations 
function f2() { 
    return 42; 
} 
function g2(): string { 
    return f2(); 
} 

Nie jest to oczywiście dźwięk - po prostu złamał system typu i spowoduje błąd typu Runtime jeśli wykonujemy powyższy kod - ale to dopuszczone w tryb częściowy w celu ułatwienia konwersji. Strict wymaga adnotacji wszystkiego, a więc nie można uzyskać wartości typu "any" w celu złamania systemu typu w ten sposób, jeśli cały kod jest ścisły. Zastanów się, w jaki sposób musiałbyś opisać powyższy kod w trybie ścisłym: albo f2 musiałby zwrócić int i byłby to błąd typu straight-up ("ciąg nie jest zgodny z int"), albo f2 musiałby zwrócić mixed i byłby to błąd typu zapisany ("ciąg nie jest zgodny z mieszanym"), dopóki nie wykonałeś analizy przypadku z is_int itd., tak jak w moim wcześniejszym przykładzie.

Mam nadzieję, że to wszystko wyjaśni - jeśli chcesz wyjaśnić, daj mi znać w komentarzach, a ja to zmienię. A jeśli masz inne pytania, które nie stanowią ścisłych wyjaśnień, kontynuuj oznaczanie ich tagami "hacklang", a my upewnimy się, że na nie odpowiedzą!

Wreszcie: jeśli nie miałbyś nic przeciwko, czy możesz nacisnąć przycisk "błąd dokumentacji" na stronach dokumentów, które były mylące lub niejasne, lub w jakikolwiek sposób można je poprawić? Idealnie chcemy, aby docs.hhvm.com było miejscem, w którym można umieścić takie rzeczy, ale są pewne dziury w dokumentach, które mamy nadzieję, że mądrzy, entuzjastyczni ludzie tacy jak ty pomogą wskazać. (tj., myślałem, że to zostało dobrze wyjaśnione w dokumentach, ale ponieważ jesteś zdezorientowany, to oczywiście nie jest to prawdą, i naprawdę docenilibyśmy raport o błędach, w którym zgubiłeś się.)