私は宣言型プログラミングと命令型プログラミングについて少し独学してきましたが、宣言型プログラミングは多かれ少なかれ単なる抽象化であるという（おそらく間違っている）理解に達しました。
たとえば、私がこれらの概念をどのように理解しているかによると、メソッドを呼び出して何かを行うことは宣言的ですが、メソッドの実装は必須です (必ずしもそうではありませんが、宣言的ではないだけです)。
したがって、宣言型コードがある場合は、どこかで非宣言型コードに依存して実装する必要があるように見えます。これは単なる性質なのか、それとも 100% 宣言型の言語 (私が概念化することさえできないもの) があるのでしょうか?
これらの概念に対する私の理解が間違っている場合は、修正してください。私はコンピューター サイエンスの学士号を取得したばかりですが、「コードを実行したときに適切な処理が行われるように入力する」ことしか教えられていないように感じます。
ありがとう。