Upgrade to Pro — share decks privately, control downloads, hide ads and more …

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

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

型付け力を強化するための 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
120
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
770
"情報設計" と "体験設計" の観点から捉える UI 構築の考え方 / Approaches to UI Construction from the Perspectives of "Information Architecture" and "Experience Design"
Avatar for TAKASE Kazuyuki guvalif
0
850
Chatwork における採用広報と技術広報のリアル / Trial & Error of New Grad Developer Relations at Chatwork
Avatar for TAKASE Kazuyuki guvalif
0
610
本当に 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
AIフル活用時代だからこそ学んでおきたい働き方の心得
Avatar for shinoyu shinoyu
0
140
ノイジーネイバー問題を解決する 公平なキューイング
Avatar for Shoichi Ochi occhi
0
100
Implementation Patterns
Avatar for Denys Poltorak denyspoltorak
0
290
AI巻き込み型コードレビューのススメ
Avatar for Nealle nealle
2
370
Unicodeどうしてる？ PHPから見たUnicode対応と他言語での対応についてのお伺い
Avatar for てきめん tekimen youkidearitai
PRO
1
2.6k
FOSDEM 2026: STUNMESH-go: Building P2P WireGuard Mesh Without Self-Hosted Infrastructure
Avatar for Date Huang tjjh89017
0
170
Grafana：建立系統全知視角的捷徑
Avatar for Blueswen blueswen
0
330
CSC307 Lecture 07
Avatar for Javier Gonzalez-Sanchez javiergs
PRO
0
550
Claude Codeと2つの巻き戻し戦略 / Two Rewind Strategies with Claude Code
Avatar for 果物リン fruitriin
0
120
AWS re:Invent 2025参加 直前 Seattle-Tacoma Airport(SEA)におけるハードウェア紛失インシデントLT
Avatar for tetutetu214 tetutetu214
2
110
Data-Centric Kaggle
Avatar for ねぼすけAI isax1015
2
780
Apache Iceberg V3 and migration to V3
Avatar for Tomohiro Tanaka tomtanaka
0
160

Featured

See All Featured
The World Runs on Bad Software
Avatar for Brandon Keepers bkeepers
PRO
72
12k
How Software Deployment tools have changed in the past 20 years
Avatar for Geshan Manandhar geshan
0
32k
Taking LLMs out of the black box: A practical guide to human-in-the-loop distillation
Avatar for Ines Montani inesmontani
PRO
3
2k
Evolving SEO for Evolving Search Engines
Avatar for Ryan Jones ryanjones
0
130
GitHub's CSS Performance
Avatar for Jon Rohan jonrohan
1032
470k
The Psychology of Web Performance [Beyond Tellerrand 2023]
Avatar for Tammy Everts tammyeverts
49
3.3k
Refactoring Trust on Your Teams (GOTO; Chicago 2020)
Avatar for Rebecca Miller-Webster rmw
35
3.4k
Imperfection Machines: The Place of Print at Facebook
Avatar for Scott Boms scottboms
269
14k
Are puppies a ranking factor?
Avatar for Jono Alderson jonoalderson
1
2.7k
It's Worth the Effort
Avatar for 3n 3n
188
29k
Leading Effective Engineering Teams in the AI Era
Avatar for Addy Osmani addyosmani
9
1.6k
Breaking role norms: Why Content Design is so much more than writing copy - Taylor Woolridge
Avatar for UX Y'all uxyall
0
170

Transcript

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