I probably wouldn't until/unless Idris 2 gained some steam, it would probably be Ocaml. I was thinking more along the lines of dependent types, because the kinds of problems where you'd really really need strong static…
Not much afaict. For mathematics, it's usually Coq, maybe Lean or Agda. For scientific computing it's Python or Julia.
What software issue does category theory and abstract algebra solve? Don't get me wrong, it's cool and it has expanded my appreciation and understanding of math. But I just don't see what engineering problem it's…
> I find it hard to believe that anyone who’s really used both prefers OCaml over Haskell. I've actually used Haskell, Ocaml and Purescript for several years and a lot of locs, and I actually like Ocaml better. Reasons:…
I probably wouldn't until/unless Idris 2 gained some steam, it would probably be Ocaml. I was thinking more along the lines of dependent types, because the kinds of problems where you'd really really need strong static…
Not much afaict. For mathematics, it's usually Coq, maybe Lean or Agda. For scientific computing it's Python or Julia.
What software issue does category theory and abstract algebra solve? Don't get me wrong, it's cool and it has expanded my appreciation and understanding of math. But I just don't see what engineering problem it's…
> I find it hard to believe that anyone who’s really used both prefers OCaml over Haskell. I've actually used Haskell, Ocaml and Purescript for several years and a lot of locs, and I actually like Ocaml better. Reasons:…