いろいろがんばりたいブログ

情報科学科の人がいろいろ書きます。

言語のアイデア。

いくつかのアイデア。

stack-oriented な言語に関して。

  • static-typed
  • dequeにする?(Onyx)

stack-orientedな言語において、たとえばdupは(a -- a a)というような型を持つと考えられる?