Hanki Language Reference

A complete reference to Hanki. A reader with no prior exposure to the language can read it once and write Hanki programs.

Status: spec-first. Most of what follows describes the target design. Section 22 tracks what is implemented.

• 1. What Hanki is
• 2. Lexical structure
• 3. Numeric tower
• 4. Built-in types
• 5. Functions and actions
• 6. Effects
• 7. Errors
• 8. Pattern matching
• 9. Structs and sum types
• 10. Traits and impls
• 11. Generics
• 12. Mutability and visibility
• 13. Closures
• 14. Modules and imports
• 15. Actors
• 16. Meta (compile-time evaluation)
• 17. The standard library at a glance
• 18. Operator and precedence summary
• 19. Worked example: a Todo CLI
• 20. Test blocks and hanki test
• 21. Project manifest
• 22. Implementation status
• 22.5 Editor support
• 22.6 The REPL
• 23. Working in Hanki as an agent: the loop