不完整的弗雷格文檔

在http://www.frege-lang.org/doc/index.html的javadoc似乎缺少了很多（即沒有frege.prelude包），並且看起來不是最新的。可能有一個很好的關於弗雷格的文檔，隱藏在某個地方？不完整的弗雷格文檔

來源

2016-05-13 Mona the Monad

是[這一個]（http://www.frege-lang.org/doc/fregedoc.html）更好嗎？我不使用弗雷格，但發現他們的github頁面上的鏈接。它有一個frege.prelude包。 –

你所看到的是運行時類的API文檔，這是非常小的，因爲典型的弗雷格用戶不會使用這些文檔。

Thomas正確地指出了庫文檔。

此外，還有一個「Hoogle」支持Frege：http://hoogle.haskell.org:8081/，您可以在其中搜索API。

所有從Frege主頁鏈接。

希望有所幫助。

來源

2016-05-13 15:56:30 Dierk

當試圖互操作Java與弗雷格時，弗雷格有時希望我提供具有奇怪類型的對象，比如'Func.U <α, >'或其他東西。 –

自從最新的編譯器版本3.24.x以來，這是將函數類型映射到Java的Frege方法當您僅使用Frege時，您永遠不應該看到這一點。只有當你想在Java代碼中使用Frege函數類型時，你必須處理這個問題。你想打電話給什麼？（和順便說一句，你最好使用一個編輯器/字體，顯示所有的Unicode字符） – Dierk

我有一個數據類型在弗雷格表示一個普通的Java類型（說'功能'），我似乎無法得到'應用程序'方法正確。 Frege編譯'native apply {α，β} :: Mutable s FooFunc - > ST sα - > ST sβ'就好了，但Java端的函數簽名看起來像'apply（α，Func.U <α, >） '。 –

不完整的弗雷格文檔

回答

相關問題