Impondo restrições com tipagem estática, um exemplo em C++

cpp_tipagem_estatica.cpp

int dobro(int n) {
  return n * 2;
}

int main() {    
  // ok, imprime 4
  cout << dobro(2);
  
  // esta instrução faz com o que o código não compile
  cout << dobro("t");
  
  // esta instrução faz com o que o código não compile
  cout << dobro("3");
  
  return 0;
}