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

TAKASE Kazuyuki

May 24, 2025

610

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

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

0

730

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

0

790

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

Streamlitで実現できるようになったこと、実現してくれたこと

ayumu_yamaguchi

2

270

リッチエディターを安全に開発・運用するために

1

350

Jakarta EE Meets AI

0

570

テスターからテストエンジニアへ ~新米テストエンジニアが歩んだ9ヶ月振り返り~

2

250

構文解析器入門

7

2k

[SRE NEXT] 複雑なシステムにおけるUser Journey SLOの導入

1

910

TypeScriptでDXを上げろ！ Hono編

4

930

可変性を制する設計: 構造と振る舞いから考える概念モデリングとその実装

10

1.5k

Vibe Codingの幻想を超えて-生成AIを現場で使えるようにするまでの泥臭い話.ai

21

10k

Understanding Kotlin Multiplatform

0

250

なぜ今、Terraformの本を書いたのか？ - 著者陣に聞く！『Terraformではじめる実践IaC』登壇資料

3

390

DatadogのArchived LogsをSnowflakeで高速に検索する方法（Archive Searchでオワコンにならないことを祈って） / How to search Datadog Archived Logs quickly with Snowflake (hoping Datadog Archive Search doesn’t make this obsolete)

0

110

Featured

See All Featured

Into the Great Unknown - MozCon

40

2k

CoffeeScript is Beautiful & I Never Want to Write Plain JavaScript Again

161

15k

個人開発の失敗を避けるイケてる考え方 / tips for indie hackers

110

19k

Refactoring Trust on Your Teams (GOTO; Chicago 2020)

34

3.1k

Writing Fast Ruby

628

62k

Creating an realtime collaboration tool: Agile Flush - .NET Oxford

30

2.2k

Distributed Sagas: A Protocol for Coordinating Microservices

332

22k

Cheating the UX When There Is Nothing More to Optimize - PixelPioneers

stephaniewalter

283

13k

Understanding Cognitive Biases in Performance Measurement

29

1.8k

Raft: Consensus for Rubyists

140

7k

jQuery: Nuts, Bolts and Bling

63

7.8k

Responsive Adventures: Dirty Tricks From The Dark Corners of Front-End

251

21k

Transcript