Factorial and Recursion - Haskell Typing CST Test
Loading…
Factorial and Recursion — Haskell Code
Computing factorial using recursion.
factorial :: Integer -> Integer
factorial 0 = 1
factorial n = n * factorial (n - 1)
main :: IO ()
main = print (factorial 5)Haskell 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.