mlton

    1熱度

    1回答

    mlton給出了與庫相關的錯誤

    當我嘗試使用mlton編譯程序時，出現錯誤。 ~/projects/serve-sml $ mlton server.mlb In file included from /usr/lib/mlton/include/platform.h:13:0, from /usr/lib/mlton/include/common-main.h:16, from /usr/li
    sml mlton 2015-06-11

    4熱度

    2回答

    霍納規則的雙變量多項式

    霍納規則用於簡化在特定變量值下評估多項式的​​過程。 https://rosettacode.org/wiki/Horner%27s_rule_for_polynomial_evaluation#Standard_ML 我容易地應用於使用SML的方法中，到一個變量多項式，表示爲int列表： fun horner coeffList x = foldr (fn (a, b) => a + b * x
    functional-programming sml smlnj polynomial-math mlton 2017-02-04

    1熱度

    1回答

    如何在mlton中使用smlnj-lib

    我正在使用MLton編譯參考IntBinarySet的SML源文件。代碼運行良好使用SML/NJ，但是，使用MLton編譯時，它會投訴Undefined structure IntBinarySet。我需要以某種方式導入smlnj-lib嗎？ （我可以直接在SML/NJ中使用IntBinarySet而不需要任何use）或者導入任何東西 具體來說，我的源文件intset.sml如下。 fun new
    sml mlton 2013-05-01

    1熱度

    1回答

    從屬簽名專業化

    我可以使用類型之前的類型和簽名來專門化簽名中的類型嗎？這裏有一個例子： signature A = sig type t type s end 我可以專注A通過以下？ signature B = A where type s = t list SML/NJ和Mlton都抱怨t沒有約束。
    sml smlnj mlton 2017-07-23

    1熱度

    2回答

    在SML

    在現實實數力平等在REAL signature解釋的，在SML定義的真實類型不是相等類型，因此下面的表達式不降低 > 1.0 = 1.0; poly: : error: Type error in function application. Function: = : ''a * ''a -> bool Argument: (1.0, 1.0) : real * real
    types sml mlton 2017-03-02

    1熱度

    1回答

    如何提高PolyML中的數組基準性能？

    我有以下基準，它遍歷數組， 設置下一個條目加上前一個條目。如果 的數字大於某個上限，我將條目 設置爲零，然後繼續。然後在最後我總結數組中的條目 。 問題：如何改進PolyML的基準測試結果？ 的時間如下Ubuntu上的x86-64： polyml (using CFLAGS=O3) = 1250034994 real 0m54.207s user 0m52.604s sys 0m0.79
    c++ benchmarking sml polyml mlton 2015-09-06
最新問題