🆕 新着Qiita記事をお知らせします。​

​『RxSwiftでUXを考慮した(Gmailアプリライクな)詳細画面を実装する』
https://qiita.com/yoko-yan/items/205b5e8777da0ccffdfd by @yoko_yan @​Qiita

#ios_qiita #swift_qiita #functionalprogramming_qiita #リアクティブプログラミング_qiita #rxswift_qiita

RxSwiftでUXを考慮した(Gmailアプリライクな)詳細画面を実装する - Qiita

この記事は、[Classi Advent Calendar 2019](https://qiita.com/advent-calendar/2019/classi) の15日目の記事です。 こんにちは、ClassiのiOSアプリエン...

🆕 新着Qiita記事をお知らせします。​

​『TypeScriptのunion型を操作する』
https://qiita.com/wak109/items/d26a00cfeb3f4bd03163 by @wak109 @​Qiita

#typescript_qiita #functionalprogramming_qiita

TypeScriptのunion型を操作する - Qiita

TypeScriptのunion型(`string | number | boolean`みたいなやつ)を操作する。 TypeScriptでコンパイルされた後のJavaScriptには全く反映されないので、ばんばん使ってもゼロカロリ...

🆕 新着Qiita記事をお知らせします。​

​『Higher-Kind 型と Natural Transformation を組み合わせて使う』
https://qiita.com/takat0-h0rikosh1/items/29cb9a986e9b08f1bc64 by @takat0_h0rikosh1 @​Qiita

#scala_qiita #functionalprogramming_qiita #cats_qiita

Higher-Kind 型と Natural Transformation を組み合わせて使う - Qiita

最近会社で流行っているやつ。 Scala では **Higher-Kind 型**と **Natural Transformation** を利用して、 処理の実行モデル(同期、非同期)を抽象化することが可能になるので簡単な実装例を...

🆕 新着Qiita記事をお知らせします。​

​『RubyのProcでのCurry化、部分適用(partial application)など』
https://qiita.com/jerrywdlee/items/3aac326f7a7bb83f80de by @jerrywdlee @​Qiita

#ruby_qiita #curry_qiita #functionalprogramming_qiita

🆕 新着Qiita記事をお知らせします。​

​『ElmでEvanczさんのTodoMVCを動かしてEllieに載せました』
https://qiita.com/zsqp/items/d84ddaf0f55d6a73701b by @zsqp @​Qiita

#todo_qiita #database_qiita #elm_qiita #firebase_qiita #functionalprogramming_qiita

ElmでEvanczさんのTodoMVCを動かしてEllieに載せました - Qiita

# ソースとデモはこちら [https://ellie-app.com/6K25LFpDjFGa1] Firebaseはテストモードでauthもsecurityもしていないので、だれでも読み書きできて、誰でも見れます。 壊せま...

🆕 新着Qiita記事をお知らせします。​

​『ElmでTodoアプリを作る』
https://qiita.com/zsqp/items/974f614c1c0aef3ac159 by @zsqp @​Qiita

#database_qiita #elm_qiita #firebase_qiita #functionalprogramming_qiita #todoアプリ_qiita

ElmでTodoアプリを作る - Qiita

# Elm0.19でTodoリストを作りました ソースとデモはこちら。 [https://ellie-app.com/6D8hKZwjy5ja1] ## 簡単に解説します Addで追加されて、Deleteで削除します。 と...

🆕 新着Qiita記事をお知らせします。​

​『GADTでエレガントに抽象構文木の階層を作る』
https://qiita.com/kmizu/items/c26afbec1011481f40e7 by @kmizu @​Qiita

#programming_qiita #tree_qiita #functionalprogramming_qiita

GADTでエレガントに抽象構文木の階層を作る - Qiita

いきなりですが、何かの言語とかの抽象構文木を表すときに、いつも困っている問題がありました。たとえば、PEGにおける式は、 ``` e ::= e e //連接 | e '/' e //選択 ...