Is there something like Sage for Haskell programmers?
Share
Sign Up to our social questions and Answers Engine to ask questions, answer people’s questions, and connect with other people.
Login to our social questions & Answers Engine to ask questions answer people’s questions & connect with other people.
Lost your password? Please enter your email address. You will receive a link and will create a new password via email.
Please briefly explain why you feel this question should be reported.
Please briefly explain why you feel this answer should be reported.
Please briefly explain why you feel this user should be reported.
Unfortunately, the answer seems to be “NO”.
Possibly interesting to some readers is the following:
Often, one programming language is not enough for a task.
E.g. when I need to solve a problem which is remotely related to statistics, R (r-project.org) is just the best fit. But I don’t want to program all code in R because, Haskell has this great type system and so many other important features.
I think the best way is a hybrid approach. I write a RESTful web service around the functionality of the R code, and with Haskell I access the web service to get or send data. (Or maybe another way to access R directly.)
Perhaps a hybrid approach with Haskell and Python+Sage makes sense.
Currently I have following three programming languages on my “stack”:
Also possibly interesting:
In R there is a little overlap in functionality with Sage. Mainly the linear algebra, plotting functionality, and further some of the libraries (e.g. GD library) are also available in R.
Agda has some support for
Agda should work well together with Haskell and even the syntax is very similar.
Coq can also be used with Haskell. See: Proving "no corruption" in Haskell
I wrote “maybe” and “perhaps” because I don’t know if the information is relevant to the question.