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
930

型付け力を強化するための 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
フロントエンド開発の勘所 -複数事業を経験して見えた判断軸の違い-
Avatar for Yoichiro Kubo heimusu
7
2.8k
15年続くIoTサービスの SREエンジニアが挑む 分散トレーシング導入
Avatar for Melonps melonps
2
170
CSC307 Lecture 06
Avatar for Javier Gonzalez-Sanchez javiergs
PRO
0
680
KIKI_MBSD Cybersecurity Challenges 2025
Avatar for ikema ikema
0
1.3k
Spinner 軸ズレ現象を調べたらレンダリング深淵に飲まれた #レバテックMeetup
Avatar for 弁護士ドットコム bengo4com
1
230
CSC307 Lecture 02
Avatar for Javier Gonzalez-Sanchez javiergs
PRO
1
770
Lambda のコードストレージ容量に気をつけましょう
Avatar for tatsuki-yamada tattwan718
0
110
AI Agent Tool のためのバックエンドアーキテクチャを考える #encraft
Avatar for izumin5210 izumin5210
6
1.8k
AI前提で考えるiOSアプリのモダナイズ設計
Avatar for 野瀬田　裕樹 yuukiw00w
0
220
AIによる高速開発をどう制御するか？ ガードレール設置で開発速度と品質を両立させたチームの事例
Avatar for tonkotsuboy_com tonkotsuboy_com
7
2k
Apache Iceberg V3 and migration to V3
Avatar for Tomohiro Tanaka tomtanaka
0
150
OCaml 5でモダンな並列プログラミングを Enjoyしよう!
Avatar for Haochen Kotoi-Xie haochenx
0
140

Featured

See All Featured
GraphQLとの向き合い方2022年版
Avatar for Yosuke Kurami quramy
50
14k
実際に使うSQLの書き方 徹底解説 / pgcon21j-tutorial
Avatar for soudai sone soudai
PRO
196
71k
WCS-LA-2024
Avatar for Leonardo Collado-Torres lcolladotor
0
450
Lessons Learnt from Crawling 1000+ Websites
Avatar for Charles Meaden charlesmeaden
PRO
1
1.1k
The Mindset for Success: Future Career Progression
Avatar for Greg Gifford greggifford
PRO
0
230
Building a Scalable Design System with Sketch
Avatar for Laura Van Doore lauravandoore
463
34k
XXLCSS - How to scale CSS and keep your sanity
Avatar for Zaharenia Atzitzikaki sugarenia
249
1.3M
The Curse of the Amulet
Avatar for Matthew Lei leimatthew05
1
8.3k
svc-hook: hooking system calls on ARM64 by binary rewriting
Avatar for Akira Moroo retrage
1
97
Un-Boring Meetings
Avatar for Sebastian Deterding codingconduct
0
200
jQuery: Nuts, Bolts and Bling
Avatar for Doug Neiner dougneiner
65
8.4k
New Earth Scene 8
Avatar for Sydney Stone popppiees
1
1.5k

Transcript

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