このDiscourseスレッドがかなり面白かった。 OPは「幽霊型（Phantom Type）を使うと特定の順序でしか型安全に状態遷移できないように実装できると思うんだけど、どうしたらいいかな？」と質問している。 discourse.elm-lang.org 実装してみる 回答者からのアイデアによると、Phantom TypeとExtensible Recordを組み合わせて実装することで型安全な状態遷移が作れる。 たとえば、以下のようなゲーム上での状態遷移のパターンが仕様としてあるとしよう。 これを実際に今回のパターンで表現すると、このようになる。 type Transition a = Transition type Allowed = Allowed type Game = Loading (Transition { ready : Allowed }) -- ロード中 | Read

この記事はElm Advent Calendar 2019最終日の記事です。 去年末あたりから現職のチームでElmを書き始めたので、大体1年程度はプロダクションでElmのコードを書き続けたことになる。学生時代はRubyとJavaScriptばっかりだったので、関数型プログラミングとかそういうバックグラウンドは一切なかった。その観点から、改めて率直な感想を申し上げておく。 なお、弊社フロントエンドチームとElmに関するはなしは、私の書いたFringe81アドベントカレンダーの記事を参照のこと。 fringeneer.hatenablog.com Elmには中毒性がある Elmを触ったことのない方からすると「？」になるかもしれない（というか、昔の自分がそうだった）が、率直に言ってElmには中毒性がある。一度Elmを知ると、Elm以外の言語を触るたびに「これ、Elmだったら〇〇なのにな〜」と思う

Elm Meetup in Summer 2019

This is a translation of Functors, Applicatives, And Monads In Pictures from Haskell into Elm. I left the Haskell examples as reference. I don’t want to take any merit for writing this, I only went through the fun exercise of translating the code snippets in Elm. If you enjoy this post be sure to say thanks to the author of the original version: Aditya Bhargava, @_egonschiele on Twitter. This is t

弊社では「筋肉の人」*1として知られるRichard FeldmanはElmの創造神ことEvan擁するNoRedInkに所属するエンジニア。 Evanが比較的キーノート的なElmの未来やらビジョンを語るトークをする一方で、RichardはどちらかといえばElmをプロダクションで使うにあたって、どのように書くことでスケーラブルにできるか、のようなはなしをメインに据えている感じがある。 彼はアメリカで開催されているelm-confや、ヨーロッパのelm Europeなどで割と長尺のトークを務めることが多く、その内容もElm中上級者になるにはうってつけの内容ばかり。どのトークもElmの基礎的な文法や紹介は完全に端折られていて、Elmを使うこと前提でどのようにうまく使うかにフォーカスしている。 彼の動画は会社のElmメンの会（？）の中で一気に集中して見たことがあり、僕含めみんなにとって非常に学びが

こんにちは、iOS開発チームの本柳です。 以前、弊社のブログにはじめようElｍ!という投稿でプログラミング言語のElmについて簡単に紹介しました。 Elmについて、興味がある方は是非一度御覧ください。 さて、今回はElmを書く上で基本的なシンタックス*1について書いていこうと思います。 コメント -- 1行コメント {- 復 数 行 コ メ ン ト -} 復数行コメントについては下記のように書くことで、簡単にコメントのイン／アウトを変更できるそうです。 {-- コメント --} {--} "複数行コメントの開始行末に`}`をつけることで簡単にコメントアウト出来る！" --} 文字リテラル シングルクオートで文字をくくるとchar型になります。 char型は1文字しか指定出来ません。 ダブルクオートで文字をくくるとString型になります。 また、"""〜"""で文字をくくることで複数行の文