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

技育プロジェクト公式メンターがピックアップ！− おすすめ書籍 & 開発ツール一挙紹介 − / Geek Project Mentors' Picks: Books & Dev Tools

0

55

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

0

140

A Tour of Anti-patterns for Functional Programming

0

3.9k

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

0

780

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

0

870

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

0

620

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

AWS×クラウドネイティブソフトウェア設計 / AWS x Cloud-Native Software Design

16

3.3k

go directiveを最新にしすぎないで欲しい話──あるいは、Go 1.26からgo mod initで作られるgo directiveの値が変わる話 / Go 1.26 リリースパーティ

2

570

Windows on Ryzen and I

0

340

Vuetify 3 → 4 何が変わった？差分と移行ポイント10分まとめ

0

170

最初からAWS CDKで技術検証してもいいんじゃない？

4

160

SourceGeneratorのマーカー属性問題について

0

210

「やめとこ」がなくなった — 1月にZennを始めて22本書いた AI共創開発のリアル

0

410

PHPで TLSのプロトコルを実装してみる

0

360

野球解説AI Agentを開発してみた - 2026/02/27 LayerX社内LT会資料

PRO

0

350

[PHPerKaigi 2026]PHPerKaigi2025の企画CodeGolfが最高すぎて社内で内製して半年運営して得た内製と運営の知見

0

240

メタプログラミングで実現する「コードを仕様にする」仕組み/nikkei-tech-talk43

nikkei_engineer_recruiting

0

200

CSC307 Lecture 14

PRO

0

480

Featured

See All Featured

Making the Leap to Tech Lead

135

9.8k

Tell your own story through comics

1

860

The Straight Up "How To Draw Better" Workshop

239

140k

What the history of the web can teach us about the future of AI

PRO

1

480

Measuring Dark Social's Impact On Conversion and Attribution

1

160

Art, The Web, and Tiny UX

304

21k

The Art of Programming - Codeland 2020

57

14k

How Fast Is Fast Enough? [PerfNow 2025]

3

500

SERP Conf. Vienna - Web Accessibility: Optimizing for Inclusivity and SEO

1

1.3k

ReactJS: Keep Simple. Everything can be a component!

666

130k

Six Lessons from altMBA

29

4.2k

コードの90%をAIが書く世界で何が待っているのか / What awaits us in a world where 90% of the code is written by AI

61

43k

Transcript