Some programming language ideas Some programming language ideas These are ideas towards implementing a small language that can be reasoned about automatically.
Constants are just atoms.
So, the notation for records also serves sort of like a case statement. However, this seems slightly more convenient, and balances readability against keeping the number of term constructors small. Using lexical scoping for security One of Java's biggest features is that it has a fine-grained security model, with a special case for applets. This allows the creator of a web site to let the client handle some computation, without actually allowing the creator of the web site to run arbitrary code on the client. The Java Virtual Machine is responsible for tracking which permissions a given thread has, and denying access to resources which the thread doesn't have permissions for.