How to turn an array into a map in PHP?

Question

This is based on a previous question I asked. Lets say I have run an SQL query and received the following into a variable $res:

name    |    language
-------------------------
bob     |   English
bob     |   Dutch
Sally   |   English
Sally   |   Spanish
Sally   |   German

i.e. $res["name"] currently equals the first column etc.

Is there a PHP function or sequence of functions (without writing a loop) to turn $res into a map so that I could write $res["bob"] and receive an array ["English", "Dutch"] or $res["Sally"] and receive ["English", "Spanish", "German"]?

Answer 1

$map = array();
foreach ($mysqlResult as $row) {
    $map[$row['name']][] = $row['language'];
}