TypeNovelは、制約と注釈の組み合わせによって、型付きの小説を記述するための言語です。 参考：プロとアマの小説の特徴を数値化して比較してみたらやっぱり差があったので、それを埋めるための型付き小説記述用言語 TypeNovel を公開した件について これま…