A Dynamic Programming Language