Not sure that's true. I'd I say: let x = "hello": String let x = "world": String If 'let' is a keyword that implies single assignment, then problem is sol

Not sure that's true. I'd I say: let x = "hello": String let x = "world": String If 'let' is a keyword that implies single assignment, then problem is solved. Alternatively, using pattern matching alarm Erlang would be even better: x = "hello": String //x is bound to "hello" x = "hello": String //equality check is successful x = "world": String //Error: values not equal