動的言語には1種類の型しかない

K. Sakaguchi @pi8027

そういえば最近気がついたんですが、動的型付けの言語って実は型が1つしか無くて、型コンストラクタが無数にあるような感じなんですよね。それはもう実行時エラーとか一杯出てもおかしくないし、どこがおかしいのか分からない。型がいっぱい作れる Haskell さんとかゆとりに決まってますよ。

K. Sakaguchi @pi8027

もう Ruby とか怖くて使えないじゃないですか...。

@_kineko

@pi8027 phpはそのあたり意味不明なことしてくれるよね　intと文字列とnullとemptyがごちゃごちゃｗ

K. Sakaguchi @pi8027

@_kineko いいえ。そもそも型が1つしか無いんですよ。それが数値だとか Bool だとかそういう区別は型コンストラクタによって為されます。たぶんそんな感じ...

K. Sakaguchi @pi8027

@_kineko すみませんデータコンストラクタの間違いでした。

@_kineko

@pi8027 ？？？Ｃ言語触ってるならそれ普通じゃね？　全部void型でポインタひゃっほうでプログラムを組む感じ？

K. Sakaguchi @pi8027

@_kineko それはちがいますね。それは単なる多相型です。

K. Sakaguchi @pi8027

@_kineko Haskell やれば話通じると思うので Haskell やりましょう。話はそれからだ!!!! というのはどうですか

@_kineko

@pi8027 じゃあバリアント型（だっけ？）はデータを代入する瞬間に型を決めてるんちゃうの？

K. Sakaguchi @pi8027

@_kineko すみませんどれに対する返事か良く分からないです。まあバリアント型とかなんの事か良く分からないんですが、つまり動的型付けだとバリアント型しか無いとか多分そういう事になるんじゃないでしょうか...

@_kineko

@pi8027 なんだろう、アセンブラレベルで考えるとどこに問題があるのかわからないから、Javaレベルのくそっぷりなのだろう…とか勝手に解釈

@_kineko

@pi8027 あー、それじゃ動的型付けって動的に型を生成してるとか？

K. Sakaguchi @pi8027

@_kineko Haskeller 的な解釈では、動的型付けは1つしか型が存在せず、型コンストラクタが大量にあるような型システムに見えます。

@_kineko

想像してみてずいぶんインテリジェンスな型だな・・・動的型生成

@_kineko

@pi8027 その説明だと最初からバリアント型かvoid型のポインタです　って言ってるように見える…

@_kineko

アセンブラにおいては初めから型なんてねーよ　なので、でっていう程度なんだけど…　Java的な意味合いで、ポインタ見せネーヨだったらなんか納得します。

K. Sakaguchi @pi8027

@_kineko え、アセンブラは型あるじゃないですか。型クラス無いしすごい制約ばっかりですよね...そもそもリスト構造作る所から大変ですし

K. Sakaguchi @pi8027

ぼくはポインタの話なんてしてません...

@_kineko

@pi8027 アセンブラは型あるじゃないですか... んー？　バイト長は指定できるけど指定できるだけで型は無いぞ？　ジェネリクスで言うList<String> のStringが曖昧って言いたいの？？

K. Sakaguchi @pi8027

@_kineko すみません何の話してるのか分からないです。アセンブラはすごいプリミティブな部分だけですが命令単位で型ありますよね。これは4byte の加算だみたいな。

K. Sakaguchi @pi8027

まあそもそもそんな物はアーキテクチャ特有の話ですがががが。はい。

@_kineko

@pi8027 それは型じゃなくてCPUの命令で使われるバイト長

K. Sakaguchi @pi8027

@_kineko いいえでもそれは型ですよ。型ってそういう事じゃないですか。これは数値だとかどれくらいのサイズだとか。

K. Sakaguchi @pi8027

まあ数値だというのはあまり関係無いですね。文字とか区別されないし。

@_kineko

@pi8027 それ否定したらプログラム言語全否定になるしね…