- 1 名前：デフォルトの名無しさん mailto:sage [2017/06/13(火) 08:54:07.99 ID:O1HnBMDk.net]
- いざ、語ろうぞ。
スレタイ超過のため、一部省略。
その他もウェルカム。
前スレ
次世代言語議論スレ[Go Rust Kotlin Scala]第4世代
mevius.2ch.net/test/read.cgi/tech/1492631007/
- 520 名前：デフォルトの名無しさん mailto:sage [2017/07/24(月) 22:54:59.07 ID:z9tFLcNk.net]
- 抽象化してなんでも隠蔽すればいいと思ってるのはカスだってばよ。
- 521 名前：デフォルトの名無しさん mailto:sage [2017/07/24(月) 23:19:09.18 ID:mIkz9O7d.net]
- 必要なモノまで隠蔽した結果メクラガイジになったペチプァ〜〜〜〜さん達の悪口はやめたまえ
- 522 名前：デフォルトの名無しさん mailto:sage [2017/07/24(月) 23:22:26.66 ID:rj0vQMEu.net]
- >>510
分散オブジェクト指向はJavaも.NETもWindows(COM)もとっくに通った道だろ
デプロイの単位とモジュールの単位とが一致しない技術を人間はうまく扱えないんだよ
- 523 名前：デフォルトの名無しさん mailto:sage [2017/07/25(火) 00:06:02.77 ID:Wg5FapHh.net]
- ネットに送信するメッセージは文字列と決まっている
だがOOPは抽象的過ぎたのでメッセージとは何かを決めることができなかった
- 524 名前：デフォルトの名無しさん mailto:sage [2017/07/25(火) 00:20:13.19 ID:6voESBgd.net]
- gz圧搾した中韓言語送ればええじゃん
- 525 名前：あ mailto:sage [2017/07/25(火) 01:55:35.53 ID:lgBfQhyF.net]
- php書くとき、型は気にするのでは？
eqeqeq使えないじゃん
- 526 名前：デフォルトの名無しさん mailto:sage [2017/07/25(火) 06:59:52.83 ID:6voESBgd.net]
- >>518
静型言語よりもっと型気にせにゃいかんのに
チーム開発で使うと、知らない初心者、気にしないバカ、ケアレスミスが組み合わさって
ほぼ確実にモンスターと化す
- 527 名前：あ mailto:sage [2017/07/25(火) 08:31:31.28 ID:Yx6+jkpX.net]
- >>519
あー、その地雷は理解できるわ。
型がないからうんぬんペチプァーと言ってるようなやつは前者の2つどっちかって印象。
あの道具に徹する姿勢好きなんだけどね。
気をつけて使うとそこそこまともだし。
敢えてfalsyなものを扱う勇気も要るけど。
気をつけたくないやつには向いてない言語。
言語仕様が破綻してるってのもまぁ、php3の時点であれだったのに、その後また使える文字減ったし、諦めるしかない。
- 528 名前：デフォルトの名無しさん mailto:sage [2017/07/25(火) 08:57:41.36 ID:SyNDf/s0.net]
- falsy って何やねん？
- 529 名前：あ mailto:sage [2017/07/25(火) 10:08:41.40 ID:Yx6+jkpX.net]
- >>521
評価した結果falseとみなされる値。
- 530 名前：デフォルトの名無しさん mailto:sage [2017/07/27(木) 00:19:42.46 ID:2FlrvgGr.net]
- 使い捨てのモックとしてならまだしも
そこそこの規模の開発で使って苦しんでる連中は
ただのバカとしか思えんわ
- 531 名前：あ mailto:sage [2017/07/27(木) 11:12:41.51 ID:A4iX0nN0.net]
- >>523
既存コード捨てられない病の人居るからねぇ。
あとはフレームワークしか使えない病の人とか。
- 532 名前：デフォルトの名無しさん mailto:sage [2017/07/27(木) 11:56:41.88 ID:T03zDTBA.net]
- Lispは神の言語
- 533 名前：デフォルトの名無しさん [2017/07/27(木) 15:33:01.66 ID:dBtvUIpG.net]
- forthは？
- 534 名前：デフォルトの名無しさん mailto:sage [2017/07/27(木) 16:20:31.74 ID:gEdE1/qh.net]
- May the Forth be with you!
- 535 名前：デフォルトの名無しさん mailto:sage [2017/07/27(木) 18:56:32.71 ID:L9OidomQ.net]
- 5月専用言語ってことか。
- 536 名前：デフォルトの名無しさん mailto:sage [2017/07/27(木) 19:42:40.59 ID:rQ7K04i3.net]
- mlが黄泉から還って左目を洗ったときにsmlが産まれ、右目を洗ったときにOCamlが産まれ、
鼻を洗ったときに産まれたのがF#であるらしい
- 537 名前：デフォルトの名無しさん mailto:sage [2017/07/30(日) 23:52:50.44 ID:W7NHR4pI.net]
- elmの話題が無いみたいだけど触ってる人いないの？
elmの影響を受けたというreduxをtyprscriptから使ってるけど、
reducerを書くのにimmutable.jsを導入してみたらtypescriptと相性があまり良くなくて悲しい。
どうせならelm触ったほうが幸せになれんのかしら。
- 538 名前：デフォルトの名無しさん mailto:sage [2017/07/31(月) 02:15:29.10 ID:iyeoTq8u.net]
- 低レベル記述は出来なくてもいいから、短く書けて速いバイナリを吐く言語ってなんだろ？
- 539 名前：デフォルトの名無しさん mailto:sage [2017/07/31(月) 02:49:09.85 ID:RkZnFpRc.net]
- nimとcrystalは？
- 540 名前：デフォルトの名無しさん mailto:sage [2017/07/31(月) 09:34:17.04 ID:rPsLgQ6H.net]
- あまりにもマイナーな言語だと誰も行列計算を実装してくれてなくて面倒臭い
- 541 名前：デフォルトの名無しさん mailto:sage [2017/07/31(月) 11:09:33.58 ID:TrWT5gkf.net]
- Nim結構良さげな感じするなあ
- 542 名前：デフォルトの名無しさん mailto:sage [2017/07/31(月) 14:47:02.65 ID:8d7NzLwa.net]
- >>531
goってそれが売りじゃないの？
- 543 名前：デフォルトの名無しさん mailto:sage [2017/07/31(月) 14:53:08.10 ID:TrWT5gkf.net]
- >>535
俺にはちょっと冗長かなあ……
内包表記もmapもないのは俺には辛い
- 544 名前：デフォルトの名無しさん mailto:sage [2017/07/31(月) 15:05:58.03 ID:luO5NyKL.net]
- >>536
関数型がいいならrustじゃないの
- 545 名前：デフォルトの名無しさん [2017/07/31(月) 15:12:57.67 ID:wxFD97LM.net]
- 本当内包表記もmapもないのは謎だわ
おまけに三項演算子もif式もmatch文もないし
うんこ
- 546 名前：デフォルトの名無しさん [2017/07/31(月) 15:13:14.76 ID:wxFD97LM.net]
- match文じゃないmatch式
- 547 名前：デフォルトの名無しさん mailto:sage [2017/07/31(月) 15:28:16.20 ID:G/Fk6WhF.net]
- >>532
nim はバイナリ吐かないけどな。
- 548 名前：デフォルトの名無しさん mailto:sage [2017/07/31(月) 15:45:00.94 ID:u2+qVqAB.net]
- オブジェクト指向言語で作るときよくOMT(オブジェクトモデリ
- 549 名前：ングテクニックとかなんとか)をよく使って設計してたんだけど、
関数型言語で作るときは何使えばいいの? [] - [ここ壊れてます]
- 550 名前：デフォルトの名無しさん mailto:sage [2017/07/31(月) 16:27:21.72 ID:uq0CdBZz.net]
- 今思いついたんだが
数学は公理を使えばいいというより、公理以外の何も使わない方がいいな
特に言語に依存するテクニックを使ってはいけない
言語を変えた途端に使えなくなるので
- 551 名前：デフォルトの名無しさん mailto:sage [2017/07/31(月) 16:28:38.94 ID:A1TauzTI.net]
- 三項演算子は構文がまるで違うからね
式中にもif書けるようにするからそれ使えの方向
（逆にif廃止全部三項演算子使えな言語があったらおもしろいけどｗ）
- 552 名前：デフォルトの名無しさん mailto:sage [2017/07/31(月) 19:35:10.71 ID:xqAPypbO.net]
- >>541
関数型の重要な設計指針として、トップダウンで考えるというのがある
1. 問題全体の結果を求める関数のスタブを作る
2. スタブを一つ選ぶ
3. 2で選んだ関数を実装するために必要なものを考え、それぞれを求める関数のスタブを作る
4. 2へ戻る
これを、すべての関数が十分(容易に実装できるレベル)に細分化されるまで繰り返す
こうやっていくと非常に明快で平易なコードになる
逆に入力から出力を導くという考え方で作ろうとすると、俺スゲェに陥って意味不明なコードになりやすい
- 553 名前：デフォルトの名無しさん mailto:sage [2017/07/31(月) 19:54:36.50 ID:u2+qVqAB.net]
- >>544
構造化手法ですか
業務系はオブジェクト指向のが良さそうだ
- 554 名前：デフォルトの名無しさん mailto:sage [2017/07/31(月) 20:05:13.60 ID:ZV6hqn66.net]
- 「おまえはこういうコマンドを与えるとこれをやるクラス」って
トップダウンで構造決めてくオブジェクト指向の基本手法の
単語入れ替えたコピペかと思ったw
そしてそれならコマンドに対するふるまい変えられるオブジェクト指向の方がいいや
- 555 名前：デフォルトの名無しさん mailto:sage [2017/07/31(月) 20:42:45.33 ID:uq0CdBZz.net]
- トップダウンの細分化をどこで止めるかを考えないと意味がない
CPUの種類までトップが決めるのか？
CPUを変えたり仮想関数のふるまいを変えたいならトップダウンを止める必要がある
- 556 名前：デフォルトの名無しさん mailto:sage [2017/07/31(月) 21:03:46.00 ID:iyeoTq8u.net]
- >>537
この需要ならrustがベストかいなー
何をするにも面倒な言語というイメージがあって避けて来たけどやってみるか
ありがと
- 557 名前：デフォルトの名無しさん mailto:sage [2017/07/31(月) 21:35:05.34 ID:VY/jm5nF.net]
- もし関数型で大規模な業務アプリを作るなら、大まかなところは伝統的なIPOベースのDFDで描いて
各プロセスを>>544のようなスタイルで実装していくことになるんじゃないかな
データ指向の設計ってCOBOL時代に既に完成してて、あとは莫大なコピペコードの問題を関数型の高度な宣言的記述によって回避できるなら
設計手法としてはわざわざ意識高そうな複雑な手法を持ち出すまでもなく十分に完成と言えると思う
- 558 名前：デフォルトの名無しさん mailto:sage [2017/07/31(月) 23:51:23.68 ID:CknoIXsc.net]
- 俺が若い頃(90年頃)はC言語の事を
関数型言語と呼んでたのに。
- 559 名前：デフォルトの名無しさん mailto:sage [2017/08/01(火) 08:07:11.18 ID:JcYmkGrg.net]
- 今じゃlispも関数型に入れてもらえるかどうか
- 560 名前：デフォルトの名無しさん mailto:sage [2017/08/01(火) 09:55:49.70 ID:QEGWTgnM.net]
- そろそろ次次世代が気になる
- 561 名前：デフォルトの名無しさん mailto:sage [2017/08/01(火) 12:52:24.85 ID:PIQ133u2.net]
- 関数型が注目されてるのってマルチコア時代の並列処理を効率良く動かすための
手法として注目されてるわけで
更に次の世代というと、量子コンピュータってことになるけど
今の実用化している量子コンピュータは機械学習に最適化されてるんで
つまり機械学習専用言語ってことになるのかな
- 562 名前：デフォルトの名無しさん mailto:sage [2017/08/01(火) 13:12:51.64 ID:3yEb4FWA.net]
- >>553
飽きてきたから次のおもちゃってことだろ
- 563 名前：デフォルトの名無しさん mailto:sage [2017/08/01(火) 15:56:17.80 ID:HS7kzK9m.net]
- 機械学習のハードが実現してなくても、ソフトで実現
- 564 名前：すれば数世代先取りできるだろ
現にソフトで機械学習やってるし
ソフトでやるのに飽きた頃にハードが出てくる [] - [ここ壊れてます]
- 565 名前：デフォルトの名無しさん mailto:sage [2017/08/01(火) 16:42:50.10 ID:BPE2Uku1.net]
- 機械学習専用ハード(ASIC)もうあるよグーグルTPUとか
- 566 名前：デフォルトの名無しさん mailto:sage [2017/08/01(火) 17:03:33.70 ID:HS7kzK9m.net]
- ハードの実験っていうかオープンソースじゃない実験は再現性が怪しい
- 567 名前：デフォルトの名無しさん mailto:sage [2017/08/02(水) 00:22:40.42 ID:trs+oWK4.net]
- VHDLに代わる言語が出てもいいかな。
- 568 名前：デフォルトの名無しさん mailto:sage [2017/08/03(木) 18:26:45.17 ID:JgW7vvvx.net]
- OCamlが学問分野で今微妙にアツイらしい
- 569 名前：デフォルトの名無しさん mailto:sage [2017/08/03(木) 19:50:47.86 ID:NS2Ahv95.net]
- >>559
どういう理由でアツイの？
またその「学問分野」って具体的にはどの分野？
- 570 名前：デフォルトの名無しさん mailto:sage [2017/08/03(木) 19:54:19.27 ID:eWbe8h/f.net]
- >>559
Googleは君の興味関心を学習して君の見たい世界を見せているということを念頭に置いておいたほうがいいよ
- 571 名前：デフォルトの名無しさん mailto:sage [2017/08/03(木) 20:14:27.98 ID:JgW7vvvx.net]
- >>560
東大辺りの奴らで、機械学習をわざわざOCamlで書いてる輩が増えているらしい 。ライブラリも整備されてきたってよ
>>561
知ってる。ちなみにOCamlの情報はGoogleじゃなくてリアルの交友経由の情報
- 572 名前：デフォルトの名無しさん mailto:sage [2017/08/03(木) 21:01:12.44 ID:cUZMqwjs.net]
- OCamlに限った話ではない
- 573 名前：デフォルトの名無しさん mailto:sage [2017/08/03(木) 21:24:53.35 ID:JgW7vvvx.net]
- まああくまで微妙にアツイだからな
ScalaとかHaskellもあったかな？
他はもうC++FortranPythonMatlabMathematicaしか知らんなあ
ケムインフォマティックスなんかはHaskell Scalaはやってる人いるけど Ocamlは聞かないし、やっぱりHaskell Scalaのが上かな？
- 574 名前：デフォルトの名無しさん mailto:sage [2017/08/03(木) 21:35:28.91 ID:VGeKeN5L.net]
- haskell とか scala とかってもはや学習した時間を無駄だと思いたくない人たちが
無理やり盛り上げてるようにしか思えないんだが。
- 575 名前：デフォルトの名無しさん mailto:sage [2017/08/03(木) 21:36:52.08 ID:8l5FpDvx.net]
- OCamlはマルチコア対応になったらまた始めたい
Jocamlとか折角面白いのにシングルコアなんで魅力半減
- 576 名前：デフォルトの名無しさん mailto:sage [2017/08/03(木) 21:37:14.15 ID:e6YEFDfb.net]
- >>565
は？
- 577 名前：デフォルトの名無しさん mailto:sage [2017/08/03(木) 22:18:12.98 ID:nBK54dRQ.net]
- HaskellもScalaも関数型言語の考え方だけ学んだら用済みで、
取り入れるだけ取り入れたJava8や、Kotlinが正義
このスレでは叩かれたが、今となっては俺の言った通りになったじゃないか
- 578 名前：デフォルトの名無しさん mailto:sage [2017/08/03(木) 22:21:48.14 ID:WxFDmNeE.net]
- 正直kotlinが優勢だよね。感覚的には
golangは早めに安定したから今はやってるけど、
また状況は変わりそう。
rustはメモリオーナーシップモデルをswiftにパクられたらいらない子になりそう。
- 579 名前：デフォルトの名無しさん mailto:sage [2017/08/03(木) 22:25:27.52 ID:N0DDjuI1.net]
- >>565
たし蟹
Scalaはそこそこ良い言語だったけど
尖りすぎてKotlinにあっさり置いて枯れてしまった
- 580 名前：デフォルトの名無しさん [2017/08/03(木) 22:39:07.10 ID:563u4f2I.net]
- kotlinはscalaの知識使えるし別に
webならplayあるscalaの方が有利だし使い分けじゃね
- 581 名前：デフォルトの名無しさん mailto:sage [2017/08/03(木) 23:08:37.77 ID:nBK54dRQ.net]
- >>571
Playは絶賛失速中だろう
コミュニティは機能してないし勉強会もイベントもなく、QiitaやTwitterにももう何もない
Scalaで使ってた人はRailsやDjangoを使い始め、Javaやってる人はSpringに戻っていった
- 582 名前：デフォルトの名無しさん mailto:sage [2017/08/03(木) 23:29:24.10 ID:6A4YkL5b.net]
- やっぱりGroovyやってた人たちが一番先見性あったな
次はどの言語だろう…
- 583 名前：デフォルトの名無しさん mailto:sage [2017/08/03(木) 23:39:13.81 ID:F8ZQ8AqH.net]
- 一時のscala ブームは何だったのか？
- 584 名前：デフォルトの名無しさん mailto:sage [2017/08/04(金) 00:11:57.82 ID:O3MamTZa.net]
- >>572
今さらRailsとかどんだけセンスないのおまえ（暗黒藁半紙）
型無し能無しセンスなしの糞ゴミ言語は全員死ね
マツボックリだかなんだか知らんヒゲ爺は
さっさとこのゴミ言語を潰せボケ
- 585 名前：デフォルトの名無しさん mailto:sage [2017/08/04(金) 01:18:05.91 ID:f63aP9iW.net]
- java8w
- 586 名前：デフォルトの名無しさん mailto:sage [2017/08/04(金) 04:09:41.88 ID:U01kvQtM.net]
- rubyってrailsで当てた一発屋なのにね。
- 587 名前：デフォルトの名無しさん mailto:sage [2017/08/04(金) 10:42:41.04 ID:zYGfuuva.net]
- 型無し能無しセンス無し
- 588 名前：デフォルトの名無しさん mailto:sage [2017/08/04(金) 12:14:49.37 ID:rS2vQ23N.net]
- セイロンの事も忘れないでね
- 589 名前：560 mailto:sage [2017/08/04(金) 14:49:35.41 ID:eMF9uhYU.net]
- >>562
レスと御教示ありがとう
機械学習のコードをOCamlでですか
- 590 名前：デフォルトの名無しさん mailto:sage [2017/08/04(金) 23:25:50.79 ID:vuZIQLpQ.net]
- むやみやたらと大量のソースコードを量産して、ディスクの肥やしにする最近の風潮になじめない。
元凶はJavaあたりか。
価値のあるコードってのは、定義が難しそうだけど、
たとえば実行可能コードとそのソースコードのボリューム比較を考えてみると、
ソースが理不尽にふくらんでいる気がする。
hello,worldに数十行ってのは本末転倒。
なんでもかんでもオブジェクト指向しなくても、昔も別に困ったわけじゃないんだから、OOが必然ではないはず。
どんどん全体を見渡せる、いわゆる、神の目を持つものが少なくなっている。
まあ、仕事を増やすって意味で業界に貢献してるんだろうけど、ばかばかしいほどにまで非効率になっている
気がするね。
- 591 名前：デフォルトの名無しさん mailto:sage [2017/08/04(金) 23:50:29.87 ID:ZFg5jE9u.net]
- 記憶力が落ちただけだと思うよ
自分で気付いてないだけ
- 592 名前：デフォルトの名無しさん mailto:sage [2017/08/05(土) 00:35:23.13 ID:yfDugfcM.net]
- どこの世界の話だ
ここ最近の風潮では、短いコードが正義だと関数型を採用しひたすら抽象化に邁進する流れじゃないのか
- 593 名前：デフォルトの名無しさん mailto:sage [2017/08/05(土) 01:02:28.33 ID:jB/epMOs.net]
- どこの世界の話だ
- 594 名前：デフォルトの名無しさん mailto:sage [2017/08/05(土) 02:27:20.31 ID:r+UIi6ic.net]
- 少なくとも日本ではなさそうだな
ジャップランド土人は屁臭いペチプゥで
型無し能無しセンス無しの糞コードウンコモリモリ大将軍してる
基地害低脳ゴミカスしかおらんからな
- 595 名前：デフォルトの名無しさん mailto:sage [2017/08/05(土) 09:39:30.67 ID:LM2wNYVN.net]
- Petit peu な Codeaux un commois liais mois liais?
- 596 名前：デフォルトの名無しさん mailto:sage [2017/08/05(土) 12:37:44.56 ID:ioSmFHmD.net]
- Ceylon は消えるだろうな。キラーアプリが出てくれば別だけど。
（Ruby がRailsで一発当てたみたいに、すごいソフトが出てくればの話だけど）
- 597 名前：デフォルトの名無しさん mailto:sage [2017/08/05(土) 12:38:46.91 ID:ioSmFHmD.net]
- 最近のKotolin 推しって何なの？
一時期Scala を押していた人たちがKotolin に移っているのかな？
- 598 名前：デフォルトの名無しさん mailto:sage [2017/08/05(土) 12:56:21.44 ID:r+UIi6ic.net]
- Androidもしらないサーバーサイドお爺ちゃん
組み込み曾お爺ちゃんの後を継ぐのは君だ
- 599 名前：デフォルトの名無しさん mailto:sage [2017/08/05(土) 13:04:32.77 ID:wQFjSmwa.net]
- きっかけはAndroidの件だけど、Kotlinを話題にしてるのはサーバーサイドの連中が中心だろう
Android開発なんて金にならない三流分野で、プログラミングのメインストリームを変えるような影響力なんて無いよ
- 600 名前：デフォルトの名無しさん mailto:sage [2017/08/05(土) 13:16:01.72 ID:POjfJmBG.net]
- 今はなんとなくSwiftやTypeScriptのような言語が流行っている雰囲気があるから。
Java/Android界隈の人も var 変数 : 型 って書きたいんだろう。
- 601 名前：デフォルトの名無しさん mailto:sage [2017/08/05(土) 15:02:06.08 ID:j/cNGuAY.net]
- >>590
プログラミングのメインストリーム変えるような連中は、Android開発だろうとサーバサイドだろうとなんでもできるフルスタックが多いんじゃない？
- 602 名前：デフォルトの名無しさん mailto:sage [2017/08/05(土) 15:05:18.69 ID:RDrQu3eT.net]
- var 変数 で型推論してくれるのが前提の書き方のはずで
関数型言語だと「型注釈は（コンパイラが失敗するまで）書くな」だけど
: 型 つけないとコンパイラに怒られまくるなら最初から書いとくのも仕方ないね
- 603 名前：デフォルトの名無しさん mailto:sage [2017/08/05(土) 15:37:15.82 ID:wQFjSmwa.net]
- >>592
フルスタックな人ならクライアントに置くコードは最小限にするはずだから、
Androidアプリを何で書くかなんて深く議論するに値しない些細な問題だよ
- 604 名前：デフォルトの名無しさん mailto:sage [2017/08/05(土) 15:51:07.66 ID:5/nXCXeI.net]
- >>593
>関数型言語だと「型注釈は（コンパイラが失敗するまで）書くな」だけど
誰がそんなデマを言いふらしてるんだ？
- 605 名前：デフォルトの名無しさん mailto:sage [2017/08/05(土) 16:12:29.25 ID:uXlFBIBD.net]
- フルスタックって、FORTH かよっ！
- 606 名前：デフォルトの名無しさん mailto:sage [2017/08/05(土) 17:12:21.73 ID:n8pq6YqV.net]
- 天才プログラマが一人で全部作りましたって時代ではないからな。。
- 607 名前：デフォルトの名無しさん mailto:sage [2017/08/05(土) 18:16:19.01 ID:RDrQu3eT.net]
- >>595
逆に積極的に書くのがベストプラクティスなんてのがどこにあるんだよ？
- 608 名前：デフォルトの名無しさん mailto:sage [2017/08/05(土) 19:21:58.27 ID:j/cNGuAY.net]
- まぁ書かないのが良いとはされてるが、プロダクションコードはコード規約とかで、全てに型注釈入れろとしてるとこが多いね
- 609 名前：デフォルトの名無しさん mailto:sage [2017/08/05(土) 21:37:34.82 ID:boLwVObe.net]
- >>598
>>599
意味不明すぎ
型注釈は入れるのが当たり前だろ
単なるジェネリックプログラミングと勘違いしてない？
- 610 名前：デフォルトの名無しさん mailto:sage [2017/08/05(土) 22:33:18.79 ID:r+UIi6ic.net]
- Javaかよ（笑）
- 611 名前：デフォルトの名無しさん mailto:sage [2017/08/06(日) 01:46:33.87 ID:X6yw5Nga.net]
- ScalaでもHaakellでも書くのが当たり前だぞ
- 612 名前：デフォルトの名無しさん mailto:sage [2017/08/06(日) 02:30:30.64 ID:0wpHTVIH.net]
- えっ それはどこの当たり前？？
- 613 名前：デフォルトの名無しさん mailto:sage [2017/08/06(日) 03:09:28.92 ID:OwbCgw8i.net]
- OCamlでも普通は型を書くぞ。
- 614 名前：デフォルトの名無しさん mailto:sage [2017/08/06(日) 03:13:20.32 ID:JQasL6d0.net]
- ？
- 615 名前：デフォルトの名無しさん mailto:sage [2017/08/06(日) 03:34:23.31 ID:0wpHTVIH.net]
- OCamlとか死んだ老害言語の話はしてないから
耄碌お爺ちゃんはあっち行ってて
- 616 名前：デフォルトの名無しさん mailto:sage [2017/08/06(日) 04:44:58.60 ID:X6yw5Nga.net]
- >>603
？
- 617 名前：デフォルトの名無しさん mailto:sage [2017/08/06(日) 04:45:24.92 ID:X6yw5Nga.net]
- なんだエアプが湧いてんのか
- 618 名前：デフォルトの名無しさん mailto:sage [2017/08/06(日) 04:54:54.04 ID:X6yw5Nga.net]
- もしかして式一つずつに型注釈入れるとでも思ってるのかね
そんなのJavaですらやらんよ？
HaskellやScalaは少なくとも各モジュールのトップレベルの関数には型注釈つけるし、つけないと効率悪くなる
コンパイル遅くなりやすいし、推論に頼りすぎるとエラー時に問題箇所が曖昧になるから
- 619 名前：デフォルトの名無しさん mailto:sage [2017/08/06(日) 07:49:45.80 ID:K4D4wFtM.net]
- 書いても書かなくてもよいというのが客観的事実だから
理系なら話はそれで終わり
それ以上踏み込むのは文系の仕事
- 620 名前：デフォルトの名無しさん mailto:sage [2017/08/06(日) 10:18:56.55 ID:fAxfwMN0.net]
- OCamlアンチおるな
|
 |
