エルム-記録

Elmのレコードデータ構造を使用して、データをキーと値のペアとして表すことができます。レコードを使用して関連データを整理し、データに簡単にアクセスして更新できるようにすることができます。Elmレコードは、JavaScriptのオブジェクトに似ています。レコード内のデータ要素はフィールドと呼ばれます。

レコードの定義

次の構文を使用してレコードを定義します-

構文

record_name = {fieldname1 = value1, fieldname2 = value2....fieldnameN = valueN}

レコードには、複数のタイプのデータを格納できます。レコード内のフィールド名は、Elm識別子に名前を付けるための一般的な規則に準拠している必要があります。

レコード値へのアクセス

次の構文を使用して、レコード内の個々のフィールドにアクセスします。

構文

record_name.fieldname

または

.fieldname record_name

図

ElmREPLで次のことを試してください-

> company = {name="TutorialsPoint",rating=4.5}
{ name = "TutorialsPoint", rating = 4.5 } : { name : String, rating : Float }
> company.name
"TutorialsPoint" : String
> .rating company
4.5 : Float

リスト付きレコードの使用

レコードはリスト内に保存できます。レコードのすべてのフィールド値は同じタイプである必要があります。

構文

list_name = [ {field_name1 = value1},{field_name1 = value2}]

または

list_name = [record_name1, record_name2, record_name3....record_nameN]

図

ElmREPLで以下を試してください-

> [{name = "Mohtashim"},{name = "kannan"}]
[{ name = "Mohtashim" },{ name = "kannan" }] : List { name : String }
> record1 = {name = "FirstRecord"}
{ name = "FirstRecord" } : { name : String }
> record2 = {name = "SecondRecord"}
{ name = "SecondRecord" } : { name : String }
> recordList = [record1,record2]
[{ name = "FirstRecord" },{ name = "SecondRecord" }] : List { name : String }

レコードを更新する

Elmではレコードは不変です。レコードが更新されると、値が更新された新しいレコードが返されます。このフィールドは、レコードを更新するときに異なるタイプの値を保持できます。

構文

{record_name | field_name1 = new_value1, field_name2 = new_value2,field_name3 = new_value3....field_nameN = new_valueN}

図

ElmREPLで以下を試してください-

> record1 = {name="FirstRecord"}
{ name = "FirstRecord" } : { name : String }
> record1_updated = {record1 | name = "FirstRecordUpdate"}
{ name = "FirstRecordUpdate" } : { name : String }
> record1
{ name = "FirstRecord" } : { name : String }
> record1 == record1_updated
False : Bool

図

次の例では、レコードの複数のフィールドを更新します。ElmREPLで以下を試してください-

> record3 = {a = 1,b = 2,c = 3,d = 4,e = 5}
{ a = 1, b = 2, c = 3, d = 4, e = 5 }
: { a : number, b : number1, c : number2, d : number3, e : number4 }
> record4 = {record3 | d=400 ,e=500}
{ a = 1, b = 2, c = 3, d = 400, e = 500 }
: { a : number2, b : number3, c : number4, d : number, e : number1 }
>

タイプエイリアス

タイプエイリアスは、レコードのスキーマを定義します。つまり、タイプエイリアスは、レコードに保存できるフィールドと、これらのフィールドに保存できる値のタイプを定義します。したがって、プログラマーは、値を割り当てるときに特定の属性を見逃すことを間違えません。

構文

type alias alias_name = {field_name1:data_type,field_name2:data_type,....field_nameN:data_type}

図

ElmREPLで以下を実行します-

> type alias Developer = { name:String,location:String,age:Int}
> dev1 = Developer "kannan" "Mumbai" 20
{ name = "kannan", location = "Mumbai", age = 20 } : Repl.Developer
> dev2 = Developer "mohtashim" "hyderabad" 20
{ name = "mohtashim", location = "hyderabad", age = 20 } : Repl.Developer
>

ここで、locationとageの入力を忘れた場合、ステートメントは、locationフィールドとageフィールドの入力パラメーターを持つ関数を返します。

> dev3 = Developer "Bhagavati"
<function> : String -> Int -> Repl.Developer
We can invoke the function as shown below and pass to it the values for location and age fields.
> dev3 "Pune" 25
{ name = "Bhagavati", location = "Pune", age = 25 } : Repl.Developer