FPConf.ruにご招待します

こんにちは



FPConfは、ロシアでの関数型プログラミングに関する最初の会議である8月15日に開催されます。 1日のカンファレンスの2つのストリームでは、Scala、F＃、Erlang、Clojure、Haskell、およびおなじみのRuby、Python、Javaの機能的アプローチに関するレポートがあります。



今日の機能的アプローチは、新しい主流であり、業界の開発ポイントであり、高級開発者が複雑で興味深い問題を解決するために必要な便利なツールであると心から信じています。 技術スタックを1つに限定して需要に応えることができる時が過ぎました。 ビッグデータ、ワークロードの増加、専門家の好奇心、開発への欲求が、モナド、ラムダ、クロージャ、免疫を研究する人々をますます増やしています。



したがって、経験豊富な機能者と、最初の研究のインスピレーションを得てトピックをレビューしたいだけの人を招待します:)



JetBrains、Kaspersky Lab、2GIS、Mail.ru、Mashine Zone、Luxoft、Sputnikなどの代表者からのレポート。

今のチケット価格-7000ルーブル。 こちらから登録してください 。





プログラム：



エドワード・クメット 、Haskellコア図書館委員会委員長

レンズとプリズム

関数型プログラミングは、不変の構造を扱うことで、並列性、非決定性、およびその他の効果について簡単に推論できることを示していますが、その過程で、フィールドアクセサーというおなじみの概念を失います。 「ゲッターとセッター」は、不変の世界では意味をなさない。 レンズは、失われた機能などを取り戻す方法を提供し、「機能参照」の形式として機能します。

一方、Haskellのレンズライブラリを構築する過程で、Prismの関連概念が、ADTでのケースマッチングの処理、拡張可能な例外の処理、半透明の処理に同様に役立つことを発見しました。 JSON、XMLなどの構造化データ。 しかし、驚くべきことに今までそれらについてはほとんど何も言われていません。

この講演では、これらの各抽象化が果たす役割と、開発者としてあなたがそれらを気にする必要がある理由を探ります。







ニコライ・リジコフ 、健康サムライ

Web開発のためのクラウドデータDSL

ライブコーディングセッション！

陰と陽のようなコードとデータ、およびそれらの間の境界は、よく見ると消え始めています。 clojureのWebスタックの例では、データDSL（しゃっくり、honeysql、プリズムスキーマ）に精通し、リアルタイムでDSLを記述してTaoを学習します。





ニキータ・プロコポフ

悲しいことなくフロント

Webアプリケーションの作成は別のことです。遅く、困難であり、プラットフォームは支援するよりも干渉する可能性が高くなります。 レポートでは次のように答えます：

*機能的アプローチはWebアプリケーションの作成にどのように役立ちますか？

*データベースを不変にすることはできますか？

*前面にデータベースがあるのはなぜですか？

*このようなツールを使用すると、どんな面白いことができますか？

そして、まったくではなく、ClojureScriptとDataScriptの特定の例があります。





アレクサンダーグラニン 、カスペルスキーラボ

大規模な火災アプリケーションの設計

従来の言語で大規模なアプリケーションを設計する方法-私たちは知っています。 制御の反転、SOLID、GRASP、設計パターン、高凝集、低結合、抽象化、インターフェース、場合によってはUML。 しかし、関数型言語を使用したいです！

レポートでは次のように伝えます。

* FPの世界では多くの慣行が真実です。

* FPには、同じ問題に対する独自のエレガントなソリューションがあります。

*多くのデザインパターンは人為的であり、もはや必要ありません。

* FPは、デザインパターンの代わりに、新しいデザインアプローチ-機能的なイディオムを提供します。



特定の設計問題に名前が付けられ、これらの問題に対するさまざまな解決策がHaskellで示されます-FPの世界で最も明るい代表の1つとして。

関数型言語で大規模で十分に管理された信頼性の高い構造化されたテスト可能なコードを作成する必要に直面している幅広い開発者向けのレポート。





アレクサンダー・パシュコフ

ハスケル並列および競合プログラミング受容の簡単なレビュー

最新のHaskellの並列/競合プログラミングツールの機能に関するストーリー：スパークを使用した遅延データ構造の強制から、非同期やSTMなどの高レベルプリミティブまで。 すべては、非自明な適用された列挙タスクの例であり、ミューテックスを使用した命令型言語で正しく並列化するのは非常に簡単ではありません。





レナ・イドリソフ 、マシンゾーン

配布されたアプリケーションのパフォーマンスの配布された測定

現在、インターネットユーザーの数は約30億人で、人気のあるサービスは明日中断する可能性があります。サービングサーバーの容量が不足しているために人気が出ています。 これがどのように発生し、サービスが正常に機能しなくなる日がどれだけ早く来るかを事前に知っておくと役立ちます。 Game of Warなどのモバイルゲームは、数百万のユーザーをサポートし、さまざまな言語の多数のコンポーネントで構成されています。 ほぼ毎日、ゲームコードが更新され、毎日ユーザー数が増加しています。

マシンゾーンでは、独自のツールMZBenchを使用します。これは、Erlang上の分散アプリケーションであり、クラスターに自動的に展開し、必要な負荷を作成し、結果を収集し、人々または継続的インテグレーションシステムでさらに使用できるように準備します。 さまざまなシナリオを記述するために、独自のDSLを使用します。これにより、モジュールと統計プリミティブに基づいて必要なモデルと負荷プロファイルを作成できます。

レポートでは、ツールの主な機能を検討し、MZBenchとtsungおよびbashoベンチを比較する予定です。



マキシム・ラプシン 、アーリービデオ

生産中のアーラン

私のレポートでは、ErlivideoでのErlangでの経験についてより深く話したいと思います。 重要なコンピューターの負荷で実行される超高負荷のソフトウェアを作成し、Erlangは私たちを大いに助けます。

Erlangを選んだ理由と、その概念がプログラムに役立つもの。 信頼性と生産性の高いソフトウェアを構築するときに、どのようなパターンとアンチパターンが見られますか。

Erlangソフトウェアのデバッグ、リソースリークの処理、Cライブラリとの統合、ディスクなどの限られた外部リソースの操作などの微妙な点について説明します。





デニス・レドズボフ 、アントリーカ

型システムへの短いエクスカーションまたは崩壊を回避する方法

現代のプログラムは非常に複雑であり、その正確さを保証することは簡単な作業ではありません。 型システムは、プログラマがこれを行うのを支援するツールです。

*型を開発者に役立てる方法は？

*どのような保証が得られますか？

*なぜ言語とプログラマーがこのトピックに関連していくつかのキャンプに分かれているのですか？

*なぜ波型の相転移は型プログラミングの観点からですか？

また、レポートでは、関数型プログラミング言語のlisp / clojureからhaskell / ocamlまでの型システムの範囲を調べ、イドリスやアグダなどの言語の依存型の神秘的な世界を簡単に調べます。





イリヤ・ベダ 、Bro.agency

機能レンズ

関数型プログラミングの世界から不変のデータ構造がもたらされました。 それらは、スレッド間のリンクの安全な分離、テストの容易さ、純粋な関数の作成能力という形で利益をもたらしました。 しかし、これに伴い、彼らは少し苦痛を感じました。

アプリケーションを単一の不変の状態として記述する場合-ネストの任意のレベルで要素を変更する方法は？ 実際、状態を変更するには、変更された値を持つ新しいオブジェクトを作成する必要があります。 また、オブジェクトが複雑で他のオブジェクトで構成されている場合-これは実際の問題であり、オブジェクトのネストのすべてのレベルをコピーする必要があります。

この問題を解決する1つの方法は、Edward Kmettによって提案されたレンズの概念です。 私のレポートでは、レンズとは何かを説明します。 レンズ構成の仕組み。 不変データを操作するための実際のタスクでそれらを適用する方法。

対象読者：react.jsを使用するフロントエンドプログラマーは、アプリケーションの状態を操作するための新しいツールについて学習します。

レポートに興味を持つ人：Scalaプログラマーは、Javaで慣れ親しんだドット表記を使用して不変データを操作する方法を理解します。 関数型プログラミングに熱心なプログラマーは、不変データを命令型で操作できる興味深い抽象化の1つについて学びます。





エレナ・デニセンコ 、ルクソフト

F＃でクラウドモザイクを使用した大きなデータを含む分布計算

関数型プログラミングの最新の概念は、F＃MBraceで開くモナドを使用する革新的なアプローチのおかげで、大量のデータを処理し、スケーラブルなコンピューティングを整理するタスクを劇的に簡素化できます。 このレポートは、F＃のユニークな機能に高度なレベルで焦点を当てて説明しています-実行の流れを適切に制御し、副作用を処理できる特別なルールを定義します。 F＃計算式に基づいて、クラウドモナドの概念が詳細に考慮されます。これは、MBraceフレームワークのオープンソースソフトウェアモデルに実装されています。 クラウドコンピューティング用の分散システムのモデルとビッグデータでの高負荷タスクの実行がノンブロッキング方式で提示され、同じネットワーク上のマシンのクラスターのレベルで状態を制御します。 MBraceのすべての機能とアーキテクチャ、およびAzure IaaSやBrisk Engineの使用など、クラスターを作成するさまざまな方法を検討します。 その結果、データの集中コンピューティングを操作する際に関数型プログラミングの抽象化を使用する利点、クラウドプロバイダーに依存しないクラウド環境で大量のデータを処理する利点が明らかになります。





ミハイル・ムツィアンコ 、JetBrains

マクロスカラ

レポートでは、トピックに精通していない人々のためにマクロのトピックの紹介を試みます。マクロのおかげでどのような機会が現れるかを説明します：用語の生成、タイプ、マクロの実体化、マテリアライザー、DSLの作成。 IDEでマクロをサポートする際の問題について説明します。

Scalaのマクロの将来について簡単に説明します。





セルゲイ・ロビン 、Sputnik.ru

SAMURAI WAY YOUNG SCALAプログラマー

その物語：

* ScputnikでのScalaの登場。

*機能検索の書き方。

*戦闘への道のりで得たもの。

* Scalaがとても貪欲であることは本当ですか？

* Scalaでの開発の長所と短所。





ローマン・グレベンニコフ 、Sociohub.ru

疑いのある人のためのSCALAパフォーマンス

Scala言語はファッショナブルになりました。ここでは、マッチングと再帰のパターン、ラムダで豊富なコレクション、および数学の学位を必要としない関数型プログラミングの世界からのその他の多くの恐ろしい言葉があります。 そして、これらすべてのパンはそのような言語に有機的に絡み合っており、書き始めるのは非常に難しいのです。

しかし、機能的な軽さの魔法は、「Javaで100行の麺をScalaで1行に書き換えたのに、3倍遅くなったのはなぜですか？」というフレーズで終わります。そして、美しい言語の夢はカボチャに変わります。 汚いブーツの厳しい現実は、高級言語の抽象化がモンスターを隠すことができ、すべての便利さが犠牲になることを教えているようです。 また、Scalaで単純なCRUDアプリケーションを実行しておらず、少なくともリモートで負荷に関連しているものを実行している場合、これらすべてのモナドシュモナドのコストを正確に把握する必要があります。

このレポートは、Scalaプログラミングを実践している人々の生産性の落とし穴に目を向ける可能性があります。 このプロセスでは次のことがわかります。

* jmhとsbtの統合。

* scalacが彼がそこで最適化したものについて話す方法。

*パターンマッチング、末尾再帰、およびscalaコレクションの秘密。

*これをすべて英雄的に最適化するスマートHotSpotについて。





アレクセイ・ロマンチュク 、2GIS

バックエンドEのリアクティブストリーム

Jetストリームは、Netflix、Twitter、Pivo​​talなどからの非同期ストリーミング処理の標準です。 リアクティブストリームを使用してバックエンドを構築する理由と方法を説明します。

*最新の非同期バックエンドを構築する際の問題は何ですか

*ジェットストリームとは何か、またバックエンドの構築にどのように役立つか

*噴流の原理

* Akka Streamの例を使用したリアクティブフローの操作の基本





Arseny Zhizhelev 、Mail.Ru Games

SCALA上の分散機能システム

このレポートでは、FRP（機能的なリアクティブプログラミング/データフロープログラミング）クラスに属するSynapseGridライブラリについて説明します。

最初の部分では、SynapseGridに基づいてシステムを構築するためのシンプルでエレガントなDSLについて説明します。 簡単なシステムの例を示します。

2番目の部分では、完成したシステムの使用可能なバージョンについて説明します。

*システムを通常の機能に変える;

* RXインターフェースの使用。

*（並列コレクションのように）スレッドプールで並列モードで起動します。

* 1つのホスト上のAkka ectorシステムで起動。

*複数のホスト上のAkka ectorシステムで実行。

3番目の部分では、ライブラリのモジュールアーキテクチャとその拡張の可能性について説明します。

結論は、ライブラリを使用して実装されたシステムのクラスについて説明しています。 つまり、ストリーミングシステムの分岐。 実際のプロジェクトでライブラリを使用する例を示します。



レポート以外のこと：



-多くの専門的なコミュニケーション。

-おいしい食べ物。

-アフターパーティ。参加者やスピーカーと非公式にコミュニケーションをとる機会があります。



今すぐ参加しよう！

チケット価格-7000ルーブル。

ここで登録できます 。



ボーナス- 昨年のmitapのビデオ 。