HaskellとかLISPはまずやらせたいことがあって、コンピュータでそれを再現している形になるから今のコンピュータアーキテクチャに即した必然性が無いように感じて理解しづらく感じる