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

TAKASE Kazuyuki

May 24, 2025

820

型付け力を強化するための 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

A Tour of Anti-patterns for Functional Programming

0

3.7k

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

0

750

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

0

820

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

0

580

本当に 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

PyCon mini 東海 2025「個人ではじめるマルチAIエージェント入門〜LangChain × LangGraphでアイデアを形にするステップ〜」

3

900

What's New in Web AI?

christianliebel

PRO

0

120

alien-signals と自作 OSS で実現するフレームワーク非依存なロジック共通化の探求 / Exploring Framework-Agnostic Logic Sharing with alien-signals and Custom OSS

3

5.9k

Flutterアプリ運用の現場で役立った監視Tips 5選

1

290

Temporal Knowledge Graphで作る！時間変化するナレッジを扱うAI Agentの世界

5

1.3k

PHPライセンス変更の議論を通じて学ぶOSSライセンスの基礎

0

140

イベントストーミングのはじめかた / Getting Started with Event Storming

1

140

歴史から学ぶ「Why PHP？」 PHPを書く理由を改めて理解する / Learning from History: “Why PHP?” Rediscovering the Reasons for Writing PHP

PRO

0

140

開発生産性が組織文化になるまでの軌跡

0

140

Designing Repeatable Edits: The Architecture of . in Vim

0

260

AI時代に必須！状況言語化スキル / ai-context-verbalization

3

370

Kotlin + Power-Assert 言語組み込みならではのAssertion Library採用と運用ベストプラクティス by Kazuki Matsuda/Gen-AX

0

110

Featured

See All Featured

Into the Great Unknown - MozCon

40

2.1k

The Success of Rails: Ensuring Growth for the Next 100 Years

46

7.8k

Balancing Empowerment & Direction

5

740

Principles of Awesome APIs and How to Build Them.

127

17k

Art, The Web, and Tiny UX

303

21k

Music & Morning Musume

46

6.9k

Typedesign – Prime Four

42

2.9k

Making the Leap to Tech Lead

135

9.6k

It's Worth the Effort

187

28k

The Power of CSS Pseudo Elements

80

6k

A Tale of Four Properties

161

23k

VelocityConf: Rendering Performance Case Studies

333

24k

Transcript