型付け力を強化するための Hoogle のすゝめ / Boosting Your Type M...

TAKASE Kazuyuki

May 24, 2025

940

型付け力を強化するための Hoogle のすゝめ / Boosting Your Type Mastery with Hoogle

このスライドは、2025/05/23-24 に開催された「TSKaigi 2025」で発表したものです。

cf. https://2025.tskaigi.org/talks/guvalif

TAKASE Kazuyuki

May 24, 2025

Tweet

More Decks by TAKASE Kazuyuki

See All by TAKASE Kazuyuki

Welcome to the “Fantasy Land” 🧚 − 代数的構造をめぐる冒険 −

0

120

A Tour of Anti-patterns for Functional Programming

0

3.8k

"数学" をプログラミングしてもらう際に気をつけていること / Key Considerations When Programming "Mathematics"

0

770

"情報設計" と "体験設計" の観点から捉える UI 構築の考え方 / Approaches to UI Construction from the Perspectives of "Information Architecture" and "Experience Design"

0

850

Chatwork における採用広報と技術広報のリアル / Trial & Error of New Grad Developer Relations at Chatwork

0

610

本当に 0 からの関数型プログラミングの歩き始め方 / How to Walk into Functional Programming from Scratch

1

1.3k

宣言的 UI 時代のクライアントサイド DDD 大考察 / Client-side DDD in the Age of Declarative UI

11

11k

新卒採用・育成を通じて、プロダクト人材が育つカルチャーを作りたいお話 / How to Make Developer's Educational Culture

2

2k

Other Decks in Programming

See All in Programming

AIと一緒にレガシーに向き合ってみた

0

240

余白を設計しフロントエンド開発を加速させる

7

2.1k

AI巻き込み型コードレビューのススメ

2

390

それ、本当に安全？ファイルアップロードで見落としがちなセキュリティリスクと対策

7

3.9k

AI時代のキャリアプラン「技術の引力」からの脱出と「問い」へのいざない / tech-gravity

21

7.3k

Fragmented Architectures

0

160

高速開発のためのコード整理術

1

400

AIフル活用時代だからこそ学んでおきたい働き方の心得

0

140

例外処理とどう使い分ける？Result型を使ったエラー設計 #burikaigi

16

6.1k

izumin5210のプロポーザルのネタ探し #tskaigi_msup

1

130

AIによる高速開発をどう制御するか？ガードレール設置で開発速度と品質を両立させたチームの事例

tonkotsuboy_com

7

2.4k

ノイジーネイバー問題を解決する公平なキューイング

0

100

Featured

See All Featured

Distributed Sagas: A Protocol for Coordinating Microservices

333

22k

Have SEOs Ruined the Internet? - User Awareness of SEO in 2025

0

270

Digital Projects Gone Horribly Wrong (And the UX Pros Who Still Save the Day) - Dean Schuster

0

370

Conquering PDFs: document understanding beyond plain text

PRO

4

2.3k

Primal Persuasion: How to Engage the Brain for Learning That Lasts

0

250

The Art of Programming - Codeland 2020

57

14k

Being A Developer After 40

91

590k

WENDY [Excerpt]

9

36k

Breaking role norms: Why Content Design is so much more than writing copy - Taylor Woolridge

0

170

What’s in a name? Adding method to the madness

productmarketing

PRO

24

3.9k

Agile Actions for Facilitating Distributed Teams - ADO2019

0

120

Helping Users Find Their Own Way: Creating Modern Search Experiences

31

3.1k

Transcript