MLを使用して最後に実装する

Question

私は最後にMLを実装しようとしています。 lastはリストの最後の要素を返すことができます。

たとえば、L = [1,2,3,4]、last（L）= 4です。これは私の実装です。

fun last [] = last((h::nil)) = h | last((h::tail)) = last(tail); 

これは私に "unbound variable or constructor：h"を与えます。私の理解では、hは私が宣言した変数で、リストの先頭を表しています。なぜ変数hにエラーが発生するのでしょうか？

Answer 1

あなたの定義は

fun last [] = last((h::nil)) = h 
| last((h::tail)) = last(tail); 

SMLはlast []に比較last((h::nil)) = hの結果であるブール値を代入しようとする試みとして、最初の句を解釈するようにレイアウトすることができます。その句で一致するパターンが[]と[]であるため、hが含まれていないため、比較last((h::nil)) = hのhはバインドされていないため、エラーです。いずれにせよ、そのような比較はほとんど意味がなく、明らかにあなたの意図ではありません。

last []は分かりやすく定義できません。代わりに、単純に無視するか、エラー（Emptyまたはカスタムエラー）を発生させて対処するかのどちらかです。関数lastの実際の基本節は、1要素のリストです。あなたはそれをどう扱うか知っているようだ。あなたのコードは、実際にあなたが同時にlast []とlast (h::nil)の両方に値を与え、だけではなく、後者を行うには、あなたの最初の句を使用しようと停止したときに動作します：

fun last (h::nil) = h 
| last (h::tail) = last tail; 

ここ

私は、h::tail、h::nil周りに余計な括弧の3つのペアを削除しましたおよびtail。 SML関数呼び出しでは、かっこは必要ありません。適切なグループ化を保証する必要がある場合にのみ、カッコが必要です。第1のパターンは、[h]としてさらに冗長的に書くこともできることに留意されたい。

あなたはlast []の定義を与えていないので、非燃費の警告メッセージが表示されます。 「私は動作しませんでした」（それが唯一の空でないリストに定義された関数とかなり共通であるため）あなただけの警告を無視することができ、またはそれは

fun last [] = raise Empty 
| last (h::nil) = h 
| last (h::tail) = last tail;