brokenix, 3 months ago What is beta reduced ( evaluated ) form of (\1 - > ( x- > 1)) 2 where x is f abstraction and 1, 2 are literals #haskell
What is beta reduced ( evaluated ) form of
(\1 - > ( x- > 1)) 2
where x is f abstraction and 1, 2 are literals #haskell
BoydStephenSmithJr, 3 months ago @brokenix bottom :: Num b => a -> b, I think. https://www.haskell.org/onlinereport/haskell2010/haskellch3.html#x8-260003.3 gives the result for a pattern-match failure on a lambda expression. "I think" because your syntax is invalid, so I've given you the answer for (\1 -> (\x -> 1)) 2, which is, I think, the closest string (kpm edit distance) that is valid syntax.
@brokenix bottom :: Num b => a -> b, I think.
https://www.haskell.org/onlinereport/haskell2010/haskellch3.html#x8-260003.3 gives the result for a pattern-match failure on a lambda expression.
"I think" because your syntax is invalid, so I've given you the answer for (\1 -> (\x -> 1)) 2, which is, I think, the closest string (kpm edit distance) that is valid syntax.
(\1 -> (\x -> 1)) 2
Add comment