我正在尝试完成我的 Haskell 作业的最后一部分,但我被困住了,我的代码到目前为止:
data Entry = Entry (String, String)
class Lexico a where
(<!), (=!), (>!) :: a -> a -> Bool
instance Lexico Entry where
Entry (a,_) <! Entry (b,_) = a < b
Entry (a,_) =! Entry (b,_) = a == b
Entry (a,_) >! Entry (b,_) = a > b
entries :: [(String, String)]
entries = [("saves", "en vaut"), ("time", "temps"), ("in", "<`a>"),
("{", "{"), ("A", "Un"), ("}", "}"), ("stitch", "point"),
("nine.", "cent."), ("Zazie", "Zazie")]
build :: (String, String) -> Entry
build (a, b) = Entry (a, b)
diction :: [Entry]
diction = quiksrt (map build entries)
size :: [a] -> Integer
size [] = 0
size (x:xs) = 1+ size xs
quiksrt :: Lexico a => [a] -> [a]
quiksrt [] = []
quiksrt (x:xs)
|(size [y|y <- xs, y =! x]) > 0 = error "Duplicates not allowed."
|otherwise = quiksrt [y|y <- xs, y <! x]++ [x] ++ quiksrt [y|y <- xs, y >! x]
english :: String
english = "A stitch in time save nine."
show :: Entry -> String
show (Entry (a, b)) = "(" ++ Prelude.show a ++ ", " ++ Prelude.show b ++ ")"
showAll :: [Entry] -> String
showAll [] = []
showAll (x:xs) = Main.show x ++ "\n" ++ showAll xs
main :: IO ()
main = do putStr (showAll ( diction ))
问题问:
编写一个 Haskell 程序,获取英语句子“english”,使用二分搜索查找英法词典中的每个单词,执行逐字替换,组装法语翻译并将其打印出来。
函数“快速排序”拒绝重复条目(带有“错误”/中止),因此任何英语单词都有一个法语定义。使用原始 'raw_data' 和将 '("saves", "sauve")' 添加到 'raw_data' 后测试 'quicksort'。
这是二分搜索的冯诺依曼晚期停止版本。将字面音译为 Haskell。进入后,Haskell 版本必须立即验证递归“循环不变量”,如果无法保持,则以“错误”/中止终止。如果找不到英文单词,它也会以相同的方式终止。
function binsearch (x : integer) : integer local j, k, h : integer j,k := 1,n do j+1 <> k ---> h := (j+k) div 2 {a[j] <= x < a[k]} // loop invariant if x < a[h] ---> k := h | x >= a[h] ---> j := h fi od {a[j] <= x < a[j+1]} // termination assertion found := x = a[j] if found ---> return j | not found ---> return 0 fi
在 Haskell 版本中
binsearch :: String -> Integer -> Integer -> Entry
因为类型为“[Entry]”的常量字典“a”是全局可见的。提示:输入“binsearch”后立即将您的字符串(英文单词)变成“Entry”。
高级数据类型“Entry”的编程价值在于,如果您可以在整数上设计这两个函数,那么将它们提升到对 Entry 进行操作是微不足道的。
有人知道我应该如何处理我的二进制搜索功能吗?