codegen

type FuncDefaults ¶

type FuncDefaults struct {
	ParamNames    []string         // Parameter names in order
	DefaultValues []ast.Expression // Default values (nil if no default)
	HasVariadic   bool             // Whether the last parameter is variadic
}

Generator generates Go code from an AST.

ARCHITECTURE NOTE: Kukicha uses placeholders like "any" and "any2" in stdlib function signatures to represent generic type parameters. When generating Go code, we detect these placeholders and emit proper Go generics (e.g., [T any, K comparable]). This allows Kukicha users to write simple code while getting type-safe Go generics.

The isStdlibIter and placeholderMap fields work together:

• isStdlibIter is true when generating stdlib/iterator or stdlib/slice code
• placeholderMap maps Kukicha placeholders ("any", "any2") to Go type params ("T", "K")
• During type annotation generation, we substitute placeholders with type params

This design keeps Kukicha's "beginner-friendly" goal: users don't write generic syntax, but the generated Go code is fully type-safe with proper generic constraints. FuncDefaults stores information about a function's default parameter values

type Generator ¶

type Generator struct {
	// contains filtered or unexported fields
}

func New(program *ast.Program) *Generator

func (g *Generator) Generate() (string, error)

func (g *Generator) SetExprReturnCounts(counts map[ast.Expression]int)

func (g *Generator) SetMCPTarget(v bool)

func (g *Generator) SetSourceFile(path string)

func (g *Generator) SetStdlibModule(base string)

type TypeParameter ¶

type TypeParameter struct {
	Name        string // Generated name: T, U, V, etc.
	Placeholder string // Original placeholder: "any", "any2", etc.
	Constraint  string // "any", "comparable", "cmp.Ordered"
}

TypeParameter represents a type parameter for stdlib special transpilation This is internal to codegen and separate from the removed ast.TypeParameter