List of OO languages where object immutability can be compiler enforced

Question

Can anyone give me a list of languages where class immutability can be compiler enforced and tested easily ?

I need to be able to do something like:

class immutable Person {
    private String name = "Jhon"; // lets say the String is mutable

    public Person(String name) {
        this.name = name; // ok
    }

    public void setName(String newName) { 
        this.name = newName; // does not compile
    }

    public void getName() { 
        return this.name; //returns reference through which name can't be mutated
    }

    private void testImmutability() {
        getName().setFirstChar('a'); // does not compile
    }
}

EDIT:

For a little more clarification, see here.

Answer 1

Functional programming languages like OCAML, Haskell, and Erlang.

Answer 2

F# and Scala both have the ability to created compiler-enforced immutable types (i.e. classes).

The following shows the basics in F#...

// using records is the easiest approach (but there are others)
type Person = { Name:string; Age:int; }
let p = { Person.Name="Paul";Age=31; }

// the next line throws a compiler error
p.Name <- "Paulmichael"

Here's the equivalent Scala. Note that you can still make mutable objects by using var instead of val.

class Person(val name: String, val age: Int)
val p = new Person("Paul", 31)

// the next line throws a compiler error
p.name = "Paulmichael"