一个可以表达什么样的事情Dec,而不是用Maybe在伊德里斯？
Dec
Maybe
换句话说:什么时候应该选择Dec什么时候Maybe？
error-handling theorem-proving maybe idris
我想知道具有以下签名和实现的函数是否有一个好名字(Haskell-notation):
humble :: (a -> a -> b) -> a -> b humble f x = f x x
它似乎与某种方式有关fold1(fold没有基本情况).
fold1
fold
haskell functional-programming type-signature
error-handling ×1
functional-programming ×1
haskell ×1
idris ×1
maybe ×1
theorem-proving ×1
type-signature ×1