Elixir Programming with Type checking
0 likes1,693 views
Elchemy の初回 in Erlang & Elixir Fest 2018 LT
![例: 総和を求める関数
Elchemy です
module Hello exposing (..)
sum : List Int -> Int
sum list =
case list of
first :: rest ->
first + sum rest
[] ->
0](https://image.slidesharecdn.com/slide-180616074520/85/Elixir-Programming-with-Type-checking-6-320.jpg)
![例: 総和を求める関数
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](https://image.slidesharecdn.com/slide-180616074520/85/Elixir-Programming-with-Type-checking-7-320.jpg)
Elixir Programming with Type checking
- 1. Elixir Programming with Type Checking ===== @matsubara0507
- 3. しかし、まだない
- 4. Elchemy
- 5. Elchemy Elm => Elixir のトランスパイラ 2017年2月に first commit 両者のいいとこどり Elm 純粋関数型・静的型付けな AltJS Haskellに似た構文(中身はかなり違う) The Elm Architecuture の DSL
- 6. 例: 総和を求める関数 Elchemy です module Hello exposing (..) sum : List Int -> Int sum list = case list of first :: rest -> first + sum rest [] -> 0
- 7. 例: 総和を求める関数 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
- 8. 試すには オンラインエディタがある 重いけど リアルタイムビルドされる 自前でビルド Docker Image つくりました Haskell製の CLI と TravisCI を使って自動追従
- 9. FAQ 既存の Elixir ライブラリは使えるか？ 任意のモジュールの任意の関数を FFI できる しかし任意のマクロは扱えない 任意の Elixir コードを Elchemy コードに書ける 既存の Elm ライブラリは使えるか？ Native モジュール・Port・Elm ランタイムを使 わない限りは可能
- 10. FAQ 型はどう表されるか 値コンストラクタはスネークケースのアトムと して，コンストラクタの引数はタプルで表す 例: MyType 42 "Forty two" Error という値は {:my_type, 42, "Forty two", :error} となる
- 11. ToDo アプリ作ってみた Phoenix を利用 フロントを Elm matsubara0507/elchemy_todo_app · GitLab GitLab なのはモノは試しってことです
- 13. 結論
- 14. おまけ
- 15. マージされた
- 16. おしまい