language · language ·

Classes and interfaces

class models reference identity and methods; interface defines a behavioral surface. Full dispatch remains on the comparison oracle.

abstractclasscomplete-programcpudataextendsfinalimplementsinheritsinterfacelanguageoverridesealedyeho

Prefer thing and ordinary functions for Kyber-ready programs. Use class and interface only while evaluating the explicit oracle route.

class Name { ... }
interface Name { Action(); }
class Child extends Parent implements Contract { ... }

Status: generated-cpp-only

Object dispatch abi

Prefer thing and ordinary functions for Kyber-ready programs. Use class and interface only while evaluating the explicit oracle route.

cpu · complete-program · type checked

interface scorer
{
    Score() returns int
}

class baseScore implements scorer
{
    Score() returns int
    {
        return 3
    }
}

class derivedScore extends baseScore
{
    override Score() returns int
    {
        return 9
    }
}

derivedScore item = derivedScore()
baseScore baseView = item
scorer interfaceView = item

if baseView.Score() == 9 and interfaceView.Score() == 9
{
    Console.Log("object-dispatch-abi-ok")
}
project.mech
package = "tests.compiler.kyber.objectDispatchAbi"
version = "0.1.0"
backend = "kyber"
osTarget = "windows"
archTarget = "x64"
selfContainedApp = false
Notes and source

Class and interface dispatch is generated-C++ only in Yeho Core 2026.1.

Generic classes and interfaces are not admitted even though the parser reserves research syntax.

yeho/docs/language/conformance-2026.1.json: class-and-interface-dispatch; parser_declarations.cpp