次世代言語議論スレ[Go Rust Kotlin Scala]第4世代

1 名前：デフォルトの名無しさん mailto:sage [2017/04/20(木) 04:43:27.12 ID:mNwXvrXv.net] いざ、語ろうぞ。 スレタイ超過のため、一部省略。 Go, Erlang, Kotlin, etcもウェルカム。 Haskellは協議により次世代失格になりました 前スレ 次世代言語議論スレ[Go Rust Haskell Scala]第3世代 echo.2ch.net/test/read.cgi/tech/1488608741/ 137 名前：あ mailto:sage [2017/04/27(木) 08:15:10.34 ID:YQ2WW8c/.net] >>135 そう。パッシングの口でしかない。 138 名前：デフォルトの名無しさん mailto:sage [2017/04/27(木) 08:28:33.27 ID:/s/zy9NN.net] まさか、rubyがADT拡張としてのOOPLだと思ってる？ 139 名前：デフォルトの名無しさん mailto:sage [2017/04/27(木) 08:44:30.71 ID:N3r3uYtr.net] >>136 死滅したとか記憶から消し去りたいロートルがいる一方でスタートアップで勝負をかける奇特な人もいる pharo.org/success/AllStocker スタートアップ界の異端児！産業機器 x IT x SmalltalkのSORABITO株式会社 https://thepedia.co/article/1068/ Smalltalkのとらえ方は人それぞれやね 140 名前：デフォルトの名無しさん mailto:sage [2017/04/27(木) 08:58:08.10 ID:/s/zy9NN.net] Smalltalkはうんこすぎて死滅したと2ちゃんでクダ巻いてるだけの爺さんを横目に、 今日もSmalltalkが世界の海上コンテナ輸送の30%を捌いているわけだが。 141 名前：デフォルトの名無しさん mailto:sage [2017/04/27(木) 09:17:39.03 ID:N3r3uYtr.net] >>140 OOCLのことを言っているんなら、あれってJavaに置き換えられたんじゃないの？ Who uses Smalltalk? : programming - Reddit https://www.reddit.com/r/programming/comments/3wv7ik/who_uses_smalltalk/cxzzhkp/ 142 名前：デフォルトの名無しさん mailto:sage [2017/04/27(木) 09:25:15.12 ID:wBdpEusi.net] >>140 もしかしてOOCLのこと言ってんの？ とっくにそんなシェア無くなって、今年に入って買収の噂が出るくらい落ちぶれてるぞ 143 名前：デフォルトの名無しさん mailto:sage [2017/04/27(木) 10:07:04.57 ID:Cz6WFEXA.net] 爺さん批判してる奴の知識が爺さんだったか 144 名前：デフォルトの名無しさん mailto:sage [2017/04/27(木) 10:10:47.76 ID:sNquU9cU.net] Smalltalkがどうこう以前にファンやアンチがうんこすぎてわらた 145 名前：デフォルトの名無しさん mailto:sage [2017/04/27(木) 10:12:00.41 ID:/ppzzK1q.net] Smalltalk信者とHaskell信者はよく似てる 146 名前：デフォルトの名無しさん mailto:sage [2017/04/27(木) 12:35:13.63 ID:/s/zy9NN.net] >>141 よく読め。再実装されたのはUIだけだ。あほか？ 147 名前：デフォルトの名無しさん [2017/04/27(木) 13:02:15.04 ID:jfFmbm9g.net] >>146 なんでとても素晴らしいsmalltalkで再実装されなかったの？ 148 名前：デフォルトの名無しさん [2017/04/27(木) 13:17:16.51 ID:+ggBtOYn.net] おそらく同じ言語で再実装するとeachをeach_charに変えたくなるから そんなことするなら言語ごと変えた方が良い 149 名前：デフォルトの名無しさん mailto:sage [2017/04/27(木) 14:09:11.99 ID:Yjb8fh0C.net] >>147 Smalltalk は開発環境含めてあまりにオールインワン過ぎるから。 150 名前：デフォルトの名無しさん mailto:sage [2017/04/27(木) 17:05:36.01 ID:sNquU9cU.net] >>146 そんなどーでもいいことより30%シェア撤回ﾏﾀﾞｰ 151 名前：デフォルトの名無しさん mailto:sage [2017/04/27(木) 20:07:13.14 ID:PwOPvcNg.net] どーでもいいな、クソくだらねえ。 152 名前：デフォルトの名無しさん mailto:sage [2017/04/27(木) 20:28:54.10 ID:zXLo9cW8.net] もう死んでる言語を追い詰めても仕方ないよな 死体蹴りは良くない 153 名前：デフォルトの名無しさん [2017/04/27(木) 22:14:26.81 ID:McKGSVbG.net] もう風化してて蹴るものもないと思ったのに 154 名前：デフォルトの名無しさん [2017/04/27(木) 22:36:43.95 ID:+ggBtOYn.net] 風化すればまた再発明される 過去に同じことがあったと口で言っても証拠が残ってなければ同じことが繰り返される 155 名前：デフォルトの名無しさん mailto:sage [2017/04/27(木) 23:26:29.59 ID:Yjb8fh0C.net] 死んだ言語の死んだ理由ってのは新しい言語の糞機能アピールよりかは勉強にはなる。 156 名前：デフォルトの名無しさん mailto:sage [2017/04/28(金) 08:28:08.68 ID:WPyfQjET.net] 死んだ言語ねえ… 死んでるのはおめーの脳みそだろ？ pharo.org/success 157 名前：デフォルトの名無しさん mailto:sage [2017/04/28(金) 08:55:25.45 ID:j+L8+G8p.net] SmallTalkガイジって一番ガイジだった頃のエンジニアガイジとちょっと似てるな 158 名前：あ mailto:sage [2017/04/28(金) 17:12:11.94 ID:Yq+yDopp.net] >>157 いつでも同じクオリティじゃないか 159 名前：デフォルトの名無しさん mailto:sage [2017/04/28(金) 20:19:57.31 ID:j+L8+G8p.net] >>158 最近文読みやすくなってきてるしちょっとええ感じやで 160 名前：あ mailto:sage [2017/04/28(金) 20:29:25.20 ID:0gV62uUk.net] >>159 まぁ具体的に「パラグラフが長い」「言い回しがくどい」と言われたら、 なるほどと思うし、ちょっと気を付けられるからな。 読みにくい、ガイジか！とだけ言われたら、読みにくいだけならしっかり読めとしか言いたくなくなる。 161 名前：デフォルトの名無しさん [2017/04/29(土) 02:55:48.56 ID:R+WhfS42.net] シミュレーションをより簡略に作成するための新言語開発を。 「ロボットは東大に入れるか」成果報告会 in 2016（11/14）レポート blog.livedoor.jp/dg_law/archives/52354118.html これからはシミュレーションシステムの構築が簡略化されるので、来年のセンター物理は大きく得点が伸びるに違いない。 　スーパーコンピュータでの計算に必要となるプログラムはときに数十万行にも及び、作成やチューニングは大変困難です。 一方で、原理的にはシミュレーションしたい自然現象とその離散化法（注2）を指定すれば、プログラムは機械的に生成できます。 しかし、プログラミングはシミュレーションとコンピュータ双方に深い知識が必要となる非常に高度な作業であり、多数の計算機を 協調して動作させるスーパーコンピュータの性能を引き出す高度なプログラムを、自動かつ汎用的に生成することは不可能でした。 　そこで共同研究グループは、方程式がプログラムに変換されるまでの一連の段階に対応する数学的定義を作りました。 スーパーコンピュータが持つ階層のすべての段階において、自然が元来備えている「並列性」と「局所性」（注3）を保持する変換 を厳密に定めることで、新たなプログラミング言語「Formura」を開発しました。これによって、これまで不可能だったプログラミング の機械化に成功しました。さらにFormuraは、同じアプリケーションに対して何万通りものプログラムを試し、最も速かったものを自動的に選択します。 　Formuraを開発したことで、規則格子シミュレーション（注4）分野においては、自然科学者が慣れ親しんだ方程式の記法を使ってシミュレーション したい対象を記述することで、スーパーコンピュータの性能を引き出すための高度なプログラムが自動的に作成できるようになりました。 気象、地震、宇宙、生態ネットワークの研究など、規則格子シミュレーションを用いる分野の研究の加速が期待できます。 pr.fujitsu.com/jp/news/2016/12/2.html 162 名前：あ mailto:sage [2017/04/29(土) 12:11:59.50 ID:R/nsoadB.net] 投機ベースは確かに分野限られるし、実用例と先端の研究者が解離してる典型だわなぁ。 「5%の不良率で100個発注したら当たり前のように105個納品されてくるようなどっかのおおざっぱな国の発想だ」 と、日本の会社だと反発されるやつ。 ナップサックとか問題持ち出して、モノによっては泥臭く計算せなあかんのやと言うのと、 次は百万台でやっても一つのタスクの不可分な時間以下にはならんのだよ、 を説明して説得して導入するようなものだから。 トポロジ解析と図面生成か何かで原始的なそれやった事ある。 163 名前：デフォルトの名無しさん mailto:sage [2017/04/29(土) 13:21:11.09 ID:rB0Fvmgg.net] >>161 多くの深層学習フレームワークはNN構造をPythonなどで記述すると それをテンソルの計算グラフに変換してGPUで高速計算してくれる。 NN構造や規則格子をさらに簡略に記述したければJuliaがある。 Fomuraの20行のシミュレーション記述も既存の言語でできるはずだ。 つまりシミュレーションをより簡略に作成するために新言語は必要ない。 必要なのは用途毎のフレームワークだ。 164 名前：デフォルトの名無しさん mailto:sage [2017/04/29(土) 18:34:55.63 ID:n+S+CElE.net] 発展し続ける言語とゴミ屑同然に忘れ去られる言語、何が違うんだろうなぁ 165 名前：デフォルトの名無しさん mailto:sage [2017/04/29(土) 19:09:01.68 ID:0nTkChzC.net] 言語の良さを理解して使い続けられる人と、ゴミ屑同然の脳みそですぐに忘れ去ってしまう人、何が違うんだろうなぁ 166 名前：デフォルトの名無しさん mailto:sage [2017/04/30(日) 00:13:09.75 ID:feM/rwNV.net] >>164 覚えやすさとチューニングのしやすさ。 以上。 167 名前：デフォルトの名無しさん [2017/04/30(日) 01:03:20.38 ID:E30HxT2S.net] >>164 いろんなプログラム言語を開発しておいて、その上で『良いとこ取り』で新言語を開発する。 168 名前：デフォルトの名無しさん mailto:sage [2017/04/30(日) 01:49:39.39 ID:9UtCfcRf.net] >>164 バックでしょ Goはグーグル発じゃなかったら「今どき継承もない言語作ったのかよ？ｗ」で即死 169 名前：デフォルトの名無しさん mailto:sage [2017/04/30(日) 01:50:36.87 ID:2awuHSHC.net] >>167 なおScala 170 名前：デフォルトの名無しさん mailto:sage [2017/04/30(日) 09:42:21.85 ID:QitJ8eBZ.net] >>168 実際死んでね？言語としては。 言語として死んでるのをGoogle謹製の周辺ツールで無理やりカバーしてゾンビ化してる感じ。 ゾンビなので一周回って死ににくい。 171 名前：デフォルトの名無しさん mailto:sage [2017/04/30(日) 10:18:39.25 ID:H2bTIgd1.net] どんだけバックが大きくてゴリ押ししても 死ぬときは死ぬ Dartとか 172 名前：デフォルトの名無しさん mailto:sage [2017/04/30(日) 12:02:29.80 ID:kLDfBj4F.net] >>168 >>170 Goは文法が簡単で高性能という特徴がある。 おかげで文法は簡単だが低性能な言語から移行しやすい。 だから難しい言語が選ばれない所で活躍している。 Gopherの道を歩む – Node.jsからGo言語への移行 postd.cc/the-way-of-the-gopher/ Go言語の低レイテンシGC実現のための取り組み postd.cc/gos-march-to-low-latency-gc/ 173 名前：デフォルトの名無しさん [2017/04/30(日) 15:36:43.63 ID:4Q8qZxsi.net] Goって手続き型だろ？ Mainに集中して必要な機能呼び出すだけでいいんだから設計書なしで良さそう 174 名前：デフォルトの名無しさん [2017/05/02(火) 06:00:14.79 ID:IDWdkJdY.net] Mathematica 11.1 | 2017年4月（日本語版） 詳細 ≫ バージョン11.1では，機械学習，ニューラルネットワーク， 音声処理，ロバストな記述統計等の分野における MathematicaおよびWolfram言語の最先端機能が拡張されています． 広範な応用分野に加わった，130を超える新関数 ニューラルネットワークの新しい20種類の層の追加，および再帰型ネットワークと可変長シーケンスのシームレスなサポート NetModelにより，増加し続ける完全なニューラルネットワーク（訓練されたものとされていないものを含む）のリポジトリにアクセス データ，画像，テキスト等の空間を機械学習ベースで可視化するFeatureSpacePlot SequencePredict，ActiveClassification，ActivePredictionを含む，新しい機械学習関数 AudioCaptureを使って音声を直接ノートブック内で録音することによって，すぐに処理・解析することが可能に 2Dおよび3D画像に対する，*，-等を使った計算が可能に 計算写真学と計算顕微鏡学に対するサポートの拡張 ImageGraphicsを使って，ビットマップのベクトルグラフィックスによる近似を求める HilbertCurveやSierpinskiMesh等の空間充填およびフラクタル領域コンストラクタ WinsorizedMean， SpatialMedianを含む，新しいロバスト統計と空間統計 新しいGeoBubbleChartと，Callout，ScalingFunctions等のサポートの拡張 記号次数を持つ導関数のサポート 解像度が高くなった標高データ シームレスに統合されたWeb検索，Web画像検索，テキスト翻訳のための外部サービス セッション間の値をローカル，あるいはクラウド等に保存するための，幅広いPersistentValueシステム クラウド内で個別に編集できるノートブックをシームレスに配布するためのAutoCopy ノートブックベースのスクリプトエディタを使ったWolframScriptの.wlsファイルの生成 Wolfram言語スクリプトの自動実行がWindowsでも可能に ドキュメントセンターおよびオンラインの例題すべてが新しくレスポンシブデザインに https://www.wolfram.com/mathematica/quick-revision-history.ja.html?footer=lang 175 名前：デフォルトの名無しさん [2017/05/02(火) 06:54:00.89 ID:hkg4cpdn.net] 回転放物面の方程式と東大の問題 mathtrain.jp/kaitenhobutsu 「放物線 y = 3/4 - ｘ^2」 を 「y軸の回りに回転させる」 ・・・例えば、こういう操作ができる３次元ＣＡＤって開発されてないんですか？ 統計的機械翻訳では自然言語処理は無理という話も聞いているけれど、高校数学でやることは内容が限られており、 一般的な機械翻訳よりは難易度は低いと思われます。 176 名前：デフォルトの名無しさん mailto:sage [2017/05/02(火) 07:13:28.68 ID:iysKcMgd.net] 3次元CADを名乗っていて回転体を作れないもののほうが珍しいと思うが、 その問題を解けるCADは多くないだろうな。 近似的な数値解が求まることと、解を方程式で表して数式処理できることは全くの別物。 177 名前：デフォルトの名無しさん [2017/05/02(火) 07:39:13.20 ID:IDWdkJdY.net] >>176 ＞その問題を解けるCADは多くないだろうな。 そのための新プログラム言語開発ってことだよな。 178 名前：あ mailto:sage [2017/05/02(火) 11:18:08.85 ID:Ua7wVMyf.net] >>175 ごく当たり前の機能として存在する。 面で切り取る事もできる(面に対する押し出しで、相手方を削り取る感じ) 体積も求められるよ。 拘束条件は厳密だし、カーブを式で入れることもできるから。 ただ、それのために1License300万出す？ 179 名前：デフォルトの名無しさん mailto:sage [2017/05/02(火) 14:54:44.43 ID:iysKcMgd.net] ああ、高精度な数値解を導出することと、任意の拘束条件から方程式を導出することの区別がつかない人がいるようだ。 180 名前：デフォルトの名無しさん mailto:sage [2017/05/02(火) 14:57:14.02 ID:Q2w+FZwb.net] 解析解が必要な場面なのか？これは 181 名前：あ mailto:sage [2017/05/02(火) 17:06:18.52 ID:Ua7wVMyf.net] >>179 うちでつかってるのは数値解じゃなくて方程式まで自由じゃないけど変数の式でも出たはず。あれ内製だったかな。 AutoCADのMASSPROPとかくらいだと、悲しいかな数値解しか出ないけど、カーネルに手を出せる会社ならだいたいその辺持ってると思うよ。 182 名前：あ mailto:sage [2017/05/02(火) 17:07:00.26 ID:Ua7wVMyf.net] もし内製だったら、当たり前の機能として、とは言えんな。 それはすまん。 183 名前：デフォルトの名無しさん mailto:sage [2017/05/02(火) 17:33:48.15 ID:iysKcMgd.net] 任意の方程式を扱えないと、>>175 の問題は解けないよね？ 184 名前：あ mailto:sage [2017/05/02(火) 22:27:44.92 ID:Ua7wVMyf.net] >>183 押出する元の図形をプロシージャルではなくて、曲線定義で描く。 曲線への拘束条件で何を取るか次第だけど、問題文通り入れればそれで良いと思うよ。 ゴールデンウイークは試せないのがもどかしいな。 185 名前：デフォルトの名無しさん mailto:sage [2017/05/03(水) 16:11:10.64 ID:dCKp/m7W.net] Smalltalkって名前だけ変えて次世代言語って紹介されたら 殆どの人は信じてしまうくらい先進的だよね 進歩しすぎてて理解されない不幸な言語 186 名前：デフォルトの名無しさん mailto:sage [2017/05/03(水) 16:33:31.70 ID:RICjVVNj.net] 比較的新しい言語ってvar t : Type形式が多い気がするけどType t形式を利用しなくなった理由ってあるのかね 187 名前：デフォルトの名無しさん mailto:sage [2017/05/03(水) 16:46:20.28 ID:MC+KZ03m.net] >>186 型推論の問題じゃない？多分 188 名前：デフォルトの名無しさん mailto:sage [2017/05/03(水) 16:53:47.90 ID:jNZhewdQ.net] 型を書いたり書かなかったりする場合に記述を大きく変える必要がなくて都合がいいんだろう。 型推論を使う言語とか、動的型言語に型ヒントを追加する場合とか。 189 名前：デフォルトの名無しさん mailto:sage [2017/05/03(水) 17:10:47.34 ID:UME+lawj.net] たとえばC#だと基本はType tで後から型推論var t(: typeはない)を追加した だったら最初から統一的な記法で良くね？ってなる 190 名前：デフォルトの名無しさん mailto:sage [2017/05/03(水) 19:11:09.93 ID:RICjVVNj.net] なるほど 型推論が流行ってる(のかはわからないが)から型推論の書き方+αで書けるようにしたってことか 191 名前：デフォルトの名無しさん mailto:sage [2017/05/03(水) 20:37:23.26 ID:21J3ISub.net] デニス・リッチーも型前置にしたことを後悔していたんじゃなかったっけ？ たぶん型後置の方が合理的という点には大方の一致があって、あとは合理性を取るか、Cの語順に近づけることを取るかっていう感じなんじゃないかな？ 192 名前：デフォルトの名無しさん mailto:sage [2017/05/03(水) 22:01:20.86 ID:mJ/QVcTI.net] >>186 pascalがそういう記法だけど、コンパイル速いのはpascalがコンパイラの都合に合わせた文法だからって読んだことある。 何かしらコンパイラが解釈し易い記法なんじゃね？ 193 名前：デフォルトの名無しさん mailto:sage [2017/05/03(水) 23:27:43.76 ID:AGrCBSz0.net] >>192 Pascalの構文は再帰的パーサを簡単に書けるLL(1)文法なんじゃなかったかな LL(1)ならトップダウンで構文解析できるからパーサは書きやすいしパーサの効率も多分だけど高い Cの場合は、例えば 　　atype; という宣言があった場合、"atype"という識別子が １．typedefで型の名前として既に定義済であれば「変数が指定されてない構文エラー」となるし ２．そうでない場合、"atype"という名前のint型の変数の宣言として扱われ 　　２―１．"atype"という変数が既に宣言済であれば２重宣言のエラー、 　　２―２．そうでなければ正しい変数宣言 となるので、構文解析の際にsymbol tableを参照する必要がある（つまり本質的なレベルで文脈依存文法）ケースが存在するので 当然ながらコンパイラの効率が下がるだろうね 194 名前：デフォルトの名無しさん [2017/05/04(木) 00:37:37.35 ID:lJ9s6a1R.net] 昔のpascalは1パスコンパイラだった。コンパイルの速さはそれもあったかもね。 今のobject pascalはジェネリクスもあるしどうだろう？ 195 名前：デフォルトの名無しさん mailto:sage [2017/05/04(木) 05:29:59.66 ID:TpHQvZsj.net] >>186 v: Type形式なら変数の型だけでなく、式に型をつける構文としてもそのまま使えるから。 196 名前：デフォルトの名無しさん [2017/05/04(木) 09:04:54.52 ID:IvFxbTrW.net] 値の演算だけでなく型の演算として同じ記号を使うのがCのポインタや配列 これは評判が悪かった 悪いのはポインタだけだというのがJava 全部悪いから全部変えるのが次世代 197 名前：デフォルトの名無しさん mailto:sage [2017/05/04(木) 09:34:14.90 ID:L3vkrSi7.net] まあポインタの宣言と参照のための記号に同じ * 使ってんのは今でもなんでなんとは思う。 198 名前：デフォルトの名無しさん mailto:sage [2017/05/04(木) 09:51:37.05 ID:l8/ufUYV.net] 関数の戻り値型の指定はPython,TypeScriptが=>、Swiftだと->が混ざって いまいち統一感がないんだよな。:のままだと構文的にうまくない部分があるんだろうか。 199 名前：デフォルトの名無しさん [2017/05/04(木) 10:09:01.14 ID:g5LPBSe2.net] >>186 C方式に慣らされてるからそう感じるだけであって あれはパースしづらいクソ構文だよ struct S s; を捨てたのは何でだろうと問うべきだよ 200 名前：デフォルトの名無しさん [2017/05/04(木) 10:44:22.27 ID:IvFxbTrW.net] そもそも静的型が悪いと思えば単純明快だな 静的型は悪くない、だがジェネリクスは不要、ただし Array<T> 等はこっそり入れておく こんな状態で統一感（笑）を期待する方がおかしい 201 名前：あ mailto:sage [2017/05/04(木) 11:53:43.54 ID:iOTKQL/7.net] >>200 思いっきりGoだな。 まぁ、Goに統一感なんか無いし、期待してはいかんw あれは誰でもかける便利な言語だよ。 一切の原理原則以外を排除する崇高な思想で作られた芸術品ではなくて、 「その辺にある便利そうなものを誤謬矛盾なく突っ込めるようにそれなりにルール作りました。 　とりあえずこのルール破ると突っ込めなくなるからやめてね。コンパイルさせないよ。」 という、実用のためのルールが細かいのがGoだよ。 電動ドリルのチャックとビットの規格みたいなもん。 「対称性がなくなるからこのメソッドを実装する」という発想ではない。 202 名前：デフォルトの名無しさん [2017/05/04(木) 12:29:38.64 ID:IvFxbTrW.net] 原理原則というのは崇高な思想じゃなくて無駄な仕様変更の防止という実用の技術だ 203 名前：デフォルトの名無しさん mailto:sage [2017/05/04(木) 12:53:07.54 ID:g5LPBSe2.net] なんだ PHP だったのか 204 名前：あ mailto:sage [2017/05/04(木) 13:45:55.83 ID:iOTKQL/7.net] >>202 口実やね。 専用品と汎用品なら、圧倒的に前者の方か仕様変更の回数は少ない。 無理に延命したり使いましたりしたいからこそ、よくわからん仕様変更するハメになる。 無駄な仕様変更なら、最初からしなけりゃいいんだよ。 無駄なんでしょ。 使い捨てを使い捨てと認識する事こそがスタート地点。 歯が折れたら取り替えたいし、違う歯を使いたいからチャックがあるんだから。 歯の代わりにバフ付けることも出来るけど、それに対して仕様変更なんか要らないでしょ。バフを新規に作るだけじゃん。 置換原則出してきて証明する必要も無い。 >>203 そうだ、と言う認識だなぁ、俺は。 PHPも同じ理由で、いろんな意味でとても潔い言語だと思うよ。 205 名前：デフォルトの名無しさん mailto:sage [2017/05/04(木) 15:09:17.79 ID:TpHQvZsj.net] 言語設計とドリルチャックを一緒くたとか…完全に呆れた 206 名前：あ mailto:sage [2017/05/04(木) 17:00:05.42 ID:iOTKQL/7.net] 呆れるなら簡単だからな。 どう違うかをきっちり教えて欲しいわ。 本当に勉強になったら素直に勉強になったと言うことにしてるし、実際何度もそうレスしてるよ。 言語なんて外から見たときに一意に呼び出し規約や入出力が決まってりゃそれでいいんだよ。 これでも素晴らしい言語とやらを5個10個と多数見てから言ってるんだけどな。 それ以上の、実用性以上の思想の旗を振りたいなら、何故その思想が必要か語ってほしい。 207 名前：あ mailto:sage [2017/05/04(木) 17:07:42.27 ID:iOTKQL/7.net] しかし、式に型をつける構文が後置だから出来るのは本当なのかな。 キャストの前置や後置と何か違うのかなぁ。 って考えたら「宣言文 名前 型」の方が遥かに簡単にパースできるなって思わんのかな。 式に型をつけるってのも、コンパイラに教える意味での型か、キャストの型か2つの意味あるけど、どっちの事かな。 疑問。 208 名前：デフォルトの名無しさん [2017/05/04(木) 21:21:01.22 ID:IvFxbTrW.net] >>204 多分それは使い捨てではなく交換 これを捨てる代わりにあれが欲しい 見返りがあれば捨てるが無条件に捨てられそうになったら使い捨てに反対するだろう 209 名前：デフォルトの名無しさん mailto:sage [2017/05/04(木) 22:18:26.60 ID:L3vkrSi7.net] むしろ変な原理原則に縛られてる方が糞仕様の増加を招くのだが。 haskell みたいにな。 210 名前：デフォルトの名無しさん [2017/05/04(木) 22:34:29.63 ID:IvFxbTrW.net] 確かに、関数型とかいう変な原理でHaskellを理解しようとしてるならやめた方がいい 静的型の原理だけで理解できるから 211 名前：あ mailto:sage [2017/05/04(木) 22:35:23.26 ID:iOTKQL/7.net] >>208 「交換できる、交換出来ない」と「使い捨てである、改良を加えて連用する」は同時にどの組み合わせも成り立つのでは？ これを捨てる代わりに、これと同じ機能プラスαの新ライブラリを作る、みたいな話で、 完全に前方後方互換の代替品であるかもしれないし、そうではないものかもしれない。 そういう意味では、無条件に捨てる事ができるってのは立派な見返りだよ。 212 名前：デフォルトの名無しさん mailto:sage [2017/05/04(木) 22:36:44.00 ID:hGwzsYkf.net] 良いんだよ。 Haskellは美しさが売りなんだから。 むしろ美しさを保ったまま、どこまで実用的なの作れるかが楽しいんだよ。 そう言う意味じゃsmalltalkと同じ、純粋xx言語でxxの真髄理解するなら〜って言語であって、次世代言語じゃあない。 213 名前：あ mailto:sage [2017/05/04(木) 22:36:44.02 ID:iOTKQL/7.net] >>210 ならPrologの方が賢いし、Scalaの方がまともだし、Lispの方が最低限の原理から出来てるから、Haskellは要らない子だな。 214 名前：あ mailto:sage [2017/05/04(木) 22:39:24.44 ID:iOTKQL/7.net] >>212 それそれ。エスペラント語とかロジバンみたいなもん。 実用的ではないけど面白いのは認める。 215 名前：デフォルトの名無しさん mailto:sage [2017/05/05(金) 01:26:49.15 ID:xfO5LNpr.net] Haskellは代数的データ型が便利 何気にあのレベルに便利な型システム他に見ない 216 名前：あ mailto:sage [2017/05/05(金) 03:41:35.36 ID:05XvGSte.net] >>215 OCamlの方がシンプルかな。 Haxeの方が記法はきれい。 Kotlinはいささか冗長で使い物になるのかな？みたいな羊感出てるけど、when使うときに逆に便利になる。 217 名前：デフォルトの名無しさん mailto:sage [2017/05/05(金) 05:49:16.66 ID:IB1/E975.net] SmalltalkとHaskellは使ってみるとゴミと分かる二大巨頭 信者が煩いとこもソックリ 218 名前：デフォルトの名無しさん mailto:sage [2017/05/05(金) 07:09:34.37 ID:+77JIYq6.net] >>217 アンチがウザいのもそっくりだよね 219 名前：デフォルトの名無しさん mailto:sage [2017/05/05(金) 07:18:58.13 ID:IB1/E975.net] >>218 どっちの信者？ 220 名前：デフォルトの名無しさん mailto:sage [2017/05/05(金) 07:39:38.28 ID:dc5WkLcd.net] >>217 アンチが無知なのもそっくりだよね 221 名前：デフォルトの名無しさん mailto:sage [2017/05/05(金) 08:48:03.35 ID:2f8pCQ29.net] IntelliJとかのマトモなIDEを使った後に Smalltalkの時代遅れのIDEモドキ？を使ってみると、 終わった言語の進化に取り残されてる感がよく分かるし こんな出来損ないを使うの強制されるSmalltalkerって哀れだなーって優しい気持ちになれるよ 222 名前：デフォルトの名無しさん mailto:sage [2017/05/05(金) 09:20:19.67 ID:7NmAzLlS.net] >>221 言語としてはどこらへんがゴミなの？ 223 名前：デフォルトの名無しさん mailto:sage [2017/05/05(金) 09:39:59.96 ID:2f8pCQ29.net] >>222 動的型言語の中ではぶっちぎりで冗長なコードになるところ 224 名前：デフォルトの名無しさん [2017/05/05(金) 09:54:56.24 ID:WrAdTxbV.net] 文字列クラスを改変したら元に戻せないという話はSmalltalkにも当てはまるのかな 文字列クラスクラスがあれば壊れたクラスを使い捨てて新品のクラスに交換できるのに 225 名前：デフォルトの名無しさん [2017/05/05(金) 10:13:52.40 ID:b5hiFaeg.net] >>224 クラスが壊れるという事自体が糞めんどくさい 226 名前：デフォルトの名無しさん mailto:sage [2017/05/05(金) 13:00:01.57 ID:tVaTXT91.net] Smalltalkっていうか遅延結合の徹底ってスタイルは人類には早すぎたんだな 227 名前：デフォルトの名無しさん mailto:sage [2017/05/05(金) 16:27:38.21 ID:lho11o7a.net] RESTful API等でサービス間を遅延結合するのは流行ってるしメリットがあるけど ひとつのプロセス内で遅延結合しても意味が無い アホは適切な抽象化レベルってものが分からないから やりすぎてナンセンスになっちゃうんだよね Smalltalkはアホがナンセンスなデザインした結果死ぬべくして死んだ言語 228 名前：デフォルトの名無しさん mailto:sage [2017/05/05(金) 17:23:18.30 ID:9atsKcF/.net] Haskellは遅延評価が本当に苦痛すぎる あの辛さはやってみるまで想像もつかなかった 229 名前：デフォルトの名無しさん mailto:sage [2017/05/05(金) 17:51:23.35 ID:tVaTXT91.net] Smalltalkにおいて「遅延結合の徹底」に期待されるのは通常の言語で想定されるそれとは違って システム構築中に得られた新たな知見を、既に構築済みだったり運用中の部分へ適用できたり オブジェクトとそのストアを長期にわたって運用し続けるために細胞の新陳代謝を模した試みだから metatoys.org/oxymoron/oxymoron.html '70年代からほんの数回の再起動で動き続けている同システムは狙いとしては成功しているんだよね 230 名前：デフォルトの名無しさん mailto:sage [2017/05/05(金) 17:51:28.56 ID:RNJ7gaAH.net] 無限リスト扱えるし便利でもあり、バグ取りで厄介でもあるね。 RWHにその辺の解決策載ってるから手元に置いとくと良い。 231 名前：デフォルトの名無しさん mailto:sage [2017/05/05(金) 17:51:33.32 ID:xTb1W+Ca.net] 馬鹿は抽象化することがなんでもえらいと思ってるからね。。 232 名前：あ mailto:sage [2017/05/05(金) 19:50:22.56 ID:05XvGSte.net] >>227 意味無いとは言わんがなぁ。 プロセス内でもプロトコル決めてやっとくと、あとでスケールするとか、 固まりへのインアウトが自ずと決まるから可換だと言いやすいとは思う。 やりすぎると自分の重さで死ぬだけで。 233 名前：デフォルトの名無しさん mailto:sage [2017/05/05(金) 20:29:10.87 ID:RNJ7gaAH.net] FacebookでHaskell採用されたね。 234 名前：デフォルトの名無しさん mailto:sage [2017/05/05(金) 20:49:47.45 ID:JET5JsI8.net] >>216 Haskellと比べてOCamlがシンプルって SMLと勘違いしてない？ 235 名前：あ mailto:sage [2017/05/05(金) 20:51:14.85 ID:05XvGSte.net] >>234 してないよw シンプルってのは字数が少ないって意味じゃないぞ。 236 名前：デフォルトの名無しさん mailto:sage [2017/05/05(金) 21:21:35.63 ID:JET5JsI8.net] >>235 そんなら勘違いしてるね 237 名前：デフォルトの名無しさん mailto:sage [2017/05/05(金) 21:31:07.05 ID:n4hNDFR+.net] 全然関係ないけど、字数が少ないコードって一目で取れる情報が多くて読みやすくて好きだわ

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef