堅牢な認証基盤の実現 TypeScriptで代数的データ型を活用する

関数型まつり2025
https://2025.fp-matsuri.org/
での登壇資料です

KAKEHASHI PRO

June 15, 2025

More Decks by KAKEHASHI

See All by KAKEHASHI

薬剤師（ドメインエキスパート）と一緒に育てる薬局向けAIアシスタント

PRO

2

170

デザイナーとPdMが自分でデプロイする ― Amplify Hosting の PR プレビューで回す仮説検証

PRO

2

140

人を動かすのは時間ではなく、納得感〜新任EMが入社3ヶ月、組織を2回変えた話〜

PRO

3

530

クラウド上のデータ復旧で見落としがちな制約: 医療系 SaaS の BCP 設計から得た教訓

PRO

0

5.4k

プロダクトだけじゃない、社内プロセスにおける自動化・省力化ノススメ

PRO

1

5.5k

「軸足」は固定しなくていい - 熱量と強みで描く、しなやかなキャリアの形

PRO

2

620

Sync と Async ─ useSyncExternalStore を使う者の岐路

PRO

1

820

React Compiler導入の効果と運用の工夫

PRO

3

680

変化の激しい時代をゴキゲンに生き抜くために〜ストレスマネジメントのススメ〜

PRO

5

2.8k

Other Decks in Technology

See All in Technology

映像変換サーバーなしで端末内でHLSを生成してライブ配信

0

110

LTのテーマどうきめてる？〜5つの型と私のやり方〜

1

110

OpenTelemetryのメトリクスをCloudWatchに送ってPromQLで見てみた

0

150

Slack上でインフラをトラブルシュートする！ Agentic Platform Engineeringの第一歩

4

1.7k

Minecraft JavaのMODをSwiftで作る

0

160

データ界隈LT祭第1回LT登壇

taromatsui_cccmkhd

1

1.3k

幾何アルゴリズムでなめらかなピン操作を / iOSDC Japan 2026 / smoothpin

0

350

人間はどの意思決定を手放せるのか

14

6.8k

AI 時代のスタートアップエコシステ厶から考究する技術的負債との向き合い方

PRO

2

2.1k

Railsのように考える: See through the Master

PRO

3

860

山手線を徒歩で一周してわかった、位置情報アプリは「足」が最強のデバッガー

0

160

AI時代の「技術的負債」の変質ー概念の終焉と再解釈、エージェントと共に向かう先

0

2.6k

Featured

See All Featured

Color Theory Basics | Prateek | Gurzu

1

470

Making Projects Easy

120

6.8k

Believing is Seeing

1

220

How Software Deployment tools have changed in the past 20 years

1

34k

Chrome DevTools: State of the Union 2024 - Debugging React & Beyond

10

1.3k

Sharpening the Axe: The Primacy of Toolmaking

46

3k

Ethics towards AI in product and experience design

2

370

Understanding Cognitive Biases in Performance Measurement

32

3k

Applied NLP in the Age of Generative AI

PRO

4

2.5k

From Legacy to Launchpad: Building Startup-Ready Communities

0

330

AI in Enterprises - Java and Open Source to the Rescue

0

1.5k

Principles of Awesome APIs and How to Build Them.

128

18k

Transcript