I don&#x27;t 100% agree with the author that the reduceron is a &quot;Haskell Machine&quot; - it seems very much to be the motivation for the project, but I think it&#x27;s more of a &#x27;strongly typed functional language machine&#x27;.<p>I&#x27;d be inclined to think that the more general machine Yosef wishes for would come with time and more languages implemented. Heck, maybe restricting the kind of languages best supported is a necessary feature - you can&#x27;t say that von Neumann doesn&#x27;t best support imperative &amp; procedural languages after all.