Haskell 製 CLI を作って Elchemy の Docker イメージを自動追従する

1. Build Dockerfile with
Haskell
ひげ

2. 本題

3. Elixir しってるひと？

4. Elixir
2012年生まれ
Rails コミッタが Erlang に感銘を受けて作成
動的型付け言語
ErlangVM 上で動作
平行処理につよい
Phoenix がつよい
WebSocketを抽象化した機構

5. Elixir
2012年生まれ
Rails コミッタが Erlang に感銘を受けて作成
動的型付け言語
ErlangVM 上で動作
平行処理につよい
Phoenix がつよい
WebSocketを抽象化した機構

6. “型検査” 欲しいじゃん

7. いま型検査が熱い！
最近流行りの Go と Rust は静的型付け
JavaScript : TypeScript が人気
Python : Type Hinting
Ruby : Ruby3 になんらかの型検査を
Elixir : 入れたいらしい
しかし Elixir はまだ...

8. そこで…

9. Elchemy

10. Elchemy
Elm => Elixir のトランスパイラ
2017年2月に first commit
両者のいいとこどり
Elm
純粋関数型・静的型付けな AltJS
Haskellに似た構文(中身はかなり違う)
The Elm Architecuture の DSL

11. 総和を求める関数(Elchemy)
これが
module Hello exposing (..)
sum : List Int -> Int
sum list =
case list of
first :: rest ->
first + sum rest
[] ->
0

12. 総和を求める関数(Elixir)
こうなる
defmodule Hello do
use Elchemy
@spec sum(list(integer)) :: integer
curry sum/1
def sum(list) do
case list do
[first | rest] ->
(first + sum(rest))
[] ->
0
end
end
end

13. あたらしい言語を試したい！
どうする？？

14. Docker

15. 悲しい現実…

16. 無いなら作る(常識)

17. 開発スピードがはやい…

18. ならば...！

19. GitHub のリリースをチェックして

20. 自動で Dockerfile つくって

21. コミットしてくれれば良い !

22. 探せばありそう

23. ありそうでも作る（ぇ

24. 車輪の再発明のすすめ
メリット
機能追加が楽
使い方を調べる必要がない
プログラミングができる
どや顔ができる(図太ければ)
デメリット
車輪の再発明

25. 何の言語で作るか？

26. Haskell

27. (ここからが本編)
Haskell で Dockerfile を構築
する CLI を作る

28. 一連の流れ

29. できた(完)
matsubara0507/dockwright

30. まとめ
Elchemy : Elm => Elixir なトランスパイラ
型安全な Elixir プログラミングが行える
Elchemy の Docker Image が無かったので作った
他人のリポジトリのリリースから Dockerfile を構
築する CLI ツールを作った

31. おまけ

32. 続き (Elchemy のはなし) を

33. Elixir Festa 2018
で LT してくる！

34. おしまい