我正在做一项编程作业，我必须仅使用、和 cons 定义我自己的isPrefixOffrom版本（因此没有递归）。我得到的提示是 的返回值本身应该是一个函数。有人可以帮助我理解如何应用这个事实吗？我对结构的猜测如下。Data.Listfoldrmapfoldr
startsWith :: String -> String -> Bool
startsWith s1 s2 = (foldr (???) ??? s1) s2
我可以定义自己的辅助函数。出于好奇，这是来自宾夕法尼亚大学 CIS 552 的作业。