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

110

A Tour of Anti-patterns for Functional Programming

0

3.8k

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

0

760

"情報設計" と "体験設計" の観点から捉える 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

600

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

コマンドとリード間の連携に対する脅威分析フレームワーク

1

420

コントリビューターによるDenoのすゝめ / Deno Recommendations by a Contributor

0

200

AgentCoreとHuman in the Loop

5

200

副作用をどこに置くか問題：オブジェクト指向で整理する設計判断ツリー

1

560

Basic Architectures

0

630

AI 駆動開発ライフサイクル(AI-DLC):ソフトウェアエンジニアリングの再構築 / AI-DLC Introduction

11

6k

re:Invent 2025 のイケてるサービスを紹介する

0

170

2026年エンジニアリング自己学習法

0

110

OSSとなったswift-buildで Xcodeのビルドを差し替えられるため自分でXcodeを直せる時代になっているダイアモンド問題編

3

550

dchart: charts from deck markup

3

970

CSC307 Lecture 03

PRO

1

480

なるべく楽してバックエンドに型をつけたい！(楽とは言ってない)

0

130

Featured

See All Featured

Efficient Content Optimization with Google Search Console & Apps Script

PRO

0

300

89

10k

How GitHub (no longer) Works

316

140k

The agentic SEO stack - context over prompts

0

600

The SEO Collaboration Effect

kristinabergwall1

0

340

CoffeeScript is Beautiful & I Never Want to Write Plain JavaScript Again

162

16k

Unsuck your backbone

671

58k

[RailsConf 2023 Opening Keynote] The Magic of Rails

31

9.9k

Organizational Design Perspectives: An Ontology of Organizational Design Elements

PRO

1

69

Claude Code のすすめ

67

210k

How to build an LLM SEO readiness audit: a practical framework

1

630

svc-hook: hooking system calls on ARM64 by binary rewriting

1

85

Transcript