Elchemy 入門 : その１
Elm から Elixir のトランスパイラ，Elchemy についてイロイロと調べたのでまとめていきます． 今回は README の意訳 Dockerイメージ作成 Tutorial その１をやってみた の3本立てです． ちなみに，現在のバージョンは 0.7.4 です． README 意訳 Elchemy は，Elixir の強力なエコシステムと Elm の型安全によって，より簡潔に高速に高品質で型安全なコードを記述するために作られた処理系です． Elchemy のオンライン環境リンクが死んでた Elchemy の公式ドキュメント Elchemy のチュートリアル (今のところ Part1 と Part2 がある) なにか質問がある場合は Q&A ラベルを付けて Issue を書いて，だそうだ． Features 型推論: 強力な型推論によって型注釈を付けることはめったにない． コンパイラ
拡張可能タングルでDo記法レスプログラミング♪ (Haskell)
「extensible パッケージの楽しみ その３」です． 拡張可能レコードやら Extensible Effect やら，Haskell の Extensible なものを全て統一された仕組みで提供する化け物パッケージ extensible について，割とドキュメントには無い(？)ネタを書いておくシリーズ第三弾です． ぼく自身は作者ではないし，間違っているかもなのでこの記事を完全には当てにしないでください． また，現在の最新バージョンは 0.4.7.1 です(そのバージョンでハナシをしてる)． 前々回は拡張可能レコードの拡縮の話を，前回は拡張可能直和型(バリアント)を引数に取る関数の話を書きました． 今回は 拡張可能タングル で遊んでみます． 今回の Haskell コードは基本的にコレ． 拡張可能タングル 作者さんの拡張可能タングルについての記事があり，非常に分かりやすいです． 波打た
拡張可能直和型を引数に取る関数の定義 (Haskell)
「extensible パッケージの楽しみ その２」です． 拡張可能レコードやら Extensible Effect やら，Haskell の Extensible なものを全て統一された仕組みで提供する化け物パッケージ extensible について，割とドキュメントには無い(？)ネタを書いておくシリーズ第二弾です． ぼく自身は作者ではないし，間違っているかもなのでこの記事を完全には当てにしないでください． また，現在の最新バージョンは 0.4.7.1 です(そのバージョンでハナシをしてる)． 前回は拡張可能レコードの拡縮の話を書きました． その最後の方に，おまけとして拡張可能直和型の話を書きました． 実際に自分のプログラムで，この拡張可能直和型を使おうとしてみたんですが，パターンマッチが分からず分岐が出来なかったので調べました，ってのが今回のハナシ． 今回の Haskell コードは基
Extensible Effects ステップ・バイ・ステップ
Haskell アドベントカレンダー (その１)の9日目の記事です． Backpack の話の予定でしたが，先にこっちが書けたのでその３のと入れ替えました． 複数とっておくとこういうことが出来るよね(いいの？)． さて本題． タイトルからお察しの通り，以下の記事のオマージュです． モナドトランスフォーマー・ステップ・バイ・ステップ(Monad Transformers Step By Step) - りんごがでている いきさつ 最近アルバイトで，モナドトランスフォーマーの代わりにextensible パッケージの extensible effects でモナドスタックを作ってました． (理論的な部分は置いておいて)使い方の部分は概ね分かったので記事にしたいと思い，昔々にモナドトランスフォーマーでお世話になった上の記事を extensible effects で追ってみようと思ったわけです．
拡張可能レコードでレコード型を拡縮する (Haskell)
「extensible パッケージの楽しみ その１」です． 拡張可能レコードやら Extensible Effect やら，Haskell の Extensible なものを全て統一された仕組みで提供する化け物パッケージ extensible について，割とドキュメントには無い(？)ネタを書いておくシリーズ第一弾です． ぼく自身は作者ではないし，間違っているかもなのでこの記事を完全には当てにしないでください． ちなみに，作者様の有り難い日本語ドキュメントは以下の通り(古い順)． ぼくのかんがえた最強の拡張可能レコード - モナドとわたしとコモナド 割とすぐに始められるextensibleチュートリアル(レコード編) - モナドとわたしとコモナド 波打たせるものの正体(エクステンシブル・タングル) - モナドとわたしとコモナド また，現在の最新バージョンは 0.4.6 です(そのバージョンで
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
