Monads to Machine Code

Monads to Machine Code Just-in-time or JIT compilation is compilation done by dynamically generating executable code. It’s a common technique used in many language runtimes to generate optimized code for hot code paths as well ahead of time compilation for various tasks. So let’s build a small LLVM-like intermediate language and JIT execution engine in Haskell. This will only function with modern

[mandel59]

マシンコードをMonadとして表現することはできるけど、Monadとして表現する特段の意義は「do記法が使えて嬉しい」以外にないんじゃないの?