| Type | Functional programming language |
| Core features | Static type system • First-class functions • Immutable data structures |
| Place of origin | |
| Influenced areas | Graphical user interfaces • Database management systems |
| Design principles | Safety • Simplicity • Expressiveness |
| Dominant paradigm | Functional programming |
| Industry applications | Software development • Research |
