Haskell Integration in Wolfram Tech

[GENERAL] Summarize your solution to the problem.

Wolfram will work with Haskell developers from Tweag to connect Wolfram Language and Haskell. Allowing execution of Haskell across Wolfram Notebooks & Client Libraries to call W.L. from Haskell.

[GENERAL] Summarize your relevant experience.

Wolfram has implemented this feature for several languages, including Python, NodeJS, Julia and Ruby and will work with Tweag to do so for Haskell. Tweag.io are experienced Haskell developers.

[IMPACT] Please describe your proposed solution.

Key Points

• This project will produce Wolfram Language code that is part of the ExternalEvaluate framework: https://reference.wolfram.com/language/guide/ExternalInterpretedLanguageInterfaces.html
• Here is an example of a client library, which has links to GitHub and other relevant pages for code review: https://reference.wolfram.com/language/WolframClientForPython

ExternalEvaluate:

A powerful feature of the Wolfram Language is that it allows users to evaluate code in other programming languages, returning the results to a Wolfram Notebook. We have implemented this feature for several languages, including Python, NodeJS, Julia and Ruby.

Client Library for Haskell:

The Wolfram Client Library for Haskell will allow Haskell programs to directly integrate Wolfram Language capabilities. Connect either to a local Wolfram Engine or to the Wolfram Cloud (or a Wolfram Enterprise Private Cloud).

Implementing these two features for Haskell should be a relatively straightforward project, but Wolfram does not have the experience with Haskell, so we will be working with Tweag on this project. 

Supplemental Information:

https://wolfr.am/wolfram-language-haskell

[IMPACT] Please describe how your proposed solution will address the Challenge that you have submitted it in.

The Developer Ecosystem challenge has the following information about Cardano attracting developers: “Cardano attracts high-calibre Developers and developers have ample resources to work on platforms that suit their interests:”

• Developer productivity: IDE's, scripts to automate stuff.

Integrating Haskell into the Wolfram Language will help provide additional tools for Haskell development.

Once we have an initial Haskell integration, we can focus on providing additional resources to use Haskell within Wolfram Notebooks as an IDE environment.

In the future, this Haskell – Wolfram Language integration will allow us to explore working with Plutus. 

[IMPACT] What are the main risks that could prevent you from delivering the project successfully and please explain how you will mitigate each risk?

The main challenge is the Haskell portion of the project; however, we will work with Tweag to execute that portion of the project and reduce project risks.

[FEASIBILITY] Please provide a detailed plan, including timeline and key milestones for delivering your proposal.

We have created a seven-month timeline for the execution of all items in the plan, assuming a start in July.

I. Discovery Phase: July 1, 2022–October 1, 2022

If the project is not funded, we may wind it down and delay the completion until future funding rounds or pursue other avenues of funding.

A. Haskell Wolfram Language Connection

Evaluate a connection to the Wolfram Language from Haskell and a connection to Haskell from the Wolfram Language.

B. Enterprise Use Cases

Review increasing the functionality of Haskell to include Wolfram Language functionality.

II. Working Phase: October 2, 2022–February 1, 2023

Develop the connection to the Wolfram Language from Haskell and the connection to Haskell from the Wolfram Language.

III. Final: February 1, 2023

Supplemental Information:

https://wolfr.am/wolfram-language-haskell

[FEASIBILITY] Please provide a detailed budget breakdown.

Team Costs: 130,000 USD (writing, programming, modeling and design costs)

[FEASIBILITY] Please provide details of the people who will work on the project.

Todd Gayley – Wolfram Director, Engine & Connectivity Engineering

Karla Santana – Wolfram Project Manager

Jesús Hernández -- Wolfram Senior Technologist

Steve Purcell – Tweag Vice President of Engineering

Facundo Domínguez – Tweag Senior Software Engineer

Jonathon Bartlett – Tweag Sales Director

Cheng Shao – Tweag Software Engineer

[FEASIBILITY] If you are funded, will you return to Catalyst in a later round for further funding? Please explain why / why not.

No.

[FEASIBILITY] Are you or any member of your team working on any other proposals in this Fund9?

[FEASIBILITY] Are you or your team working on any other proposals from previous Funds?

[AUDITABILITY] Please describe what you will measure to track your project's progress, and how will you measure these?

The completion of the projects.

The use of Haskell within Wolfram technologies.

The use of Wolfram Notebooks for development by Haskell programmers.

[AUDITABILITY] What does success for this project look like?

• ExternalEvaluate for Haskell similar to https://reference.wolfram.com/language/ref/ExternalEvaluate.html
•  Wolfram Client Library for Haskell similar to https://reference.wolfram.com/language/WolframClientForPython

[AUDITABILITY] Please provide information on whether this proposal is a continuation of a previously funded project in Catalyst or an entirely new one.

This is a new proposal.