繁体   English   中英

给定函数g :: a - > b - > ... - > z,我怎样才能像h ::(a,b,...) - > z一样使用它?

[英]Given a function g :: a -> b -> … -> z, how can I use it like h :: (a, b, …) -> z?

背景:我正在使用wxHaskell的fileOpenDialog,它有6个非显而易见的参数(curried)。 我的代码目前是:

maybePath <- fileOpenDialog w useLastSelectedDir canSelectReadOnly
                frameName possibleFiles initialDir defaultFilename

用上面的let语句来定义我的所有参数。 我喜欢做的是在某处保存我的参数。 我有点理解为什么Haskell不会支持像:

myParams = ( ... ) -- tuple of params
maybePath <- fileOpenDialog myParams

但是,在不重复自己的精神下,是否有接近这一点的东西?

看起来您自然希望此函数的输入是参数记录:

{-# LANGUAGE RecordWildCards #-} 

-- Defined by your library 
foo :: String -> Int -> IO () 
foo = ... 

data Opts = Opts { optString :: String, optInt :: Int } 
bar :: Opts -> IO () 
bar Opts{..} = foo optString optInt 

现在,您可以使用以下任何等效语法(一些使用RecordWildCards):

main = do 
  let optString = <...>
      optInt    = <...>
  bar Opts{..} 

main = do 
  let x = <...>
      y = <...>
      myParams = Opts x y 
  bar myParams 

main = do 
  bar $ Opts 
    { optString = <...> 
    , optInt    = <...> 
    } 

main = do 
  let optString = <...>
      optInt    = <...>
      myParams  = Opts{..} 
  bar myParams 

还有(不太干净)编写具有更多参数的不uncurry变体(见此处 )的可能性:

uncurry6 :: (a -> b -> c -> d -> e -> f -> g) -> ((a,b,c,d,e,f) -> g)
uncurry6 fun (a,b,c,d,e,f) = fun a b c d e f 

有了这个, uncurry6 fileOpenDialog将使fileOpenDialog接受一个6元组。

暂无
暂无

声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.

 
粤ICP备18138465号  © 2020-2024 STACKOOM.COM