Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
型付け力を強化するための Hoogle のすゝめ / Boosting Your Type M...
Search
Sponsored
·
Your Podcast. Everywhere. Effortlessly.
Share. Educate. Inspire. Entertain. You do you. We'll handle the rest.
→
TAKASE Kazuyuki
May 24, 2025
Programming
1
920
型付け力を強化するための 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
Share
More Decks by TAKASE Kazuyuki
See All by TAKASE Kazuyuki
Welcome to the “Fantasy Land” 🧚 − 代数的構造をめぐる冒険 −
guvalif
0
110
A Tour of Anti-patterns for Functional Programming
guvalif
0
3.8k
"数学" をプログラミングしてもらう際に気をつけていること / Key Considerations When Programming "Mathematics"
guvalif
0
760
"情報設計" と "体験設計" の観点から捉える UI 構築の考え方 / Approaches to UI Construction from the Perspectives of "Information Architecture" and "Experience Design"
guvalif
0
850
Chatwork における採用広報と技術広報のリアル / Trial & Error of New Grad Developer Relations at Chatwork
guvalif
0
600
本当に 0 からの 関数型プログラミングの歩き始め方 / How to Walk into Functional Programming from Scratch
guvalif
1
1.3k
宣言的 UI 時代のクライアントサイド DDD 大考察 / Client-side DDD in the Age of Declarative UI
guvalif
11
11k
新卒採用・育成を通じて、プロダクト人材が育つカルチャーを作りたいお話 / How to Make Developer's Educational Culture
guvalif
2
2k
Other Decks in Programming
See All in Programming
SourceGeneratorのススメ
htkym
0
160
2026年 エンジニアリング自己学習法
yumechi
0
110
なるべく楽してバックエンドに型をつけたい!(楽とは言ってない)
hibiki_cube
0
130
CSC307 Lecture 05
javiergs
PRO
0
490
フロントエンド開発の勘所 -複数事業を経験して見えた判断軸の違い-
heimusu
7
2.7k
組織で育むオブザーバビリティ
ryota_hnk
0
150
副作用をどこに置くか問題:オブジェクト指向で整理する設計判断ツリー
koxya
1
560
余白を設計しフロントエンド開発を 加速させる
tsukuha
7
2k
AI Agent Tool のためのバックエンドアーキテクチャを考える #encraft
izumin5210
6
1.7k
Denoのセキュリティに関する仕組みの紹介 (toranoana.deno #23)
uki00a
0
260
大規模Cloud Native環境におけるFalcoの運用
owlinux1000
0
260
16年目のピクシブ百科事典を支える最新の技術基盤 / The Modern Tech Stack Powering Pixiv Encyclopedia in its 16th Year
ahuglajbclajep
5
940
Featured
See All Featured
Principles of Awesome APIs and How to Build Them.
keavy
128
17k
Tips & Tricks on How to Get Your First Job In Tech
honzajavorek
0
420
No one is an island. Learnings from fostering a developers community.
thoeni
21
3.6k
Producing Creativity
orderedlist
PRO
348
40k
Jamie Indigo - Trashchat’s Guide to Black Boxes: Technical SEO Tactics for LLMs
techseoconnect
PRO
0
52
XXLCSS - How to scale CSS and keep your sanity
sugarenia
249
1.3M
Visualization
eitanlees
150
17k
Practical Tips for Bootstrapping Information Extraction Pipelines
honnibal
25
1.7k
Build The Right Thing And Hit Your Dates
maggiecrowley
38
3k
職位にかかわらず全員がリーダーシップを発揮するチーム作り / Building a team where everyone can demonstrate leadership regardless of position
madoxten
55
49k
実際に使うSQLの書き方 徹底解説 / pgcon21j-tutorial
soudai
PRO
196
71k
Efficient Content Optimization with Google Search Console & Apps Script
katarinadahlin
PRO
0
300
Transcript
None
None
None
None
None
None
None
None