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

TAKASE Kazuyuki

May 24, 2025

990

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

More Decks by TAKASE Kazuyuki

See All by TAKASE Kazuyuki

技育プロジェクト公式メンターがピックアップ！− おすすめ書籍 & 開発ツール一挙紹介 − / Geek Project Mentors' Picks: Books & Dev Tools

0

63

Welcome to the “Fantasy Land” 🧚 − 代数的構造をめぐる冒険 −

0

140

A Tour of Anti-patterns for Functional Programming

0

3.9k

"数学" をプログラミングしてもらう際に気をつけていること / Key Considerations When Programming "Mathematics"

0

780

"情報設計" と "体験設計" の観点から捉える UI 構築の考え方 / Approaches to UI Construction from the Perspectives of "Information Architecture" and "Experience Design"

0

870

Chatwork における採用広報と技術広報のリアル / Trial & Error of New Grad Developer Relations at Chatwork

0

620

本当に 0 からの関数型プログラミングの歩き始め方 / How to Walk into Functional Programming from Scratch

1

1.3k

宣言的 UI 時代のクライアントサイド DDD 大考察 / Client-side DDD in the Age of Declarative UI

11

11k

新卒採用・育成を通じて、プロダクト人材が育つカルチャーを作りたいお話 / How to Make Developer's Educational Culture

2

2k

Other Decks in Programming

See All in Programming

Redox OS でのネームスペース管理と chroot の実現

0

460

Migration to Signals, Signal Forms, Resource API, and NgRx Signal Store @Angular Days 03/2026 Munich

PRO

0

170

安いハードウェアでVulkan

1

820

メッセージングを利用して時間的結合を分離しよう #phperkaigi

3

460

おれのAgentic Coding 2026/03

1

110

OTP を自動で入力する裏技

0

130

我々はなぜ「層」を分けるのか〜「関心の分離」と「抽象化」で手に入れる変更に強いシンプルな設計〜 #phperkaigi / PHPerKaigi 2026

2

630

Windows on Ryzen and I

0

410

実践ハーネスエンジニアリング #MOSHTech

7

4.5k

今こそ押さえておきたいアマゾンウェブサービス（AWS）のデータベースの基礎おもクラ #6版

satoshi256kbyte

1

200

GC言語のWasm化とComponent Modelサポートの実践と課題 - Scalaの場合

0

130

野球解説AI Agentを開発してみた - 2026/02/27 LayerX社内LT会資料

PRO

0

370

Featured

See All Featured

Jamie Indigo - Trashchat’s Guide to Black Boxes: Technical SEO Tactics for LLMs

PRO

0

89

SEO in 2025: How to Prepare for the Future of Search

3

3.4k

Lessons Learnt from Crawling 1000+ Websites

PRO

1

1.2k

What does AI have to do with Human Rights?

PRO

1

2.1k

PRO

1

130

How to train your dragon (web standard)

97

6.6k

Thoughts on Productivity

75

5.1k

How to Get Subject Matter Experts Bought In and Actively Contributing to SEO & PR Initiatives.

0

91

Ethics towards AI in product and experience design

2

240

Building Better People: How to give real-time feedback that sticks.

370

20k

Exploring the relationship between traditional SERPs and Gen AI search

raygrieselhuber

PRO

2

3.7k

Google's AI Overviews - The New Search

0

950

Transcript