Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Elmについて
Search
shuufei
May 15, 2020
Technology
0
230
Elmについて
Elmとは何かについて調査してまとめた資料
shuufei
May 15, 2020
Tweet
Share
More Decks by shuufei
See All by shuufei
Angular with RxJS
shuufei
0
400
OOUI(オブジェクト指向UIデザイン)
shuufei
2
750
Angularにおける状態管理
shuufei
0
40
AngularにおけるComponent分割
shuufei
0
52
Other Decks in Technology
See All in Technology
AWSを利用する上で知っておきたい名前解決のはなし(10分版)
nagisa53
10
3.1k
ハードウェアとソフトウェアをつなぐ全てを内製している企業の E2E テストの作り方 / How to create E2E tests for a company that builds everything connecting hardware and software in-house
bitkey
PRO
1
130
Snowflake Intelligenceにはこうやって立ち向かう!クラシルが考えるAI Readyなデータ基盤と活用のためのDataOps
gappy50
0
180
Evolución del razonamiento matemático de GPT-4.1 a GPT-5 - Data Aventura Summit 2025 & VSCode DevDays
lauchacarro
0
190
AIエージェント開発用SDKとローカルLLMをLINE Botと組み合わせてみた / LINEを使ったLT大会 #14
you
PRO
0
110
なぜテストマネージャの視点が 必要なのか? 〜 一歩先へ進むために 〜
moritamasami
0
220
RSCの時代にReactとフレームワークの境界を探る
uhyo
10
3.4k
「何となくテストする」を卒業するためにプロダクトが動く仕組みを理解しよう
kawabeaver
0
400
生成AI時代のデータ基盤設計〜ペースレイヤリングで実現する高速開発と持続性〜 / Levtech Meetup_Session_2
sansan_randd
1
150
品質視点から考える組織デザイン/Organizational Design from Quality
mii3king
0
200
複数サービスを支えるマルチテナント型Batch MLプラットフォーム
lycorptech_jp
PRO
0
330
allow_retry と Arel.sql / allow_retry and Arel.sql
euglena1215
1
160
Featured
See All Featured
CSS Pre-Processors: Stylus, Less & Sass
bermonpainter
358
30k
Exploring the Power of Turbo Streams & Action Cable | RailsConf2023
kevinliebholz
34
6k
Responsive Adventures: Dirty Tricks From The Dark Corners of Front-End
smashingmag
252
21k
Building a Modern Day E-commerce SEO Strategy
aleyda
43
7.6k
Put a Button on it: Removing Barriers to Going Fast.
kastner
60
4k
Raft: Consensus for Rubyists
vanstee
140
7.1k
Practical Orchestrator
shlominoach
190
11k
Building Flexible Design Systems
yeseniaperezcruz
328
39k
Imperfection Machines: The Place of Print at Facebook
scottboms
268
13k
How To Stay Up To Date on Web Technology
chriscoyier
790
250k
Building a Scalable Design System with Sketch
lauravandoore
462
33k
Writing Fast Ruby
sferik
628
62k
Transcript
Elm
Elmとは
Elmとは わざわざ学ばなくてもいい言語 No.1 https://www.codementor.io/blog/worst-languages-2019-6mvbfg3w9x
Elmとは Elm は JavaScript にコンパイルできる関数型プログラミング言語です。 ウェブサイトやウェブアプリケーションを作るツールという面では React のようなプロジェクトだと言えます。 Elm はシンプルであること、簡単に使えること、高品質であることを大切にしています。
https://guide.elm-lang.jp/
Elmとは 関数型プログラミング言語 Elm は JavaScript にコンパイルできる です。 ウェブサイトやウェブアプリケーションを作るツールという面では React のようなプロジェクトだと言えます。
Elm はシンプルであること、簡単に使えること、高品質であることを大切にしています。 https://guide.elm-lang.jp/
Elmとは なぜ関数型を採用しているのか ?
Elmとは なぜ関数型を採用しているのか ? ・実用上ランタイムエラーがでないし、nullもないし、 undefinedが関数だなんて話はあえません。 ・とてもわかりやすい親切なエラーメッセージによって より素早くあなたのコードに機能を追加できます。 ・コードの規模が大きくなっても全体の設計が壊れることがありません。
・すべてのElmパッケージにおいて、決められたルールに則って 自動的にバージョン番号が付与されています。 https://guide.elm-lang.jp/
Elmとは 他の人の声 Elmはアンチパターンを実装できない。 人の目を介さず、人的リソースを使わずにソフトウェア品質の最低ラインを 強力な形で担保できる。 https://qiita.com/lambda_funtaro/items/2d4d82412d0bb7179cf3
Elmとは ・困った時にコンパイラが助けてくれます。エラーメッセージがわかりやくて便利です。 コンパイラと型システムのおかげでElmでは普通、実行時例外 (runtime exception)が 起こりません。 ・リファクタリングが簡単で、コンパイルが通ればまた正確に動きます。
最初に書くときもそれが多いです。コンパイルで問題がなければバグが 驚くほど少ないです。 ・テストしやすい。純粋(つまり副作用がない)関数でテストしやすく、 Elmアーキテクチャーならアプリの状態が簡単に再現できます。 https://nulab.com/ja/blog/typetalk/elm-introduction-tutorial 他の人の声
Elmとは 強めの制約がある状態で開発を行うことで、 より安全に、より保守しやすい状態で開発していくことができそう。
関数型プログラミングとは
関数型プログラミングとは 関数プログラミングにおける関数
関数プログラミングにおける関数 関数プログラミング実践入門 命令型言語 特定の命令/手続きの列に付けられたラベル 関数プログラミング 「与えられた入力の値のみから出力となる値をただ1つ決める規則」 という数学的な意味 関数型プログラミングとは
関数プログラミングにおける関数 関数プログラミング実践入門 関数型プログラミングとは
関数プログラミングにおける関数 関数プログラミング実践入門 命令型言語 特定の命令/手続きの列に付けられたラベル という数学的な意味 「与えられた入力の値のみから出力となる値をただ1つ決める規則」 この性質を参照透過性という。 参照透過性をもつ関数を純粋関数という。 関数型プログラミングとは
関数プログラミングにおける関数 関数プログラミング実践入門 関数型プログラミングとは
副作用 関数型プログラミングとは
副作用 関数プログラミング実践入門 状態を参照し、あるいは状態に変化を与えることで、 次回以降の結果にまで影響を与える効果のことを副作用と呼ぶ。 副作用をもつ手続きは、前述した 「関数」 ではない。 関数型プログラミングとは
関数プログラミング実践入門 関数型プログラミングとは 副作用
関数が副作用のない純粋関数であることで、 テストのしやすさや、モジュラリティが向上する。 関数型プログラミングでは、 モジュラリティを活かし、関数を組み合わせて新たな合成関数を定義したり、 それらの関数を使って、求めたい結果の性質を宣言する形でプログラミングする。 関数型プログラミングとは 関数プログラミング実践入門
関数型プログラミング言語
関数型プログラミングを実践することに特化した言語 (?) 関数型プログラミング言語
関数型プログラミング言語 関数型プログラミング言語の特徴
関数型プログラミング言語 関数プログラミング実践入門 言語使用で定義されていない動作を発生させないことを、安全性という。 型検査に成功すれば安全性が保証される型付けを強い型付けという。 ・強い型付け 型検査をコンパイル時に行うのが静的型付け、ランタイムに行うのが動的型付け。 ・静的型付け 参照透過性という性質を持っているということ。 ・純粋 与えられた型の情報から、与えられていない部分の方も推論してくれる機能。
・型推論 関数型プログラミング言語の特徴
なんだかランタイムでのエラーが起きにくそうな特徴 関数型プログラミング言語 関数型プログラミング言語の特徴
より安全に、より保守しやすい状態で開発する (ということでいいかもしれない) Elmをやるモチベーション
Elmアーキテクチャ
https://guide.elm-lang.jp/architecture/ Elmアーキテクチャ
Elmでアプリケーションを開発する
Elmでアプリケーションを開発する 1つのjsファイルにバンドルし、index.htmlで読み込む。 1 1 2 初期化処理 2 https://guide.elm-lang.jp/webapps/
Elmでアプリケーションを開発する https://guide.elm-lang.jp/interop/ports.html JSのエコシステムと組み合わせる場合は、ポートという機能を利用し、 相互でメッセージのやりとりを行う。 Javascript Elm subscribe send
Elmでアプリケーションを開発する https://guide.elm-lang.jp/interop/ports.html JavascriptでElmからのメッセージを受け取る
Elmでアプリケーションを開発する https://guide.elm-lang.jp/interop/ports.html JavascriptからElmにメッセージを送る
まとめ
まとめ より安全に、より保守しやすい状態で開発していきたい場合はElm良さそう。 関数型プログラミング好きな人には良さそう。 個人的には、がっつりやるモチベーションはまだ生まれなかった。 関数型プログラミングは面白いとよく聞くので、まずそこから学んでみたい。
Elm