11月

22
Nextbeat Tech Bar：第六回関数型プログラミング（仮）の会

関数型プログラミングについてわいわい語ろう

主催 : 株式会社ネクストビート

ハッシュタグ：#NextbeatTechBar

募集内容	オンライン参加無料先着順 90/95人オンライン発表枠（20分）無料先着順 2/2人オンラインLT枠（5分）無料先着順 4/4人
申込者	申込者一覧を見る
開催日時	2024/11/22(金) 19:00 ～ 21:00 Googleカレンダー icsファイル
募集期間	2024/10/15(火) 15:30 〜 2024/11/22(金) 21:00まで
会場	オンラインオンライン
参加者への情報	(参加者と発表者のみに公開されます)
出席登録	(イベント開始時間の2時間前から終了時間まで、参加者のみに公開されます)

イベントの説明

11/13（水）追記：懇親会について

MetaLifeを使ったオンライン懇親会を開催することになりました。上限人数25名までの案内となりますが、よろしくお願いします。詳細についてはconnpassのメッセージおよび当日にお伝えします。

📢 関数型プログラミング（仮）について

Opt Technologies / 株式会社オプト様が過去に主催していた、関数型プログラミングについてなら何でもありの技術イベントです。オプト様からイベント名 / イベントコンセプトをお譲りいただくことになり、Nextbeat Tech Barの枠で開催する運びとなりました。

📢 イベント概要

「関数型プログラミング」（Functional Programming）はかなり一般的になっています。

とくに、いわゆる「関数型プログラミング言語」（HaskellやOCaml、Clojure、Scala、Elmなど）からは多くの機能が主流の言語に輸入されています。たとえば、

高階関数（ファーストクラス関数）
不変コレクション
不変データを簡単に作る機構

などが多くの言語に取り入れられています。

徐々に「関数型プログラミング」が業務にも広がっているようにも感じます。

本イベントは、そんな「関数型プログラミング」ぽいものについて、言語コミュニティを超えて知見を共有したり、あるいは単にわいわいしゃべりあうのが目的です。今回も前回に引き続きフリーテーマでわいわいやっていければと思います。

皆様の参加や発表をお待ちしています。

参加資格

「関数型プログラミング」に興味がある方ならどんな方でも歓迎です。特に「よくわからない」という印象を持っている初心者の方の参加も積極的に歓迎したいと思います。

オンライン発表について

通常発表枠（発表20分+質疑応答5分）とLT枠（発表5分）があります。

当日は発表者各々のPCから画面共有をしていただく流れとなります。また、18:50より前にGoogle Meetに入っていただき、事前に画面共有テストをお願い致します。

イベントページで公開用に一週間前までのスライドの提出をよろしくお願いします。

提出先は、ml-dev-event{at}nextbeat.net でよろしくお願いします（{at}を@に置換してください）。スライドの公開が不可の場合、事前に申告いただけると助かります。

日時

2024年11月22日（金）19：00～20:40

開催方法

オンライン開催（Google Meet）になります。

※オンライン参加用のURLは前日にメッセージ送付させていただきます。

スケジュール

時間	内容	発表タイトル
18：30	開場（Google Meets入場可能）
19：00	オープニング	by kmizu
19：10	発表1（20分枠+5分）	Scala 3による関数型プログラミング入門 by kmizu
19：35	発表2（20分枠+5分）	elm-pagesでもう一歩実用的なWEBアプリケーション作りをしよう by ababupdownba
20：00	休憩
20：10	LT1（5分）	Make Impossible States Impossibleを意識してReactのPropsを設計しよう ikumatdkr
20：15	LT2（5分）	Haskellで競技プログラミングに入門してみた by RayStark77
20：20	LT3（5分）	`do` Notation Equivalents in JVM Languages: Scala, Kotlin, Clojure by lagenorhynque
20：25	LT4（5分）	type-driven property-based testingとfuzzingを組み合わせる by mt_caret
20：30	クロージング
20：50	オンライン懇親会（MetaLife）
21：50	オンライン懇親会終了

発表概要

発表1：Scala 3による関数型プログラミング入門 by kmizu

関数型プログラミングの基本をScala 3による簡潔なコード例を使ってわかりやすく解説します。純粋関数や不変性といった主要概念の説明から始まり、代数的データ型を使った安全性の向上をはじめとした関数型プログラミングの実務での利点を具体的なコード例とともに紹介します

発表2：elm-pagesでもう一歩実用的なWEBアプリケーション作りをしよう by ababupdownba

関数型言語プログラミング言語ElmはWEBアプリケーションのフロントエンドをターゲットとした言語です。その領域を拡張し、バックエンドのプログラミングを可能としたフレームワークelm-pagesの世界を簡単にご紹介します。関数型言語のパワーをより実践で活かしてみようと思うキッカケになればと思います。

LT1：Make Impossible States Impossibleを意識してReactのPropsを設計しよう by ikumatdkr

関数型プログラミング言語のコミュニティを出自とする「Make Impossible States Impossible/Make Illegal States Unrepresentable」は、関数型言語のみならずAPI設計に汎用的に適用できる考え方です。React・TypeScriptを使ったフロントエンド開発においても、この考え方は保守性の高いコンポーネントの構築に役立ちます。このLTでは概念の説明と、Discriminated UnionとCompositionによる実現方法について紹介します。

LT2：Haskellで競技プログラミングに入門してみた by RayStark77

Haskellで関数型プログラミングに入門してみた感想をお話しさせて頂きます。

LT3：`do` Notation Equivalents in JVM Languages: Scala, Kotlin, Clojure by lagenorhynque

Haskellでお馴染みのdo記法(do notation)は、他言語でもbind/flatMap相当の操作を繰り返す(Haskellでいう「モナド」的な構造を扱う)状況で同等のものがほしくなることがあります。 JJUG CCC 2024 Fallで私が発表していたテーマmap関数の内部実装から探るJVM言語のコレクション: Scala, Kotlin, Clojureコレクションの基本的な設計を理解しようのスピンオフ(?)ということで、JVM言語Scala, Kotlin, Clojureの言語機能やライブラリ実装ではどのように実現されているか、手短に紹介します。