orange @[email protected]

いまさらwikipediaの記事読んでみたら、型システムに触れた記述が・・・＞＜；
かけ算の順序問題 - Wikipedia https://ja.wikipedia.org/wiki/%E3%81%8B%E3%81%91%E7%AE%97%E3%81%AE%E9%A0%86%E5%BA%8F%E5%95%8F%E9%A1%8C#「1つ分の数」×「いくつ分」の順序で書く方が合理的である

算数の授業で、さっき書いたコード( https://paiza.io/projects/hMp6bCN2dd8h0TzML4EvwQ )で言う所のMain()しか書かせないからおかしな事になってるんじゃん？＞＜ 実際には型の定義までやらせてるのに！＞＜ って言いたい＞＜

つまり小学校のそういう みかんとかリンゴとかたかし君が出てくる問題って、さっきオレンジがC# で書いたような事をしてる、にもかかわらず、型の定義の部分を回答として書かせない（表現させない）から、掛け算順序問題みたいな奇妙な問題が起こるのでは？＞＜

つまり、リンゴとみかんの合計の出し方を小学生が解く問題の場面では、リンゴとみかんを型として定義してどういう型変換（や演算子の定義？＞＜；）をすればどういう数値が出るのか？（言い方を変えると、問題が意図する数値を計算できるのか？）を学んでるわけじゃん？＞＜

型を無視して考えると「3+5は？」とかが解ければ良いわけじゃん？＞＜ でも順序問題みたいな事を起こしてまで教えてるのは、「リンゴ3、みかん5」とかをどういう式（3+5とか）にすればいいのか？を学ぶ為じゃん？＞＜ それ、型の定義そのものじゃん？＞＜

ていうか小学校の算数で教えてる事って、実は型の構築（？）そのもの？＞＜（つまり、式を組み立てる（？）って事は、みかんとかリンゴとかたかしくんとかを使って、どう計算すればよいのか？を定義してるわけじゃん？＞＜）

これもある意味型システムの混乱？＞＜；

ていうか、掛け算順序問題を方システムの導入で解決しようとすると、さっき書いたようなコード（C# なので冗長なのはアレだけど）的なものを小学生が算数の授業で書く事になっちゃう？＞＜；（それってもしかして本格的な（？）圏論？＞＜；（数学苦手なのでわからない＞＜；））

そもそも現行の小学校の算数に型が無いんだからあれだけど＞＜；（じゃあ未定義じゃん！！！＞＜；）

小学校の算数の "いくつ" は整数型（？）であるみたいに受け取るべきなのかも？＞＜；（って考えちゃうと「リンゴとみかんを足すと」「何が？＞＜」って言えなくなってしまう＞＜；）

とても難しい＞＜；

当たり前だけど、型推論してくれるから var c = a + b; でも型安全なまま（？）ちゃんと動くし小学校教諭並みには（？＞＜；）ゆるふわな型システムだ＞＜

出来ました＞＜；（？）
C#で75行のコード書いたよ！ブラウザ上で実行できるよ！ https://paiza.io/projects/hMp6bCN2dd8h0TzML4EvwQ

あ！＞＜； 普通に継承でもできる！＞＜；（継承にして、AppleCountとMikanCount のFruitCountへの型変換の定義は削除でおｋ＞＜； 思い込みで出来ないと思ってた＞＜；）

？＞＜；
C# さん「インターフェイスに演算子を含めることは出来ません。」