Elm-data-types

ニレ-データ型

型システムは、言語でサポートされているさまざまなタイプの値を表します。 タイプシステムは、プログラムによって保存または操作される前に、指定された値の有効性をチェックします。 これにより、コードが期待どおりに動作することが保証されます。 タイプシステムはさらに、より豊富なコードヒントと自動化されたドキュメントも可能にします。

Elmは静的に型付けされた言語です。 Elmのタイプは、他の言語のタイプと似ています。

数

_number_データ型は数値を表します。 エルム型システムは、次の数値型をサポートしています-

Sr. No.	Type	Example
1	number − Stores any number	7 is number type
2	Float − Stores fractional values	7/2 gives 3.5 result as Float
3	Int − Stores non-fractional values	7//2 gives 3 result as Int

タイプ_number_は、小数値と非小数値の両方に対応します。 elm REPLを開き、以下に示す例を試してください-

C:\Users\admin>elm repl
---- elm-repl 0.18.0
---------------------------------------------
--------------
:help for help, :exit to exit, more at <https://github.com/elm-lang/elm-repl>
------------------------------------------
--------------------------------------
> 7
7 : number
> 7/2
3.5 : Float
> 7//2
3 : Int
>

文字列と文字

_String_データ型は、一連の文字を表すために使用されます。 _Char_データ型は、単一の文字を表すために使用されます。 _String_値は二重引用符で囲まれて定義され、_Char_値は単一引用符で囲まれます '。

Sr. No.	Type	Example
1	String − Stores a sequence of characters	"finddevguides"
2	Char − Stores fractional values	'T'

elm REPLを開き、以下に示す例を試してください-

C:\Users\admin>elm repl
---- elm-repl 0.18.0 ---------------------------------------
--------------------
:help for help, :exit to exit, more at <https://github.com/elm-lang/elm-repl>
--------------------------------------
------------------------------------------
> "finddevguides"
"finddevguides" : String
> 'T'
'T' : Char

Bool

ElmのBoolデータ型は、TrueとFalseの2つの値のみをサポートします。 キーワードBoolは、ブール値を表すために使用されます。

Sr. No.	Type	Example
1	Bool − Stores values True or False	1==1 returns True

elm REPLを開き、以下に示す例を試してください-

C:\Users\dell\elm>elm repl
---- elm-repl 0.18.0 -----------------------------------
------------------------
:help for help, :exit to exit, more at <https://github.com/elm-lang/elm-repl>
----------------------------------------
----------------------------------------
> True
True : Bool
> False
False : Bool
> 1==1
True : Bool
> 1==2
False : Bool
> 1/= 2 -- not equal
True : Bool
> not True
False : Bool
> not False
True : Bool

カスタムタイプ

Elmはユーザー定義型の作成をサポートしています。 たとえば、支払いアプリケーションを考えます。 アプリケーションでは、クレジットカード、デビットカード、ネットバンキングなど、さまざまな支払い方法を保存する必要があります。 これは、カスタムタイプを定義し、その値を3つの許容可能な支払いモードに制限することで実現できます。

次の例は、カスタムタイプを作成する方法を示しています。

> type PaymentMode = CreditCard|NetBanking|DebitCard
> payment1 = CreditCard
CreditCard : Repl.PaymentMode
> payment2 = DebitCard
DebitCard : Repl.PaymentMode
> payment3 = UPI
-- NAMING ERROR ---------------------------------------------- repl-temp-000.elm

Cannot find variable `UPI`

7| payment3 = UPI

上記の例では、PaymentModeカスタムタイプを作成しました。 変数payment1およびpayment2は、PaymentMode値に割り当てられます。 変数に割り当てられた値がPaymentModeタイプで定義された値のいずれとも一致しない場合、アプリケーションは構文エラーをスローします。

構造化データ型

構造化データ型を使用して、複数の値を構造化形式で保存できます。 エルムは、次の構造化データ型をサポートしています-

• タプル
• List
• 記録
• 記録

これらについては、今後の章で詳しく説明します。