Hacker News Reader

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

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

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