Discussions

• 1 You must be logged in to vote

  🎨

  Integer literal type conversions

  tothambrus11 started Apr 4, 2026 in Language design

  

  

  0
• 1 You must be logged in to vote

  🚂

  Runtime Safety Checks implementation in Interpreter

  RishabhRD started Mar 7, 2026 in Tooling

  

  

  7
• 1 You must be logged in to vote

  🙏

  I think that Ada might already be capable of mutable value semantics, given certain conditions

  GReagle asked Mar 11, 2026 in Q&A · Unanswered

  

  

  7
• 1 You must be logged in to vote

  🎨

  How should we surface imported unsafe C functions in the language?

  tothambrus11 started Feb 16, 2026 in Language design

  

  

  

  

  2
• 1 You must be logged in to vote

  🎨

  Hiding elements from the implicit context

  tothambrus11 started Feb 14, 2026 in Language design

  

  

  1
• 1 You must be logged in to vote

  🎨

  Killer Libraries to Build

  tothambrus11 started Feb 12, 2026 in Language design

  

  

  1
• 1 You must be logged in to vote

  🎨

  Copyability, Movability, and Escapability

  kyouko-taiga started Jan 28, 2026 in Language design

  

  

  

  

  10
• 1 You must be logged in to vote

  🎨

  Emulating named tuple elements

  tothambrus11 started Jan 26, 2026 in Language design

  

  

  

  

  4
• 1 You must be logged in to vote

  🚂

  Alias Discovery

  tothambrus11 started Jan 17, 2026 in Tooling

  

  

  

  

  10
• 1 You must be logged in to vote

  🚂

  Documentation Checking and Compiler Extensions

  tothambrus11 started Jan 18, 2026 in Tooling

  

  

  0
• 1 You must be logged in to vote

  🚂

  Test Impact Analysis: Code coverage based selective test-rerunning

  research topic

  tothambrus11 started Jan 16, 2026 in Tooling

  

  

  2
• 1 You must be logged in to vote

  🎨

  Hidden control flow with computed properties

  mrael2 started Dec 6, 2023 in Language design

  

  

  

  

  9
• 1 You must be logged in to vote

  🎨

  Accessor effect of member subscripts

  tothambrus11 started Jan 11, 2026 in Language design

  

  

  

  

  8
• 1 You must be logged in to vote

  🎨

  Notional bundles

  kyouko-taiga started Aug 16, 2024 in Language design

  

  

  

  

  4
• 1 You must be logged in to vote

  🎨

  Hiding default implementations in refinements

  dabrahams started Nov 24, 2024 in Language design

  

  

  

  

  2
• 1 You must be logged in to vote

  🎨

  Composition and Decomposition

  dabrahams started Jan 6, 2026 in Language design

  

  

  1
• 1 You must be logged in to vote

  🚂

  Add Neovim Support for Your Language

  blog article

  tothambrus11 started Dec 24, 2025 in Tooling

  

  

  0
• 1 You must be logged in to vote

  🎨

  Toward a possible specialization scheme

  kyouko-taiga started Dec 23, 2025 in Language design

  

  

  0
• 1 You must be logged in to vote

  🎨

  Syntax for "regular" structs

  kyouko-taiga started Dec 22, 2025 in Language design

  

  

  

  

  2
• 1 You must be logged in to vote

  🚂

  Education Platform

  tothambrus11 started Dec 16, 2025 in Tooling

  

  

  4
• 1 You must be logged in to vote

  🎨

  Temporary result optimizations

  tothambrus11 started Dec 11, 2025 in Language design

  

  

  

  

  13
• 1 You must be logged in to vote

  🙏

  IR transform architecture

  kyouko-taiga asked Dec 13, 2025 in Q&A · Unanswered

  

  

  0
• 2 You must be logged in to vote

  🎨

  Testing the Assertions

  tothambrus11 started Aug 2, 2024 in Language design

  

  

  1
• 1 You must be logged in to vote

  🎨

  Rethinking Safe Collections problem from scratch

  RishabhRD started Nov 30, 2025 in Language design

  

  

  

  

  19
• 1 You must be logged in to vote

  🎨

  Scoped Conformance - Implicit Customization Hack / Design Pattern

  tothambrus11 started Nov 26, 2025 in Language design

  

  

  2