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

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

Sponsored · SiteGround - Reliable hosting with speed, security, and support you can count on. →
Avatar for TAKASE Kazuyuki TAKASE Kazuyuki
May 24, 2025
Programming
1k
1

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

More Decks by TAKASE Kazuyuki

See All by TAKASE Kazuyuki
技育プロジェクト公式メンターがピックアップ！− おすすめ書籍 & 開発ツール一挙紹介 − / Geek Project Mentors' Picks: Books & Dev Tools
Avatar for TAKASE Kazuyuki guvalif
0
64
Welcome to the “Fantasy Land” 🧚 − 代数的構造をめぐる冒険 −
Avatar for TAKASE Kazuyuki guvalif
0
140
A Tour of Anti-patterns for Functional Programming
Avatar for TAKASE Kazuyuki guvalif
0
3.9k
"数学" をプログラミングしてもらう際に気をつけていること / Key Considerations When Programming "Mathematics"
Avatar for TAKASE Kazuyuki guvalif
0
790
"情報設計" と "体験設計" の観点から捉える UI 構築の考え方 / Approaches to UI Construction from the Perspectives of "Information Architecture" and "Experience Design"
Avatar for TAKASE Kazuyuki guvalif
0
870
Chatwork における採用広報と技術広報のリアル / Trial & Error of New Grad Developer Relations at Chatwork
Avatar for TAKASE Kazuyuki guvalif
0
630
本当に 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
20260320登壇資料
Avatar for 松井遼(まついはるか) pharct
0
160
ネイティブアプリとWebフロントエンドのAPI通信ラッパーにおける共通化の勘所
Avatar for Suguru Ohki suguruooki
0
250
ローカルで稼働する AI エージェントを超えて / beyond-local-ai-agents
Avatar for geeawa gawa
2
260
AWS re：Invent 2025の少し振り返り ＋ DevOps AgentとBacklogを連携させてみた
Avatar for Satoshi Kaneyasu satoshi256kbyte
2
150
事業会社でのセキュリティ長期インターンについて
Avatar for inlet-back masachikaura
0
230
Everything Claude Code OSS詳細 — 5層構造の中身と導入方法
Avatar for techs-targe targe
0
160
Kubernetes上でAgentを動かすための最新動向と押さえるべき概念まとめ
Avatar for Sota Makino sotamaki0421
3
440
Don't Prompt Harder, Structure Better
Avatar for Yusuke Kita kitasuke
0
440
Strategy for Finding a Problem for OSS: With Real Examples
Avatar for Chikahiro Tokoro kibitan
0
140
KagglerがMixSeekを触ってみた
Avatar for Morim morim
0
370
CDK Deployのための ”反響定位”
Avatar for watany watany
0
320
一度始めたらやめられない開発効率向上術 / Findy あなたのdotfilesを教えて！
Avatar for Takashi Kokubun k0kubun
4
2.8k

Featured

See All Featured
Visualization
Avatar for Eitan Lees eitanlees
150
17k
Practical Tips for Bootstrapping Information Extraction Pipelines
Avatar for Matthew Honnibal honnibal
25
1.8k
How to Talk to Developers About Accessibility
Avatar for Jason CranfordTeague jct
2
170
What’s in a name? Adding method to the madness
Avatar for The Alliance productmarketing
PRO
24
4k
Balancing Empowerment & Direction
Avatar for Lara Hogan lara
5
1k
Embracing the Ebb and Flow
Avatar for Simon Collison colly
88
5k
So, you think you're a good person
Avatar for Per Axbom axbom
PRO
2
2k
How to Think Like a Performance Engineer
Avatar for Harry Roberts csswizardry
28
2.5k
AI Search:
Where Are We & What Can We Do About It?
Avatar for Aleyda Solis aleyda
0
7.3k
SEO for Brand Visibility & Recognition
Avatar for Aleyda Solis aleyda
0
4.4k
Learning to Love Humans: Emotional Interface Design
Avatar for Aarron Walter aarron
275
41k
Digital Ethics as a Driver of Design Innovation
Avatar for Per Axbom axbom
PRO
1
260

Transcript

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