Minsc語言和Policy語言有什麼關係？

引自 Minsc網站“Minsc 是一種高級腳本語言……基於 Miniscript Policy 語言，具有附加功能和語法糖，包括變數、函式、中綴符號等。”

這個問題描述了 Policy、Miniscript 和 Script 之間的關係。Sanket Kanjalkar 解釋瞭如何將 Policy 編譯為 Miniscript，而 Miniscript 則編碼為 Bitcoin Script。那麼Minsc和Policy之間的關係呢？如何最好地描述這一點？

Minsc 有一個執行時環境，它具有作為評估程序的結果建構的 Policy 數據類型。程序評估可以被認為是編譯過程的一部分，在這種情況下，您可以說 Minsc 編譯為 Policy，但也可以將此評估視為執行時，並說 Minsc 根本不編譯，而是具有可以由它生成的執行時策略數據類型的解釋腳本語言。函式/程序也可以返回不同的數據類型，但是當主程序這樣做時，高級 API 會擷取並認為它是錯誤的。

（這是從與 Minsc 的創建者 shesek 的對話中轉述的。任何錯誤都是我自己的。）

引用自：https://bitcoin.stackexchange.com/questions/98357