Discussions

• 1 You must be logged in to vote

  💬

  Updates to the linearity algorithm spec

  crabmusket started Jun 11, 2023 in General

  

  

  1
• 1 You must be logged in to vote

  💡

  RFC: Safer Capabilities

  eudoxia0 started Mar 9, 2023 in Ideas

  

  

  2
• 1 You must be logged in to vote

  💡

  RFC: Printing and Capability Security

  eudoxia0 started Jan 21, 2023 in Ideas

  

  

  

  

  5
• 1 You must be logged in to vote

  💡

  RFC: Better Syntax for the Borrow Statement

  eudoxia0 started Apr 28, 2023 in Ideas

  

  

  2
• 4 You must be logged in to vote

  💡

  RFC: Changing the License

  eudoxia0 started Feb 1, 2023 in Ideas · Closed

  

  

  2
• 2 You must be logged in to vote

  💬

  various notes / experiments

  ckp95 started Feb 14, 2023 in General

  

  

  2
• 1 You must be logged in to vote

  💬

  mutating free scalar values in functions

  ckp95 started Feb 8, 2023 in General

  

  

  1
• 2 You must be logged in to vote

  💡

  RFC: Associated Types

  eudoxia0 started Feb 1, 2023 in Ideas

  

  

  6
• 2 You must be logged in to vote

  💡

  RFC: Multi-Parameter Type Classes

  eudoxia0 started Feb 1, 2023 in Ideas

  

  

  2
• 1 You must be logged in to vote

  🙏

  How to compile multiple modules together?

  anandology asked Feb 1, 2023 in Q&A · Closed · Unanswered

  

  

  1
• 3 You must be logged in to vote

  💡

  RFC: Better Arrays

  eudoxia0 started Jan 21, 2023 in Ideas

  

  

  0
• 1 You must be logged in to vote

  💡

  Spritely and Object Capability Network

  eudoxia0 started Jan 20, 2023 in Ideas

  

  

  0
• 1 You must be logged in to vote

  🙏

  How would linear types work with an open ended system?

  hrj asked Jan 13, 2023 in Q&A · Unanswered

  

  

  

  

  9