PHP vectors

gistfile1.php

<?php
$intVector    = Vector<int>(53, 32, 43);
$stringVector = Vector<string>('foo', 'bar', 'baz');
$arrayVector  = Vector<array>(array('a'), array('b'));
$vectorVector = Vector<Vector<int>>(Vector<int>(1, 2), Vector<int>(2, 3));
$classVector  = Vector<\stdClass>(new \stdClass(), new \stdClass());

foreach ($intVector as $key => $value) {
    // Do something.
}

function foo(Vector<int> $values)
{
    // May support lazy conversion of arrays into vector
}