Typed Japanese

Summary

🌸 Typed Japanese If you can write TypeScript, you can understand Japanese! Typed Japanese is a TypeScript type-level library that enables the expression of complete Japanese sentences through the type system. It creates a domain-specific language (DSL) based on Japanese grammar rules, allowing a subset of grammatically correct natural language to be written and verified using TypeScript's compiler. This project also explores an intermediate format for AI in language learning. For example, LLMs could return grammar analysis of Japanese sentences using this format instead of JSON, enabling verification through TypeScript's type checker to improve correctness. 📖 Want to learn more? Check out our detailed blog post which explains how the TypeScript type system can be used to learn Japanese grammar from the ground up. The article starts with basic programming concepts and gradually builds up to complex Japanese grammatical structures like conditional sentences and interrogative phrases. // Define the proper noun "ヒンメル" type ヒンメル = ProperNoun < "ヒンメル" > ; // Define する verb type する = IrregularVerb & { dictionary : "する" } ; // Create the そうした pattern (past form of そうする) type そうした = DemonstrativeAction < Demonstrative & "そう" , する , "た形" > ; // Create the conditional phrase "ヒンメルならそうした" type ヒンメルならそうした = ConditionalPhrase < ヒンメル , "なら" , そうした > ; // Type checking examples const properExample : ヒンメルならそうした = "ヒンメルならそうした" ; // "If it were Himmel, he would do so" // 如果是辛美尔的话，他也会这么做的 🤖 Verb System Verb Classes Japanese verbs are categorized into three main classes: Godan Verbs (五段動詞) - Also known as "Group 1" or "u-verbs" Endings: う, く, ぐ, す, つ, ぬ, ぶ, む, る Examples: 話す (hanasu - to speak), 書く (kaku - to write) Ichidan Verbs (一段動詞) - Also known as "Group 2" or "ru-verbs" Always end with る Examples: 食べる (taberu - to eat), 見る (miru - to see) Irregular Verbs (不規則動詞) - Only two main verbs する (suru - to do) 来る (kuru - to come) Verb Conjugation Forms The system supports these conjugation...