関数型言語を処理するために設計されたコンピュータってどんな構造なんだろ