私は宣言型言語を研究してきましたが、宣言型は論理言語と関数型言語の両方を包括する用語のようです。それとも私が間違っていますか？機能的または論理的 (al) として分類できず、単に「宣言的」である汎用宣言型プログラミング言語はありますか?
質問する
860 次
1 に答える
3
宣言型言語では、計算の実行方法をコーディングする命令型言語ではなく、実行したいことをコーディングする必要があります。
一般に、これは、宣言型言語では副作用が許容されないことを意味しますが、命令型言語ではほとんど副作用のあるコーディングが必要になります。
汎用言語が汎用であるためには、副作用をコーディングする能力が必要です。したがって、宣言的であることが難しくなります。
F# のような言語は、関数型プログラミングの強力な基盤を持っていますが、OO プログラミングと副作用を可能にする構造を備えています。これにより、F# は汎用言語になりますが、命令型スタイルのコーディングを宣言型コーディングと混在させることができるためです。
完全に不可能というわけではありませんが、単純に定義された「純粋に宣言的な」汎用プログラミング言語は存在しないのではないかと思います。
于 2012-09-17T02:13:47.647 に答える