Discussions

• 1 You must be logged in to vote

  🎨

  The case of Sequence in Hylo

  kyouko-taiga started Oct 11, 2023 in Language design

  

  

  6
• 1 You must be logged in to vote

  🎨

  & as a conformance conjunction

  dabrahams started Nov 23, 2024 in Language design

  

  

  3
• 1 You must be logged in to vote

  🎨

  Fundamental concept clustering

  dabrahams started Nov 24, 2024 in Language design

  

  

  2
• 1 You must be logged in to vote

  🎨

  Function subtyping in requirement satisfaction

  dabrahams started Nov 24, 2024 in Language design

  

  

  2
• 1 You must be logged in to vote

  🎨

  Hiding default implementations in refinements

  dabrahams started Nov 24, 2024 in Language design

  

  

  1
• 1 You must be logged in to vote

  🎨

  Algorithms on iterators (consuming vs buffering)

  dabrahams started Nov 22, 2024 in Language design

  

  

  0
• 2 You must be logged in to vote

  🎨

  Concurrency model

  kyouko-taiga started Sep 18, 2022 in Language design

  

  

  

  

  105
• 3 You must be logged in to vote

  🎨

  Concurrency and shared mutable state

  dabrahams started Oct 19, 2024 in Language design

  

  

  0
• 2 You must be logged in to vote

  🎨

  Reasons for the remote keyword

  dabrahams started Jun 25, 2024 in Language design

  

  

  2
• 1 You must be logged in to vote

  🎨

  A Rewrite System for Type Checking Scoped Conformances

  dabrahams started Sep 7, 2024 in Language design

  

  

  0
• 2 You must be logged in to vote

  🎨

  First-class SIMD

  taylorpool started Sep 4, 2024 in Language design

  

  

  2
• 1 You must be logged in to vote

  🎨

  Notional bundles

  kyouko-taiga started Aug 16, 2024 in Language design

  

  

  3
• 2 You must be logged in to vote

  🎨

  The syntax of pattern matching

  kyouko-taiga started Dec 7, 2023 in Language design

  

  

  

  

  13
• 1 You must be logged in to vote

  🎨

  Annotation to make a function "opaque" during debugging

  kyouko-taiga started Aug 4, 2024 in Language design

  

  

  

  

  2
• 1 You must be logged in to vote

  🎨

  Uncoupling Movable from sink

  kyouko-taiga started Aug 2, 2024 in Language design

  

  

  1
• 2 You must be logged in to vote

  🎨

  Testing the Assertions

  tothambrus11 started Aug 2, 2024 in Language design

  

  

  0
• 1 You must be logged in to vote

  🎨

  Some thoughts about scoped conformance

  kyouko-taiga started Jul 18, 2024 in Language design

  

  

  0
• 1 You must be logged in to vote

  🙏

  Can't subscript Int buffer. Bug?

  dholmin asked Jul 14, 2024 in Q&A · Answered

  

  

  3
• 1 You must be logged in to vote

  🙏

  Mutation through let binding (and no &)?

  dholmin asked Jul 12, 2024 in Q&A · Answered

  

  

  6
• 1 You must be logged in to vote

  🙏

  How can we represent C++ style iterators in Val?

  kyouko-taiga asked Dec 17, 2022 in Q&A · Unanswered

  

  

  

  

  4
• 1 You must be logged in to vote

  🙏

  Procedural Macros?

  joehillen asked Jul 1, 2024 in Q&A · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🎨

  Disallow consumption through local lets

  kyouko-taiga started Jun 21, 2024 in Language design

  

  

  5
• 1 You must be logged in to vote

  🎨

  A new take on Move, Copy, and assignment

  dabrahams started Jun 23, 2024 in Language design

  

  

  3
• 1 You must be logged in to vote

  🎨

  Operator method bundles

  dabrahams started Jun 23, 2024 in Language design

  

  

  0
• 2 You must be logged in to vote

  🎨

  Array sugared syntax

  dabrahams started Jun 20, 2024 in Language design

  

  

  1