Pinned Discussions

• ckipp01

  Welcome to Dotty Discussions!

  📢 Announcements · ckipp01

• 2 You must be logged in to vote

  🐣

  Classifying capabilities

  odersky started Jul 2, 2025 in CC experiment

  @odersky @bracevac

  @odersky @bracevac

  9
• 1 You must be logged in to vote

  🐣

  Examples from the reference don't work?

  osa1 started Jul 1, 2025 in CC experiment

  @osa1 @odersky

  @osa1 @odersky

  2
• 1 You must be logged in to vote

  🐣

  Can CC helps tracking the Reference Counting problem?

  He-Pin started Sep 15, 2023 in CC experiment

  @He-Pin

  @He-Pin

  0
• 1 You must be logged in to vote

  🐣

  Related?

  Bersier started Dec 29, 2022 in CC experiment

  @Bersier @abgruszecki

  @Bersier @abgruszecki

  1
• 1 You must be logged in to vote

  🐣

  Should we be able to put root capability in type parameters of classes?

  abgruszecki started Apr 28, 2022 in CC experiment

  @abgruszecki @odersky

  @abgruszecki @odersky

  2
• 1 You must be logged in to vote

  🐣

  A rule to make typing nested classes more flexible

  odersky started Jan 31, 2022 in CC experiment

  @odersky @abgruszecki

  @odersky @abgruszecki

  1
• 1 You must be logged in to vote

  🐣

  Exploit capture monotonicity in the apply rule?

  odersky started Jan 31, 2022 in CC experiment

  @odersky @abgruszecki

  @odersky @abgruszecki

  3
• 2 You must be logged in to vote

  🐣

  How to make shallow capture sets less burdensome?

  odersky started Jun 18, 2021 in CC experiment

  @odersky @b-studios @abgruszecki

  @odersky @b-studios @abgruszecki

  11
• 4 You must be logged in to vote

  🐣

  Purpose of This Category

  odersky started Jun 18, 2021 in CC experiment

  @odersky

  @odersky

  0