2012-12-21 言語のアイデア。 いくつかのアイデア。stack-oriented な言語に関して。 static-typed dequeにする?(Onyx) stack-orientedな言語において、たとえばdupは(a -- a a)というような型を持つと考えられる?