組合和柯里化如何相互作用？

[英]How do composition and currying interact?

在做Purescript by Example 書第 3 章的練習時，對此感到困惑： 練習是寫一個isInBook:: String -> String -> AddressBook -> BooleanfindEntryByName :: String -> String ...

如何在純腳本中實現Tree的折疊權

[英]How to implement fold right for Tree in purescript

我是 Purescript 的新手，所以我試圖為我的自定義樹數據結構實現左折疊和右折疊（又名減少），但是我在實現右折疊邏輯時遇到了問題：data Tree a = Leaf a | Node (Tree a) (Tree a) instance foldableTree :: Foldable T ...

哪個是“takeEnd”的更高效版本 function

[英]Which is a more efficient version of "takeEnd" function

我是 PureScript 的新手，所以我正在重新創建一些基本函數，我想重新創建“takeEnd”function，它從列表末尾獲取指定數量的元素。 這是我寫的解決方案：takeEnd :: forall a. Int -> List a -> List a takeEnd _ Nil ...

Purescript：如何從 stdin 讀取字符串並保存？

[英]Purescript: How to read a string from stdin and save it?

我對 Purescript 很陌生，我正在嘗試處理一些用戶輸入（從 stdin 接收），但我最好的方法是這個： 我在其中使用 Node.ReadLine package 創建一個接口，請求輸入並以另一種方法處理它。 這適用於石頭剪刀布游戲，我設法獲得了一次移動的結果並將其記錄給用戶。 但我堅持將該 ...

Purescript/Haskell 中變體的用例

[英]Usecase of Variants in Purescript/Haskell

有人能告訴我純腳本變體或一般變體的用例是什么文檔寫得很好，但我找不到任何真實的用例場景。 有人能告訴我們如何在現實世界中使用 Variants 嗎？ ...

PureScript 錯誤：無法匹配種類類型 -> 類型與種類類型

[英]PureScript Error: Could not match kind Type -> Type with kind Type

我是 PureScript 的新手，正在嘗試此鏈接中的一些代碼。 我在這里粘貼了代碼： 我遇到了這個錯誤： Could not match kind Type -> Type with kind Type 。 有誰知道如何解決這個問題？ 我想要做的是將元組列表轉換為 2 個列表的元組，然后僅提 ...

純腳本數據作為所有可能數據居民的數組

[英]purescript data as array of all possible data inhabitants

我得到以下數據類型：data Icon = IconCircle | IconSquare | IconStar 我需要所有可能的Icon的數組？：allPossible :: Array Icon allPossible = [IconCircle, IconSquare, IconStar] ...

如何在 purescript 中鏈接操作（或者在渲染后延遲操作）

[英]How to chain actions in purescript (or maybe defer action after rendering)

我目前正在學習鹵素，但我很難找到如何鏈接動作。 假設我有一個簡單的文章列表組件。 我還有一個“添加”按鈕來創建要在列表中適當編輯的新文章。 我的方法是將AddArticle操作綁定到按鈕的onClick操作。 在handleAction function 中，我將在文章列表model 的末尾添加一 ...

PureScript 中的 Ascii 顏色前綴不起作用

[英]Ascii color prefixes in PureScript doesn't work

我想用 ASCII colors 為我的字符串着色，但是下面的代碼......data Color = White | Red | Green | Yellow colorizeWith :: Color -> String -> String colorizeWith Green ...

純腳本。 參數列表長度在聲明中不同

[英]PureScript. Argument list lengths differ in declaration

為什么這會給我錯誤“聲明比較中的參數列表長度不同”。 但是如果我將最后一行更改為 然后它編譯。 我認為flip compare返回 2 個參數的 function 因此匹配compare的簽名，但顯然它沒有。 回復： ...

如何使用 Purescript 從標准輸入獲取字符串？

[英]how to get string from stdin using Purescript?

正如標題所說，我想知道如何使用 Purescript 獲取標准輸入。 我想用我的鍵盤輸入字符串。 就這樣。 事實上，我可以通過谷歌搜索找到一些代碼。 但沒有什么能正確運行。 他們省略了導入語句或發生編譯錯誤。 如果我有關於標准輸入的完整代碼，那就太好了。 謝謝你 ...

使用新類型的記錄更新語法

[英]Use records update syntax for newtype

以前我有這種類型： 對於這種類型，我有這個功能 我想將Directions轉換為newtype ，但我也想使用與withLeft相同的語法，就像這樣...... ...但這不起作用。 我該怎么做？ ...

在 PureScript 中帶有時間戳的 requestAnimationFrame 循環

[英]requestAnimationFrame loops with timestamps in PureScript

我正在嘗試使用 PureScript。 我在 JS 中經常做的事情如下：let start; function step(timestamp) { if (start === undefined) start = timestamp; const elapsed = timesta ...

運行 spago build 返回錯誤安裝依賴項

[英]Running spago build returns error installing dependencies

我剛開始使用純腳本。 運行 spago build 總是返回一個錯誤，上面寫着 - 關於我哪里出錯的任何線索？ https://i.stack.imgur.com/w4XKv.png ...

使用 Newtype 類約束純腳本時編譯器無法推斷類型

[英]Compiler can't infer type while using Newtype class Constraint purescript

我試圖編寫一個可以獲取新類型包裝的數據的函數。 這無法編譯並抱怨 但是當我這樣做時 它工作正常！ 我的問題是為什么它不能第一次推斷類型？ newtype 類型類的定義如下， 這意味着它可以在知道t是什么時推斷出a 。 那為什么它第一次不起作用。 ...

如何將沒有特定字段的行設置為 function 參數

[英]How to have row without particular field as function param

我想要的是以下，我有一個行類型：type FooBarBaz = ( foo :: Int , bar :: String , baz :: Boolean ) 然后需要一個 function，它采用此行類型記錄但沒有“foo”：並添加默認的“foo”字段：withoutFoo { ...

現有類型的新 Show 實例

[英]New Show instance for existing type

我的自定義類型Cell的 NonEmptyList 有包裝類型： 我也嘗試為Cells創建Show實例： 但它會引發Orphan instance found for ... 。 我可以通過使CellsRow成為新類型來解決它，但是我可以同時使用Show實例和簡單type CellsRow ...

如何打開專業化以消除運行時字典傳遞？

[英]How do I turn on specialization to eliminate runtime dictionary passing?

在查看我編寫的一些 Purescript 代碼的運行時性能不佳時，我注意到生成的 Javascript 代碼包含字典傳遞，用於例如transformers器單子的重載定義。 但是，我所有的導出函數都是單態的，因此編譯器應該可以毫無困難地專門處理這些重載事件。 如果這是用 GHC 編譯的 Haske ...

PureScript - 如何添加或減去新類型

[英]PureScript - How to Add or Subtract NewTypes

考慮這個直觀的示例，其中嘗試對從 Number 派生的兩個 NewType 使用 (+) 運算符： 但是，嘗試此操作會產生以下錯誤： 所以，本質上，問題是 您如何對新類型進行操作，就好像它們是它們的派生類型一樣？ 因此，理想情況下，當基於字符串連接兩個新類型的值，或者基於布爾值比較兩個新類 ...

嘗試返回可擴展記錄時出現編譯類型錯誤

[英]Compile type error when trying to return Extendable record

我已經創建了一個可擴展的記錄類型，我怎樣才能返回最小的基本類型而不會出現編譯器拋出錯誤。 我有一個類型的記錄， 我正在擴展它，比如 當我嘗試像這樣訪問我的代碼時， 它拋出錯誤， 剛性類型在這里到底是什么意思？ ...