Elm Integration with Plutus

Elm's semantics are a subset of Haskell's... Marlowe AST is valid Elm code... The goal is converting Elm code to Plutus Core or Haskell.

4+ years of Elm development. 15+ years of functional programming. Countless hours reading the Haskell code of the Elm compiler.. Plutus too.

All the progress I make on this project will be available in the linked git repository under an open source license.

Timeline:

Three Months: Some work on defining how Elm code could translate to Plutus. How can the Elm Architecture be adapted to the EUTxO model and interact with the different components of the Plutus library. 

Six Months: Some working code that either translates an Elm project into a compilable Plutus project, or that compiles directly to Plutus Core based on whichever path my research takes me.

Twelve Months: People should be able to write their Plutus applications in Elm if they want to, and run them on Cardano. I'm hoping to, eventually, look at ways this project could be used in conjunction with my other proposals in this round:

https://cardano.ideascale.com/a/dtd/Plutus-Integration-with-Pony-Lang/370089-48088

https://cardano.ideascale.com/a/dtd/Distributed-Collaboration-Protocol/369937-48088

(Depending on the acceptance of my other proposals, timelines would be subject to change, and I reserve the right to interleave work on each project as I see fit. Some of the research I do for the other projects could give direction to this one and vise versa.)

I'm currently living in Malawi, in southeast Africa, and can easily live off of $1000 a month if I need to ($1000 * 6 months). The budget is for six months of work, beyond that, I'll probably just continue working on this project for free, because it will be useful for other things I want to do in the future. I've been living off of my savings in Ada since April and devoting most of my time to studying the Cardano platform and related topics. It would be nice to have an income besides bull runs in the price of Ada, so that I can focus on building free tools.