この記事はElixir Advent Calendar 2020の25日目の記事です。

昨日は @piacerex さんの「クラウドの外でエッジサーバを作るためのElixir技術スタック（＋立てた予定を仲間と実現できるようになる思考パターン）」でした。

Elixir Advent Calendar 2020がAdvent Calendar Ranking 2020のプログラミング言語部門のLGTM数順位で2位にランクインしましたね。スゴイことです！

さて25日目最終日の今日は，予定を変更して「大学でElixirを教えた話」にしました。これは「大学でRustを教えた話」を見て「書かねば！」と思い書きました。

Elixirを大学で教える理由

私は北九州市立大学で教育・研究に従事しています。プログラミング言語処理系，ソフトウェア工学，組込みソフトウェア，プログラミングなどを教えています。

研究では最近Elixir(エリクサー)を中心にしており，Pelemay(ペレメイ)の研究開発を進めてきました。

なぜElixirに注目するかという点については，次の講義動画で解説しています。25:52に及ぶ長めの動画ですが，見ていただければ幸いです。

プログラミングパラダイムを変えた歴史的背景

あらすじは次の通りです。

1. 1980年代以前: CPUのみで計算，シングルコア・シングルコンピュータ
CUI
2. 1990年代: CPUのみで計算，GPUをグラフィック用に活用，シングルコア・シングルコンピュータ
GUI
3. 2000年代: CPUのみで計算，GPUをグラフィック用に活用，マルチコア・シングルコンピュータ
GUI
4. 2010年代前半: CPUのみで計算，GPUをグラフィック用に活用，マルチコア・マルチコンピュータ
多様なGUI，フロントエンド・バックエンドの分離
5. 2010年代後半〜2020年代: 多様な計算資源，GPGPU，ディープラーニングの普及

これを踏まえて，注目されるプログラミングパラダイムが構造化プログラミング→オブジェクト指向プログラミング(OOP)→関数型プログラミングと変化していきました。また，私たちはその先のプログラミングパラダイムとして，計算グラフと「データ変換パラダイム」に注目しています。

データ変換パラダイムというのは，次のようなElixirにおけるEnumとパイプライン演算子によるプログラミングスタイルを，Elixir Zenスタイルと私が命名したのですが，このプログラミングスタイルは，もはや新しいプログラミングパラダイムではないか？と考えるようになったので，新たなプログラミングパラダイムとして提起するものです。

1..1000
|> Enum.map(& &1 * 2)
|> Enum.map(& &1 + 1)

データ変換パラダイムだというのは，1行目の1から1000までの要素からなるリストを，2行目で各要素を2倍にし，3行目で各要素に1加える，というように，データを変換するような捉え方でプログラミングするからです。

私の研究開発するPelemayは，このデータ変換パラダイム(あるいはElixir Zenスタイル)のプログラミングに着目してコード最適化を行うものです。それは，現代的なコンピュータアーキテクチャに最適化して実行するのに理にかなっている考え方です。

なぜ理にかなっているかというと，1つには2000年代以降はCPUクロック周波数が伸び悩んでいる代わりにコア数を増やすようにしているからです。

もう1つには，GPUを汎用の計算に用いるGPGPUが一般的になってきており，プログラミング言語でSIMDに基づく計算を扱えるようにすると好都合だからです。

先ほどの下記のプログラムは，そのままSIMDアーキテクチャで効率よく実行できます。なぜならば各要素で同じ計算を行い，要素間の依存関係もないからです。

1..1000
|> Enum.map(& &1 * 2)
|> Enum.map(& &1 + 1)

こうしたことを考えると，Elixirを大学で教えることには大きな意義があるのではないか？と思うようになりました。そこで，次の授業でElixirを扱うようになりました。

• コンピュータシステム
• プログラミング論(プログラミング・同演習)
• ディジタルシステム設計(2020年まで)
• 組込みソフトウェア

先ほど紹介した動画は，プログラミング論のイントロダクションとなる講義動画です。なぜElixirが求められるのか，その歴史的背景を説明したものです。講義はこの後，命令型プログラミング，オブジェクト指向プログラミング，関数型プログラミングのそれぞれが注目された背景と，そのパラダイムの中核となるプログラミング上の概念を説明していきます。

謝辞

プログラミング論の講義内容については， @piacerex さんに多数の貴重な助言をいただきました。ここに感謝します。