orange
さんがブースト
今月の鉄道ファン（5月号）、弘南鉄道と津軽鉄道のキ100の記事が4ページある＞＜
この発見（？）、オレンジの特性なのか一般的な道の覚え方に適用できるのか謎＞＜（＝地図よりも風景（ストリートビューとか空中写真も含む）優先で覚えるみたいな覚え方＞＜）
最近、いまさら気づいたけど、オレンジが道を覚える能力、地図先行ではなく風景先行っぽい＞＜ 道意億能力が劣化してきた結果、地図を見ながらだと道を覚えなくなってきて、一方で地図を見ずに風景を見ていれば、前と同じくらい道を記憶できてるっぽい＞＜（前は風景でも地図でも見たら自動で覚えてた＞＜）
GTA5では既にナビほとんど使ってない＞＜（ほぼ全域の道だいたい覚えた＞＜）
免許無いから実際どうかアレだけど、風景とか地図とか覚えるの得意だからある程度の範囲ならカーナビ要らない＞＜（でも歳とって（？）無意識ではだんだん覚えられなくなってきた＞＜；）
今月の鉄道ファン（5月号）、弘南鉄道と津軽鉄道のキ100の記事が4ページある＞＜
音楽全く記憶無いというかコーナー自体記憶に無い・・・＞＜
orange
さんがブースト
"東武博物館のテーマ" を YouTube で見る https://youtu.be/xYmhRzoC6xE
この曲、東武博物館の"東武の電車"というビデオコーナー（画像参照）で流れてるんだけど正式名称が分からないししかもオリジナル楽曲らしい上にソフト化もされてないらしくて綺麗な音源で聞いてみたい
ていうか、オレンジは型推論も嫌ってるし、もっと言うとAdaみたいに「単純な型をそのまま使うな！！！ 型を作れ！！！ 型チェック！！！」って発想好きだけど、Ada使った事無いから実際にはそうしてない＞＜；
オレンジはこの前こんなの書いた＞＜；
https://mstdn.nere9.help/@orange_in_space/99699800406680801
では実行時にしかエラーでないので
https://mstdn.nere9.help/@orange_in_space/99699817745326661
明示的な型変換の宣言で契約プログラミングでどうにかする方式＞＜；
orange
さんがブースト
strong typedef する場合、「開発者の視点ではある型は制約を満たす値しか持てない」ことを保証しますが、その制約チェックは実行時に(コンストラクタ内などで暗黙に)行われるケースが多いです
オレンジがこの前「どうにかC# で、部分範囲型っぽいこと出来ないのかな？＞＜；」って書いたコードにそっくりっぽさが・・・＞＜
これっぽい？＞＜
本の虫: C++1yに提案されている不透明エイリアス(opaque alias) https://cpplover.blogspot.jp/2013/09/c1yopaque-alias.html
orange
さんがブースト
或いは C++ や Rust では strong typedef (opaque typedef) という技法があり、これを使うことで実質的にそういった型は定義可能です
orange
さんがブースト
liquid haskell とか
orange
さんがブースト
それ極めると refinement data type (篩型)になると思うんですが、型推論で SMT ソルバなどが必要になるので……
部分範囲型なら、nullが入らないどころか例えば2～42までの整数を表す型とか、曜日列挙型の部分範囲型として平日型を作るとかできるけど、それって入ってきちゃ駄目な値を型の段階で排除してるという面ではnull非許容な型と同じだよね・・・？＞＜
裏返して考えると、AdaとかPascalでの部分範囲型が、他の言語にほとんど採用されないのって逆にわけがわからなくなるかも・・・＞＜（範囲を決めた型を作る事で型チェックでどうにかする仕組みって、null非許容の型でどうにかしようって発想と似てるどころかさらに先をいってる発想だと思うんだけど＞＜）
- ＠orange_in_space
2017年 4月に登録
