-
- いいね！2
きょん＠アジャイルコーチ、システムアーキテクト
@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
なぎせ ゆうき
@nagise
同じデータ型を使って混同してはマズイデータを扱えば結局は型安全じゃなくなるからなぁ… QT @kyon_mm 何が達成できていたら、型安全って言えるの？Javaって型安全なの？
2012-09-20 19:11:23
きょん＠アジャイルコーチ、システムアーキテクト
@kyon_mm
“Webcast: Designing Type-Safe Haskell APIs” http://t.co/pb75Dz3q
2012-09-20 19:11:38
なぎせ ゆうき
@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
Jun Furuse 🐫🌴
@camloeba
@kyon_mm 安全にしたい基準があり、その基準を型によって保証する。安全基準は相対的でいろいろある。家に泥棒が入らなければ良しとするか。ハエさえも入らなくするか。
2012-09-20 19:30:53
きょん＠アジャイルコーチ、システムアーキテクト
@kyon_mm
@camloeba あー。。。なるほど。。。その基準にどんなものがあるのか自分にはまだわかっていないですね。。。
2012-09-20 19:37:29
きょん＠アジャイルコーチ、システムアーキテクト
@kyon_mm
型安全！ / Type safety - Wikipedia, the free encyclopedia http://t.co/18TDlJkB @feedlyさんから
2012-09-20 19:38:13
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