ats

0熱度

1回答

在ATS中構建/壓扁列表清單

如何在ATS中構建列表清單？例如，我想列出一個由列表（1,2,3）的所有排列組成的列表。另外，我該如何將列表列表放到列表中？

1熱度

1回答

`main0`函數的類型是什麼？

main0函數的類型是什麼？我正在寫gtk3庫。但是g_application_run()功能需要argv。當然，ATS語言在main0函數上可以使用argv。但是什麼類型？

0熱度

2回答

我有幾個關於在ATS中的foldleft的問題

我有一個任務，我必須做的學校涉及使用foldleft找到列表的長度。我的問題在於執行foldleft。我們給出了一些使用foldleft將列表中的每個項目乘以x的示例代碼。 implement list0_mult(xs) = list0_foldleft<int><int>(xs, 1, lam(res, x) => res*x) 第三行是什麼意思？我們必須得到長度函數來處理任何數據類型

1熱度

2回答

如何讀取ATS中的用戶輸入？

在我的ATS應用程序中，我試圖從用戶讀取輸入字符串。 ATS中是否有任何與C中的scanf函數執行類似功能的函數？如果不是如何在不將ATS與JS或HTML集成的情況下從用戶獲得輸入。

1熱度

1回答

如何在ATS中實現基於尾遞歸的以下函數？

我有以下遞歸定義的函數： fun foo(n: int): int = ifcase | n = 0 => 0 | n = 1 => 1 | n = 2 => 1 | (* else *) => foo(n-1) + foo(n-3) // end of [ifcase] 我如何能夠僅僅基於尾遞歸執行foo。

4熱度

1回答

涉及andalso宏ATS

類型檢查錯誤這裏有兩段代碼我認爲是等價的除了具有更多的行，那麼它應該在第二個： fun move_ul {i:nat} ( p: int(i) , ms: list0(Int) ): list0(Int) = if p - 5 >= 0 andalso p % 4 != 0 then move_ul(p - 5, cons0(p - 5, ms)) else

0熱度

1回答

如何將字符串轉換爲ATS中的浮點數？

基本上，我尋找以下類型的一個函數： fun string2double(rep: string): double ，其將表示爲浮點數入號的字符串。例如，string2double("3.14")應返回3.14。

1熱度

1回答

ATS庫中是否有列表映射的變體，用於處理列表的一部分？

我有興趣處理給定列表的一部分，而不實際構建該部分。我想這是現場處理的一種形式。

0熱度

1回答

在ATS中調用`ignoret`的目的是什麼？

我經常看到以下形式的代碼在ATS： (ignoret(do_somthing()); do_somthing_else()) 什麼是調用ignoret(do_something())ignoret點？