関数型の話を聞いてきた・・・たぶん・・・

４月２８日　第12回勉強会 Satis function( ){ ... };を聞いてきた

ので、その内容をメモメモ


■実践Ｆ＃関数型プログラミング入門
・技術評論社から出版した書籍をもとに
・ストリーミングＯＦＦの理由→アカデミックを相手にしたくない
ＡＣＭのお年表から
　ＦＯＲＴＲＡＮ　手続型　バッカス→チューリング賞
　ＩＰＬ　関数型プログラミング
→関数型は同じくらい古い
インパラティブパラダイム
宣言型
　　→論理型　ＰＬＡNNER,Ｐｒｏｌｏｇ
　　　関数型
論理型　述語論理　どうする、なにを
手続き型とお作法が違う

宣言型：連立方程式のときかたをかくようなかんじ

手続き方と関数型まじわらない

日本の関数型
　エリス→LISP専用機　なぜこの当時作られたのか？
　専用機なんて、誰も買えない→研究者用
　パーソナルコンピューターが出てきてから

宣言型パラダイム：リソースとパフォーマンス必要
Ｊａｖａｓｃｒｉｐｔの関数型→プロトタイプオブジェクト
ＳＱＬも関数型→集合理論だけ特化

　ＩＦ文、ＦＯＲ文がある

関数型は、ＩＦ，ＦＯＲいらないというか、ステートメントいらない

Ｃ言語でＬＩＳＴ処理をやる理由→集合を扱うものがない
関数型；集合型をあつかうのが前提
　ＬＩＳＴ，タプル→

ＩＦ文ではなく、ＩＦファンクションである
ＩＦ関数＝返す値が重要　型
関数→値を返す→文法チェックができる
バグが少ない＝あいまいさを許容しないから

　手続き型プログラミング
　構造化プログラミング
　モジュール化プログラミング
　オブジェクト指向プログラミング
　関数型プログラミング
→どれも影響を受けている

OCAMLでオブジェクト→書き換え不可
イミュータブル
並列→デッドロック→イミュータブルだと出ない

Qiitで関数型：たたかれてる→宗教論争：誰の立場で叩いている？
遅延実行→遅延評価：実現方法違う

・引数を取って値を返す
・同じ値が変える（参照透過性：副作用がない）→並列
副作用を持っているとバグになりやすい

古くからあるのに、なんでメジャーにならないのか？
・パラダイムが違う→いままでのやり方では失敗する
　ラムダ式　りんく　
　　パイプライン→オブザーバー
　リアクティブ→関数型に端を発している
・目線を変えて勉強する

---

■（表題は書けなかった）
・宣伝から
　みなさん、iphoneユーザーですね！統計によると・・・
・自己紹介
・映画の話
　じくうのさけめ
・関数：集合
　データと操作
　　手続き型：操作
　　関数型：データ
　→関数：別の空間に行くため　ワームホール
・ブラウザも一種の関数
　ソースコードきまれば、画像決まるでしょ

・ＪＳ　関数型影響受けている

関数型
　第一級
　参照透過性
　単一代入
　型による制約
　遅延評価
　直和型　エラーハンドリングで関数を全域で扱えるか？

関数をモノとして扱えるだけで、いろいろできる

無名の関数を作って呼び出している
式＝評価すると値になるモノ

関数を引数にとる関数
同じ関数を使いまわすのに有効

リスト処理に聞いてくる

関数を返す関数
・フレームワークを作りやすい

・ラップ

引数を関数としてわたし、関数を返す
ランダム：プログラム実行環境を引数にとっている
ＩＯ

カリー化
・１つの引数に変える

Ｙコンビねーたー

コールスタック→呼べる関数の上限
末尾再帰

パフォーマンス
　遅いイメージ
　パフォーマンス　プロファイラーで採れる

イベント：時系列データ→一種のストリーム

■Introduction to Reactive Extensions
Without saying "functional" or "reactive"

・自己紹介
・今日はなさないこと
　　関数プログラミングの話もしません
　　アプリケーションアーキテクチャの話もしない
　　ＲｘＪＳの推薦をするわけではない
・なにをするのか
　プログラミングスタイル

・イベント
　どこでも。イベントは集合
・イベントを購読して、フラグ管理
　ReactiveX：イベントのマネージメント

・RxはＣ＃から来た
　ボルタ(votta)というプロジェクトからきた
　エリックメイヤー
　ＬＩＮＱ　to Event
　ネットフリックスのひと
　ＲｘをＪａｖａにもってきて、オープンソース化
　
・Ｒｘの構成要素
　オブザーバブル
　オペレーター
　サブジェクト

Observable
　値は向こうからとんでくるけど
　ゼロから無限まで

オペレーター
　Ａｒｒａｙの拡張メソッドみたいなもん
　関数適用値返す

サブジェクト
　Observableとして、購読できるが

スケジューラー
　イベントループ
　コンストラクタの生成後にとってくるとか
　settimeoutなどの時間軸管理とか

プログラミングのキーポイント
　おぶざーばぶるの定義
　オペレーター
　フィルター
　変数に入れる
　繰り返す

スキャンの実装

Ｒｘはオブザーバーパターンの拡張

イテラブルとオブザーバー

ブロッキング：コスト高い

まとめ
・pushとpullは表と裏
・Ｒｘはちょっと進化したオブザーバー

さくらのDockerホスティング「Arukas」などを会場内限定”以外”のところをメモ

４月２７日「さくらインターネット」のDockerホスティング「Arukas」と「Docker Machine」ドライバについてのイベントの話を途中から聞いてきたので、「会場内限定」以外のところをメモメモ

---

■Dockerホスティング「Arukas」について（途中から）

・Ｄｏｃｋｅｒのワークフロー
　　Dokerfile：環境定義
　　DockerImage：作成
　　Dockerhub
　　いろいろ展開

・ＶＭ　ＶＳ　Ｄｏｃｋｅｒ

・Container as a Service
　　Build：定義ファイルを定義するだけ
　　Ship：開発、テスト、配布のサイクルが標準化
　　Run：スケール
　→Build,Ship,andRun any app,anywhere

・Container as a service Platform Stack

・Ｄｏｃｋｅｒ
　　シンプルなワークフロー
　　ライトウェイト
　　あいそれーしょん
　　　ＣＰＵ，ＲＡＭ

・コンテナは独特の管理が必要
　　スケジューリング

・Ａｒｕｋａｓについて
　Ｄｏｃｋｅｒコンテナホスティング
　ログイン画面

・あるかすの機能
　コンテナオーケストレーター
　ＡＰＩ：ドキュメント書かれていない
　ＣＬＩ

・あるかすのサービス
　必要なだけ保持するスケジューラー
　自動復旧
　エンドポイントを発行

・あるかすアップデート
　新しいアプリケーションを起動しながら古いのを停止
　　Blue-Green deployment
　Ｕｐｄａｔｅ中は新旧バージョンのＡＰＰが存在

デモ

以降（会場内限定）

まとめ

あるかす
・複数コンテナを管理
　　オーケストレーター
・高品質な国産サービス
・起動的なスケール

あるかす開発マイルストーン

質問
・プライベートDockerイメージは今のところ扱えない
　など

■Docker Machineとさくらのクラウドで作る
「リモートDocker」のススメ
・自己紹介

・Docker Machineでできること
・さくらのクラウド用ドライバ

・Docker Machineでできること

・Docker Machineとは
　プロビジョニングツール
　単一のバイナリ→Docker Toolbox

・機能
　Ｃｒｅａｔｅ：マシンの作成
　Ｐｒｏｖｉｚｉｏｎｉｎｇ：ＴＬＳの設定も！
　Ｅｎｖｉｒｏｎｍｅｎｔ：環境設定の補助機能
　Ｏｔｈｅｒ（Ｐｏｗｅｒ，Ｓｔａｔｅ）

１）Ｃｒｅａｔｅ
・Ｄｏｃｋｅｒを動かすためのマシンを作成する
　　ドライバ：指定可能なドライバ１４種類
　　→あれ、さくらのクラウドは？
　　　大丈夫。ぷらぐいんがあります

２）プロビジョニング
　環境を意識せずに（Dockerが吸収）

・Ｄｏｃｋｅｒ
　　ＣＬＩとデーモンでわかれている
　　リモートＡＰＩでやり取り

・どこでＴＬＳが必要なの？

・ＴＬＳ認証を使うには
　　ＣＡの構築
　　証明書
　　クライアントへ配布
　　Ｄｏｃｋｅｒデーモン・クライアントでＴＬＳ有効にして起動

・接続設定
　
　Ｄｏｃｋｅｒクライアントへの接続先
　　－Ｈオプション
　　ＤＯＣＫＥＲ＿ＨＯＳＴ環境変数

　補助機能
　　ＳＳＨとＳＣＰのシンタックスシュガー

・その他
　電源周りの操作
　問い合わせ

まとめ
・ＤｏｃｋｅｒＭａｃｈｉｎｅでできること
　Ｄｏｃｋｅｒ用マシンを作る
　Ｄｏｃｋｅｒのプロビジョニング
　Ｄｐｃｋｅｒへの接続お助け

ＤｏｃｋｅｒＭａｃｈｉｎｅさくらのクラウド用ドライバ
・何をするもの？＞
　さくらのクラウドにＤｏｃｋｅｒ用マシンを作るよ
　さくらのクラウドに特化した＋α
　　ＶＰＣ，パケットフィルタなど
　なんで「さくらのクラウド」なの？
　　つかいすてできる
　　ネットワークが速い
　　ローカルでコンテナ、さくらでサービスイン
　　ブリッジ、ハイブリッド接続
　さっそく動かす
　インストール
　バイナリファイルを取得し、パスを通す
　桜のクラウドのコントロールパネルでＡＰＩキーを取得

デモ

待っている間に速度比較
　ローカルのVirtual Boxとさくらのクラウドの場合

デモ続き

使い方いろいろ紹介
・活用例
　ＶＰＣ機能
　ＧＳＬＢで負荷分散
　ハイブリッド接続
　　　スケールアウトが必要なものはクラウド
　　　セキュアなものはハウジング