雖然例子是人爲的，爲什麼我不能使用通配符模式，如果該數據構造被忽略？ module Main where
import Prelude
import Control.Monad.Eff.Console (log)
data Person = Amy { name :: String } | George { name :: String }
--Implementations Opt
我試圖基於數據的陣列上創建一個記錄來創建記錄，該功能是這樣的： type Address = {
street :: String,
city :: String,
state :: String
}
convertToAddress :: Array String -> Maybe Address
convertToAddress [street, city
我有一個類型的effectful異步操作，讓我們說， effectful :: Aff e r
我想建立需要一些異步操作的操作並將結果從purescript-signal發送到Channel。該send函數簽名： send :: forall a e. Channel a -> a -> Eff (channel :: CHANNEL | e) Unit
這裏是我想出了實現： runAff
我在閱讀Purescript通過示例並介紹了讀者單元的部分。示例如下： createUser :: Reader Permissions (Maybe User)
createUser = do
permissions <- ask
if hasPermission "admin" permissions
then map Just newUser
els