orange @[email protected]

微妙に暑いつらい＞＜

地理と地図読みが戦術に大切＞＜

これおもしろい＞＜＞＜

「家康をつくった“三方ヶ原の戦い” 失敗こそ成功への指針」 - 先人たちの底力 知恵泉(ちえいず) - NHK https://www.nhk.jp/p/chieizu/ts/R6Z2J4WP1Z/episode/te/G769M37888/

使われる場面を考えると速度を考えてそれは妥当なのでそうなってるんだろうけど、だったら『専用の型で返すやつ(普段用)』と『整数型で返すやつ(速度的にそうじゃないと困る場面に限って危険を承知で使う用)』の二つにしてほしい・・・＞＜

C# のCompareTo()がint返すのもモヤモヤしてるし、こういう風にとかどうにか専用の型で返してほしい＞＜

ちゃんと型検査される、『「どっちがでかいの？ていうか同じ？」型』＞＜ · GitHub https://gist.github.com/orange-in-space/51a5ea3884bc0f001923b0a8a6734772

なので「最初から用意されてる型をそのまま使うな！ 型を作れ！」思想であるAda素晴らしい＞＜(？)

たとえば、引数が32bit符号つき整数型である関数を書いてしまったらその引数がとりうる全ての可能性にあわせたコードを書かないとダメじゃん？＞＜
仮にそれが -1,0,1のみが想定される関数であるなら、それ以外の数値が来たら例外吐かないといけない(でも実行時)し、そもそも汎用の整数型じゃなく『-1,0,1いずれかにしかならない型』であれば型システムが対処してくれるし多くの場面で静的に検査できる＞＜

引数に型がない言語だと、ありとあらゆるものがやってくる事を考慮しなきゃならないし、静的に検査できない言語環境なら実行するまで何が起こるかわからない＞＜

動的静的バトルで、動的陣営の人が「静的型つけな環境で普段書いてる人って、動的型つけな環境使う時、毎度毎度型チェックするコード書くの！？」みたいなこといってたけど、オレンジが仕方無しにPythonで書いたコードってそんな感じだった＞＜

ていうか、動的型つけならなおさら実行時になるまでマジで何が起きるかわからないのに、動的型つけな言語の方がうまくいく前提でしか書かれてないのすごく謎＞＜
上手く行かない可能性を少しでも減らす(想定を小さくする)為にも型システムがあるのに、それに頼らない上に上手くいかなかった場合の処理まで省いたら・・・・あれじゃん？＞＜(語彙力)

ボディービルダーな感じの人々がボディービルな出で立ちで吹奏楽するバンドあったらおもしろそう＞＜