ocm - ¿Haskell tiene un equivalente a Sage?

cocalc python (4)

¿Hay algo como Sage para los programadores de Haskell?

Como se dijo, no hay ninguno.

Sin embargo, existe Axiom , cuyo lenguaje Spad es el más cercano también a Haskell entre los CAS de propósito general avanzados. Tiene una fuerte tipografía estática y abstracción con categorías que son similares (yo diría lo mismo) que las clases de Haskell.

Anteriormente, Axiom también podía usar Aldor, que es superior a Haskell, ya que presenta tipos dependientes. Pero desafortunadamente, Aldor está muerto debido a problemas de licencia.

Asegúrese de consultar también FriCAS , la horquilla de Axiom.

Desafortunadamente, la respuesta parece ser "NO".

Posiblemente interesante para algunos lectores es el siguiente:

A menudo, un lenguaje de programación no es suficiente para una tarea. Por ejemplo, cuando necesito resolver un problema que está relacionado de forma remota con las estadísticas, R ( r-project.org ) es la mejor opción . Pero no quiero programar todo el código en R porque, Haskell tiene este gran sistema de tipos y muchas otras características importantes.

Creo que la mejor manera es un enfoque híbrido. Escribo un servicio web RESTful sobre la funcionalidad del código R, y con Haskell accedo al servicio web para obtener o enviar datos. (O tal vez otra forma de acceder a R directamente.)

Quizás un enfoque híbrido con Haskell y Python + Sage tenga sentido.

Actualmente tengo tres lenguajes de programación en mi "pila":

Haskell
R (r-project.org)
Agda (o tal vez Coq)

También posiblemente interesante:

En R hay una pequeña superposición en la funcionalidad con Sage. Principalmente, el álgebra lineal, la funcionalidad de trazado y otras bibliotecas (por ejemplo, la biblioteca GD) también están disponibles en R.

Agda tiene algo de apoyo para

Agda debería funcionar bien junto con Haskell e incluso la sintaxis es muy similar. Coq también se puede utilizar con Haskell. Ver: Prueba de "no hay corrupción" en Haskell

Escribí "tal vez" y "quizás" porque no sé si la información es relevante para la pregunta.

Hay dos opciones que se han producido después de la respuesta de los martillos:

GHC live es la más reciente de las dos.

Honestamente, hasta donde sé, no existe.

Pero hay algo que se llama REPA

que es similar (bueno de una manera haskellish), para adormecer.