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
530

型付け力を強化するための 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
A Tour of Anti-patterns for Functional Programming
Avatar for TAKASE Kazuyuki guvalif
0
3.5k
"数学" をプログラミングしてもらう際に気をつけていること / Key Considerations When Programming "Mathematics"
Avatar for TAKASE Kazuyuki guvalif
0
720
"情報設計" と "体験設計" の観点から捉える UI 構築の考え方 / Approaches to UI Construction from the Perspectives of "Information Architecture" and "Experience Design"
Avatar for TAKASE Kazuyuki guvalif
0
760
Chatwork における採用広報と技術広報のリアル / Trial & Error of New Grad Developer Relations at Chatwork
Avatar for TAKASE Kazuyuki guvalif
0
560
本当に 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
1.9k

Other Decks in Programming

See All in Programming
たった 1 枚の PHP ファイルで実装する MCP サーバ / MCP Server with Vanilla PHP
Avatar for Shohei Okada okashoi
1
260
AI時代のソフトウェア開発を考える（2025/07版） / Agentic Software Engineering Findy 2025-07 Edition
Avatar for Takuto Wada twada
PRO
87
29k
システム成長を止めない！本番無停止テーブル移行の全貌
Avatar for さかうぇ sakawe_ee
1
200
“いい感じ“な定量評価を求めて - Four Keysとアウトカムの間の探求 -
Avatar for Nealle nealle
1
10k
Rails Frontend Evolution: It Was a Setup All Along
Avatar for Svyatoslav Kryukov skryukov
0
140
「Cursor/Devin全社導入の理想と現実」のその後
Avatar for Ryoichi Saito saitoryc
0
820
Composerが「依存解決」のためにどんな工夫をしているか #phpcon
Avatar for hideki kinjyo o0h
PRO
1
260
RailsGirls IZUMO スポンサーLT
Avatar for 16bit_idol 16bitidol
0
190
A full stack side project webapp all in Kotlin (KotlinConf 2025)
Avatar for Dan Kim dankim
0
120
PicoRuby on Rails
Avatar for makicamel makicamel
2
130
PHPでWebSocketサーバーを実装しよう2025
Avatar for kubotak kubotak
0
290
明示と暗黙 ー PHPとGoの インターフェイスの違いを知る
Avatar for shimabox shimabox
2
510

Featured

See All Featured
Thoughts on Productivity
Avatar for Jon Yablonski jonyablonski
69
4.7k
Agile that works and the tools we love
Avatar for Rasmus Luckow-Nielsen rasmusluckow
329
21k
Bootstrapping a Software Product
Avatar for Garrett Dimon garrettdimon
PRO
307
110k
"I'm Feeling Lucky" - Building Great Search Experiences for Today's Users (#IAC19)
Avatar for Dan Newman danielanewman
229
22k
Dealing with People You Can't Stand - Big Design 2015
Avatar for Cassini Nazir cassininazir
367
26k
The Art of Programming - Codeland 2020
Avatar for Erika Heidi erikaheidi
54
13k
VelocityConf: Rendering Performance Case Studies
Avatar for Addy Osmani addyosmani
332
24k
How to train your dragon (web standard)
Avatar for Monica Dinculescu notwaldorf
95
6.1k
CoffeeScript is Beautiful & I Never Want to Write Plain JavaScript Again
Avatar for Sam Stephenson sstephenson
161
15k
Done Done
Avatar for chrislema chrislema
184
16k
Performance Is Good for Brains [We Love Speed 2024]
Avatar for Tammy Everts tammyeverts
10
950
10 Git Anti Patterns You Should be Aware of
Avatar for Lemi Orhan Ergin lemiorhan
PRO
656
60k

Transcript

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