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
950

型付け力を強化するための 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
130
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
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
620
本当に 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
ぼくの開発環境2026
Avatar for yuzneri yuzneri
1
270
AWS re:Invent 2025参加 直前 Seattle-Tacoma Airport(SEA)におけるハードウェア紛失インシデントLT
Avatar for tetutetu214 tetutetu214
2
120
なるべく楽してバックエンドに型をつけたい！(楽とは言ってない)
Avatar for HIBIKI CUBE hibiki_cube
0
150
あなたはユーザーではない #PdENight
Avatar for Takuma Kajikawa kajitack
3
150
OCaml 5でモダンな並列プログラミングを Enjoyしよう!
Avatar for Haochen Kotoi-Xie haochenx
0
160
CSC307 Lecture 11
Avatar for Javier Gonzalez-Sanchez javiergs
PRO
0
580
Rust 製のコードエディタ “Zed” を使ってみた
Avatar for NearMeの技術発表資料です nearme_tech
PRO
0
260
ご飯食べながらエージェントが開発できる。そう、Agentic Engineeringならね。
Avatar for yoko / Naoki Yokomachi yokomachi
1
140
CSC307 Lecture 07
Avatar for Javier Gonzalez-Sanchez javiergs
PRO
1
560
The Past, Present, and Future of Enterprise Java
Avatar for ivargrimstad ivargrimstad
0
670
CSC307 Lecture 05
Avatar for Javier Gonzalez-Sanchez javiergs
PRO
0
500
AI Schema Enrichment for your Oracle AI Database
Avatar for thatjeffsmith thatjeffsmith
0
360

Featured

See All Featured
The Straight Up "How To Draw Better" Workshop
Avatar for Dennis Kardys denniskardys
239
140k
Dominate Local Search Results - an insider guide to GBP, reviews, and Local SEO
Avatar for Greg Gifford greggifford
PRO
0
88
The Psychology of Web Performance [Beyond Tellerrand 2023]
Avatar for Tammy Everts tammyeverts
49
3.3k
Navigating Algorithm Shifts & AI Overviews - #SMXNext
Avatar for Aleyda Solis aleyda
0
1.1k
From Legacy to Launchpad: Building Startup-Ready Communities
Avatar for Dug Song dugsong
0
150
Intergalactic Javascript Robots from Outer Space
Avatar for Vicent Martí tanoku
273
27k
Save Time (by Creating Custom Rails Generators)
Avatar for Garrett Dimon garrettdimon
PRO
32
2.2k
Ethics towards AI in product and experience design
Avatar for Skipper Chong Warson skipperchong
2
210
[Rails World 2023 - Day 1 Closing Keynote] - The Magic of Rails
Avatar for Eileen M. Uchitelle eileencodes
38
2.7k
"I'm Feeling Lucky" - Building Great Search Experiences for Today's Users (#IAC19)
Avatar for Dan Newman danielanewman
231
22k
How STYLIGHT went responsive
Avatar for nonsquared nonsquared
100
6k
Typedesign – Prime Four
Avatar for Hannes Fritz hannesfritz
42
3k

Transcript

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