Design da linguagem

Rascunho consolidado, baseado nas sessões de design com Claude e Gemini

Nome: Makoto (誠, “sinceridade/verdade”), escolhido por nomear a filosofia da linguagem: explicitude, nomes honestos, e o não-esconder (sem null, sem zero-value implícito, sem coloring). CLI makoto (alias mk); fonte .mko (UI .mkoui); manifestos mk.project/mk.mod/mk.sum.

---

• 1. Visão geral e filosofia
• 2. Sistema de tipos
• 3. Modelo de concorrência
• 4. Channels e comunicação entre processos
• 5. Gerenciamento de memória
• 6. Mutabilidade e passagem de argumentos
• 7. Tratamento de erros
• 8. Resiliência: supervisores, links e monitors
• 9. Interfaces
• 10. Generics e comptime
• 11. Generators (yields)
• 12. IO e async
• 13. Dispatch por tipo (ex-overloading)
• 14. Sintaxe e convenções
• 15. Sistema de módulos
• 16. Strings
• 17. FFI com C
• 18. Inline assembly
• 19. Observabilidade
• 20. Extensões de compilador
• 21. Verificação
• 22. Ferramentas
• 23. ABI
• 24. O que ainda está em aberto
• 25. Decisões recusadas
• 26. Roadmap sugerido: começar pelo runtime
• 27. Tour de sintaxe (a linguagem numa página)
• 28. Referência