Interpreting Carbon

Google has shared a post on the new programming language Carbon, outlining the following features:

Introducer keywords and a simple grammar

I bet this is similar to make function()

Function input parameters are readonly values

make function(x) with x is read only; provides pointers to x within a nested function.

Pointers provide indirect access & mutation

Through being read only a pointer can reference a function with mutation through updating it in the stack.

Use expressions to name types

A type being a bit's expression changing value

The package is the root namespace

Admin is root

Import APIs through their package name

See solution for package manager and inheritence of version control

Explicit object parameter declares a method

Like: 
    let a be f(x,y) ( f(x)=.., f(y)=...)

OR

    let b be g(x,y) ( g(x)=..., f(y)=[...,g(x), ...]

Single inheritance; classes are final by default

Trace and stiffen, basically tidying up classes from root aka Admin = programmer, namespace is whatever you declare to be your 'home page/folder' / 'desktop'

Powerful, definition-checked generics

Prolog checked variable instantiation

Types explicitly implement interfaces

Interface construction is held up to the stack alright.