throwaway518365

5 ms·

1. 1.▲
   by throwaway518365 6y ago

   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 types
2. 2.▲
   by throwaway518365 6y ago

   Not much afaict. For mathematics, it's usually Coq, maybe Lean or Agda. For scientific computing it's Python or Julia.
3. 3.▲
   by throwaway518365 6y ago

   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 solving
4. 4.▲
   by throwaway518365 6y ago

   > 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: - The module