<a href="https:&#x2F;&#x2F;www.cs.york.ac.uk&#x2F;fp&#x2F;reduceron&#x2F;" rel="nofollow">https:&#x2F;&#x2F;www.cs.york.ac.uk&#x2F;fp&#x2F;reduceron&#x2F;</a><p>It&#x27;s still fairly young technology but there has been work on processors for HLLs. The one above (if my understanding is correct) is effectively a combinator processor, and its input language is a subset of Haskell.<p>(and now I notice it&#x27;s already linked in the article comments, but I&#x27;ll keep it here for those interested.)