4 ms·
Not much afaict. For mathematics, it's usually Coq, maybe Lean or Agda. For scientific computing it's Python or Julia.
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.
- ghostwriter 6y agoYou can use HaskellR (https://tweag.github.io/HaskellR/ https://tweag.github.io/HaskellR/) for everything scientific that is being written in Python and Julia.
- danielscrubs 6y agoTo be fair, Agda is a fusion of Martin-Löf type theory and Haskell if my memory serves me.