Download as PDF, PPTX
![例: 総和を求める関数
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)
Uploaded byNobutada Matsubara
Elixir Programming with Type checking
Elchemy の初回 in Erlang & Elixir Fest 2018 LT
Elixir Programming with Type checking
- 1. Elixir Programming with TypeChecking ===== @matsubara0507
- 2.
- 3.
- 4.
- 5. Elchemy Elm => Elixirのトランスパイラ 2017年2月に first commit 両者のいいとこどり Elm 純粋関数型・静的型付けな AltJS Haskellに似た構文(中身はかなり違う) The Elm Architecuture の DSL
- 6. 例: 総和を求める関数 Elchemy です moduleHello exposing (..) sum : List Int -> Int sum list = case list of first :: rest -> first + sum rest [] -> 0
- 7. 例: 総和を求める関数 Elixir です defmoduleHello 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 なのはモノは試しってことです
- 12.
- 13.
- 14.
- 15.
- 16.