FreeT/ProgramT創建的monad變換器可以有類似於mtl的機制嗎? 我對歷史的理解如下。曾幾何時,monad變壓器被髮明出來。然後人們開始將monad變壓器堆疊在一起,然後發現在任何地方插入lift都很煩人。然後有幾個人發明了monad類,以便我們可以例如ask :: m r in any monad m such as MonadReader r m。這是可能通過使每個單子類滲透每一
我試圖找到一種方法來動態地查找OU的名稱。 問題是,公司名稱OU始終存在,但內容可能會更改。 例如: 在這種情況下,公司的名字我已經找回(我的劇本)是 '微軟'。 但是,我還沒有找到一種方法,可以動態地做到這一點。 由於子庫可能會有所不同(每個客戶端,並非所有客戶端都具有相同的OU),因此很難找到檢索公司名稱的好方法。 我曾經想過retrieve the OU that is made by an