Nobuyoshi Sato (発信者情報開示本Booth) @[email protected]

その文脈での「マシさ」には度合いがあって、動的型付き言語はそのマシさにおいて最底辺に近い、ということをわかってほしいという話

あらゆる不都合な動作を「例外が飛びます」とか「終了コード127でプログラムが終了します」とかの “定義済の挙動/状態” へと飛ばしてしまえばそれは “型安全” な言語になるんだけど、それで？ という話でしかない。
極論を言えば「未定義動作で必ず abort() する拡張されたC言語」みたいなものがあったらそれは型安全といえるはず。
で、サイレントに狂わなくなるのは確かにだいぶマシではあるが、所詮マシなだけなのよね

で、定義済の挙動であることはわかったけど、そもそも実行時に型エラーが出るようなプログラムを実行できてしまうのは本当に嬉しさ十分なんですか？ というのが、開発者が向き合うべき本当の問題なのよ

たとえば「Javaは型安全です！」というのは「Javaの書き換え可能な配列型は共変なんだけど、型エラーの際には ArrayStoreException が飛ぶという定義済の挙動になるから、プログラム全体としての振る舞いはちゃんと想定されたものになっています！」というのを含意している、ということをまず了解する必要がある。

お風呂めんどくさいし洗人機ほしいけど、多分体験がクソだし洗人機そのものの清潔保つメンテナンスを思うと自分で自分を洗ったほうが良さそう

人まるごとを洗う機械は大きくて開発難易度が高いので、最初は小分けにして部位ごとに洗う機械を開発していくべきであろう。まずは頭を洗う洗脳機を

https://research.nii.ac.jp/~ichiro/lecture/model2003/operational%20semantics.pdf

よくわからないけど、TaPLの第一章にはPerlも安全に分類されてるし、wikipedia英語版を見るとBASICの型安全はstrongに分類されてる・・・＞＜

手続き型言語だとその辺りのハンドリングがややこしいんだけど (操作的意味論)

でも、それだと、例えば型Aと型Bで演算した時に、型Bの方の値によって、型Aが返ってきたり、型Bが返ってきたり、型Cが返ってきたりする言語って型安全ではないになる・・・？＞＜(？)

オレンジ的には「そんなの型安全じゃないよ！＞＜」だけど、学問的にはそれも型安全であるってことになってるんじゃないの・・・？＞＜

保存: 項 t に型がついて t が項 t' へと評価できるなら、 t' には t と同じ型がつく。

ようは評価してたら急に型が変わったりしないという話

算術式がメモリを破壊するとかしないとか、そういう考え方はしない。