2012年9月20日

型安全ってなんだろう?

よくわからないのでツイートしたらアドバイスもらえました。
22
きょん@アジャイルコーチ、システムアーキテクト @kyon_mm

何が達成できていたら、型安全って言えるの?Javaって型安全なの?

2012-09-20 18:44:03
おしいれのぼうけん @osiire

@kyon_mm ついにそこに疑問を持ってしまいましたね :)

2012-09-20 18:59:25
きょん@アジャイルコーチ、システムアーキテクト @kyon_mm

@osiire はい。。。F# を日常的に使っていたり、OCamlを勉強していると、型安全って静的型付けであることとは違うし、型によって何を保証したり、表現できれば型安全であるって言えるのかよくわからなくなってきました。型安全って言葉を安易に使えないですね。

2012-09-20 19:02:42
Hideyuki Tanaka @tanakh

どうぞ http://t.co/5TVknir3 http://t.co/xG5PRQR7 RT @kyon_mm 何が達成できていたら、型安全って言えるの?Javaって型安全なの?

2012-09-20 19:07:54
🥔えび🦐➕️🍞➕️🔥➡️🍤 @ebc_2in2crc

@kyon_mm 「(例えば Java なら)型安全にすることが出来る」な感じがします。型安全じゃないコードも簡単に書けるので(・ω・)

2012-09-20 19:08:25
きょん@アジャイルコーチ、システムアーキテクト @kyon_mm

@ebc_2in2crc そこで言っている型安全とは何が守られているのか。。。

2012-09-20 19:08:59
🥔えび🦐➕️🍞➕️🔥➡️🍤 @ebc_2in2crc

@kyon_mm あー、すみません。何が、という話はちょっと今は出来ないです

2012-09-20 19:10:32
なぎせ ゆうき @nagise

同じデータ型を使って混同してはマズイデータを扱えば結局は型安全じゃなくなるからなぁ… QT @kyon_mm 何が達成できていたら、型安全って言えるの?Javaって型安全なの?

2012-09-20 19:11:23
Hideyuki Tanaka @tanakh

簡単に言うと、型安全とはAPIの設計の話で、言語の機能ではないということ

2012-09-20 19:11:56
なぎせ ゆうき @nagise

例えばオブジェクトをユニークに識別するためにint値を使ったとする。このint型のデータと座標を表現するのに使ってるint値は言語仕様的には演算可能だけども、決して混ぜて使ってはならないものなので、在るべき論で言うならば別の型で在るべき

2012-09-20 19:12:55
きょん@アジャイルコーチ、システムアーキテクト @kyon_mm

帰宅したら見てみる。 / An O'Reilly webcast: Designing Type-Safe Haskell APIs http://t.co/z2vg40Zi @oreillymediaさんから

2012-09-20 19:13:01
なぎせ ゆうき @nagise

実務で見かけるのはHTMLをエスケープした文字列と、まだエスケープされていない文字列を同じString型で扱っていて混同してうぎゃーってなるケースとか。

2012-09-20 19:14:02
おしいれのぼうけん @osiire

@kyon_mm とりあえずここを読んでおけばいいのではないでしょうか。http://t.co/lTQ7VRw9

2012-09-20 19:24:24
いわた @wonderful_panda

「型安全じゃないコードも書ける」とか言い出したらきりないでしょ。

2012-09-20 19:25:37
Jun Furuse 🐫🌴 @camloeba

@kyon_mm 安全にしたい基準があり、その基準を型によって保証する。安全基準は相対的でいろいろある。家に泥棒が入らなければ良しとするか。ハエさえも入らなくするか。

2012-09-20 19:30:53
mzp @mzp

とうとうきょんさんがやばいことに気付きはじめた

2012-09-20 19:32:31
Hideyuki Tanaka @tanakh

型安全は大きなプログラムを御する技術

2012-09-20 19:35:19
きょん@アジャイルコーチ、システムアーキテクト @kyon_mm

@camloeba あー。。。なるほど。。。その基準にどんなものがあるのか自分にはまだわかっていないですね。。。

2012-09-20 19:37:29
きょん@アジャイルコーチ、システムアーキテクト @kyon_mm

え、なに。きょんくん実はそんなやばいこと発言している?

2012-09-20 19:39:41
athos)))))))) @athos0220

依存型とか使って型安全な固定小数点数演算とかできたら一部の業界にアピールしそうな感じするけど、どうなんだろう。

2012-09-20 19:43:32
いわた @wonderful_panda

もしかするとことりちゃんなんていうアカウントは存在してなくて、いわゆる「刃牙のリアルシャドーの相手が群衆にも見えている」状態なのではないか?

2012-09-20 19:44:24
でこれき @dico_leque

'Well-typed programs cannot "go wrong".' の "go wrong" の意味は適当に決めてくださいという

2012-09-20 19:44:46
\ Tgから毎日100名様にお好きなポイントプレゼント /

コメント

なぎせ ゆうき @nagise 2012年9月21日
思えば「型安全」という表現はコードの部分部分に対して、うっかり異なる型を投入しようとしたらコンパイラが検知してくれるぐらいの意味合いで使っている気がする。なので言語全体に対して「これは型安全か?」と聞かれると違和感を感じるのだよね
1
まじかんと @tnacigam 2014年6月18日
TAPL を読め。話はそれからだ。
0