Perlは動的型付き言語だと言われていますが、そもそも型とはいったいなんでしょうか。このトークではPerlでより安全なコードを書くために型について考えると共に、型理論の基礎について解説します。 See also: http://d.hatena.ne.jp/hiratara/20130716/1373983712 We say that Perl is a dynamically typed language. But what does the type mean? In this talk, in order to write a safer code by Perl, I think about the types in perl and will introduce the foundation of the type theory.