Haskell
Pure functional language with advanced type system
Typing: static Created: 1990
Paradigms
functional
Pros and Cons
Ventajas
- + Very expressive type system
- + Pure functions without side effects
- + Lazy evaluation
- + Excellent for correctness
- + Cardano blockchain uses it
Desventajas
- - Very steep learning curve
- - Lazy evaluation hard to debug
- - More academic community
- - Fewer job opportunities
Casos de Uso
- Blockchain (Cardano)
- Quantitative finance
- Compilers and languages
- High correctness systems