Meaning lives
in the particles.
Japanese particles mark argument roles. Tenioha puts those particles
in the type signature, so
(5 から 3 を 引く) and
(3 を 5 から 引く) are the same call.
After Kip; not a translation of Turkish case. Nadesiko already has
particle arguments in Japanese.
Python 3.11+, no packages. This page runs the same interpreter through Pyodide.
te·ni·o·ha / the little words that hold a sentence together
The particles carry the roles.
The order can change; the answer
stays 2.
Particles are labels. Checked on the call, not a permanent case on the value.
Effects are declared. 関数 vs 手続き. Arguments stay pure.
Small functional core. Immutable bindings, types, closures, exhaustive match.
Same interpreter as the CLI
Programs from examples/ run here in a disposable worker.
Same checker and evaluator as python -m tenioha.
First load fetches Pyodide; after that it stays in the tab.
Program input for 読む calls
Output
CONSOLEOutput from 表示する appears here after a run.
Loading example notes…
Ctrl + Enter to run · ⌘ on MacEach run starts fresh. Bundled list and option imports work here. Runs stop after 10 seconds; output is limited to 64,000 characters. Runner notes ↗
What the programs are testing
Fibonacci
Recursive フィボナッチ with two accumulators. First twelve numbers; change the count in the last call.
02 / CONDITIONALSFizzBuzz
1 to 30. A pure function picks the word; a 手続き prints it. Tests conditionals and declared effects.
03 / PREDICATESPrime numbers
Trial division from 2 to 50. 素数か is a typed predicate on nonnegative integers.
What this is,
and what it is not.
Tenioha is a day-old reference interpreter. Particles are occurrence
labels on a signature. The same integer can wear
から in one call and
を in the next. There is no morphology
engine, no inferred が, and
5から3を引く is not a program: word boundaries stay explicit.
The rest is ordinary functional machinery — immutable は bindings, static types, algebraic data, closures, exhaustive match, checked effects. It does not claim those as new. Establishing research novelty would take a literature review that has not been done.
Read Kip first
(Korkut, Keles, Akdemir 2026).
Nadesiko already has Japanese
particle arguments, reordering, and politeness. This is not a
translation of Turkish Case.
Run it with Python
3.11 or later. No third-party packages.