如何讓 GHCi 向我顯示不明確的類型簽名？

[英]How do I get GHCi to show me an ambiguous type signature?

如果我有一個我知道有歧義類型的表達式，有沒有辦法讓 GHCi 實際上完整地告訴我那個類型，這樣我就可以看到自己的確切歧義，而不必將它的一部分拼湊起來錯誤信息？ 例子： GHCi, version 9.0.1: https://www.haskell.org/ghc/ :? for help ghc ...

是什么導致了這種類型的歧義？

[英]What is causing this type ambiguity?

我有兩個相對簡單的類， MSet ： 當我啟動 ghci 並嘗試測試這些時，我遇到了一個問題： 雖然(+>>)在它被限制為Magma時有效，但在不受限制時是模棱兩可的。 現在我可以這樣做： 但我不明白這里發生了什么或為什么這個注釋有幫助。 我真的不明白類型檢查器如何消除歧義(<& ...

什么是 AllowAmbiguousTypes 以及為什么在此“forall”示例中需要它？

[英]What is AllowAmbiguousTypes and why is it needed in this "forall" example?

代碼 無法在 GHC 8.0 上編譯並出現錯誤 所以添加AllowAmbiguousTypes將使代碼編譯。 這是我的問題： AllowAmbiguousTypes到底是什么？ 為什么需要使這個特定代碼工作？ 我擔心在這個特定代碼中添加AllowAmbiguousTypes會比我真正想要的更多。 ...

-XAllowAmbiguousTypes 什么時候合適？

[英]When is -XAllowAmbiguousTypes appropriate?

我最近發布了一個問題，關於句法2.0有關的定義share 。 我在GHC 7.6 中使用過這個： 但是，GHC 7.8 希望-XAllowAmbiguousTypes使用該簽名進行編譯。 或者，我可以代替fi與 這是 Fundep 在SyntacticN上隱含的類型。 這使我可以避免擴展。 ...