Lock in $30 Savings on PRO—Offer Ends Soon! ⏳

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

Avatar for TAKASE Kazuyuki TAKASE Kazuyuki
May 24, 2025
Programming
1
860

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

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

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

Avatar for TAKASE Kazuyuki

TAKASE Kazuyuki

May 24, 2025
Tweet

More Decks by TAKASE Kazuyuki

See All by TAKASE Kazuyuki
Welcome to the “Fantasy Land” 🧚 − 代数的構造をめぐる冒険 −
Avatar for TAKASE Kazuyuki guvalif
0
98
A Tour of Anti-patterns for Functional Programming
Avatar for TAKASE Kazuyuki guvalif
0
3.8k
"数学" をプログラミングしてもらう際に気をつけていること / Key Considerations When Programming "Mathematics"
Avatar for TAKASE Kazuyuki guvalif
0
750
"情報設計" と "体験設計" の観点から捉える UI 構築の考え方 / Approaches to UI Construction from the Perspectives of "Information Architecture" and "Experience Design"
Avatar for TAKASE Kazuyuki guvalif
0
840
Chatwork における採用広報と技術広報のリアル / Trial & Error of New Grad Developer Relations at Chatwork
Avatar for TAKASE Kazuyuki guvalif
0
600
本当に 0 からの 関数型プログラミングの歩き始め方 / How to Walk into Functional Programming from Scratch
Avatar for TAKASE Kazuyuki guvalif
1
1.3k
宣言的 UI 時代のクライアントサイド DDD 大考察 / Client-side DDD in the Age of Declarative UI
Avatar for TAKASE Kazuyuki guvalif
11
11k
新卒採用・育成を通じて、プロダクト人材が育つカルチャーを作りたいお話 / How to Make Developer's Educational Culture
Avatar for TAKASE Kazuyuki guvalif
2
2k

Other Decks in Programming

See All in Programming
新卒エンジニアのプルリクエスト with AI駆動
Avatar for Yuta Fukunaga fukunaga2025
0
230
【CA.ai #3】Google ADKを活用したAI Agent開発と運用知見
Avatar for Kazuki Hara harappa80
0
310
AIコーディングエージェント（skywork）
Avatar for kondai kondai24
0
180
React Native New Architecture 移行実践報告
Avatar for taminif taminif
1
160
tsgolintはいかにしてtypescript-goの非公開APIを呼び出しているのか
Avatar for syumai syumai
7
2.2k
堅牢なフロントエンドテスト基盤を構築するために行った取り組み
Avatar for Shogo Fukami shogo4131
8
2.4k
AIエンジニアリングのご紹介 / Introduction to AI Engineering
Avatar for r-kagaya rkaga
8
2.8k
Microservices rules: What good looks like
Avatar for Chris Richardson cer
PRO
0
1.4k
FluorTracer / RayTracingCamp11
Avatar for kugi kugimasa
0
230
Cell-Based Architecture
Avatar for Luram Archanjo larchanjo
0
130
DevFest Android in Korea 2025 - 개발자 커뮤니티를 통해 얻는 가치
Avatar for Suhyeon Kim wisemuji
0
150
俺流レスポンシブコーディング 2025
Avatar for TAK tak_dcxi
14
8.8k

Featured

See All Featured
Templates, Plugins, & Blocks: Oh My! Creating the theme that thinks of everything
Avatar for Michelle Schulp Hunt marktimemedia
31
2.6k
Building Better People: How to give real-time feedback that sticks.
Avatar for Will Jessup wjessup
370
20k
The Pragmatic Product Professional
Avatar for Laura Van Doore lauravandoore
37
7.1k
Building a Modern Day 
E-commerce SEO Strategy
Avatar for Aleyda Solis aleyda
45
8.3k
Testing 201, or: Great Expectations
Avatar for Joseph Mastey jmmastey
46
7.8k
Speed Design
Avatar for Sergey Chernyshev sergeychernyshev
33
1.4k
The MySQL Ecosystem @ GitHub 2015
Avatar for Sam Lambert samlambert
251
13k
Unsuck your backbone
Avatar for Amy Palamountain ammeep
671
58k
Rebuilding a faster, lazier Slack
Avatar for samanthasiow samanthasiow
84
9.3k
Agile that works and the tools we love
Avatar for Rasmus Luckow-Nielsen rasmusluckow
331
21k
The Illustrated Children's Guide to Kubernetes
Avatar for Chris Short chrisshort
51
51k
Fight the Zombie Pattern Library - RWD Summit 2016
Avatar for Marcelo Somers marcelosomers
234
17k

Transcript

  1. None
  2. None
  3. None
  4. None
  5. None
  6. None
  7. None
  8. None