4 ms·

Here are some: https://github.com/facebook/Haxl https://github.com/facebook/Haxl - A Haskell library that simplifies access to remote data, such as databases o

by 0xmohit 10y ago

Here are some: https://github.com/facebook/Haxl https://github.com/facebook/Haxl - A Haskell library that simplifies access to remote data, such as databases or web-based services. https://github.com/koalaman/shellcheck https://github.com/koalaman/shellcheck - ShellCheck, a static analysis tool for shell scripts https://github.com/simonmichael/hledger https://github.com/simonmichael/hledger - The hledger command-line and web-based accounting tool, a Haskell rewrite of ledger. https://github.com/facebook/flow https://github.com/facebook/flow - Adds static typing to JavaScript to improve developer productivity and code quality. https://github.com/coq/coq https://github.com/coq/coq - Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

deleted 10y ago
[deleted]
protomikron 10y ago
Coq is a theorem prover and library that is written in ML (OCaml), so it is definitely not Haskell. It is interesting that most (interactive) proof systems (e.g. Isabelle and Coq) are written in ML, I think it is probably historical. AFAIK most theorem proving research is done in Europe and ML has always been more popular there (however it seems to change in recent years, and FP courses switch to Haskell - however my school e.g. switched from OCaml to Haskell to OCaml in their FP course).
- 0xmohit 10y ago
  OP said: > My biggest problem with pure FP languages is a lack of interesting projects The list included projected written in pure FP languages. Not only COQ, Flow is also written in OCaml.
  - protomikron 10y ago
    You are right my mistake. However it seems to me that the Haskell community lays more emphasis on purity and the OCaml community takes a more pragmatic approach - but this distinction may be superficial for practical concerns.

by 0xmohit 10y ago

deleted 10y ago

[deleted]

protomikron 10y ago

Coq is a theorem prover and library that is written in ML (OCaml), so it is definitely not Haskell. It is interesting that most (interactive) proof systems (e.g. Isabelle and Coq) are written in ML, I think it is probably historical. AFAIK most theorem proving research is done in Europe and ML has always been more popular there (however it seems to change in recent years, and FP courses switch to Haskell - however my school e.g. switched from OCaml to Haskell to OCaml in their FP course).

0xmohit 10y ago
OP said: > My biggest problem with pure FP languages is a lack of interesting projects The list included projected written in pure FP languages. Not only COQ, Flow is also written in OCaml.
- protomikron 10y ago
  You are right my mistake. However it seems to me that the Haskell community lays more emphasis on purity and the OCaml community takes a more pragmatic approach - but this distinction may be superficial for practical concerns.