【JavaScript】ｽｸﾘﾌﾟﾄ ﾊﾞﾄﾙﾛﾜｲﾔﾙ55【php,py,pl,rb】 [無断転載禁止]©2ch.net

■ このスレッドは過去ログ倉庫に格納されています
2016/10/01(土) 23:40:48.89ID:FvOeAcfn
前スレ

【JavaScript】ｽｸﾘﾌﾟﾄ ﾊﾞﾄﾙﾛﾜｲﾔﾙ54【php,py,pl,rb】
http://echo.2ch.net/test/read.cgi/tech/1458955459/
2017/03/04(土) 15:50:13.16ID:W8crb5iK
Javaなんかコンパイラがどんなに良質なバイトコードを吐いたところでJITを切ったら使いものにならないよ
2017/03/04(土) 20:30:51.92ID:TytE5WQL
動的コンパイル≠JITコンパイル
2017/03/04(土) 20:49:23.65ID:9zDoQRRc
JITコンパイル≠HotSpot技術≒V8の技術＝anamorphic
2017/03/04(土) 21:09:43.19ID:9zDoQRRc
>>482
オマケのわりにはクリティカルじゃね？
http://blog.cybozu.io/entry/2016/04/13/080000
2017/03/04(土) 22:43:59.15ID:W8crb5iK
Animorphic Smalltalk VMやね
2017/03/05(日) 01:08:23.00ID:MrlX2Uoe
>>486
2倍は全くクリティカルではない
JSだとJITは数十から数百倍のスケールで恩恵がある
2017/03/05(日) 07:40:06.85ID:c4lSj3ER
>>488
それベンチマークに特化したコードでの話じゃね？
それならJavaでも似たような差がでるよ
2017/03/05(日) 19:03:52.33ID:ONGjQtv5
>>489
良いことなのかも知れないけれど、昔のインタプリタの頃のとてつもない低速度忘れちゃったんだな
2017/03/05(日) 20:03:49.77ID:tiOeAN9d
>>490
Java VMは今も昔と変わらずバイトコードインタプリタだよ？
2017/03/05(日) 21:02:12.11ID:xrJm/RDc
THE　アスペ
2017/03/05(日) 21:12:38.66ID:ONGjQtv5
いいんやで、もうどうでも
494デフォルトの名無しさん
垢版 |
2017/04/13(木) 09:59:12.88ID:z2xiyw8y
TypeScriptの採用が増えそうで俺歓喜

Google社内の標準言語としてTypeScriptが承認される。ng-conf 2017
http://www.publickey1.jp/blog/17/googletypescriptng-conf_2017.html

Google、社内標準言語の一つとしてTypeScriptを採用
https://developers.srad.jp/story/17/04/11/0718244/
2017/04/15(土) 23:41:19.57ID:Af1/s0zG
http://gihyo.jp/news/report/01/rubykaigi2016/0001
まったく往生際が悪いというかなんというか、何の意味があるの？
一方ロシアは鉛筆を使ったって感じ
「負けたんだよ」ってだれか言ってあげて
2017/04/16(日) 00:02:02.80ID:AmA5ei6y
大体型を書くのが面倒ってのも良くわからないし、型推論とかもあるのにな
あと型が書いてあったほうが読みやすい場面も多々あるし
機械にもわかりやすくて人間にもわかりやすくて、丁度よいじゃないか
あとほか宣言があると・・・宣言は型だけじゃなくスコープの宣言でもあるわけでして
宣言なし言語はスコープが気持ち悪いことになってるのが多いよなw

それからダックタイピングは本当に必要なのかどうなのか
静的型であってもジェネリックやテンプレートやオーバーロードがあれば
静的なダックタイピングは可能なわけで、しかもタイプセーフだし
動的なダックタイピングなどという危険極まりないものが本当に必要なのか？
ダックタイピングは静的に解決できる範囲で楽しめばよいだろうよ
それですら黒魔術とか言われるのにな

あと、WebAssemblyな、結局C++などの静的型言語を中間言語にしたものを
ブラウザで読み込んで機械語に変換して実行しようよっていう
どこまで行っても結局型が判明しているほうが最適化しやすいよね
CPUの進化が鈍化してきているし、物理的限界が近いことも考えれば当然の流れだな
2017/04/16(日) 05:04:24.13ID:O+EWztiU
WASMでDOM操作とか夢のまた夢だし、
そもそもJavaでのDOM操作も実情はきつかったし
別にWebで無くてもいいような１つのアプリケーションを作るんなら
型は有用だけど、何かと何かをくっつけたり、加工したりするための
スクリプト言語としては全くの不要だよ
2017/04/16(日) 07:06:11.63ID:aIkdKg/w
>>496
> それからダックタイピングは本当に必要なのかどうなのか
> 静的型であってもジェネリックやテンプレートやオーバーロードがあれば
> 静的なダックタイピングは可能なわけで、しかもタイプセーフだし

ダックタイピングのこと分かってないだろ
2017/04/16(日) 09:52:33.87ID:SqhlDt4o
ダックタイピングはそれをプログラマが活用するのではなく
動的言語における多態性の(安易な)実装手法にすぎない
500デフォルトの名無しさん
垢版 |
2017/04/16(日) 10:22:58.46ID:XyqfpBE9
という完全に誤った理解が蔓延しているというお話し
2017/04/16(日) 10:23:01.86ID:AmA5ei6y
>>495のURL先は皆読んでくれたかわからんが
掛け違えたボタン感が本当にすごくて
最初の一歩を間違えるとこんなにも面倒なんことになるのかって感じ
北朝鮮はどこまで進化しても北朝鮮ってことなんだろうよ
うすら寒い理想の未来を語るところもよく似ている
過去に生きて、未来を語って、現在に生きてないって感じ
まさに掛け違えたボタンで、「現実」のボタンをスキップして飛ばしている
胡散臭い宗教とかもそんな感じだよね
たぶん「現実」に不満がある人を集めるのが目的だから
過去の技術を使って、未来を語ってみせて、騙くらかすって事なんだろうな
これがまさしく、走り続けないと終わる、の意味だろう
でももう流石に誰も騙されないよね
麻疹みたいなものだから、学生さんは一度はそういう目に合うかもだが
2017/04/16(日) 10:25:51.21ID:AmA5ei6y
もしくは、ボタンを掛け違えていることに本人だけが気付いていなくて
誰も追いついてこないな〜なんて思っていたら
実はみんなもっと遠いところで高度なことをやっていた、ってパターンか
誰も追いついてこないんじゃなくて、フォロワーが居ないってことなんだけどね
2017/04/16(日) 11:27:58.86ID:cCOM2/u0
ダックタイピングというのは、（人間が）ガーガーと
アヒルのモノマネをすれば、アヒルとみなして扱おう
という発想から生まれたもの
504デフォルトの名無しさん
垢版 |
2017/04/16(日) 15:33:13.73ID:aIkdKg/w
>>501
ダックタイピングのことを何も分かってない人間がいくら言おうと説得力はゼロだよ
2017/04/16(日) 16:41:45.39ID:AmA5ei6y
残念ながら>>499が正解なんだな〜
俺も、もし何かの都合で自分で言語を作る必要性に駆られたら
そうするだろうね、実装が圧倒的に楽だから

つまり、自分で言語を作って、自分で使うんなら
現代においてもなお、動的型はありうるんだよ、これが
言語を作る手間と時間もコストとして換算して
トータルで労力を最小にしたいから
どこでバランスするかの問題

もしくは自分はもっぱら言語を作るのがメインで、使うのは他のやつって場合も
自分だけが楽できれば良いという身勝手な発想に行き着いたのなら、ありえる
自分は静的型言語でその恩恵を十分に得ながら言語開発して
他人は自分の作った言語で苦しむっていう
人として最悪な感じにはなるけど、まぁ最終的には良心の問題
金もうけのためだったり仕事って事なら仕方ないけど
人生の目標にしたら只の嫌がらせだな

それはそれとして、既存の言語を使うだけなら
わざわざ手抜きな言語をあえて選択する意味はないよ
2017/04/16(日) 16:43:12.44ID:aIkdKg/w
>>505
ダックタイピングをジェネリクスで代替できると思ってる人間の論理に説得力はない
2017/04/16(日) 16:45:25.04ID:cCOM2/u0
ダックタイピングはジェネリクスではなく
インターフェースで代替するもの
2017/04/16(日) 16:49:53.76ID:aIkdKg/w
>>507
その通りだね

そしてインタフェースをいちいち付けてまわるのは非常に面倒臭いこと
自分で作るクラスならまだ何とかなるが、使ってるライブラリのクラスだとそうもいかない
2017/04/16(日) 16:54:54.02ID:cCOM2/u0
> そしてインタフェースをいちいち付けてまわるのは非常に面倒臭いこと

めんどくさい？ ダックタイピングではインターフェースがないから
代わりにコメントで同じ情報を書かないといけないじゃん。

インターフェースの情報（コメント含む）を書かないで
それが仕様かどうか分かってもらえると思ってんの？
2017/04/16(日) 17:00:32.58ID:aIkdKg/w
>>509
コメントなら書くか書かないかは開発者が選べる
それを「低レベルコード生産要素」と見るか「プログラマの自由を保証」と見るかは
ポジションによる

Matzなんかは後者の立場なんだろうし、日本のSIのような人月計算でレベルはおかまいなしのような
プロジェクトに関わってるような人から見れば前者になるんだろうね
2017/04/16(日) 17:01:19.16ID:AmA5ei6y
「静的な」ダックタイピングはジェネリックとオーバーロードで実現可能
という風に書いたのにこれが理解できないのではどうしようもない
きっと静的と動的の違いも理解できてないんだろう
静的なダックタイピングはタイプセーフだし
本当にうまい落としどころだなぁって思う
何もかもが静的型に都合がよいように回ってて、ちょっと怖いね
とはいっても俺も何でもかんでも型で解決しようってのはあまり好きじゃなくて
一つのアイデアが上手くいくと一気に乗っかっていく感じは何か過剰というか
ただ、そうはいってもダメなものがダメなことには変わりないんだけどね
2017/04/16(日) 17:01:47.01ID:cCOM2/u0
>>510
> コメントなら書くか書かないかは開発者が選べる

言い換えると、
コメント書きたくない、仕様書を書きたくない。
コード読まないとわからない。
というコードを書きたいってことか？

ひどいな。だから可読性が下がるんだよ。
2017/04/16(日) 17:03:04.51ID:aIkdKg/w
>>511
ぜんぜん違う
ほんとダックタイピング分かってないんだな
ID:cCOM2/u0 なんかはその辺分かってるから議論になるけど、お前にゃ無理だよ
2017/04/16(日) 17:07:46.06ID:aIkdKg/w
>>512
Matz の有名な言葉に「ソースがドキュメントだ．バグも完全に記述されている」ってのがあるからねぇ
冗談半分だとしても、思想としてそういう方向なんだろう

本気半分の言い分としては、ソース読んだだけでちんぷんかんぷんなコードはその時点で怪しいと思え
って感じだろうか
2017/04/16(日) 17:08:31.24ID:cCOM2/u0
インターフェースは契約プログラミングの一種でもあるんだよ。
インターフェースを定義することは事前条件を定義することにあたる。
事前条件を記述することで、予め（プログラムを実行しなくても）バグがあることがわかる。

実行パスは無限と言ってもいいほどあるから、実行しなければ
わからない問題を検出するのは時間がかかる。

だけど、条件を満たすかどうかを調べるために、
実行そのものが必要なければ、短時間で問題が検出できる。

コンピュータが理解できる方法で、しかも実行せずにわかることと
コメントという人間しか読めない方法で書くのとでは全然意味が違う
2017/04/16(日) 17:09:43.45ID:AmA5ei6y
静的型において動的な多態にインターフェースを使うのは当たり前
動的なことは危険な香りがするから、インターフェースで制約する
これも丁度よいぐらいの落としどころなんだよ

静的な多態はジェネリックとオーバーロードでダックタイピングも可
動的な多態はインターフェースを通して安全に
どちらの場合もタイプセーフ

よくできているよね〜
2017/04/16(日) 17:10:37.85ID:aIkdKg/w
>>515
そういう方向でバグを減らすというのもひとつの方向性としてはいいんじゃない？
単なる思想の違いというだけで、そういうのが嫌いな人が作った言語だって別に悪いわけじゃない
2017/04/16(日) 17:12:57.07ID:aIkdKg/w
>>516
だからお前はダックタイピング分かってないんだからもういいよ
staticおじさんのように、分かってない機能は全部けなす方向性の人間と議論になんかならんからな
まずお前にすすめるのはリーベルGの「高慢と偏見」を読めってことだ
2017/04/16(日) 17:13:47.39ID:cCOM2/u0
>>517
> そういう方向でバグを減らすというのも

そういう方向で"も" な

バグを減らすテクニックはいくつもある。
静的言語なら、そのテクニックが増えるわけだ

動的言語でできるバグを減らすテクニックは、静的言語でも使える。
さらにプラスして、静的言語ではコンパイル時に実行することなく
バグを減らすことが可能になる。

これは明らかにバグを減らすために追加された機能といえるだろう
2017/04/16(日) 17:15:16.10ID:aIkdKg/w
>>519
そのために生産性やプログラマの自由が減るというトレードオフがあるけどね
そのトレードオフのどっちを取るかはポジションで決めればいいだけの話
2017/04/16(日) 17:16:58.16ID:AmA5ei6y
ちなみにダックタイピングは、ダックのように振舞うものは、ダックとして扱える
って言ってるだけで
静的に解決するか、動的に解決するかは、別の問題であり
当然静的なダックタイピングは、ある

>ダック・タイピング
>https://ja.wikipedia.org/wiki/%E3%83%80%E3%83%83%E3%82%AF%E3%83%BB%E3%82%BF%E3%82%A4%E3%83%94%E3%83%B3%E3%82%B0
>C++のtemplateはダック・タイピングの静的版である

残念だったなwww
それともWikiを書き直すか？
2017/04/16(日) 17:18:10.05ID:aIkdKg/w
>>521
俺はテンプレートに関しては何も言ってないが？
ジェネリクスはちゃうやろって言ってるんだが
2017/04/16(日) 17:20:02.41ID:cCOM2/u0
>>520
> そのために生産性やプログラマの自由が減るというトレードオフがあるけどね

減ってないよ。逆に高くなっている。
っていうか、あんた書くときのことしか考えてないでしょ？ｗ

プログラミングっていうのは書くよりも読むことのほうが遥かに多い。
だから、可 "読" 性 が重視される。

読みやすいコードは生産性を大きく上げる
2017/04/16(日) 17:27:15.74ID:0ImhO/qF
>>521
× C++のtemplateはダック・タイピングの静的版である
○ C++における型消去はダック・タイピングの静的版である

明らかに間違ってるから直しとけよ
2017/04/16(日) 17:29:05.78ID:aIkdKg/w
>>523
それは違うな
コメントなら引数を「与えられる方」だけ書けばいいが、インタフェースは引数を「与える方」にもそれを強制する
そしてこれは結構面倒な作業だ

もちろん、引数として変なものを与えてしまう可能性も出てしまうが、それと上記の面倒さをどっちを取るかは
それぞれの人が決めればいい
2017/04/16(日) 18:04:26.80ID:AmA5ei6y
現代に生き残りし貴重なサンプルだとは思うが
「何が面倒か」までは書かないんだよな
結局、何でもかんでも渡すわけにはいかないのは同じこと
どのみち仕様を満たさなきゃならん
ダックならダックの仕様を満たさなきゃならん
ダックの仕様を満たすように書かなきゃならないのと
ダックのインターフェースを満たすように書かなきゃならないことは
実質問題大差ない
大差ないか、むしろインターフェスがあった方が何をすべきかよくわかるぐらいだ
仮にこのケースでほんの少しだけ動的型が便利だったと仮定しても
静的型の、型安全性、リファクタリングのしやすさ、タイポなどの些細なミスの検出
型が書いてあることによるドキュメンテーション、最適化のききやすさ
あと宣言があることによるスコープの細かさ
これらすべてを投げ捨てるほどの差はない
動的型のメリットといえばもはや動的なメタプログラミング的な何かぐらいしかないが
そんな黒魔術はどうでもよいし、はっきり言ってgoto文と変わらない
2017/04/16(日) 18:10:54.82ID:AmA5ei6y
こういうと彼はきっとこう思う
静的型は互いに別々の出どころのライブラリ間で
インターフェースに互換性がないから困る、と
しかし、そんなことは動的型でも同じこと
2017/04/16(日) 18:14:22.59ID:cCOM2/u0
>>525
クラスだけ与えられて、
さてこのクラスはどこで使えるでしょう？
みたいなクイズして楽しいか？

このクラスが持っているインターフェースは何かって
ちゃんと書いていれば、そのインターフェースを使える場所も
明確にわかるだろ
2017/04/16(日) 18:15:43.11ID:cCOM2/u0
>>526
> 「何が面倒か」までは書かないんだよな

それだよなｗ
ほんと何が面倒なのか。
2017/04/16(日) 18:20:36.92ID:aIkdKg/w
>>528
アプリケーションの全クラスが自分の管理下にあればそれも可能かもしれんな
でも実際は様々なライブラリを使うことは避けられないし、各ライブラリのクラスに後から自分が欲しい
インタフェースを追加することはできないことがほとんど

C#やScalaなんかはそういうこともできるみたいだが、今度は可読性が落ちるのでここぞというときの
秘密兵器扱いだな
2017/04/16(日) 18:26:41.26ID:cCOM2/u0
>>530
各ライブラリのクラスに後から自分が欲しいインターフェースを追加して、
正しく動く保証はあるのですか？

そもそもそんなことする必要ありませんよね？
2017/04/16(日) 18:29:04.31ID:cCOM2/u0
手段が目的になってしまってるんだよなｗ

何がしたいのかは言わない。
ライブラリのクラスに後からインターフェースを追加することが
目的なんだって臆面もなく言ってしまうｗ
2017/04/16(日) 18:34:11.12ID:aIkdKg/w
>>531
あるよ

たとえばあるライブラリがAというクラスのオブジェクトを返したとする
これを別のライブラリか自分で作ったクラスのの引数として使いたいけど、その引数はBという
インタフェースを要求する

Aというクラスは字面の上ではBというインタフェースを満たしているのだが、Bというインタフェースを
implement しているわけではない

さてどうしよう
Bというインタフェースを持つクラスを自分で定義してコピーする？こんな余計なことしなきゃいけない
のは生産性の低下以外の何物でもないわな

これは一例であって他にも同様の例はいくらでもある
2017/04/16(日) 18:43:08.06ID:cCOM2/u0
>>533
なんでAというクラスが、Aとは全く関係のなく作られたBというインターフェースを
たまたま運良く満たすなんて自体が起きるんだよｗ

ありえないだろ。

それよりか引数が違うのに、同じ名前のメソッドを定義してしまっていた
どうしようって思うほうが可能性高いわｗ
2017/04/16(日) 18:46:33.36ID:cCOM2/u0
Aというクラスは字面の上ではBというインタフェースを満たしているのだが、
Bのバージョンアップでインタフェースが変わってしまった。

だけど、Aというクラスがたまたま古いBのインターフェースと
一致していたという前提をどこにも書いていなかったので、
動かなくなる原因の判明に時間がかかった。

そのためにコメントをしっかり書くようにした。

A は B interface を implements しているよと
2017/04/16(日) 18:50:50.79ID:aIkdKg/w
>>534
ありえるんだよ、これが
しかもしょっちゅう
(俺は静的型言語でも開発してるからよく出くわすよ)

たとえば、Serializable なんか典型じゃないかな
そのまま Serialize したいのになんで Serializable インタフェース持ってねぇんだよ！
みたいなのはほんといくらでもあるよ
2017/04/16(日) 18:53:05.94ID:cCOM2/u0
このようにダックタイピングを使うとその場しのぎで直ぐに対応できるように思えるけど
長い目で見れば、可読性の低下を招き、メンテナンス性、生産性を下げることになってしまう。

書いたら終わり、メンテナンスが不要な書捨てのプログラムぐらいにしか
使わない方がいい。

そして、書捨てのプログラムをよく書くのはインフラ系が多い。
インフラ系で必要とされるのはオブジェクト指向も必要ない
数行程度のスクリプト。シェルスクリプトよりは書きやすいぐらいの
理由しか持ち合わせてない

アプリの開発には長期間メンテナンスされるので可読性が重要
2017/04/16(日) 18:56:36.72ID:cCOM2/u0
>>536
> そのまま Serialize したいのになんで Serializable インタフェース持ってねぇんだよ！

そのクラスがSerializeする機能を実装してないからだろ？
2017/04/16(日) 19:04:01.20ID:cCOM2/u0
http://rubytips86.hatenablog.com/entry/2014/03/19/184940

Rubyでこのシリアライズとデシリアライズを担うライブラリがMarshalモジュールだ。
注意点としてMarshal.dumpでは、無名のクラス・モジュールのオブジェクト、
システムがオブジェクトの状態を保持するIOなど、
Procなどいくつかのインスタンス、特異メソッドを定義したオブジェクトはシリアライズできない。
2017/04/16(日) 22:32:15.20ID:AmA5ei6y
第一だよ
全然関係ないライブラリ同士でたまたま字面の上で
メソッド名が一致しているクラスがあるっていう
偶然の一致があったとしても
その動作振る舞いまでもが完全に一致していて
動作的にコンパチブルかどうかは分からないよ
想定してないんだからさ
おおよそ慣例というか習慣というか、その言語ではふつうそうするって
何らかの決まり事みたいなものがあるのなら問題ないかもしれないが
そういう場合は言語側やファウンダメンタリーなライブラリが
インターフェースを定義してくれているから、それ使えばよいわけで
やっぱり関係ないんだよ

そういうメソッド名と振る舞いの両方が偶然にも一致
っていう奇跡偶然に頼るってのが
まさにおまえ自身が>>530で言ってる

>アプリケーションの全クラスが自分の管理下にあればそれも可能かもしれんな

そのものなんだよ、まったくのブーメラン
2017/04/16(日) 22:54:49.91ID:aIkdKg/w
>>540
ダックタイピングのことを知らないお前が言っても説得力はないよ
2017/04/16(日) 23:27:02.64ID:f4lMQoiy
言い争いの起点がどこにあるのかわからん
2017/04/16(日) 23:30:25.86ID:aIkdKg/w
>>542
>>496 >>498
2017/04/17(月) 00:16:09.41ID:W0pN1+cl
要するに、後付で色々したい場合はダックタイピングの方が楽なんだよ。
ただし、全てを見通せるのなら最初からインタフェースにしておいた方が美しいのも事実。

現実的にはJavaScriptはUI用で酷く書き換えを強いられる為、
ダックタイピングの方が向いている。(と俺は感じている)
逆に、仕様がかっちり決まっている場合は型ありでも特に苦労しないし、
数値計算等のバグ出ししにくい状況では型があった方が安心ではある。
(期待値が作りにくい、見た目でバグと分からない）
ただ、UIならバグは見て分かるし、ダックタイピングでも問題ない。
動的言語はパターンを当てないとバグ検出出来ないけど、
UIなら「変更が依頼された」＝「パターン持ってる」ってことだし。
2017/04/17(月) 01:28:08.77ID:8mjeDRwA
真面目にダックタイピングをやろうとする行為は、型やインタフェースを定義するのと違いがない
だからrubyでダックタイピングを考えてプログラミングしてる人なんているわけない
2017/04/17(月) 03:12:15.72ID:LB/3uUQe
>>544
あの、精神論でごまかさないでください？
何一つ、ダックタイピングのほうが良いという理由を
言っていませんよ
2017/04/17(月) 07:17:22.30ID:W0pN1+cl
>>546
良い悪いを議論する事じゃないよ。
結局は、どう思うか、どう感じるか、でしかないから。

型には型の得失があるし、ダックタイピングにしてもそう。
選べる状況なら好きな方選べばいいし、無理ならグダグダ言っても意味無いだろ。

利点を感じないのなら、これまでそういう状況に遭遇したことがないか、
或いはそもそもそっち派ではないか。
いずれにしても使わないってことで問題はない。
利点説明おねだり君なんてウザイだけだから止めろ。

http://yohshiy.blog.fc2.com/blog-entry-244.html
未確認飛行の人も同じようなことを言っていたと思ったけど見つからなかったから上記で。
結論出したいのならこの辺だと思うよ。

>>545
ガチでダックタイピングの利点を享受しようとすると、
型に留まらず世界が統一されていないといけないので、実は型よりも難しい。
そしてJavaScriptもそれに対応出来ていない。理由は標準化している奴らが馬鹿だから。
sizeとlengthが混在してるでしょ。
あれ、どっちでもいいけどどっちかに統一されてないといけない。

だから真面目にダックタイピングをやっている奴なんていない、というのは俺も思う。
2017/04/17(月) 09:32:26.96ID:LB/3uUQe
> そしてインタフェースをいちいち付けてまわるのは非常に面倒臭いこと

めんどくさい？ ダックタイピングではインターフェースがないから
代わりにコメントで同じ情報を書かないといけないじゃん。

インターフェースの情報（コメント含む）を書かないで
それが仕様かどうか分かってもらえると思ってんの？
2017/04/17(月) 09:43:33.93ID:oCHN+Sd+
>>540
同じインターフェースを実装してても、それは引数と戻り値の型が一致するだけで
動作振る舞いがコンパチブルかどうかは保証してくれないけどな
JavaやC#みたいなショボい言語では
2017/04/17(月) 21:03:29.03ID:LB/3uUQe
>>549
interfaceは"インターフェースを"保証してくれるもので
インターフェース以外は別の話なのは当たり前だと思うが？

「お前型を保証してくれるんだろ？
バグがないことまで保証してくれよ」

っていうのと同じぐらい無茶なこと

普通保証の対象しか、保証しませんってｗ
2017/04/17(月) 22:17:56.90ID:BH39VCMj
>>549
ショボくない言語ではどういう感じになるのでしょうか？
純粋な興味として知りたいです
2017/04/17(月) 23:27:50.92ID:LB/3uUQe
しょぼくない言語なら、
動作振る舞いがコンパチブルかどうかを保証してくれるんだろう？
553デフォルトの名無しさん
垢版 |
2017/04/18(火) 00:29:01.98ID:n/IUHgwq
>>544
> 要するに、後付で色々したい場合はダックタイピングの方が楽なんだよ。

メソッドや関数のオーバーロードが可能なら静的型でも変わらなくない？
2017/04/18(火) 01:27:12.80ID:xAHUlHha
>>553
いや、それだと全部用意しないといけなくなるでしょ。
ダックタイピングだと必要なところだけ用意すればいいし、つまみ食いも出来る。その分楽。

丁度C++のスレが同じ事を言っているけど、
http://echo.2ch.net/test/read.cgi/tech/1490917669/137-
そりゃ全てのオブジェクトが isScrollable や isSerealizable を持っているのが美しいだろうさ。
しかしそれは通常は余計に手間が増えるだろ。
インタフェースが肥大化するか、基底クラスが肥大化するかで。

だったらJavaScriptみたいに、
var obj_serialized = (obj.serialize)? obj.serialize() : null;
とか、
SomeObj.prototype.serialize = function(){};
とか、出来たら融通は利くでしょ。少なくとも「今」やりたいことは出来るようになる。
それが後々逆に足を引っ張ることになるかどうかは腕次第でしょ。

ただし、どっちが楽かという話であって、
出来るか出来ないかで言えば、同じだよ。同じ事を逆からアプローチしてるだけだから。
JavaScriptについて言えば、
初期状態は全ての名前のメソッドを定義してあるが、実装してない状態だと言える。
だから未実装ならundefinedが返ってくるし、実装済みなら使える。
C++とかだと、初期状態は全く定義がなくて、自分で全て追加しないといけない。
でも全てのダックタイピングを可能にしようとしたら、
型消去するなりして全てのインタフェースに対応しないといけなくなる。
これってJavaScriptの初期状態と同じでしょ。

C++のテンプレートは空回り感が酷い。
UIなんて張り切って実装しても意外に糞だったりするので、
とりあえず実装してから確認したいってのはある。
そういう時はJavaScriptみたいな、とりあえずサクサク実装出来る言語の方が向いている。
2017/04/18(火) 02:34:37.34ID:ibb6Zkrz
>>554
シリアライズのことしか考えてなくて、しかもシリアライズメソッドさえあれば
何でもかんでも簡単にシリアライズできるんだって思ってるみたいだけど、
まず前提として、いかなる言語も汎用的なシリアライズはなという話をしようか？

これが大前提なので、あとからシリアライズメソッドつければ、
シリアライズできて便利ーにはならないんだよ。
通常シリアライズメソッドは後から追加できないものと考えるべき。

例外的に可能なものもあるけど、あとからシリアライズメソッドを追加できるならば、
obj.serialize() ではなく、Serializer.serialize(obj) とやることで目的は達成できる。
あんたがやろうとしているのは、単にシリアライズ処理を
インスタンスメソッドにしたいと言っているだけ。
2017/04/18(火) 07:09:23.56ID:16rBXoJR
>>551
OCamlあたりで構造的部分型を利用した型推論とかを知っとくといいと思うよ
http://itpro.nikkeibp.co.jp/article/COLUMN/20061107/252787/
557デフォルトの名無しさん
垢版 |
2017/04/18(火) 07:25:53.47ID:V4ah9bya
>>554 C++のテンプレートは空回り感が酷い。 とりあえず実装してから確認したいってのはある。

激しく同意する。

An one-liner で書けるようなものでは、型の恩恵などない。Local,global の峻別さえ無意味だ。そのようなときは duck typing で書かねば損だ。

逆に duck typing で一万行を超えてくると、強烈に型が欲しくなる。
558デフォルトの名無しさん
垢版 |
2017/04/18(火) 07:30:18.04ID:V4ah9bya
>>554 そういう時はJavaScriptみたいな、とりあえずサクサク実装出来る言語の方が向いている。

俺は JavaScript(というより TypeScript) を使っていない。昔一舐めしただけだ。それ
に本格的に手を出すべきか迷っている。意見を貰いたい。

JavaScript を押す人たちのコードを見ていると、Python のほうが三倍程度は濃密な
コードで書けそうに見える。その理由は質の良いライブラリが揃っていることにある。

例えば N 重ループの iterator を Python ならば下のように書ける。JavaScript で、
こんな濃密なコードを書けるだろうか。

N=3; import itertools as md; list(md.product(*[range(3)]*N))
===============================
[(0, 0, 0), (0, 0, 1), (0, 0, 2), (0, 1, 0), (0, 1, 1), (0, 1, 2), (0, 2, 0),
(0, 2, 1), (0, 2, 2), (1, 0, 0), (1, 0, 1), (1, 0, 2), (1, 1, 0), (1, 1, 1),
(1, 1, 2), (1, 2, 0), (1, 2, 1), (1, 2, 2), (2, 0, 0), (2, 0, 1), (2, 0, 2),
(2, 1, 0), (2, 1, 1), (2, 1, 2), (2, 2, 0), (2, 2, 1), (2, 2, 2)]
2017/04/18(火) 09:47:58.51ID:1155c42j
>>550
そんなショボいものしか保証してくれないの？
まったく安心して使えないね
動的型付けと大差ないじゃん
2017/04/18(火) 09:54:21.27ID:1155c42j
動作を保証しないから問題だって言った（>>540）直後に
動作を保証しなくて何が悪いと返せる（>>550）って凄いねw
そのチンパンジー並みの記憶力は賞賛に値するよ
2017/04/18(火) 21:12:55.65ID:xAHUlHha
>>558
俺はPythonは知らないのでJavaScriptとの比較は出来ない。
ただPythonはクロージャに難ありなので今後も使う気はない。
改行が強制されるのも気に入らない。

JavaScriptは書いてて気持ちがいいんだよ。
理由は簡単で、全て具だから。
型等の動作には関係ない物がないから、動作に集中出来る。
なるほどMatzが目指したのはこれだったのか、というのは分かった。
だから俺が次にやるとしたらRubyだね。

今のところ、俺は型自体はは要らないという結論だ。
名前通りの型しか付けないので、見りゃ分かる。
ただ、現実として、実行前にタイプミスを見つけてくれないから困っている。
ダックタイプや動的に使う場所なんて限られているのだから、
そういう場所に対してワーニング出してくれるだけでいいんだが。
そのためのリントを探してはみたものの、
JavaScriptのリンターはそんな方向では全くなかった。

あと、C++が糞なのはクラスは全て独立で親クラスを掴めないことだ。
だから細かくクラスを階層化出来ない。というか、やると余計に手間が増える。
ここら辺はJavaでは改善されていて、明示的に掴めるし、
JavaScriptではデフォで掴んでる。（レキシカルスコープ）
粗結合を目指すのならJava方式がいいし、
お気楽を目指すのならJavaScriptの方がいい。

ところで初心者はそういう「短く書ける方がイイ」みたいなことをよく言うが、
君が本当に一万行のコードを書ける奴なら、それは意味無いと分かるだろ。
そしてそれをここで聞くのも意味無い。
だって俺の腕前なんて未知数だし、ここでは無駄に吠える初心者も多いし。
一般論としては、Pythonはキャズムを越えているっぽいから、
学んでも無駄にはならないと思うよ。
2017/04/18(火) 21:41:20.30ID:xAHUlHha
ああすまん、質問はPythonではなくて、JavaScriptを学ぶべきか？だったか。
俺が勘違いしてた。

これは俺は正確には答えられないね。
俺は他言語使えるわけではないし。
そもそも道具なんだから、今困ってなければ学ぶ必要はないだろ。

新しいプログラミングを学びたいというのなら、
結局どの言語も似たり寄ったりの方向に進化しつつあるし、
とりあえず「進化している言語」を一つ追跡しておけば問題はないだろ。
一番速いのは多分Rubyだろうし、この点ではPythonは遅いほうだよ。
同様に、この点でJavaScriptを選択する意味はない。

逆に、今使うというのなら、グダグダ言う意味もないだろ。
Web環境ではJavaScript以外の選択肢はないんだし。
2017/04/18(火) 22:41:32.37ID:ibb6Zkrz
>>560
> 動作を保証しないから問題だって言った（>>540）直後に
> 動作を保証しなくて何が悪いと返せる（>>550）って凄いねw

なんの動作？

ねぇねぇ、なんの動作？

わざとぼやかしてるでしょｗｗｗ
2017/04/18(火) 22:42:21.03ID:ibb6Zkrz
あとそれから>>540は俺じゃないからねｗ
IDすら見えない？

チンパンジーになみの理解力だった？ｗ
2017/04/18(火) 22:43:49.88ID:ibb6Zkrz
>>561
> JavaScriptのリンターはそんな方向では全くなかった。

TypeScriptがお前が望むものだよ
型を導入したJavaScriptだ。
いまあちこちで普及してる。
2017/04/18(火) 22:45:23.23ID:ibb6Zkrz
>>561
> ところで初心者はそういう「短く書ける方がイイ」みたいなことをよく言うが、
> 君が本当に一万行のコードを書ける奴なら、それは意味無いと分かるだろ。

え？ なんで？

同じ一万行なら、短く書ける方がより多くの機能を実装できるから
やっぱり短いほうが良いじゃんｗ
2017/04/18(火) 23:07:56.67ID:wXuuRzeA
>>566
つまり型は余計だということだね
インタフェースとか余計なことを書かなきゃいけないから
2017/04/18(火) 23:13:36.64ID:ibb6Zkrz
>>567
それはインターフェースが余計なものであるという前提で成り立つものだ
インターフェースは余計なものではなくプログラマの意図を
コードというコンピュータにも理解できる言語で記述した価値がある情報だ
2017/04/18(火) 23:14:34.77ID:wXuuRzeA
>>568
短く書ける方がいいんでしょ？
ダブスタいくないよ
2017/04/18(火) 23:18:22.51ID:ibb6Zkrz
>>569
正確に言うと「少ないステップ数」というべきだな。

インターフェースは実行されないのでステップには含まれない。
他にも型宣言とかimportとかコメントとか空行とか
{ だけの行とか、そういうのもステップには含まれない。
2017/04/18(火) 23:19:45.52ID:wXuuRzeA
>>570
> インターフェースは実行されないのでステップには含まれない。
こんなオレオレ定義聞いたことありませんｗ
2017/04/18(火) 23:20:25.75ID:ibb6Zkrz
>>571
デバッガの「ステップ実行」って
使ったことないの？

インターフェースの前後でステップ実行することはない
2017/04/18(火) 23:26:21.27ID:wXuuRzeA
>>572
ググってみたけどステップ数からインタフェースを抜くなんて計算方法はまったく出てこない
オレオレじゃないなら、どこか有名なサイトに計算方法が載ってるはずだからさ、ポインタでいいから
示してください
2017/04/18(火) 23:39:00.32ID:ibb6Zkrz
>>573
ステップ数は単に英語の意味の通り、ステップ（一歩）という意味しかないよ。
ステップイン、ステップアウト、ステップ実行できる単位と考えればいい。
ステップできないのに、ステップ数に数えるとか意味不明だろう

ソースコードの行数はLOCという。
2017/04/18(火) 23:42:54.39ID:wXuuRzeA
>>574
たとえばさ、↓のページにあるように、ステップ数というと一般的にはプログラム規模を測るための
指標なんだよね

http://e-words.jp/w/%E3%82%B9%E3%83%86%E3%83%83%E3%83%97%E6%95%B0.html

LOCからコメントや空行を抜いたり、中括弧だけの行を抜いたりと言語によって流儀はあるみたいだけど、
お前の言う流儀がどこにも載ってないんだよ
どこに載ってるか教えてくれないか？
2017/04/18(火) 23:49:43.26ID:ibb6Zkrz
>>575
だからステップ数は誰も正確な定義をしてないのだから
どんなものでも間違いではない。
2017/04/18(火) 23:54:29.25ID:wXuuRzeA
>>576
とはいえ、「インタフェースはステップ数に含まない」と断言するからには、それなりに普及してる
流儀なんでしょ？
その流儀がどこに書いてるか知りたいんだが
2017/04/19(水) 00:50:35.21ID:4qCNxF1h
動的型付言語の苦手な奴が多過ぎ
ダックタイピングでいいじゃん
スタティックおじさん馬鹿にしていながら、自分もスタティックおじさんみたいになってる
2017/04/19(水) 01:04:19.78ID:PWf0mJDu
ダックタイプおじさんに言われても…
2017/04/19(水) 02:34:11.69ID:kxK9Wtdr
ここでダックタイプ嫌ってる奴って、ダックタイプを静的言語でやるとしたらジェネリクスとか言い出す奴だもんな
「自分の分からない技術は使えない技術だ」なんて完全にスタティックおじさんだよな
2017/04/19(水) 02:40:43.54ID:0X+KA4Ry
静的型の言語の補完の快適さは動的型言語には得られないものなんだよなぁ
インターフェイスとかをいちいち記述する手間を含めてもその最適さのほうが上回る感はある
2017/04/19(水) 02:43:32.85ID:kxK9Wtdr
>>581
という感想を持つ人は静的言語を使えばいいし、インタフェースとかをいちいち記述するのが面倒くさい人は
動的言語を使えばいいよね
ただそれだけの話
■ このスレッドは過去ログ倉庫に格納されています
5ちゃんねるの広告が気に入らない場合は、こちらをクリックしてください。
ニューススポーツなんでも実況