Clojureでインデックス付きのステートフルルックアップテーブルを保持する慣習的な方法

Question

私はClojureと関数型プログラミングにはかなり新しく、次の問題に苦しんでいます。一連のトークン（文字列）にユニークで安定したインデックスを割り当てたいと思います。挿入よりも多くのルックアップが存在するため、ハッシュマップが移動する方法のように見えます。

私はClojureの中音訳版は

(def last-index (atom 0)) 
(def lookup-table (atom {})) 

(defn get-index [token] 
    (if (nil? (get @lookup-table token)) 
    (do 
     (swap! last-index inc) 
     (swap! lookup-table assoc token @last-index) 
     @last-index) 
    (get @lookup-table token))) 

ようなものになるだろう。しかし、これはので、非常にidomaticではないようです

int last = 0; 
HashMap<String, Integer> lut = new HashMap<String, Integer>(); 

function Integer getIndex(String token) { 
    Integer index = lut.get(token); 
    if(index == null) 
     last++; 
     lut.put(token, last); 
     return last; 
    else { 
     return index; 
    } 
} 

の線に沿って何かを書いただろうJavaでは

基本的に副作用があり、隠すことさえありません。

したがって、状態を保持するために2つの原子を持たないとどうしますか？原子内

Answer 1

Ankurによって与えられた答えはスレッドセーフではありませんが、私はなぜsehの説明が非常に有用であり、彼の選択肢は悪いとは思わないと思います。 「今は複数のスレッドについて心配していません」と言うのは妥当です。この場合、その答えは問題ありません。しかし、それはあなたが任意の特定のインスタンスであることを保証する必要がない場合でも、安全なものを書くことができるようにするために貴重だし、唯一の安全な方法はそうのように、swap!内のすべてのロジックを実行することです。

(let [m (atom {})] 
    (defn get-index [token] 
    (get (swap! m 
       #(assoc % token (or (% token) (count %)))) 
     token))) 

すでにを避けて、関数が呼び出されたときに既にエントリがある場合は避け、swap!を入力した後にすでにエントリがある場合はassocを避けてを "double checkする必要があります"あなたがswap!を開始する前に（ただし、あなたがに決めた後に）他のスレッドが忍び寄っている可能性があるので、地図には現在のトークンのエントリがありません。）、現在のトークンの値を割り当てます。その場合、新しいトークンを作成する代わりにその割り当てを尊重する必要があります。

編集：もちろん、Javaのバージョンではスレッドセーフではない問題があります。デフォルトではJavaのすべてが変更可能でスレッドセーフではないからです。少なくともClojureでは、あなたはをそこに置く必要があります。「はい、これは危険です、私は何をしているのか知っています。

したがって、いくつかの意味で、Ankurのソリューションはであり、Javaコードの翻訳の完全な翻訳ですが、それを改善することさえもより良いでしょう！

Answer 2

シングルマップは十分でしょう。

(def m (atom {})) 
;adding new string to map 
(swap! m #(assoc %1 "Hello" (count %))) 
;get an index 
(@m "Hello") 

(defn get-index [token] 
    (or (@m token) 
     ((swap! m #(assoc %1 token (count %))) token))) 

あなたは基本的にClojureのにJavaの不可欠コードをマップしようとしましたが、あなたは、あなたの質問にその解決策を得た理由thatsの。段階的な命令的スタイルを考えずに、表現を構成するという観点から考えてみてください。