3 ms·

Can people tell me what useful program were produced in Haskell ? I know a few for Ocaml but I dont know much Haskell, so dont know yet any useful program writt

Can people tell me what useful program were produced in Haskell ? I know a few for Ocaml but I dont know much Haskell, so dont know yet any useful program written in Haskell. The program I know for Ocaml are: - coccinelle (semantic patching used by linux kernel devs) - FramaC (formal verification) - Coq (proof assistant) - Rust compiler (I think they bootstraped the language by writting a compiler in ocaml first, now the compiler is written in rust itself) I just saw pandoc. It seems nice. I know parsec. But I would like to know what kind of haskell programs are actually used in real life ? I know Jane Street does all their dev in Ocaml. Is there similar company for Haskell ?

knowhy 6y ago
git-annex is a useful program written in Haskell
unhammer 6y ago
One that I use all the time is shellcheck, and git-annex. Others in the mainly-used-by-programmers-category include xmonad and hledger. https://github.com/owickstrom https://github.com/owickstrom has some GUI Haskell apps. Facebook's Sigma and https://github.com/wireapp/wire-server https://github.com/wireapp/wire-server may be the ones with the most non-programmer users? http://postgrest.org/ http://postgrest.org/ and https://hasura.io/ https://hasura.io/ seem interesting. https://www.quora.com/What-is-the-largest-commercial-program-written-in-Haskell?share=1 https://www.quora.com/What-is-the-largest-commercial-program... says the largest Haskell code-base is probably Standard Chartered trading system. more at https://github.com/topics/haskell https://github.com/topics/haskell and https://serokell.io/blog/top-software-written-in-haskell https://serokell.io/blog/top-software-written-in-haskell
approxim8ion 6y ago
The dynamic tiling window manager Xmonad is written in Haskell and while I don't use it personally (I use bspwm), I've heard it's great.
ywei3410 6y ago
Facebook uses Haskell for [Haxl](https://github.com/facebook/Haxl https://github.com/facebook/Haxl), Standard Chartered has a their own Haskell [compiler](https://www.reddit.com/r/haskell/comments/6im268/standard_chartered_is_hiring_again/ https://www.reddit.com/r/haskell/comments/6im268/standard_ch...) and a massive code base in Haskell. [Agda](https://github.com/agda/agda https://github.com/agda/agda) and [Idris](https://github.com/idris-lang/Idris-dev https://github.com/idris-lang/Idris-dev) were mostly written in Haskell as well.
fulafel 6y ago
PostgREST and Elm are great.
umanwizard 6y ago
Hasura (GraphQL-on-Postgres)
lzutao 6y ago
shellcheck.net/ is really nice to catch bugs in your bash scripts.
codygman 6y ago
GitHub semantic powers goto definition in GitHub IIRC. Here's why they use Haskell: https://github.com/github/semantic/blob/master/docs/why-haskell.md https://github.com/github/semantic/blob/master/docs/why-hask...
Dansvidania 6y ago
Postgrest is written in Haskell Also PureScript and Elm are to my knowledge written in Haskell..

knowhy 6y ago

git-annex is a useful program written in Haskell

unhammer 6y ago

One that I use all the time is shellcheck, and git-annex. Others in the mainly-used-by-programmers-category include xmonad and hledger. https://github.com/owickstrom https://github.com/owickstrom has some GUI Haskell apps. Facebook's Sigma and https://github.com/wireapp/wire-server https://github.com/wireapp/wire-server may be the ones with the most non-programmer users? http://postgrest.org/ http://postgrest.org/ and https://hasura.io/ https://hasura.io/ seem interesting. https://www.quora.com/What-is-the-largest-commercial-program-written-in-Haskell?share=1 https://www.quora.com/What-is-the-largest-commercial-program... says the largest Haskell code-base is probably Standard Chartered trading system. more at https://github.com/topics/haskell https://github.com/topics/haskell and https://serokell.io/blog/top-software-written-in-haskell https://serokell.io/blog/top-software-written-in-haskell

approxim8ion 6y ago

The dynamic tiling window manager Xmonad is written in Haskell and while I don't use it personally (I use bspwm), I've heard it's great.

ywei3410 6y ago

Facebook uses Haskell for [Haxl](https://github.com/facebook/Haxl https://github.com/facebook/Haxl), Standard Chartered has a their own Haskell [compiler](https://www.reddit.com/r/haskell/comments/6im268/standard_chartered_is_hiring_again/ https://www.reddit.com/r/haskell/comments/6im268/standard_ch...) and a massive code base in Haskell. [Agda](https://github.com/agda/agda https://github.com/agda/agda) and [Idris](https://github.com/idris-lang/Idris-dev https://github.com/idris-lang/Idris-dev) were mostly written in Haskell as well.

fulafel 6y ago

PostgREST and Elm are great.

umanwizard 6y ago

Hasura (GraphQL-on-Postgres)

lzutao 6y ago

shellcheck.net/ is really nice to catch bugs in your bash scripts.

codygman 6y ago

GitHub semantic powers goto definition in GitHub IIRC. Here's why they use Haskell: https://github.com/github/semantic/blob/master/docs/why-haskell.md https://github.com/github/semantic/blob/master/docs/why-hask...

Dansvidania 6y ago

Postgrest is written in Haskell Also PureScript and Elm are to my knowledge written in Haskell..