Erlang
Type System: Dynamically typed
Memory Management: Garbage Collected (Automatic)
Features
- Single assignment bindings (variables)
- Immutable data structures
- Concurrency based on the actor model
- Isolated processes communicating via message passing
- Pattern matching
- Execution in a virtual machine