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

TAKASE Kazuyuki

May 24, 2025

770

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

740

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

0

810

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

0

580

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

iOSエンジニア向けの英語学習アプリを作る！

0

180

9

6.8k

monorepo の Go テストをはやくした〜い！~最小の依存解決への道のり~ / faster-testing-of-monorepos

2

420

あなたの知らない「動画広告」の世界 - iOSDC Japan 2025

0

420

複雑化したリポジトリをなんとかした話　pipenvからuvによるモノレポ構成への移行

satoshi256kbyte

1

820

ソフトウェア設計の実践的な考え方

PRO

3

500

LLMとPlaywright/reg-suitを活用した jQueryリファクタリングの実際

4

670

GitHub Actions × AWS OIDC連携の仕組みと経緯を理解する

0

240

Back to the Future: Let me tell you about the ACP protocol

0

130

Go Conference 2025: Goで体感するMultipath TCP ― Go 1.24 時代の MPTCP Listener を理解する

7

1.6k

ポスターセッション: 「まっすぐ行って、右！」って言ってラズパイカーを動かしたい〜生成AI × Raspberry Pi Pico × Gradioの試作メモ〜

0

1k

どの様にAIエージェントと協業すべきだったのか？

2

620

Featured

See All Featured

sergeychernyshev

32

1.1k

Why You Should Never Use an ORM

PRO

59

9.6k

RailsConf & Balkan Ruby 2019: The Past, Present, and Future of Rails at GitHub

140

34k

Context Engineering - Making Every Token Count

5

200

Templates, Plugins, & Blocks: Oh My! Creating the theme that thinks of everything

31

2.5k

Practical Tips for Bootstrapping Information Extraction Pipelines

PRO

23

1.5k

148

16k

GitHub's CSS Performance

1032

460k

Save Time (by Creating Custom Rails Generators)

PRO

32

1.6k

Understanding Cognitive Biases in Performance Measurement

29

2.6k

Being A Developer After 40

91

590k

Mobile First: as difficult as doing things right

224

10k

Transcript