Re:On Marketing Haskell
by danielscrubs on Sunday May 31, 2020 @09:48AM
(#23369568)
He probably mean a heavy focus on type theory. It has been used in formal verification as a prototype tool [1].
[1]: https://en.wikipedia.org/wiki/L4_microkernel_family#High_ass...
Re:On Marketing Haskell
by goatinaboat on Saturday May 30, 2020 @05:50PM
(#23365082)
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!
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?
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.
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.
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.
It's hard for me to find a reasonable interpretation of this sentence that is true. 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.
Historically, it also seems like Haskell was built as a research language.