Map and Filter - Haskell Typing CST Test
Loading…
Map and Filter — Haskell Code
Demonstrates map and filter over lists.
numbers = [1..10]
squaredEvens = map (^2) (filter even numbers)
main = print squaredEvensHaskell Language Guide
Haskell is a purely functional, statically typed programming language known for immutability, strong type inference, mathematical precision, and high reliability. It is widely used in finance, compilers, research, distributed systems, and correctness-critical software.
Primary Use Cases
- ▸Pure functional application development
- ▸Distributed systems
- ▸Financial trading engines
- ▸Compilers & language tooling
- ▸Formal verification
- ▸Research & algorithm modeling
- ▸Simulation & high-assurance software
Notable Features
- ▸Purely functional programming
- ▸Lazy evaluation model
- ▸Advanced type system (typeclasses, GADTs, HKTs)
- ▸Strong type inference
- ▸Immutability-first design
- ▸Concise mathematical syntax
Origin & Creator
Developed by a committee of academics in 1990 led by Simon Peyton Jones, Paul Hudak, and Philip Wadler to create a standard pure functional language.
Industrial Note
Haskell excels in domains needing mathematical correctness, high-assurance code, compiler/tooling development, fintech trading systems, distributed ledgers, blockchain research, and formally verifiable system design.