Hacker News Reader

Comment by goatinaboat | Hacker News Reader

I'm not sure much serious mathematics is done is Haskell, beyond the usual arithmetic operations present in most programs, especially relative to other programming languages. It hasn't taken off in the numerical computating market, for example.

All that stuff about types and categories and monads and so on is maths too. Arithmetic or numerical work is only a subset of that field. Lots of maths doesn’t even involve numbers!

View on HN

So let me ask again: in what sense do people "do mathematics" in Haskell?

They don't really "do" category theory, for example; simply noting that something forms a category is mathematics only in the most trivial sense.

> All that stuff about types and categories and monads and so on is maths too.

I think the question he's asking is: What papers have been published in math journals where the work was done in Haskell? Which mathematicians use Haskell to do mathematics work?

Not much afaict. For mathematics, it's usually Coq, maybe Lean or Agda. For scientific computing it's Python or Julia.

You can use HaskellR (https://tweag.github.io/HaskellR/) for everything scientific that is being written in Python and Julia.

To be fair, Agda is a fusion of Martin-Löf type theory and Haskell if my memory serves me.

Everything in computers is math. Floating point numbers are math. Java generics with inheritance are math. It's not a point of distinction.

Reply on news.ycombinator.com