新しいものを表示

これ読みながら思ったのは、C# Delphi(?)/Java(?)で言う所のInterface・・・?><(ぜんぜん違う?><;)

型システムの理論からみるSwiftの存在型(Existential Type) - Qiita qiita.com/ukitaka/items/a993b5

orange さんがブースト

「具体的に何であるかはユーザに教えたくないが、とにかく何らかの特徴を持つ何らかの型」という型指定を可能にするのが existential type (存在型) で、これは通常の generics における「どのような型についても○○」という全称型と対照的なものとされている

existential type、ぐぐったけどさっぱりわからんになった・・・><

そういえば最近気づいたけど、これDelphiっぽさ><
WebRequest.Create Method (System.Net) | Microsoft Docs docs.microsoft.com/en-us/dotne

単語の短縮形、リーダブルコードとかではどの程度なら許容されてるのか謎><
(例えばさっき話題になったRustのfnも、Pascal脳なので「functionって書けばいいじゃん!?><」って思う><(Pascal一族も短縮形使う部分それなりにあるけど><;))

長すぎる名前のクラス、長すぎる名前のジェネリクスなクラスとの組み合わせになるとさらにとんでもない事になる><;(なってる><;)

最近、型安全に頼って安全にしようとして、名前だけでもミスに気づけるようにしようとした結果、ハンガリアン記法っぽい&Objective-Cみたいなすごく長い名前になっちゃっててどうしようになっちゃってる><

orange さんがブースト

型が複雑になってきて手書きするのが面倒ってのもあることを思うと、そっちをなんとかするのがいいのかもな

エラーに気づけるのはなるべく早いほうがいいし、実行時までわからないよりはコンパイルするときにわかる方がいいし、出来ることなら書いてる途中で既にわかる方がいい><

orange さんがブースト

最近の風潮><
var hoge = 1.0;
オレンジ><
double hoge = 1.0d;
(省略可能なのにヒューマンエラー検出用につけてるサフィックスはdoubleとfloatの時だけ><)

狭いスコープの範囲(?)、C# では(極限られた部分で><;)varって書いて、 IDE0008 で明示的な型に一括置換させるようになったから、オレンジのコードからvarが消えた><

orange さんがブースト

外部に公開される部分は型を明示して、狭いスコープでは推論させるみたいなの、最近ぼちぼち見かける

結局実際にコードに型が書いてなかったら人間から見たら同じじゃんってなる><
(人間が型を推論しなきゃいけない状況が発生するのがすごくむかつく><)

△型推論が多用されてると
○動的型つけじゃない事を売り文句にしてるのに型推論が多用されてると

スレッドを表示

プログラミング言語、Rubyに似てるとかPythonに似てるって言われると、オレンジの場合それだけでかなり試す気が減る><
あと、(最近の言語だいたいそうだけど)型推論が多用されてると「・・・・・・・><」ってなる><

"And if ever comes a day
When you should turn and walk away.... oh no
I can't live without you"
なんて母国語じゃなくてもおもしろすぎるのに邦楽だったらドン引きかも><;

参考><
気まぐれ洋楽和訳 - Caught Up In You / 想い焦がれて(38 Special / 38スペシャル) 1982 ogataro.blog.fc2.com/blog-entr

Bananarama - Love In The First Degree : 生活の雑記帳 ikkokukan.exblog.jp/12244348/

スレッドを表示
古いものを表示
:realtek:

思考の /dev/null