我试图移植以下Haskell代码( http://codepad.org/MMydRCxo )
foo :: Int -> Int -> Int -> Maybe Bool foo a b c = if a == 1 then Just True else Nothing bar :: Int -> Int -> Bool bar b c = maybe False id $ foo 1 b c -- point free bar' :: Int -> Int -> Bool bar' = ((maybe False id $) .) . foo 1 main = do print $ bar 2 3 print $ bar' 2 3到榆树,但还没有运气。 ( http://share-elm.com/sprout/5271f160e4b03cf6e675bc97 )
foo : Int -> Int -> Int -> Maybe Bool foo a b c = if a == 1 then Just True else Nothing bar : Int -> Int -> Bool bar b c = maybe False id <| foo 1 b c -- point free bar' : Int -> Int -> Bool bar' = ((maybe False id <|) .) . foo 1 main = flow down [ asText <| bar 2 3 , asText <| bar' 2 3]任何想法,如果有可能使这项工作在榆树免费? :)
DOBI
I am trying to port the following Haskell code (http://codepad.org/MMydRCxo)
foo :: Int -> Int -> Int -> Maybe Bool foo a b c = if a == 1 then Just True else Nothing bar :: Int -> Int -> Bool bar b c = maybe False id $ foo 1 b c -- point free bar' :: Int -> Int -> Bool bar' = ((maybe False id $) .) . foo 1 main = do print $ bar 2 3 print $ bar' 2 3to Elm, but had no luck yet. (http://share-elm.com/sprout/5271f160e4b03cf6e675bc97)
foo : Int -> Int -> Int -> Maybe Bool foo a b c = if a == 1 then Just True else Nothing bar : Int -> Int -> Bool bar b c = maybe False id <| foo 1 b c -- point free bar' : Int -> Int -> Bool bar' = ((maybe False id <|) .) . foo 1 main = flow down [ asText <| bar 2 3 , asText <| bar' 2 3]Any Ideas if there is a possibility to make this work point free in Elm? :)
Dobi
最满意答案
你可以尝试摆脱<| 而是使用前缀表示法中的组合函数。 它将首先创建一个带参数的函数,并使该函数组成foo 1 。
这样,调用bar' 2将返回采用最后一个参数的组合函数。 即( http://share-elm.com/sprout/52720bc5e4b03cf6e675bcc8 ):
foo : Int -> Int -> Int -> Maybe Bool foo a b c = if a == 1 then Just True else Nothing bar : Int -> Int -> Bool bar b c = maybe False id <| foo 1 b c bar' : Int -> Int -> Bool bar' = (.) (maybe False id) . foo 1 -- the explicit evaluation precedence being: ((.) (maybe False id)) . (foo 1) main = flow down [ asText <| bar 2 3 , asText <| bar' 2 3]You can try getting rid of the <| and using the composition function in prefix notation instead. It'll first create a function that takes an argument, and have that function compose foo 1.
That way, calling bar' 2 will return the composed function that takes the last argument. I.e. (http://share-elm.com/sprout/52720bc5e4b03cf6e675bcc8):
foo : Int -> Int -> Int -> Maybe Bool foo a b c = if a == 1 then Just True else Nothing bar : Int -> Int -> Bool bar b c = maybe False id <| foo 1 b c bar' : Int -> Int -> Bool bar' = (.) (maybe False id) . foo 1 -- the explicit evaluation precedence being: ((.) (maybe False id)) . (foo 1) main = flow down [ asText <| bar 2 3 , asText <| bar' 2 3]更多推荐
发布评论