機械語だって表示的意味論で意味付けできるから、極端な事言えば大差ない。
ただ表示的意味論でよく使われる手法をmonadとして整理したので、
monadでI/Oなどの副作用を扱ったコードの意味が扱いやすいものであるのは間違いない。