orange @[email protected]

教育からして駄目 (#.4228420) | 日本のデジタル化は遅れている。アナログ的な非効率がまかり通っているとの指摘 | スラド https://srad.jp/comment/4228420

このツリー、2進数を小学生に教えるべきかでも揉めてるけど、オレンジ的にはプログラミング教育とは別に算数で2桁の計算を教える辺りで10進数の理解の為に同時に2進数も教えるべきかもって思うかも＞＜
2桁の引き算の筆算で躓く人も減るんでは感＞＜

気温つらい＞＜

契約プログラミングをリテラルまで拡張したような感じ・・・・＞＜

めげてきた＞＜

たとえば、このユーザー定義型(のリテラル)は「アルファベット1文字と浮動少数点数の10進数で、-20以上、+20以下で少数点以下2桁までである」みたいに表現する仕組みを持っていて、その型への代入で「A07.42」みたいなのは許されるけど「10.00」「B21.00」「C1.9999」みたいなのは静的検査で弾かれるみたいなの＞＜

列挙型で済むようなのなら列挙型を使って静的型検査時で安全にするって出来るけど、それより複雑だと同じように安全を保てず、定数なのに実行時に例外が出る事になっちゃうじゃん？＞＜
なるべく静的に検査したいって発想を基準に考えるとかなりの妥協になっちゃうので、複雑な条件を定義してユーザー定義のリテラルを作って静的検査出来る仕組みがあったらいいのにって＞＜

DecimalCoordinate hoge = new DecimalCoordinate(35.68N, 139.767E);
って書けたり、コンストラクタの引数がこの例で言うと緯度経度として正しくない(ユーザー定義の緯度型、経度型のリテラルの表現に違反してる)場合に静的型検査時に例外出るような環境が欲しい＞＜

つまりそのコードでごく基本的に使う型(というかなんというか)もユーザーが自作出来て静的型検査される言語環境が欲しい＞＜
組み込まれた型というかプリミティブな型をそのまま使う発想って、データ型の型安全の発想に反してるように感じるから＞＜

Java、演算子のオーバーロードが無いのでものすごく嫌い＞＜
(という話と、ユーザー定義のリテラルが作れて静的型検査出来る言語が欲しいって話って繋がってる＞＜)

ていうか、ていうか、(型検査がすさまじく遅くなりそうだけど)リテラルの表現をユーザーが定義してコンパイル時に静的型検査出来る言語が欲しい・・・＞＜
前にも書いた例だけど、緯度経度型のリテラルを定義して、「35.68N 139.767E」みたいなのをリテラルで解釈してたとえば緯度としてあり得ない「512.42N」とか「35.68A」とかは静的型検査時にリテラルのエラーとして検出出来るような言語＞＜

オレンジはC# で、
double hoge = 1.0d;
みたいに少なくとも浮動少数点数の時にはリテラルの型を明示的に冗長に書く事が多い派＞＜

これ、この環境のデザインがおかしいのもアレだけど、なるべく型とかは明示的に書く発想の環境であれば、こんな事にはならないからちゃんと・・・あれだよね＞＜(全く明示的ではない文章)

＞＜

#Worldle #79 1/6 (100%)
🟩🟩🟩🟩🟩🎉
https://worldle.teuteuf.fr

Windows 3.1、30 周年を迎える | スラド IT https://it.srad.jp/story/22/04/09/075247/

SF作品で登場人物が「フィート」などを使っていると興醒めである。ヤード・ポンド法を採用しているような連中が高度な文明を築くことはあり得ない。 - Togetter https://togetter.com/li/1868838