Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Algebraic effect handlers, introduced by Plotkin and Por in 2002,     are recently gaining in popularity as a purely functional approach to     modeling effects. In this article,  give a full overview of     practical algebraic effects in the context of a compiled     implementation in the Koka language. In particular,  show how     algebraic effects generalize over common constructs like exception     handling, state, iterators and async-await.  give an effective type     inference algorithm based on extensible effect rows using scoped     labels, and a direct operational semantics. Finally,  show an     efficient compilation scheme to common runtime platforms (like     JavaScript) using a type directed selective CPS translation.
['Daan Leijen']
I am writing a research paper on a idea Type directed compilation of row-typed algebraic effects
[{"from": "human", "value": "I am writing a research paper on a idea Type directed compilation of row-typed algebraic effects"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Algebraic effect handlers, introduced by Plotkin and Por in 2002,     are recently gaining in popularity as a purely functional approach to     modeling effects. In this article,  give a full overview of     practical algebraic effects in the context of a compiled     implementation in the Koka language. In particular,  show how     algebraic effects generalize over common constructs like exception     handling, state, iterators and async-await.  give an effective type     inference algorithm based on extensible effect rows using scoped     labels, and a direct operational semantics. Finally,  show an     efficient compilation scheme to common runtime platforms (like     JavaScript) using a type directed selective CPS translation."}]