Нужно ли статически вводить тип безопасного языка?

Question

Я пытаюсь понять, что означает, что язык будет безопасным по типу. В динамически типизированных языках, проверка типа производится во время выполнения, так, например, если я запускаю следующий PHP код:

<?php 
class MyClass 
{ 
} 

// Create a MyClass instance 
$mc = new MyClass(); 

// Create an int variable 
$i = 1234; 

// Add $mc and $i 
$result = $mc + $i; 
?> 

Я получаю сообщение об ошибке, потому что + operator не поддерживает тип MyClass данных. Поэтому в основном проверка типов выполнялась во время выполнения.

Имеет ли тип безопасность означает, что проверка типа выполняется независимо от того, выполняется ли она во время компиляции или во время выполнения, или это означает, что проверка типа должна выполняться только во время компиляции, и поэтому каждой переменной должен быть задан тип данных явно (например, C, Pascal, Java и т. д.).

Answer 1

Ответ отрицательный. Python является примером динамично, но сильно типизированных языках:

>>> "foo" + 42 
Traceback (most recent call last): 
    File "<stdin>", line 1, in <module> 
TypeError: cannot concatenate 'str' and 'int' objects 

Haxe является примером типобезопасного языка во время компиляции, которые до сих пор не требует объявления типов статически:

class Test { 
    static function main() { 
     trace(10 * Test.some()); 
    } 

    static function some() { 
     return "foo"; 
    } 
} 

> Build failure 
> Test.hx:3: characters 19-30 : String should be Int 

Это делается с помощью type inference.

Answer 2

«Тип сейфа» обычно означает «безопасный тип памяти», то есть вы не можете обрабатывать память, содержащую один тип, как если бы это был другой тип.

В соответствии с этим определением большинство языков более высокого уровня, включая языки с динамически типизированным типом, безопасны по типу, потому что любая попытка использовать тип неправильно гарантированно вызывает ошибку (время компиляции или время выполнения).

Итак, тип безопасности в основном является проблемой для языков низкого уровня, особенно для C и C++. И эти проблемы часто связаны с указателями или литьем (например, reinterpret_cast на C++).

C# - интересный случай, который находится между двумя группами: по умолчанию он безопасен по типу, но вы можете отключить безопасность типов для частей своего кода, используя ключевое слово unsafe (обычно для целей производительности или взаимодействия).

---

Но если вы сочетаете безопасность типа со статической типизацией, это не обязательно означает необходимость писать типы. Многие статические типы безопасных языков, особенно функциональные или вдохновленные ими, используют type inference. Это означает, что компилятор может самостоятельно определить тип переменной, основываясь на назначении ей, поэтому вам не нужно вводить ее. Примерами этого являются ключевое слово auto в C++ и var в C#.