X
次世代言語議論スレ[Go Rust Scala Haskell]第5世代 [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
0587デフォルトの名無しさん
垢版 |
2017/08/05(土) 12:37:44.56ID:ioSmFHmD
Ceylon は消えるだろうな。キラーアプリが出てくれば別だけど。
（Ruby がRailsで一発当てたみたいに、すごいソフトが出てくればの話だけど）
0588デフォルトの名無しさん
垢版 |
2017/08/05(土) 12:38:46.91ID:ioSmFHmD
最近のKotolin 推しって何なの？
一時期Scala を押していた人たちがKotolin に移っているのかな？
0589デフォルトの名無しさん
垢版 |
2017/08/05(土) 12:56:21.44ID:r+UIi6ic
Androidもしらないサーバーサイドお爺ちゃん
組み込み曾お爺ちゃんの後を継ぐのは君だ
0590デフォルトの名無しさん
垢版 |
2017/08/05(土) 13:04:32.77ID:wQFjSmwa
きっかけはAndroidの件だけど、Kotlinを話題にしてるのはサーバーサイドの連中が中心だろう
Android開発なんて金にならない三流分野で、プログラミングのメインストリームを変えるような影響力なんて無いよ
0591デフォルトの名無しさん
垢版 |
2017/08/05(土) 13:16:01.72ID:POjfJmBG
今はなんとなくSwiftやTypeScriptのような言語が流行っている雰囲気があるから。
Java/Android界隈の人も var 変数 : 型 って書きたいんだろう。
0592デフォルトの名無しさん
垢版 |
2017/08/05(土) 15:02:06.08ID:j/cNGuAY
>>590
プログラミングのメインストリーム変えるような連中は、Android開発だろうとサーバサイドだろうとなんでもできるフルスタックが多いんじゃない？
0593デフォルトの名無しさん
垢版 |
2017/08/05(土) 15:05:18.69ID:RDrQu3eT
var 変数 で型推論してくれるのが前提の書き方のはずで
関数型言語だと「型注釈は（コンパイラが失敗するまで）書くな」だけど
: 型 つけないとコンパイラに怒られまくるなら最初から書いとくのも仕方ないね
0594デフォルトの名無しさん
垢版 |
2017/08/05(土) 15:37:15.82ID:wQFjSmwa
>>592
フルスタックな人ならクライアントに置くコードは最小限にするはずだから、
Androidアプリを何で書くかなんて深く議論するに値しない些細な問題だよ
0595デフォルトの名無しさん
垢版 |
2017/08/05(土) 15:51:07.66ID:5/nXCXeI
>>593
>関数型言語だと「型注釈は（コンパイラが失敗するまで）書くな」だけど
誰がそんなデマを言いふらしてるんだ？
0599デフォルトの名無しさん
垢版 |
2017/08/05(土) 19:21:58.27ID:j/cNGuAY
まぁ書かないのが良いとはされてるが、プロダクションコードはコード規約とかで、全てに型注釈入れろとしてるとこが多いね
0606デフォルトの名無しさん
垢版 |
2017/08/06(日) 03:34:23.31ID:0wpHTVIH
OCamlとか死んだ老害言語の話はしてないから
耄碌お爺ちゃんはあっち行ってて
0609デフォルトの名無しさん
垢版 |
2017/08/06(日) 04:54:54.04ID:X6yw5Nga
もしかして式一つずつに型注釈入れるとでも思ってるのかね
そんなのJavaですらやらんよ？

HaskellやScalaは少なくとも各モジュールのトップレベルの関数には型注釈つけるし、つけないと効率悪くなる
コンパイル遅くなりやすいし、推論に頼りすぎるとエラー時に問題箇所が曖昧になるから
0610デフォルトの名無しさん
垢版 |
2017/08/06(日) 07:49:45.80ID:K4D4wFtM
書いても書かなくてもよいというのが客観的事実だから
理系なら話はそれで終わり
それ以上踏み込むのは文系の仕事
0614デフォルトの名無しさん
垢版 |
2017/08/06(日) 11:40:40.31ID:+mclrVGG
>>613
よく知らないけど金融で使ってる人がいるらしいのと、最近機械学習で使ってる輩がいるらしい
0618デフォルトの名無しさん
垢版 |
2017/08/06(日) 14:51:53.14ID:9I48IW8u
ocaml, haskell の比較

ttp://d.hatena.ne.jp/camlspotter/20101212/1292165692

まあ極論抜きにして普通に考えればこういうことだろうなという印象。
0619デフォルトの名無しさん
垢版 |
2017/08/06(日) 15:00:38.52ID:X6yw5Nga
>>618
この人は良く分かってるなあ
純粋言いながらunsafePerformIO使うって件はまさにその通り
結局このIO書くときの面倒さがあるから、ScalaやOCamlのが使いやすい印象になってしまう
0620デフォルトの名無しさん
垢版 |
2017/08/06(日) 16:21:58.97ID:HqZ4NE4V
割り切れば楽なのにと思ったりもするｗ

純粋とは副作用有りと無しを分けて書くことで
try-catchで正常処理とエラー処理を分けて書くようなものだ
0621デフォルトの名無しさん
垢版 |
2017/08/07(月) 11:39:10.26ID:tDzZ+7xU
>>620
ちょっと脇道にそれるけど
try-catchって言うほど正常処理とエラー処理をきれいに分けられる？
goのようにその構文を捨ててる言語があるとこも考えると
いうほど価値あるのかなって思う。

あと関数型だとEither型とかもあるよね。
0622デフォルトの名無しさん
垢版 |
2017/08/07(月) 12:10:20.41ID:r7C/NYo5
>>621
返り値が一つしかない言語では有能機能だった。多値返却が当たり前になりつつある今はもう……
0623デフォルトの名無しさん
垢版 |
2017/08/07(月) 12:28:03.34ID:tDzZ+7xU
>>622
まぁ。それでもリストなりタプルで返せば一緒だけどね。
前の会社の上司がphpの関数の返却値を必ず配列で返してたの思い出した。
言語としての基本方針がそうなっているかどうかだよなー。
結局誰かがそういう実装にしてもメンテする過程で混在しちゃったら地獄と化す
0624デフォルトの名無しさん
垢版 |
2017/08/07(月) 12:37:33.59ID:tDzZ+7xU
elixirの言語仕様の中に、結構何これかっこいいって仕様がたくさんあった気がする。

例えばパイプ演算子とか、
バイト配列に対するパターンマッチとか。
0625デフォルトの名無しさん
垢版 |
2017/08/07(月) 14:18:21.77ID:JP8gCgB5
OCamlでは常備薬だったよ>パイプ演算子
haskellの$や.より読みやすくて好きなんだけど、関数型も取り入れててオブジェクト指向もサポートしている言語だと、
メソッドチェーンでええやん勢がいるのが難点
自由度はパイプの方が高い気がするんだがな
0629デフォルトの名無しさん
垢版 |
2017/08/07(月) 20:45:36.62ID:n9zFQLuH
>>628
すべての言語はすべからくパクりパクられの関係であるといえる。
一番言語を上手く作れている会社だと思うけど >MS
と言うか開発環境セットでいい感じ。
vscodeの完成度は高い。TypeScript大好き。
ただTypeScriptはあくまでESの型拡張に限定してるからES側に機能追加がないと
言語として成長できないという問題はある。

ドッチかというとFacebookが言語開発イマイチ感
Hackとかflowとか
0630デフォルトの名無しさん
垢版 |
2017/08/07(月) 20:52:47.52ID:E9IdpB60
>>629
BASICっぽくないのにVisualBASICとか名前をパクってるってこと
他の言語は移行者を配慮してだが、MSは騙す努力ばかりに見える
開発環境とセットというのがまたダメだ
プログラマによる変革が生まれにくい
単なる作業者ならいいが
0631デフォルトの名無しさん
垢版 |
2017/08/07(月) 21:02:50.52ID:n9zFQLuH
>>630
俺もちょい前まではMS気に食わなかったし
vscodeが最初登場したときは、なにこれatomパクって車輪の再発明？
みたいな感じだったが使ってみてハマった。
別に開発環境で囲い込もうってわけでもないと思う。

一緒にlangage server protoolというのも定義して公開した。
IDEと言語サーバ間のプロトコルを共通化し対応するEditorならなんでも使えるようにする。

gccがサポートしてるってニュース見たよこないだ。
ということで最近のMSはオープンソースとの関係がよい。気がする。
0632デフォルトの名無しさん
垢版 |
2017/08/07(月) 21:36:59.12ID:NP3377Zu
>>629
FBだけじゃなくてGoogleもイマイチ
DartやGo
0635デフォルトの名無しさん
垢版 |
2017/08/07(月) 22:03:25.57ID:JP8gCgB5
Electronベースのエディタとしては後発なのに他を追い抜いたのが凄いわ>vscode
vscodeはatomやbracketと同じElectronベースなのにどうしてあんなに軽いのかね
0636デフォルトの名無しさん
垢版 |
2017/08/07(月) 22:19:19.22ID:NP3377Zu
>>635
MSは長い間VS作ってるしエディタとかIDEのノウハウが凄いのでは
0637デフォルトの名無しさん
垢版 |
2017/08/07(月) 22:34:23.14ID:60+6AuiC
構造化BASICの正統進化なんだけど
ついでに8bit機にのってたようなのは当時既にストリートBASICって言われてた
（漏れもwikipediaで知ったんだけどさｗ）
0640デフォルトの名無しさん
垢版 |
2017/08/07(月) 22:56:31.90ID:BjLAzK5L
一歩の作者が悪いんや…
すべからく…べし、の形すら守ってないと俺はそれ以降の文章はスキップする
読む価値がない
0644デフォルトの名無しさん
垢版 |
2017/08/08(火) 01:43:32.85ID:lBJjevEI
vscode はむしろマイクロソフト内の若手が爺どもにぶちぎれて
まったく別路線のものをつくったという印象
0645あ
垢版 |
2017/08/08(火) 08:04:36.27ID:y4ztJzgK
>>630
いわゆるMS BASICからQUICKBASIC→Visual Basic→VB.netと辿っていけばわかるけど、普通にMicrosoft系のBASICだと思うけど。
どの辺がBASICっぽくない？
0646デフォルトの名無しさん
垢版 |
2017/08/08(火) 11:58:13.44ID:1MHxdJ+Z
>>643
typescriptもjsに変換されるから無関係
V8エンジンが速いという条件ならatomも同じだぢ
0647デフォルトの名無しさん
垢版 |
2017/08/08(火) 11:58:30.92ID:1MHxdJ+Z
x だぢ
o だし
0648デフォルトの名無しさん
垢版 |
2017/08/08(火) 14:24:25.13ID:Apkyawzp
>>646
それは言われなくても分かる。
素のES2015よりメンテナンス性や安定性が向上しないかな。
例えばnull安全なコードがかけるからnilチェック漏れとかを潰せるし。
プラグインもtypescriptでかくから少しましになる？
0649デフォルトの名無しさん
垢版 |
2017/08/08(火) 16:22:17.89ID:1MHxdJ+Z
>>648
それはそうだけど、>>635から始まったvscodeのパフォーマンスの話してるからtypescriptであるかは関係ない
0653デフォルトの名無しさん
垢版 |
2017/08/09(水) 08:59:18.22ID:FPEvL6ue
簡単そうに見えても結局それぞれの場所でオブジェクト開放を
うまくやらなきゃならんことを考えれば大して楽になるわけでもない。
0654デフォルトの名無しさん
垢版 |
2017/08/09(水) 12:40:14.22ID:aEwDYdDe
VSCodeでインテリセンス技術をオープンソースにしたのは地味に画期的なことだと思う
IDE分野でのMSの強さを支えるコア技術だよね
0655デフォルトの名無しさん
垢版 |
2017/08/09(水) 13:12:03.09ID:ZSp2lruc
Goはパターンマッチないのに例外を戻り値で返すからあんな面倒な事になってるんだろ
0656デフォルトの名無しさん
垢版 |
2017/08/09(水) 19:01:09.05ID:FPEvL6ue
その言い方だと例外投げられればいいのかパターンマッチが導入すればいいのか
わからんが。
どっちかもしくは両方あれば楽になったとでも？

プログラム書く上でまったく本質的な制約だと思わんな。
0658デフォルトの名無しさん
垢版 |
2017/08/09(水) 19:25:58.05ID:ZSp2lruc
>>656
どちらか欲しい
両方ないのはキツイ
0659デフォルトの名無しさん
垢版 |
2017/08/09(水) 19:26:26.92ID:ZSp2lruc
あと複数の戻り値じゃなくてタプル+単一戻り値の方が扱いやすい
0662デフォルトの名無しさん
垢版 |
2017/08/09(水) 20:19:16.67ID:jK6ObLbS
+演算子をorの意味で使ってるのか?
それだとタプルを返した時は単一ということになるか
単一の意味も違うのかもしれない
0663デフォルトの名無しさん
垢版 |
2017/08/09(水) 20:44:15.24ID:h3UNfnj7
形式的にだけど、返り値はタプル一つになっていて、それを分配束縛してることになってなかったっけ？
違ったかも
0665デフォルトの名無しさん
垢版 |
2017/08/09(水) 21:22:14.98ID:SHgM+TeI
タプルとEitherはC言語のstructとunionに戻るようなものだからな
次世代の面子が潰れる
0666デフォルトの名無しさん
垢版 |
2017/08/09(水) 21:38:43.55ID:cB8pPRbn
goの戻り値がタプルのほうが嬉しいという気持ちはわかる。
自作の型に自由にメソッド生やせるのに、メソッドチェーンしようとした場合に、多値を返されると無理。
0667デフォルトの名無しさん
垢版 |
2017/08/09(水) 22:04:04.13ID:ZSp2lruc
>>666
golangは本当メソッドチェーンが出来ないよな
0668デフォルトの名無しさん
垢版 |
2017/08/09(水) 22:51:13.67ID:cB8pPRbn
まぁそういう弱点ありつつもgoは嫌いじゃないんだけどね。
エコシステムの部分とか。

import文にgithubのurl?を書けたり。

標準ライブラリのコードが自然に見にいけるから書いている最中も勉強になるし、標準ライブラリが教科書的な役割をはたしてくれたり。

コードフォーマットが標準装備で言語仕様的に制約が強いから構文規約は一つしかないところとか。

と言いつつも他の言語を見て羨ましくもあり。もっと関数型チックになってほしいけど無理かな。
0669デフォルトの名無しさん
垢版 |
2017/08/09(水) 23:57:18.80ID:ECmmt/Ev
メソッドチェーンが遺物だと気づけw
Goは意図的にメソッドチェーン出来ないようにしてるんだ
0670デフォルトの名無しさん
垢版 |
2017/08/10(木) 00:20:35.92ID:eLvHxdUn
パイプライン演算子の便利さを考えるとメソッドチェーンもそこまで悪くない気もするが、使い方次第かねえ
0672デフォルトの名無しさん
垢版 |
2017/08/10(木) 01:40:12.18ID:+tFBM5sG
パイプラインの方が柔軟性高くていいよね
do_something foo |> lambda x => x + other_fun bar |> ...
みたいな前の戻り値のメソッドに限定しない書き方ができる

これをもっと楽にするような記法、例えばパイプラインの式中のアンダースコアは前の値とする、みたいなのがあると嬉しい
上のやつと等価だったらdo_something foo |> _ + other_fun bar |> ... みたいな
0673デフォルトの名無しさん
垢版 |
2017/08/10(木) 01:51:16.15ID:eLvHxdUn
Juliaでそのアンダースコア議論されてて、結局実装されなかったんだよなたしか
0675デフォルトの名無しさん
垢版 |
2017/08/10(木) 01:55:26.39ID:eLvHxdUn
2番目の引数を先に埋めてアンダースコアは一番目にしたいパターンがあるので、どちらかと言うとカリー化は好きじゃないなあ。設計が悪いと言われたらそれまでだけど

Juliaの場合は多重ディスパッチを採用している関係でカリー化は諦めたっていうのもあったな
0676デフォルトの名無しさん
垢版 |
2017/08/10(木) 03:00:14.84ID:J41+5nHx
>>665
いやだからEitherモナドはMaybeみたいに正常系だけ書いていけるし単値だしで全然違うって
なんで皆使ったことも無いのにそんな事言うの…
0677デフォルトの名無しさん
垢版 |
2017/08/10(木) 07:31:11.02ID:EsQl4Iyt
単純にノイズが増えるだろう
現実にはほとんどの関数がエラーを返す可能性を持ってるんだから、言語に織り込んでデフォルトを Error | Result とするのは悪いアイデアではない
0679デフォルトの名無しさん
垢版 |
2017/08/10(木) 23:01:38.31ID:g9gtECZC
(Elixirは？動的型付け言語に人権はありますか)
0680デフォルトの名無しさん
垢版 |
2017/08/11(金) 07:15:28.72ID:VinUUXdS
ほとんどの動的型言語ってそれが動的型であるメリットは特に無くて
単なる処理系実装者の怠慢でしかない
動的型言語を推すならまずはそれが動的型でなければならない理由を示すこと
0681デフォルトの名無しさん
垢版 |
2017/08/11(金) 08:32:31.97ID:wS48fUKa
lisp とか仕様をシンプルにできることかな。
あほみたいに仕様が膨らんで意味の分からんキャストをがばがばおこなわなきゃならん
みたいな不自然なことで生じるバグは減る。
0682デフォルトの名無しさん
垢版 |
2017/08/11(金) 08:51:11.85ID:Pc9UeBFi
>>680
怠慢に寛容になると嘘をつく人間が減るから
自分はなにもしないくせに他人の嘘をデバッグするのだけはうまい奴がいる
そういう奴がいても許されるから嘘が減る

怠慢を許さない環境では忙しくて嘘を見抜く暇もないから嘘が蔓延する
0683デフォルトの名無しさん
垢版 |
2017/08/11(金) 08:56:57.66ID:wWK8j68x
そもそも型が必要な理由が分からん。
数学なら「整数型のxが・・・」なんて言わないしな。
「ここでxは整数とする」はあるけど、条件に過ぎないし。
リストやタプルも分ける必要ある？
0684デフォルトの名無しさん
垢版 |
2017/08/11(金) 10:46:48.12ID:4bbWTV9L
372仕様書無しさん2017/08/11(金) 10:31:43.41
フリーランスで検索すると引っかかる零細ITがやっているサイトだめだ。
高額に見せているけど実際は50万前後
JIET加入した方がいいよ。案件は毎日千件以上末端価格は60万円　平凡な稼働時間の80万円の案件もある。
ユー子が求人をだしてる。名刺も渡せる。ユー子に名刺を渡せるんだぞ。夢のようだ

それらの案件まさぐってHPで転売していたのが零細ITがやるフリーランスサイト
0685デフォルトの名無しさん
垢版 |
2017/08/11(金) 11:00:48.00ID:HT0ZPb79
>>683
型はその条件をいろいろ細かく定義したものだろ。
値域や定義域だって型。
0686デフォルトの名無しさん
垢版 |
2017/08/11(金) 11:17:57.35ID:Dik+7mIk
動的型の問題って関数のインターフェースがガバガバなところでしょ？
elixirはパターンマッチで結構制約できるから動的だからって卑下する必要ないのよ
■ このスレッドは過去ログ倉庫に格納されています
ニューススポーツなんでも実況