Comedy Creator

Riff a topic

Type a topic to get associations, rhymes and sound-alikes for puns, plus ten angles to write from.

Means about the same

inductive typetype variabletype constructortype theoryelementextensioninitial and terminal objectsalgebraic data typebounded quantificationenriched categoryincidence algebraprojective objectmonad transformermorphismclosed categoryexistence theoremformal systemimageintersection typepreorderderivationprimitive element theorempropositional formulacontext-free grammar

Sounds like (for puns)

refinementrefinementsroman typedefinementresignmentalignmentallignmentalinementalignmentsalignement

Angles

  1. What if refinement type had a customer service line? save
  2. Refinement type is just a waiting room with better marketing. save
  3. The worst thing about refinement type is that nobody admits it's mostly waiting. save
  4. Imagine refinement type, but run by your grandma. save
  5. Refinement type: the mockumentary version. save
  6. Everyone acts like refinement type is normal. Explain why it isn't. save
  7. Write the terms and conditions for refinement type. save
  8. Refinement type has a secret union, and it just went on strike. save
  9. Your grandma discovers refinement type for the first time. save
  10. Refinement type if it were invented today and had to pitch investors. save