Ответ 1
К сожалению, ответ кажется "НЕТ".
Возможно, интересным для некоторых читателей является следующее:
Часто для одного задания недостаточно одного языка программирования. Например. когда мне нужно решить проблему, которая дистанционно связана со статистикой, R (r-project.org) является наилучшим вариантом. Но я не хочу программировать весь код в R, потому что у Haskell есть эта отличная система типов и так много других важных функций.
Я думаю, что лучший способ - это гибридный подход. Я пишу веб-службу RESTful вокруг функциональности R-кода, а с помощью Haskell я обращаюсь к веб-службе для получения или отправки данных. (Или, возможно, другой способ прямого доступа к R).
Возможно, гибридный подход с Haskell и Python + Sage имеет смысл.
В настоящее время у меня есть три языка программирования в моем "стеке":
- Haskell
- R (r-project.org)
- Agda (или, возможно, Coq)
Также возможно интересно:
В R есть небольшое перекрытие функциональности с Sage. В основном линейная алгебра, функциональность построения графиков и другие библиотеки (например, GD-библиотека) также доступны в R.
Agda имеет некоторую поддержку
Agda должна хорошо работать вместе с Haskell, и даже синтаксис очень похож. Coq также можно использовать с Haskell. См.: Доказательство и отсутствие коррупции. в Haskell
Я написал "возможно" и "возможно", потому что не знаю, соответствует ли информация вопросу.