Como retornar um array de check boxes (caixas de seleção) marcadas

<form name="cadastro" method="post" action="testes.php">
  <b></b>Marque suas linguagens favoritas:</b><br>
  <input type="checkbox" name="ling[]" 
    value="Java">Java<br>
  <input type="checkbox" name="ling[]" 
    value="Delphi">Delphi<br>
  <input type="checkbox" name="ling[]" 
    value="C++">C++<br>
  <input type="checkbox" name="ling[]" 
    value="Python">Python<br>
  <input type="submit" value="Enviar!">
</form>

<?
  // Obtém um array de check boxes marcadas
  $marcadas = $_POST["ling"];
  
  // Exibe o resultado
  echo "Suas linguagens favoritas são:<br><br>";
  
  foreach($marcadas as $linguagem){ 
    echo $linguagem . "<br>"; 
  } 
?>