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

TAKASE Kazuyuki

May 24, 2025

640

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

A Tour of Anti-patterns for Functional Programming

0

3.6k

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

0

730

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

0

800

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

0

570

本当に 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

1.9k

Other Decks in Programming

See All in Programming

実践 Dev Containers × Claude Code

1

240

State of CSS 2025

1

120

AIエージェント開発、DevOps and LLMOps

1

340

あのころの iPod をどうにか再生させたい

2

2.5k

Flutterと Vibe Coding で個人開発！

1

260

レガシープロジェクトで最大限AIの恩恵を受けられるようClaude Codeを利用する

2

1k

「リーダーは意思決定する人」って本当？～学びを現場で活かす、リーダー4ヶ月目の試行錯誤～

0

240

AI OCR API on Lambdaを Datadogで可視化してみた

0

180

DockerからECSへ〜 AWSの海に出る前に知っておきたいこと〜

5

1.8k

AWS Serverless Application Model入門_20250708

0

120

CSC305 Summer Lecture 04

PRO

1

100

kiroでゲームを作ってみた

0

180

Featured

See All Featured

Docker and Python

45

3.5k

[RailsConf 2023 Opening Keynote] The Magic of Rails

30

9.6k

The Web Performance Landscape in 2024 [PerfNow 2024]

9

780

The Power of CSS Pseudo Elements

77

5.9k

Measuring & Analyzing Core Web Vitals

9

560

Producing Creativity

PRO

347

40k

Let's Do A Bunch of Simple Stuff to Make Websites Faster

507

140k

Designing for humans not robots

253

25k

462

140k

Code Review Best Practice

70

19k

4 Signs Your Business is Dying

184

22k

We Have a Design System, Now What?

53

7.7k

Transcript