Haskell is a [[BSD-3]]-like licensed functional programming language which is self-hosting. - [Website](https://www.haskell.org/) - [Source](https://gitlab.haskell.org/ghc/ghc) (GHC on Gitlab) - Documentation - AlternativeTo > Designed for teaching, research, and industrial applications, Haskell has pioneered a number of programming language features such as type classes, which enable type-safe operator overloading, and monadic input/output (IO). # Notability Has some interesting features. I have written a little bit of Haskell, primarily to support open source projects that I use. Inspired [[Elm]]. # Philosophy It is a particularly impenetrable language because it uses esoteric mathematical concepts to perform every tiny operation and it makes no effort to explain itself. It seems to primarily be a tool for academics to argue about the ideals of computer science, rather than a usable programming language. These same academics have made wild claims about the "safety" of the language, which people have confused with meaning that it is safe to build financial systems in, and now the language's home page promotes cryptocurrency startups. The GHC, which is the primary implementation of Haskell, is multiple gigabytes. It has been like this for a long time and this used to be a huge barrier to using any Haskell program on reasonable systems, but now is mainly only an issue for lower-spec systems. # OS Support # Features - Type Classes - Monadic IO - Type Inference # Example ```haskell fibs = 0 : 1 : zipWith (+) fibs (tail fibs) ``` # History Haskell first appeared in 1990. It is a descendant of the [[Miranda]] programming language, which was itself inspired by [[ML]] and a language called [[Hope]] from the 1970s. # Tips # References - https://book.realworldhaskell.org/read/io.html - https://en.wikipedia.org/wiki/Haskell - https://en.wikipedia.org/wiki/Miranda_(programming_language) - https://en.wikipedia.org/wiki/Hope_(programming_language)