← Extractions

Ruby has literally always had types — Joel Drapper at wroclove.rb 2025

Joel Drapper argues that Ruby already has a first-class type system via the `===` (case-equality) interface, and introduces his Literal gem as a runtime-typing toolkit built on that idea. He walks through Literal's types, struct/data, properties, enums, values, decorators, performance optimizations, roadmap (collection objects, cross-property validation, result monad, LLM schemas), and contrasts with static approaches like Sorbet, RBS/Steep, and dry-types.

Model

claude-opus-4-7

Ingestion

f7d4157f

Input tokens

330,221

fresh: 212,555
cached: 98,055
cache write: 19,611

Output tokens

13,912

Duration

227.0s

Roundtrips

Tool calls

Cost

$0.00

Nodes/edges extracted

24 / 46

Read set (nodes/edges)

141 / 2

Nodes (24)

update Joel Drapper person

attrs (empty) → {"blog" => "joel.drapper.me", "social" => "Bluesky, GitHub", "podcast" => "Rooftop Ruby"}

description Conference speaker. → Ruby developer passionate about meta-programming and 'dark' corners of the language. Creator of the Phlex view-compon...

short_description Conference speaker. → Ruby developer; creator of Phlex and Literal; meta-programming enthusiast.

update Ruby has literally always had types talk

attrs {"type" => "talk"} → {"date" => "2025-03-14", "type" => "talk", "duration" => "45 minutes"}

description Talk at wroclove.rb 2025. → Joel Drapper's wroclove.rb 2025 talk (first speaker of the day). Opens with a Shopify war story where interpolating a...

short_description Talk at wroclove.rb 2025. → Joel Drapper's wroclove.rb 2025 talk arguing Ruby's === interface is its type system, showcased via the Literal gem.

create Literal tool

kind (empty) → tool

name (empty) → Literal

slug (empty) → literal

attrs (empty) → {"author" => "Joel Drapper", "license" => "open-source", "category" => "library", "language" => "Ruby"}

description (empty) → Open-source Ruby gem by Joel Drapper. Treats any object responding to `===` as a type and provides a library of compo...

short_description (empty) → Ruby gem by Joel Drapper providing composable runtime types built on the === interface.

update Phlex tool

attrs {"category" => "library"} → {"author" => "Joel Drapper", "category" => "library"}

description Ruby gem for building HTML views as Ruby objects/methods instead of template files. Mentioned in Yaroslav Shmarov's w... → Ruby gem for building HTML views as Ruby objects/methods instead of template files. Created by Joel Drapper. Componen...

create Quickdraw tool

kind (empty) → tool

name (empty) → Quickdraw

slug (empty) → quickdraw

attrs (empty) → {"author" => "Joel Drapper", "category" => "library", "language" => "Ruby"}

description (empty) → Ruby test framework authored by Joel Drapper. Mentioned in the speaker introduction at wroclove.rb 2025 alongside Phl...

short_description (empty) → Ruby test framework created by Joel Drapper.

create Rooftop Ruby resource

kind (empty) → resource

name (empty) → Rooftop Ruby

slug (empty) → rooftop-ruby

attrs (empty) → {"type" => "podcast"}

description (empty) → Ruby podcast co-hosted by Joel Drapper. Mentioned in his speaker introduction at wroclove.rb 2025.

short_description (empty) → Ruby podcast co-hosted by Joel Drapper.

create Steep tool

kind (empty) → tool

name (empty) → Steep

slug (empty) → steep

attrs (empty) → {"author" => "Soutaro Matsumoto", "category" => "tool", "language" => "Ruby"}

description (empty) → Static type checker for Ruby that consumes RBS type signatures. Authored by Soutaro Matsumoto. Cited by Joel Drapper ...

short_description (empty) → Ruby static type checker for RBS signatures by Soutaro Matsumoto.

create Soutaro Matsumoto person

kind (empty) → person

name (empty) → Soutaro Matsumoto

slug (empty) → soutaro-matsumoto

description (empty) → Ruby developer, author of the Steep static type checker for Ruby. Credited by Joel Drapper at wroclove.rb 2025 for th...

short_description (empty) → Ruby core contributor; author of the Steep type checker.

create Zendesk company

kind (empty) → company

name (empty) → Zendesk

slug (empty) → zendesk

attrs (empty) → {"industry" => "customer support"}

description (empty) → Customer-support ticketing SaaS. Referenced in Joel Drapper's wroclove.rb 2025 talk as the external system where a ni...

short_description (empty) → Customer-support ticketing SaaS.

create Clear Scope company

kind (empty) → company

name (empty) → Clear Scope

slug (empty) → clear-scope

description (empty) → Company where Joel Drapper deployed the Literal gem in production. Reported outcome: even with runtime type checking ...

short_description (empty) → Company where Joel Drapper deployed the Literal gem in production.

create Case Equality Interface concept

kind (empty) → concept

name (empty) → Case Equality Interface

slug (empty) → case-equality-interface

attrs (empty) → {"category" => "pattern"}

description (empty) → Ruby's `===` (triple-equals / case equality) method — the interface Joel Drapper identifies as Ruby's native type sys...

short_description (empty) → Ruby's === operator used for type membership, case/when, and pattern matching.

create Runtime Types vs Static Types concept

kind (empty) → concept

name (empty) → Runtime Types vs Static Types

slug (empty) → runtime-types-vs-static-types

attrs (empty) → {"category" => "practice"}

description (empty) → Debate framed in Joel Drapper's talk: static type checking (Sorbet, RBS+Steep) requires complete annotation or infere...

short_description (empty) → Trade-off between runtime type checking and static type checking in Ruby.

create Type As Description Of A Set concept

kind (empty) → concept

name (empty) → Type As Description Of A Set

slug (empty) → type-as-description-of-a-set

attrs (empty) → {"category" => "methodology"}

description (empty) → Joel Drapper's working definition at wroclove.rb 2025: a type is not a set of objects (types can be infinite) but a *...

short_description (empty) → Joel Drapper's abstract definition of a type as a description of a set of objects.

create Accordion of Complexity concept

kind (empty) → concept

name (empty) → Accordion of Complexity

slug (empty) → accordion-of-complexity

attrs (empty) → {"category" => "methodology"}

description (empty) → Idea (attributed by Joel Drapper to Stephen Margheim's upcoming talk at wroclove.rb 2025) that good interfaces let yo...

short_description (empty) → Design progression that scales with use case — add complexity only when needed.

create Invalid States Impossible concept

kind (empty) → concept

name (empty) → Invalid States Impossible

slug (empty) → invalid-states-impossible

attrs (empty) → {"category" => "practice"}

description (empty) → Practice of using a type system — in Ruby via Literal, at runtime — to make invalid object states unrepresentable. Ra...

short_description (empty) → Design practice of making illegitimate object states unrepresentable through types.

create Runtime types give you most of the safety for little effort takeaway

kind (empty) → takeaway

name (empty) → Runtime types give you most of the safety for little effort

slug (empty) → runtime-types-give-you-most-of-the-safety-for-little-effort

attrs (empty) → {"type" => "insight"}

description (empty) → Joel Drapper's thesis: full static type safety in Ruby is unattainable (metaprogramming, massive un-annotated codebas...

short_description (empty) → Ruby's === plus a gem like Literal delivers ~80% of type safety without full static annotation.

create Raise in production rather than silently continue takeaway

kind (empty) → takeaway

name (empty) → Raise in production rather than silently continue

slug (empty) → raise-in-production-rather-than-silently-continue

attrs (empty) → {"type" => "recommendation"}

description (empty) → Counter-intuitive lesson from Joel Drapper: leave runtime type checking on in production. A raised exception with a c...

short_description (empty) → Better to crash on a type error than to corrupt data silently.

create Name your types to reuse and document them takeaway

kind (empty) → takeaway

name (empty) → Name your types to reuse and document them

slug (empty) → name-your-types-to-reuse-and-document-them

attrs (empty) → {"type" => "recommendation"}

description (empty) → Joel Drapper recommends extracting compound types into named constants (e.g. `Latitude = _Float(-90..90)`, `UserID` a...

short_description (empty) → Extract and name composite types (Latitude, UserID, GroupMembers) so they become first-class domain concepts.

create Difference between Literal and dry-types question

kind (empty) → question

name (empty) → Difference between Literal and dry-types

slug (empty) → difference-between-literal-and-dry-types

attrs (empty) → {"answer_summary" => "Literal rides Ruby's === so any object is already a type; dry-types bundles coercion and defaul...

description (empty) → Audience question comparing Literal to dry-types. Joel Drapper's answer: Literal uses Ruby's existing `===` interface...

short_description (empty) → How does Literal differ from dry-types?

create Does Literal::Data raise in production on a bad prop? question

kind (empty) → question

name (empty) → Does Literal::Data raise in production on a bad prop?

slug (empty) → does-literal-data-raise-in-production-on-a-bad-prop

attrs (empty) → {"answer_summary" => "Yes, Literal raises in production. Performance overhead is unnoticeable; Clear Scope saw fewer ...

description (empty) → Audience question: does Literal::Data raise when given the wrong type, and does that behavior apply in production? Dr...

short_description (empty) → Does Literal throw an exception when passed a wrong prop type in production?

create Specifying types at the method boundary with pattern matching question

kind (empty) → question

name (empty) → Specifying types at the method boundary with pattern matching

slug (empty) → specifying-types-at-the-method-boundary-with-pattern-matching

attrs (empty) → {"answer_summary" => "Use Ruby pattern matching at the top of the method. Drapper hasn't found a satisfying method-le...

description (empty) → Audience asks how to declare types for a public method's arguments. Drapper's answer: use Ruby's pattern matching in ...

short_description (empty) → Can Literal check parameter types on ordinary methods?

create Is Literal a good basis for a validation library? question

kind (empty) → question

name (empty) → Is Literal a good basis for a validation library?

slug (empty) → is-literal-a-good-basis-for-a-validation-library

attrs (empty) → {"answer_summary" => "Good basis in principle, but Literal currently only raises — a soft `validate` API returning er...

description (empty) → Audience asks whether Literal fits writing a validation library that returns an error list rather than raising. Drapp...

short_description (empty) → Could Literal back a validation library that returns errors instead of raising?

create Could types be defined outside the class like RBS? question

kind (empty) → question

name (empty) → Could types be defined outside the class like RBS?

slug (empty) → could-types-be-defined-outside-the-class-like-rbs

attrs (empty) → {"answer_summary" => "No — Literal already reduces line count and Drapper prefers inline types for local documentatio...

description (empty) → Audience observation that Ruby developers dislike verbose code, which is what drives them away from types, and that R...

short_description (empty) → Have you explored RBS-style external type files for Literal?

create Can production observation auto-generate types? question

kind (empty) → question

name (empty) → Can production observation auto-generate types?

slug (empty) → can-production-observation-auto-generate-types

attrs (empty) → {"answer_summary" => "Skeptical. Observation can't infer unions, stops working once exceptions raise, and rare-but-va...

description (empty) → Final audience question (from someone asking during post-party logistics): could observability tooling (e.g. Coverban...

short_description (empty) → Could tools like Coverband observe production and generate types automatically?

Edges (46)

update Joel Drapper → authored → Ruby has literally always had types

context (empty) → Joel Drapper delivered this talk at wroclove.rb 2025.

update Ruby has literally always had types → presented_at → wroclove.rb 2025

context (empty) → First speaker of wroclove.rb 2025, delivered on 2025-03-14.

create Joel Drapper → attended → wroclove.rb 2025

context (empty) → Traveled to Wrocław to give the opening talk and stay for the after-party.

relation (empty) → attended

source_node_id (empty) → af49a23b-6658-4fc4-a29e-a0edd1d8c83a

target_node_id (empty) → 4a9688cf-482e-48ac-a0b5-de88900bdb2b

create Joel Drapper → works_on → Literal

attrs (empty) → {"role" => "creator"}

context (empty) → Creator and maintainer of the Literal gem, the centerpiece of the talk.

relation (empty) → works_on

source_node_id (empty) → af49a23b-6658-4fc4-a29e-a0edd1d8c83a

target_node_id (empty) → c8b9e593-e990-460b-aa69-c3f4259bcd8c

create Joel Drapper → works_on → Phlex

attrs (empty) → {"role" => "creator"}

context (empty) → Creator of Phlex; used a Phlex Button component to demo Literal::Properties.

relation (empty) → works_on

source_node_id (empty) → af49a23b-6658-4fc4-a29e-a0edd1d8c83a

target_node_id (empty) → 6bb19a01-47fc-4521-83c9-874cd58c606a

create Does Literal::Data raise in production on a bad prop? → about → Literal

context (empty) → Asks about Literal::Data production behavior.

relation (empty) → about

source_node_id (empty) → 323fee95-f624-4750-b2de-4ffb93b27d6c

target_node_id (empty) → c8b9e593-e990-460b-aa69-c3f4259bcd8c

create Joel Drapper → works_on → Quickdraw

attrs (empty) → {"role" => "creator"}

context (empty) → Introduced as creator of Quickdraw in the speaker introduction.

relation (empty) → works_on

source_node_id (empty) → af49a23b-6658-4fc4-a29e-a0edd1d8c83a

target_node_id (empty) → 9a9d18ed-4f5e-46d7-a340-89fc8425bcf9

create Joel Drapper → works_on → Rooftop Ruby

attrs (empty) → {"role" => "co-host"}

context (empty) → Co-hosts the Rooftop Ruby podcast.

relation (empty) → works_on

source_node_id (empty) → af49a23b-6658-4fc4-a29e-a0edd1d8c83a

target_node_id (empty) → e8f977c4-3321-4296-a330-5e5eb542a92b

create Joel Drapper → works_at → Shopify

context (empty) → Shopify war story — the Zendesk ticket deletion incident happened at Shopify while Drapper was there.

relation (empty) → works_at

source_node_id (empty) → af49a23b-6658-4fc4-a29e-a0edd1d8c83a

target_node_id (empty) → 934a1185-4a30-4c56-b417-b26f0ad00133

create Joel Drapper → works_at → Clear Scope

context (empty) → Deployed Literal in production at Clear Scope, reducing production error rates.

relation (empty) → works_at

source_node_id (empty) → af49a23b-6658-4fc4-a29e-a0edd1d8c83a

target_node_id (empty) → 2b64c5bc-1d8c-4246-bfb6-37d7e593ac6a

create Joel Drapper → recommends → TypeScript

context (empty) → Self-describes as 'one of those degenerates who loves TypeScript'.

relation (empty) → recommends

source_node_id (empty) → af49a23b-6658-4fc4-a29e-a0edd1d8c83a

target_node_id (empty) → 43a67685-cd1a-4515-82f2-37f8f1670634

create Ruby has literally always had types → about → Literal

context (empty) → The talk introduces and demonstrates Literal's types, struct/data, properties, enums, values, and decorators.

relation (empty) → about