Caminos de campos tipados

Caminos de campos tipados.

// Item 20: a typed field path can be reused and its getter is a callback.

struct Address { city: str, postal_code: str }
struct User { name: str, address: Address, roles: [str] }

fn city_path() -> FieldPath<User, str> = field User::address.city

fn main() {
    let city = city_path()
    let original = User {
        name: "Ana",
        address: Address { city: "São Paulo", postal_code: "01000-000" },
        roles: ["reader"],
    }
    let moved = city.set(original, "Recife")
    print(city.get(original))
    // expected: São Paulo

    print(city.get(moved))
    // expected: Recife

    print(moved.address.postal_code)
    // expected: 01000-000


    let cities = [original, moved].map(city.get)
    print(cities[0])
    // expected: São Paulo

    print(cities[1])
    // expected: Recife


    // The untouched collection is still shared by the immutable update.

    moved.roles.push("reviewer")
    print(original.roles.len())
    // expected: 2

}