【Elixir初級】関数について(無名関数、名前付き関数)

#はじめに
前回はElixir超初級と称してどちらかというと概念的なところにフォーカスして記事を書きました
前回の記事→[【Elixir超初級】代入、不変性、パターンマッチについて](https://qiita.com/west_ryo/items/52864620f2c3eafbeecc)

今回は関数型言語のキモとも言える、**関数**について個人的にまとめていこうと思います。
前回の内容に比べ、関数については概念的な違いはあまりなく他の言語と同じように処理のまとまりです。
##無名関数
無名関数の基本形は**fnとend**で囲み、アロー(->)の左側に**引数**、右側に**処理**を記述する形となります。
関数の定義部分の引数の()は省略可能です。

```elixir:Elixir
sum = fn (a,b) -> a + b end
#sum = fn a,b -> a + b end でもOK
sum.(1,2)
# 3
```
一応、RubyとJavaScriptでも同じようなコードを書いてみました。ElixirはRubyを意識して作られているとはいいますが、結構違うような気がします。個人的にはJS書き方のほうが近く感じるかも…

```ruby:Ruby
sum = ->(a,b){a + b}
sum.call(1,2)
```
```javascript:JavaScript
const sum = (a,b) => {
    const result = a + b
    return result
}
sum(1,2)
```
引数がなかったとしても()は記述する必要があります。

```elixir:Elixir
say = fn -> IO.puts "こんにちは" end
say.() #引数がなくても()は必要

```
###無名関数のパターンマッチ
前回の記事で**Elixirには代入はない**と説明しました。
うっかりここで「sum.(1,2)は引数のaとbに値(1と2)を代入しているんだな」と考えたらアウトです。

Elixirに代入はないのです。

```elixir:Elixir
sum = fn 1,b -> 1 + b end
sum.(1,2)
# 3
```
この代入しないでパターンマッチを行うことを使って以下のようなコードも書けます。
Elixirでは一つの関数に複数の処理を含めることができます。そして引数のマッチした値によって処理を切り替えることもできます。


```elixir:Elixir
hoge = fn 
    1,b -> 1 + b
    2,b -> 2 * b
    3,b -> 3 - b   
end
hoge.(1,2)
# 3
hoge.(2,10)
# 20
hoge.(3,1)
#2
hoge.(4,2)
#no function clause matching in anonymous
```
アンダースコア(_)を使えばすべてとマッチするので「それ以外」というのを表現できます。

```elixir:Elixir
hoge = fn 
    1,b -> 1 + b
    2,b -> 2 * b
    3,b -> 3 - b   
    _,b -> IO.puts "1~3以外が最初の引数のものは計算できません"
end
hoge.(1,2)
# 3
hoge.(2,10)
# 20
hoge.(3,1)
#2
hoge.(4,2)
# 1~3以外が最初の引数のものは計算できません


#※ただしこの書き方だと引数bを使っていないためwarning: variable "b" is unusedと警告が発生する。
#これを回避するには引数を(_,_b)にすればよい。詳しくは別の記事で
```
###無名関数でFizzBuzz
今まで学習してきた無名関数の機能を使ってFizzBuzzをしてみました。パターンマッチを使えば**if文無し**で実装することができます。
さらっとでてきましたがremというのは左の値を右の値で割った余りを変えす関数です。

```elixir:Elixir
func = fn 
    0,0,_ -> IO.puts "fizzbuzz"
    0,_,_ -> IO.puts "fizz"
    _,0,_ -> IO.puts "buzz"
    _,_,a -> IO.puts a
end

fizzbuzz = fn n -> func.(rem(n,3),rem(n,5),n) end
fizzbuzz.(1) # 1
fizzbuzz.(3) # fizz
fizzbuzz.(5) #buzz
fizzbuzz.(15) #fizzbuzz
```

[【発展】関数で関数を返す(カリー化、部分適用)](https://qiita.com/west_ryo/items/22f30456801021c3e8c2)
##モジュールと名前付き関数
モジュールと名前付き関数は書き方と見た目については少しRubyに似ています。(def~endで表現する感じが)

```elixir:Elixir
defmodule Sum do
    def plusone(n) do
        n + 1
    end
end

IO.puts Sum.plusone(2)
# 3
```
```ruby:Ruby
module Sum 
    def plusone(n) 
        n + 1
    end
    module_function :plusone
end

p Sum.plusone(2)
# 3
```
###関数の処理はブロック
def~endで囲って記述しましたがこのようにdef func(n), do: ~のように書くこともできます。
関数名の後にカンマ(,)が付き、doの後にコロン(:)が付きます。そしてendは省略します。



そして括弧で囲めば**複数行**を渡すこともできます。

```elixir:Elixir
defmodule Sum do
    def plusone(n), do: n + 1  
end
IO.puts Sum.plusone(2)
# 3
```
```elixir:Elixir
defmodule Sum do
    def plusone(n), do: (
        IO.puts "１と#{n}を足します"
        n + 1
    )
end
IO.puts Sum.plusone(2)
# １と2を足します
# 3

```
###名前付き関数のパターンマッチ
基本的な部分は無名関数と同じです。渡されたパラメータをもとにパターンマッチをします。
少し困惑するところは同じ名前の関数を複数定義できるというところです。

はじめの定義からパターンマッチを行っていってマッチしなかったら次の関数定義へと順に実行していきます。
これを利用すれば**for文を使わずにループ処理**が行えます。

最初の定義double(0)は引数が0以外にはマッチしません。
次の定義のdouble(n)は0以外の値にはマッチするので最初の引数10でマッチします。
先ほどの「関数の処理はブロック」で学んだように処理を括弧で囲んで複数行渡します。引数を2倍にした値をコンソールに出力後、**関数(double(n-1))を呼んでいます。**
するとdouble(9)が実行されdouble(n)の定義にマッチ、再び処理が行われ今度はdouble(8)・・・とループを行います。

そして最後にdouble(0)となったときはじめて最初の定義double(0)にマッチして0を返して終了します。

```elixir:Elixir
defmodule Sum do
    def double(0), do: 0
    def double(n), do: (
        IO.puts n * 2
        double(n - 1)
    )
end

IO.puts Sum.double(10)
# 20 18 16 14 12 10... 0
```
これを**再帰処理、再帰呼び出し***といいElixirでは割と頻繁に出てきます。
###名前付き関数でFizzBuzz(ループ有)
無名関数の時はループで処理できていないので、ここでもう一度再帰処理を利用してfizzbuzzを名前付き関数で実行してみました。

```elixir:Elixir
defmodule FizzBuzz do
    def fizzbuzz(n,0,0), do: IO.puts "fizzbuzz"
    def fizzbuzz(n,0,_), do: IO.puts "fizz"
    def fizzbuzz(n,_,0), do: IO.puts "buzz"
    def fizzbuzz(n,_,_), do: IO.puts n
    
    
    def run(0), do: 0
    def run(n), do: (
        fizzbuzz(n,rem(n,3),rem(n,5))
        run(n - 1)
    )
end

FizzBuzz.run(100)
```
追記予定

##参考書籍
[プログラミングElixir](https://www.amazon.co.jp/%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0Elixir-Dave-Thomas/dp/4274219151)