orange
さんがブースト
https://mstdn.nere9.help/@orange_in_space/103284842876155672
むしろ逆で、あれらは基本的に計算の概念を整理するための高レベルな概念を論じている。 ALU の使い方が違うから int と long を用意してみたいな話はレイヤーが全然違う
計算機として安全なという意味に限った意味での『型安全』が、学問上の（数学上の？）型安全なのかも？＞＜
って考えると、Adaとかが言う型安全ってTaPLとかに書いてあるかもしれない型安全とは意味が違う？＞＜
そうなるとそれって積極的に型を作って型検査に任せるって思想とは逆だから、つまり、らりおさんの文脈で言う所の低レベルな型の事ってなるかも？＞＜
お金なくてTaPL読めてないので、書評とかからのあれなんだけど、TaPLとかが言う型システムでありhaskeller辺りがよく言う型システムって、その文脈上の低レベルな方に極端に限ってない？＞＜
って謎がある＞＜
orange
さんがブースト
そもそもアセンブリ言語や C くらいの低レベルだと、人間向けの理由ではなく CPU 向けの理由で型が存在していたりするので、まああまり混同して語るようなものでもないもいうのもある
(そういった低レベルな型はお上品な型理論を前提にした強力なものではなく非常に素朴なので)
（ある程度ハイカラなCPUなら）プロセッサが理解するために必要な最低限の型はあることはあるよね＞＜
orange
さんがブースト
プログラム言語がアーキテクチャ依存であるという仮定は非自明だと思います！
orange
さんがブースト
そもそも、値なんてメモリのどっかにあるデータだから、別に型なんて本来は必要ないはずなんだよね。
管理するのが面倒だから型って仕組みが出来ただけだろうし。
・・・・・＞＜
静的型付きじゃなきゃいやだよ派は大量に居るけど、型推論も悪だよ派ってほぼ見かけないの謎＞＜（オレンジは型推論嫌い＞＜；）
オレンジはお金なくてTaPL読んでないです＞＜；
これの話題の時に前にも書いたけど、TaPL日本語版が出たとたんにぱったりこの話題なくなった＞＜；（というか動的型付けが優位だとこういう風に強くいう人がいなくなった＞＜）
このスラドののやつ、あちこち波及してあちこちの人がこれに言及する記事書いてた＞＜
orange
さんがブースト
ガチでアカン感じなのは「静的型付けは不要」とかの言説
最近10年くらいで一番有名なのこれの時かも？＞＜
「変数に型がない」はメリットなのか、それともデメリットなのか。宗教戦争勃発 | スラド デベロッパー https://developers.srad.jp/story/13/03/01/0228235/
orange
さんがブースト
カボチャを回収したかった・・・＞＜ - YouTube https://www.youtube.com/watch?v=C4yu0Gy73tg
なんかブロられてるっぽさ・・・・・＞＜
さっきのAMラジオなノイズ、NHK第一と第二が混じってて、英会話の方が第二で、NHK第一が300kW、第二が500kWだけど、波形で見比べると第二に対して第一の振り幅が約40％なの不思議＞＜
（超単純に考えると60％になるはず？＞＜）
わりと近所のここから500kWで送信されてる音＞＜；
NHK菖蒲久喜ラジオ放送所 - Wikipedia https://ja.wikipedia.org/wiki/NHK%E8%8F%96%E8%92%B2%E4%B9%85%E5%96%9C%E3%83%A9%E3%82%B8%E3%82%AA%E6%94%BE%E9%80%81%E6%89%80
- ＠orange_in_space
2017年 4月に登録
