-1

它编译正确，但不起作用。

它适用于[]但如果它有其他任何东西，它就会永远挂起。test1- 好的，test 2挂了。

--Tests pour 'effectuerAchat'.
test1 = effectuerAchat achat1_1 [] == ([],achat1_1)
test2 = effectuerAchat achat1_1 [offre1_1_1_100] == ([(Commande "fournisseur1" "article1" 1 100)],Achat "article1" 0)

这是代码...

effectuerAchat a os = rfred a (offresPour a os) (achatQuantite(a)) []
   where rfred a os n lc = 
            if os == []|| n==0
            then (lc,(Achat (achatArticle(a)) n))
            else 
                 if n>=(offreQuantite(head(os)))
                 then let c= (Commande (offreFournisseur(head(os))) (achatArticle(a)) (offreQuantite(head(os))) (offrePrix(head(os))))
                          n= n-(offreQuantite(head(os)))
                          xs =  tail(os)
                      in  rfred a xs n (c:lc)
                 else let c= (Commande (offreFournisseur(head(os))) (achatArticle(a)) n (offrePrix(head(os))))
                          n= 0
                          xs =  tail(os) 
                      in  rfred a xs n (c:lc)
4

1 回答 1

4

你有一个无限循环

let c= (Commande (offreFournisseur(head(os))) (achatArticle(a)) (offreQuantite(head(os))) (offrePrix(head(os))))
    n= n-(offreQuantite(head(os)))
    ^^^^^

n右侧的不是来自n上面的测试，而是在n绑定的左侧引入（它遮住了外部范围的那个）。如果os (= offresPour achat1_1 [offre1_1_1_100])包含多于一项，n则在测试中需要

if os == []|| n==0

在递归调用中，评估挂起。

以不同的方式命名变量，

let c = ...
    n' = n - ...
in rfred ... n' ...
于 2012-11-13T19:00:29.907 回答