toy language

名詞

教育目的に、あるいはコンピュータ科学理論の何らかの側面の概念実証として有用だが、汎用のプログラミングには不十分な言語。toy languageが汎用のプログラミング解決策として喧伝されるとBad Thingが起こりうる(bondage-and-discipline language参照)。古典的な例はPascalである。Turingマシンのプログラミングのような概念的タスクのためのそこそこよく知られたいくつかの形式体系も、それほど否定的でない意味でtoy languageに該当する。MFTLも参照。