Learn and understand natural languages with TypeScript
Learn Grammar Through Code
Leverage your programming knowledge to understand natural language structures in a familiar format.
Type-Safe Languages
Construct grammatically correct sentences with advanced type system in TypeScript.
AI-Enhanced Learning
Intermediate format for AI-assisted language learning with type-level verification.
Typed Japanese Demo
Typed Japanese sentence in TypeScript:
// Define ProperNoun "ใใณใกใซ"type ใใณใกใซ = ProperNoun<"ใใณใกใซ">;
// Define irregular verb "ใใ"type ใใ = IrregularVerb & { dictionary: "ใใ" };
// Create "ใใใใ" patterntype ใใใใ = DemonstrativeAction<Demonstrative & "ใใ", ใใ, "ใๅฝข">;
// Create conditional phrase "ใใณใกใซใชใใใใใ"type ใใณใกใซใชใใใใใ = ConditionalPhrase<ใใณใกใซ, "ใชใ", ใใใใ>;
// Type checking exampleconst example: ใใณใกใซใชใใใใใ = "ใใณใกใซใชใใใใใ"; // Correct!Our Projects
Typed Japanese
Our first prototype implements Japanese grammar as a TypeScript type system, enabling grammatically correct sentences to be verified through TypeScript.
ExploreTyped English
Currently in development, applying similar principles to English grammar, making it easier to understand complex grammatical structures.
ExploreOur Vision
We aim to create practical tools for language learners, educators, and developers by representing grammar rules through TypeScript's type system.
This is an early-stage initiative. We're focusing on building solid implementations for a few languages before expanding further.