基礎2
関数をエクスポートする
関数のエクスポートは最初のコンセプトで扱いました。ここで簡単におさらいしておきましょう。
Elmの各ファイルはモジュールであり、他のどのコードよりも先にmodule文を書かなければなりません。
モジュール名はファイル名と一致していなければなりません。つまり、モジュールCalculatorはファイルCalculator.elmに、モジュールParser.UtilsはファイルParser/Utils.elmに置く必要があります。
モジュール内で定義したものは、exposingに挙げない限り、そのモジュールの中だけに閉じていて、外からアクセスすることはできません。
-- Calculator.elm
-- Define the Calculator module, and expose the `add` function
module Calculator exposing (add)
six = 3 + 3
add number1 number2 = number1 + number2
-- Calculator.elm
-- Define the Calculator module, and expose everything within: `six` and `add`
module Calculator exposing (..)
six = 3 + 3
add number1 number2 = number1 + number2
https://elm-lang.org/docs/syntax#modules
他のモジュールから関数をインポートする
他のモジュールで定義された関数にアクセスするには、インポートを使います。
そのモジュールをインポートすると、そこで公開されている関数はすべてアクセスできるようになります。
ただし、アクセスのしかたはモジュールのインポートのしかたによって変わります。
デフォルトは修飾インポートで、このようにインポートしたモジュールの関数（たとえばListモジュールのmap関数）にアクセスするときは、モジュール名を前に付けます（List.map）。
オープンインポートを使うと、そのモジュールで公開されている関数に、接頭辞なしで直接アクセスできます。これはexposingキーワードで行い、エクスポートで使うものとちょうど対になります。利用できる関数をすべて公開することも（..）、特定の関数だけを公開することもできます（たとえばmap）。
他のモジュールから型やそのコンストラクターをインポートすることもできますが、これは後のコンセプトで扱います。
名前の衝突を避けて読みやすくするために、修飾インポートが好まれます。
-- qualified imports
import List -- List.map, List.foldl
import List as L -- L.map, L.foldl
-- open imports
import List exposing (..) -- map, foldl, concat, ...
import List exposing ( map, foldl ) -- map, foldl, List.concat
https://elm-lang.org/docs/syntax#modules
型注釈
型注釈はname : parameter types -> return typeのように定義し、引数の型も->で区切ります。
add : Int -> Int -> Int
add number1 number2 = number1 + number2
関数の引数を定義するときは、括弧（()）を使うこともできます（引数自身も同じ構文で定義するため、括弧が必要になるからです）。
-- Transform every character in a string
map : (Char -> Char) -> String -> String
map charMapperFunction string =
-- ...
https://elm-lang.org/docs/syntax#type-annotations
数値
Elmで使える数値には2つの型があり、Int型とFloat型で定義されています。
Intは正と負の整数の集合に対応します。
Floatは実数の集合に対応し、コンピューターの精度によって制限されます。
数値に対して定義された演算は、ふつうどちらか一方の型でしか使えず、両者を混ぜることはできません。
2つの型の間で変換する関数も用意されています。たとえばtoFloatはIntをFloatに変換し、round、floor、ceiling、truncateはそれぞれ異なる意味でFloatをIntに変換します。
https://package.elm-lang.org/packages/elm/core/latest/Basics#Int
文字列の操作
コードで単語や文を表すために、ElmにはネイティブのString型があります。
文字列リテラルは、"Hello World!"のように二重引用符で囲んで書きます。
文字列の連結演算子++と等価演算子==は標準で使えます。
hello : String -> String
hello subject = "Hello " ++ subject
hello "World!" --> "Hello World!"
その他の文字列関数のほとんどはStringモジュールにあり、インポートが必要です。
https://package.elm-lang.org/packages/elm/core/latest/String
学習演習
