Подтвердить что ты не робот

Имеет ли Haskell эквивалент Sage?

Есть ли что-то вроде Sage для программистов Haskell?

4b9b3361

ОТВЕТЫ

Ответ 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

Я написал "возможно" и "возможно", потому что не знаю, соответствует ли информация вопросу.

Ответ 2

Как было сказано, его нет.

Однако есть Axiom, чей язык Spad является самым близким Haskell среди передовых CAS общего назначения. Он имеет сильную статическую типизацию и абстракцию с категориями, которые аналогичны (я бы сказал то же самое), что и классы Haskell.

Ранее Axiom также мог использовать Aldor, который превосходит Haskell, поскольку он содержит зависимые типы. Но, к сожалению, Aldor умер из-за проблем с лицензированием.

Обязательно проверьте также FriCAS, вилку Axiom.

Ответ 3

честно, насколько я знаю, не существует.

Но есть что-то, называемое REPA

который похож (хорошо по-разному), на numpy.