News for hackers. Stuff that matters.

A comment on On Marketing Haskell. Parent comment

Re:On Marketing Haskell by throwaway518365 on Saturday May 30, 2020 @09:42PM (#23366500)
Not much afaict. For mathematics, it's usually Coq, maybe Lean or Agda. For scientific computing it's Python or Julia.
[ Parent | on HN ]
Re:On Marketing Haskell by danielscrubs on Sunday May 31, 2020 @08:57AM (#23369284)
To be fair, Agda is a fusion of Martin-Löf type theory and Haskell if my memory serves me.
[ Parent | on HN ]
Re:On Marketing Haskell by ghostwriter on Sunday May 31, 2020 @01:40AM (#23367472)
You can use HaskellR (https://tweag.github.io/HaskellR/) for everything scientific that is being written in Python and Julia.
[ Parent | on HN ]