Poly/ML 的 RunCall 結構

[英]RunCall structure of Poly/ML

我正在閱讀 Isabelle 的源代碼，而我並沒有一般的編程經驗。 我發現使用 Poly/ML 基礎庫的RunCall結構（例如在src/Pure/Concurrent/thread_attributes.ML中操作線程標志）。 我查閱了RunCall 的 Poly/ML basis library ...

PolyML 頂層的報價機制

[英]Quotation mechanism for PolyML top level

對於各種玩具項目，我希望能夠將對象語言嵌入到 PolyML 頂層，例如 HOL 的反引號語法，其中反引號之間的表達式由自定義解析器解析。 我不介意特定的定界語法：反引號 `...`、guillemets <<...>> 或類似 {|...|} 的東西。 我只想能夠在頂層編寫 ...

PolyML 彩色 output 到 Linux 中的終端

[英]PolyML colored output to terminal in Linux

理想情況下，這行 PolyML 代碼應該給出預期的結果： 但是 \033 原來只是一個感嘆號，而不是顏色編碼的特殊符號。 我使用以下“繞過”方法，但它不允許以交互方式執行任何操作：我只取我程序的 output 並為其着色。 這個問題有哪些可能的解決方案？ 是否可以在標准 PolyML 儀器中解決它？ ...

導致 SML 錯誤的原因：Exception-InternalError: asGenReg 在編譯時引發

[英]What causes the SML error: Exception- InternalError: asGenReg raised while compiling

我正在學習 SML，但無法弄清楚為什么以下教科書代碼會產生錯誤： 錯誤是： 這適用於 Poly/ML 5.7.1。 該代碼計算復數(x,y)的倒數。 我嘗試添加; 和括號無濟於事。 奇怪的是，以下更改（不正確）的定義可以正常工作。 錯誤消息的信息量不是很大。 有人可以幫助解釋錯誤在哪里以及如何解決嗎 ...

StandardML 階乘評估在 Poly/ML REPL 中進入無限循環

[英]StandardML factorial evaluation enters infinite loop in Poly/ML REPL

以下階乘函數很好...... 但以下將 Poly REPL 帶入無限循環。 想知道是什么原因造成的？？ ...

我不知道如何使用 PolyML 打開和運行 sml 文件

[英]I don't know how to open and run sml files with PolyML

我對 SML 完全陌生，我不明白我應該做什么才能使用 PolyML 創建、編輯、編譯和運行 sml 文件。 我正在使用 Windows，我不知道是否需要下載另一個 IDE，或者像 Java 這樣的開發套件。 我想創建定義了一些函數的文件，然后由終端使用它們。 ...

在 Poly/ML 編程中計算沒有重復的元素列表

[英]Counting elements list without duplicates in Poly/ML programming

我被困在 Poly/ML 中的函數式編程練習中： 執行''a list -> int 類型的 function ，以便將''a 元素列表作為參數。 function 必須返回列表中元素的數量，而不計算重復項。 我真的不知道如何解決它。 在此先感謝您的幫助！ ...

我如何正確調用 XWindows.XGetImage ？

[英]How do I get this XWindows.XGetImage call right?

（更新：感謝 David，XGetPixel 問題已經解決） 我正在從 rosettacode.org 為 Standard ML 練習一些任務，但我堅持使用來自 XWindows (PolyML) 的 XGetImage 調用。 對於 XYPixmap 格式的每次嘗試，我都會收到 badVal ...

FreeBSD - 如何編譯包含 XWindows 模塊的 PolyML

[英]FreeBSD - how do I compile PolyML including XWindows module

在 freebsd 12 上，PolyML 中的 xwindows 模塊沒有實現，所以我試圖在端口樹之外編譯它的源代碼。 它確實可以編譯，但我無法在 poly 中打開 XWindows 模塊。 我所做的是： 將 libX11 復制到 /usr/lib 以確保，並在 /usr/include ...

創建一個使用 SML 讀取文件的列表

[英]Create a list reading a file with SML

我正在嘗試創建一個讀取文本文件的列表，例如我有一個像"1 5 12 9 2 6"這樣的文本文件，我想創建一個像這樣的列表[1,5,12,9,2,6]使用SML ...

編寫一個SML函數，該函數采用文件名並返回不帶空格的char列表

[英]Write a SML function that take the name of a file and return a list of char without spaces

在一次考試中，我發現了這個練習：“編寫一個帶有文件名（即“ text.txt”）並返回不帶空格的字符列表的函數” 例如： “ text.txt”包含“ ab e ad c”，該函數必須返回-> [＃“ a”，＃“ b”，＃“ e”，＃“ a”，＃“ d”，＃“ c”] 哪 ...

有沒有辦法顯示SML包/庫的每個功能？ 我正在使用PolyML

[英]Is there a way to display every function of a SML package/library? I am using PolyML

我想列出SML庫的每個功能。 是否有類似幫助命令的內容？ 例如： 有沒有辦法在PolyML終端中查看此列表 ？ 我需要在終端上查看它而不使用Google。 考試期間我無法使用互聯網，也無法帶筆記。 ...

PolyML - 遞歸列表排序

[英]PolyML - Recursive list sorting

我試圖檢查列表是否在 PolyML 中排序。 該列表不是內置類型，而是由我定義為： 我不知道如何檢查遞增和遞減順序，所以現在我將自己限制為遞增順序（歡迎提供更通用解決方案的任何提示！）。 所以我的方法如下： 首先Int.minInt不是Int類型，所以我的類型不匹配。 我怎么能解決這個問題 ...

如何在命令提示符下安裝 PolyML

[英]How do i install PolyML on my command prompt

我想在 SML 中使用 Visual Studio ti 程序，但我不知道如何在命令提示符下安裝 Poly ...

在MobaXterm上編譯Poly / ML：ar u選項

[英]Compiling Poly/ML on MobaXterm: the ar u option

我要在基於MobaXterm v11.1 cygwin的發行版上編譯Poly / ML Standard ML編譯器。 完成后，我得到 這里我有binutils / ar 2.29.1版本。 在具有binutils / ar 2.22.52版本的Fedora盒上，編譯會通過。 ...

標准ML中的Word64的多態變形

[英]Polymorphic coersion to Word64 in Standard ML

我想創建一個多態函數，將8,16,32位字轉換為64位字。 我該怎么做？ UPDATE1 在基礎庫中，所有單詞結構都具有toLarge函數和fromLarge函數以轉換為/從LargeWord函數轉換，據我所知，這只是Word32的同義詞。 UPDATE2 根據規范，字 ...

無法將字符與字符串ML連接

[英]Can't concatenate a char with a string ML

您好，我正在嘗試在ML中執行incFirst函數。 該函數執行以下操作：incFirst“ bad” =“ cad” incFirst“ shin” =“ thin”。 這是我嘗試做的fun incFirst s = chr(ord s + 1) ^ substring(s, 1, size ...

引發了Poly / ML異常強制轉換“ toAddress”

[英]Poly/ML Exception Cast “toAddress” raised

使用Poly / ML，我想編寫一個使用Array of Array構造n * n單位矩陣的函數。 我寫： 它成功編譯，給出 但是當我打電話給idmatrix 為了進行測試，編譯器的輸出為 有人可以解釋為什么引發異常嗎？ 非常感謝你！ ...

如何通過終端在 mac 上運行 polyml？

[英]How to run polyml on mac via Terminal?

所以我在我的 mac 上安裝了最新版本的 polyml。 如何運行編譯器開始使用它？ 對於 sml，它非常簡單，我只需輸入“sml”即可開始工作？ ...

從多個文件編譯 SML 項目

[英]Compiling SML projects from multiple files

我有一個包含許多文件的項目，我希望它可以與最流行的編譯器一起使用。 不幸的是，PolyML 和 SML/NJ 需要use語句，而 MosML 還需要使用load顯式加載基礎庫結構，poly 或 sml 都無法識別。 最重要的是，MLton 和 MLKit 需要一個完全不同的 .mlb 文件，只是 ...