| Name | Haskell-like |
| Type | Programming Language |
| Usage | Research • Academia |
| Origin | |
| Purpose | Mathematical logic |
| Features | Pure functions • Lazy evaluation • Strong typing |
| Influenced | Early computer science • Artificial intelligence • Formal logic |
| Originator | |
| Predecessor of | Haskell • Other functional programming languages |
