m (don't subsection) |
(dependent types) |
||
| Line 30: | Line 30: | ||
* [http://hledger.org hledger]: accounting program | * [http://hledger.org hledger]: accounting program | ||
* [https://xmonad.org xmonad] window manager and [https://github.com/jaor/xmobar xmobar] | * [https://xmonad.org xmonad] window manager and [https://github.com/jaor/xmobar xmobar] | ||
* [https://shakebuild.com shake] buildsystem | |||
* Dependently typed programming languages: [https://www.idris-lang.org idris] and [http://wiki.portal.chalmers.se/agda/pmwiki.php Agda] proof assistant | |||
= Upstream package repo = | = Upstream package repo = | ||
Revision as of 04:09, 27 June 2018
What is Haskell?
"Haskell is an advanced purely functional programming language. The product of more than twenty years of cutting edge research, it allows rapid development of robust, concise, correct software. With strong support for integration with other languages, built-in concurrency, debuggers, profilers, rich libraries and an active community, Haskell makes it easier to produce flexible, maintainable high-quality software." -- (from http://haskell.org/)
For more information about Haskell support in Fedora, go to Haskell_SIG.
Getting started with Haskell on Fedora
Minimally
sudo dnf install ghc cabal-install
More
sudo dnf install haskell-platform
All devel packages
sudo dnf install ghc-*devel
For auto-packaging and dnf integration:
sudo dnf install cabal-rpm
The stack build tool is available in a Copr repo.
Haskell software in Fedora
- pandoc: markup converter
- ShellCheck: shell script checker
- git-annex: out of repo file repository
- hledger: accounting program
- xmonad window manager and xmobar
- shake buildsystem
- Dependently typed programming languages: idris and Agda proof assistant
Upstream package repo
Much more software can be found in upstream community Hackage repository and its downstream distribution Stackage.