次世代言語議論スレ[Go Rust Scala Haskell]第5世代

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/ 697 名前：デフォルトの名無しさん [2017/08/11(金) 11:00:48.00 ID:HT0ZPb79.net] >>683 型はその条件をいろいろ細かく定義したものだろ。 値域や定義域だって型。 698 名前：デフォルトの名無しさん mailto:sage [2017/08/11(金) 11:17:57.35 ID:Dik+7mIk.net] 動的型の問題って関数のインターフェースがガバガバなところでしょ？ elixirはパターンマッチで結構制約できるから動的だからって卑下する必要ないのよ 699 名前：デフォルトの名無しさん mailto:sage [2017/08/11(金) 11:44:41.66 ID:23hvE/8L.net] >>680 動的型でなければならない理由？ それは、おまえがバカだからだろう。 700 名前：デフォルトの名無しさん mailto:sage [2017/08/11(金) 11:59:08.49 ID:wWK8j68x.net] >>685 少なくともunsigned は要らなくない？ 1bit ケチれるだけだし。 中途半端な単精度浮動小数点とかも。 701 名前：デフォルトの名無しさん mailto:sage [2017/08/11(金) 12:01:25.46 ID:u64fZ1yg.net] 申し訳ないが未だに使っているGPUの多い単精度小数点DisはNG 702 名前：デフォルトの名無しさん mailto:sage [2017/08/11(金) 15:03:12.85 ID:Pc9UeBFi.net] >>686 まだコードを書いてないのに問題でしょとか言われても 言う時期が早すぎるし言う内容に具体性がないよ まるで数学も英語もまだ知らない小学生にプログラミングを教えているようだ 703 名前：デフォルトの名無しさん mailto:sage [2017/08/11(金) 15:39:55.52 ID:Dik+7mIk.net] TypeScript触ってるとjsに型がある方が幸せだってわかる。 jsonにスキーマ設定無しで reduxでstate管理するのとか絶望する。 あと、学習面でも明らかに型があったほうが幸せ。書いてる端から指摘してくれるからすごく幸せ。 TypeScriptはvscodeとセットで幸せー 704 名前：デフォルトの名無しさん mailto:sage [2017/08/11(金) 15:58:37.67 ID:uuzmQ1J4.net] >>688 今言ってる片野必要性は容量のためじゃないだろ 全ての引数をテストするとすると1bit減ることでテストの数が半数になる実装もその1bitに対して考える必要がなくなる 例えばルートを計算する関数を実装するのに引数が正の整数と限定されてれば簡単だが、負だったり小数した場合は複雑になる。文字列や画像だった場合は例外が発生したりアボートしたり誤作動するかも知れない。 型はビジネスロジックに集中するためのルール、制約だ 静的は言語レベルで強制、チェックしてて、動的ではユーザ、実行時に任せてる 705 名前：デフォルトの名無しさん mailto:sage [2017/08/11(金) 18:06:45.60 ID:wS48fUKa.net] 関数の引数なんかはやっぱ型があった方が読みやすいなと思う。 でも内部のテンポラリ変数なんかは別にいらんかもね。 というかテンポラリ変数の型情報がないと読めないようなコードは そもそもコードが長すぎるとか、他の根本的な部分に問題がある気がする。 706 名前：デフォルトの名無しさん mailto:sage [2017/08/11(金) 19:32:48.58 ID:L+PB1ux2.net] >>682 >>690 内容がフワフワしてて何言ってるのか理解できない もっと具体的かつ簡潔に言え Twitterによくいるプログラミングできないのにプログラム語ってるクソ野郎みたいだぞ 707 名前：デフォルトの名無しさん mailto:sage [2017/08/11(金) 19:36:48.30 ID:L+PB1ux2.net] >>688 unsignedはオーバーフローしても下から戻るから楽 つか実装型まで否定するって、じゃあ任意精度にしろってか？ 計算量制御できなくなるぞ？ 708 名前：デフォルトの名無しさん mailto:sage [2017/08/11(金) 21:54:24.08 ID:3dMix9dV.net] 世界で最も使われている西京言語JavaScriptをディスってんのかメーン 709 名前：デフォルトの名無しさん [2017/08/11(金) 22:53:04.88 ID:HT0ZPb79.net] 西京漬けいいよね 710 名前：デフォルトの名無しさん mailto:sage [2017/08/11(金) 23:18:20.12 ID:Dik+7mIk.net] 最近はtypescriptが流行っていてな 711 名前：デフォルトの名無しさん mailto:sage [2017/08/12(土) 08:33:13.28 ID:Uq7dQQ/j.net] >>694 プログラミングできるできないではなくタイミングの問題 目の前のことを言えば具体的かつ簡潔になる 遠い将来のことを語るとフワフワする 712 名前：デフォルトの名無しさん mailto:sage [2017/08/12(土) 09:39:33.11 ID:DS1jvWO1.net] 次世代言語を語りたければ、今流行ってる言語の分析をしないと Java、C#、C/C++が人気だけど 713 名前：デフォルトの名無しさん mailto:sage [2017/08/12(土) 11:11:20.00 ID:Uq7dQQ/j.net] WindowsとLinuxのAPIが人気 Javaは大規模開発が云々で人気 714 名前：デフォルトの名無しさん mailto:sage [2017/08/12(土) 11:28:39.85 ID:lZqlh0rm.net] Java系は一貫した技術の枠内で一通り完結するのがメリット アプリケーションロジックの開発に集中できる 715 名前：デフォルトの名無しさん mailto:sage [2017/08/12(土) 13:00:05.73 ID:Uq7dQQ/j.net] マクロはズルってのと同じで枠の外にあるものはズルなんだな 716 名前：デフォルトの名無しさん mailto:sage [2017/08/12(土) 13:36:29.79 ID:D9kn9WR2.net] しかし結局欲しいのはマクロでしょ？ってなることは結構ある。 717 名前：デフォルトの名無しさん [2017/08/12(土) 14:15:33.93 ID:bnRf3zzW.net] >>700 Java…型推論ない、論外 C/C++…メモリ安全じゃないので面倒 C#…まあ使える。ただT aだったりT b()だったりで書き方がちょっと古い 718 名前：デフォルトの名無しさん [2017/08/12(土) 14:17:29.71 ID:bnRf3zzW.net] C#は良い言語だと思うよ パターンマッチが追加されたりifが式になったりで便利になってきてるし 719 名前：デフォルトの名無しさん mailto:sage [2017/08/12(土) 14:20:25.35 ID:D9kn9WR2.net] .NET依存が激しいのが好きじゃない 720 名前：デフォルトの名無しさん mailto:sage [2017/08/12(土) 14:22:40.68 ID:ahseiZ+6.net] >>707 なぜ？ 721 名前：デフォルトの名無しさん mailto:sage [2017/08/12(土) 14:26:21.46 ID:Z/LzjBMS.net] 事実上Windowsでしか動かねーやん 話にならんわ 722 名前：デフォルトの名無しさん mailto:sage [2017/08/12(土) 14:29:29.00 ID:ahseiZ+6.net] >>709 いつの時代の話だよｗｗｗ 723 名前：デフォルトの名無しさん mailto:sage [2017/08/12(土) 14:31:48.99 ID:Z/LzjBMS.net] .net coreはまだプロダクションで使うのは怖いだろ 仮にそこ乗り越えたとしても、C#だと結局開発はVS最強なんだから窓開発になる 724 名前：デフォルトの名無しさん [2017/08/12(土) 14:32:59.46 ID:bnRf3zzW.net] .NET CoreだけじゃなくてMonoもあるぞ 725 名前：デフォルトの名無しさん mailto:sage [2017/08/12(土) 14:38:41.45 ID:ahseiZ+6.net] >>711 もう1年以上経つし、そろそろ.NET Standard2.0も出るこの時期に何言ってんだか 素直に知りませんでしたでいいよ 726 名前：デフォルトの名無しさん mailto:sage [2017/08/12(土) 14:39:29.47 ID:ahseiZ+6.net] （新しいことを学ぶのが）怖いってことだな 727 名前：デフォルトの名無しさん [2017/08/12(土) 14:46:02.46 ID:bnRf3zzW.net] .NET Standardってなんや 728 名前：デフォルトの名無しさん mailto:sage [2017/08/12(土) 14:47:02.12 ID:zLZ79VVH.net] 見事にオープンソースとクラウドの時代を代表するリーダーの一人として転身を果たしたMS 存在感を失い続けるIBMとオラクル そう考えるとJavaは疫病神なのではないか 729 名前：デフォルトの名無しさん mailto:sage [2017/08/12(土) 14:51:47.74 ID:ahseiZ+6.net] >>715 Fullの.NET FrameworkやMono、.NET Coreがそれぞれ実装すべきAPIを定めたもの 730 名前：デフォルトの名無しさん mailto:sage [2017/08/12(土) 14:53:12.33 ID:n0XoXOKh.net] LinuxのMonoっていい感じなん？ 731 名前：デフォルトの名無しさん mailto:sage [2017/08/12(土) 14:54:08.03 ID:ahseiZ+6.net] >>716 こないだのPaketの件といい、.NET CoreからFullの.NET Frameworkの一方的な切り捨てと言い、コミュニティをないがしろにしてちょいちょい炎上してるけどな 732 名前：デフォルトの名無しさん mailto:sage [2017/08/12(土) 18:22:00.10 ID:D9kn9WR2.net] こういう妄信タイプがいるから 環境依存言語は嫌なんだよ。 733 名前：デフォルトの名無しさん mailto:sage [2017/08/12(土) 19:44:58.81 ID:8N+UUpIY.net] 今じゃもう.NETを忌避するほうが逆に宗教みたいになってるよな 734 名前：デフォルトの名無しさん mailto:sage [2017/08/12(土) 20:00:15.90 ID:2/FX67Cg.net] .NETはまだまだ環境の問題もあるからともかく、 MSだからという理由でMSのプロダクトが開発者に嫌われることは少なくなったね マカーがMS製のエディタでMS製の言語でプログラミングしてそれをMSのクラウドプラットフォーム上でホストされてるLinuxへデプロイするとか　一昔前ならあり得ない未来だった 735 名前：デフォルトの名無しさん mailto:sage [2017/08/12(土) 20:03:25.03 ID:DE4QKP9/.net] Monoで動いているものは結構色々あるはず 例えば3DGameEngineのUnityはC#で開発できるけど裏でMonoが動いてる マルチプラットフォームな開発環境であるXamarinもMonoを使ってる。 知らないうちに.Netは大半のプラットフォームで動くように。 736 名前：デフォルトの名無しさん mailto:sage [2017/08/12(土) 20:10:51.11 ID:A/BCmj8c.net] 完全マカー依存のスーウィフトはどうなりましたか（小声） 737 名前：デフォルトの名無しさん [2017/08/12(土) 20:19:13.69 ID:953va2dM.net] .NETはLLVMつかってネイティブ化する計画なかったのか 738 名前：デフォルトの名無しさん mailto:sage [2017/08/12(土) 20:24:30.75 ID:DE4QKP9/.net] 実際のところ.Netを選ぶメリットって何かあるのかな？ マルチプラットフォームならtypescriptとelectron、もしくはreact nativeで良い気がするけど。 739 名前：デフォルトの名無しさん [2017/08/12(土) 20:25:59.19 ID:953va2dM.net] 現行、LLVMの使用はLinux、Macのみらしいが原理としてLLVMが動くすべてのOSでネイティブコンパイルできるのでは? 実際動かしてないし間違えてるかも。 性能を強化した「.NET Core 1.1」が公開　2016年11月21日 米Microsoftは11月16日、「.NET Core 1.1」を公開した。性能が強化されたほか、対応するLinuxディストリビューションも拡大した。 最新版では対応するディストリビューションを拡大し、Linux Mint 18、OpenSUSE 42.1、macOS 10.12、Windows Server 2016で利用できるようになった。 macOS 10.12とWindows Server 2016については、.NET Core 1.0も利用できる。 Linux向け、Mac向けでは、CoreCLRをClang/LLVMでコンパイルするため、次のリリースでClang版のPGOをサポートする予定としている。 https://mag.osdn.jp/16/11/21/154500 740 名前：デフォルトの名無しさん mailto:sage [2017/08/12(土) 20:33:46.06 ID:D9kn9WR2.net] まあ実際使ってみると右往左往することになるわけだが。 「互換性」あるってセールストークに馬鹿みたいに引っかかりすぎなんだよ。 741 名前：デフォルトの名無しさん mailto:sage [2017/08/12(土) 20:36:01.39 ID:Dx69QmpS.net] >>728 それは環境によるだろ… すぐ一纏めに考えるのは愚かな事 742 名前：デフォルトの名無しさん [2017/08/12(土) 20:42:05.60 ID:953va2dM.net] こういう流れらしい。 .NET Coreとは？　2017年6月6日 .NET Coreがリリースされて約1年経ち、ようやくビルドツールも正式版としてリリースされるに至った。 本連載記事では、「Linuxを中心にクロスプラットフォームで開発できる.NET Core」という視点で、開発の方法を説明していきたい。 .NET Coreの歴史 Windows上でのみ動作する.NET Frameworkは、2002年に最初に登場して以来、バージョンアップを重ねてきた。 それに対し、Windows・Linux・macOSで動作するクロスプラットフォームな.NET Coreが発表されたのが、2014年11月12日のことである。 このとき、今までWindowsのみをサポート対象としてきた.NETが、LinuxやmacOSもサポート対象としたことに加えて、最初からGitHubでオープンソースとして公開されたことにも驚きがあった。 クロスプラットフォームを動作環境とすることに関しては、Monoプロジェクトという先人がいた。 Monoプロジェクトは.NET Frameworkの互換環境をLinuxやmacOSを含めたスマートフォンOSにすることを目標としており、その中にはGUIフレームワークも含まれている。 Monoプロジェクトは現在、Xamarin社が開発・サポートをしており、スマートフォン向けのクロスプラットフォーム開発環境であるXamarinブランドの製品を提供している。 そのXamarin社が、2016年にMicrosoft社に買収されて今に至っている。 Monoが.NET Frameworkそのものと互換性のある環境を目指していることに対し、.NET Coreは.NET Frameworkのサブセットとなる機能をクロスプラットフォームで提供することを目標としたわけである。 そして、.NET Coreの発表から約1年後の2015年11月5日にRed Hat社がMicrosoft社と協力し、Red Hat Enterprise Linux上での.NETのサポートを発表した。 .NET Coreの特徴はいくつか挙げられるが、ここでは特に「クロスプラットフォーム」「オープンソース」「軽量」「フレキシブル」の4点について強調したい。 www.buildinsider.net/language/dotnetcore/01 743 名前：デフォルトの名無しさん mailto:sage [2017/08/12(土) 21:41:47.95 ID:49AswPag.net] >>726 過去の膨大な資産（負の遺産とも言う） 744 名前：デフォルトの名無しさん mailto:sage [2017/08/12(土) 23:44:55.22 ID:CJUJVgQO.net] 南シナ海に中国が基地作ってるよね。 だいたいそんな感想 745 名前：デフォルトの名無しさん [2017/08/13(日) 00:09:25.46 ID:5ZVaRTG/.net] >>728 Javaも同じだけどね。 お陰で一度書けばどこでも動くって宣伝文句も、一度書けばどこでもテストが必要って揶揄されて久しい。 HTMLも然り。 実はHTML5+JavaScriptのが動的言語な分タチが悪いっていう。 >>726 TypeScriptもMS製ですよ。 VS Code出したし、.net Standerd出たしってなると、VC#のマルチプラットフォーム化が始まりそうな予感はするが。 (MonoでC#のマルチプラットフォーム化はしてるけど、C#の良さはやはりIDEであるVSあってこそ) 746 名前：デフォルトの名無しさん mailto:sage [2017/08/13(日) 00:14:48.70 ID:gYyecbpL.net] >>733 VS for Macは？ 747 名前：デフォルトの名無しさん mailto:sage [2017/08/13(日) 00:21:36.37 ID:LJmg41iW.net] typescriptがMs製なのは知ってるよ。 そして素晴らしいのはtsserverを同梱してること。 言語自体にリファクタリングや定義箇所への参照機能等ideに必要な機能を同梱させたんだよね。 この仕様をlanguage server protocolとして標準化しようとしてるのも素晴しい。 ide側で言語仕様を把握する必要がなくなり、上記のプロトコルを解釈する機構を用意しておけばいい。 748 名前：デフォルトの名無しさん mailto:sage [2017/08/13(日) 00:25:12.33 ID:LJmg41iW.net] ぜひともlanguage server protocolを言語側で用意するのを必須にしてほしい。 新興言語ほど補完機能が弱いことが多いから。goの補完が効くようになったのもここ二年くらいからだったし。 749 名前：デフォルトの名無しさん [2017/08/13(日) 00:28:03.98 ID:5ZVaRTG/.net] マルチプラットフォームの夢も分かるけど、現実的じゃないんだよね。。。 一個のOSでさえバージョン違いで互換性崩れるのに、それを複数とか。 現実的にはテストの都合でプラットフォームもバージョンもグッと絞らないと死ねる。 750 名前：デフォルトの名無しさん mailto:sage [2017/08/13(日) 00:53:43.57 ID:47VquCRx.net] MSはLinuxの技術者が食いついてきたらLinuxがクソになってきたので独自拡張LinuxまたはWindowsのみのサポートにしますって言って利益をあげるんだろ 知ってるんだから 751 名前：デフォルトの名無しさん mailto:sage [2017/08/13(日) 00:57:05.96 ID:PA7iDDOj.net] >>730 これアレじゃね？ 競合しそうな会社を買って手中におさめて コントロールするか飼い殺しにするかっていう いつものMSじゃね？ 少なくとも >Monoプロジェクトは.NET Frameworkの互換環境をLinuxやmacOSを含めたスマートフォンOSにすることを目標としており、 >その中にはGUIフレームワークも含まれている。 の部分はもはや怪しいというか .NET Coreで行きたいんでしょ？MSは 752 名前：デフォルトの名無しさん mailto:sage [2017/08/13(日) 01:07:45.53 ID:WE0t0sIJ.net] いやXamarinって普通に成功してるからね 753 名前：デフォルトの名無しさん mailto:sage [2017/08/13(日) 01:08:09.23 ID:utxqr9MB.net] linuxでVS使わせてくれればマルチプラットフォームなんてどうでもいい 754 名前：デフォルトの名無しさん mailto:sage [2017/08/13(日) 01:22:18.67 ID:GoIJeqVQ.net] 次世代言語ってなんなんだ？ Cの次世代言語がC++だと言われれば納得できる c++の次世代言語がjavaだと言われればちょっと首を傾げながら納得する javaやc#などの次世代言語が　Go Rust Scala Haskellだと言われたら 全く納得できない 755 名前：デフォルトの名無しさん mailto:sage [2017/08/13(日) 01:49:44.40 ID:PA7iDDOj.net] そりゃそうだ 次世代というなら、シェアをひっくり返すかトントンぐらいまで行かないと 次世代とは言えない というか、そういう状況にならないと 業界が何となく全体的に次世代に移った、とは言えない なら次世代とは何なんだ、「世代」とは何なんだ 来もしないであろう架空の未来のことを 「次世代」と言っても仕方がないではないか C++の次世代という触れ込みだったD言語は言語仕様的にはそうかもしれないが 全然普及しなかったからC++の次世代だ！っつってもふ〜んって感じだし そんな「世代」は来なかった、って感じ 756 名前：デフォルトの名無しさん mailto:sage [2017/08/13(日) 01:52:23.84 ID:PA7iDDOj.net] 結局はJava、C#、C++などの現世代の王道言語が順当にバージョンアップして 移行が行われたら、その地点が「次世代」って事になる 757 名前：デフォルトの名無しさん mailto:sage [2017/08/13(日) 03:22:34.66 ID:xz6n1XH5.net] 互換性のためだけのレガシー構文が積み重なるわ不自然な拡張方法になるわ で最終的にperl5みたいな「これでなければなんでもいい」になるんですね？ 758 名前：デフォルトの名無しさん mailto:sage [2017/08/13(日) 06:40:32.63 ID:LJmg41iW.net] 構造化プログラミング -> オブジェクト指向 って進化は基本的に 制約をきつくしていく傾向だよね だから次世代はもっときつくなる。 多分参照型の消滅が次世代の考え方になるのかなと思う。 次世代っていうか関数型の話だけど。 参照型って結局ポインタ型つまり機械語にかなりよった概念だと思う。 これのせいで値の比較とかが難しくなる インスタンスの内容が同じなのに == で評価したら不一致。みたいな。 参照型って結局メモリ節約のシンプルな解決方法にすぎない。 Immutable.jsとかみてると内部構造をメモリ節約できる仕組みにして隠蔽するとこで表向きは値型にしてる。こういうことができるんだから全部値型で構わない。 759 名前：デフォルトの名無しさん mailto:sage [2017/08/13(日) 10:11:59.72 ID:Zj27tgiX.net] >>745 perlは役に立つぞ 役に立つという条件さえクリアすればなんでもいいという単純な時代もあったんだろう 今は役に立つだけでは不自然と判明したから更に複雑な条件が追加されていくだろう 760 名前：デフォルトの名無しさん mailto:sage [2017/08/13(日) 10:17:24.38 ID:amPCS2qv.net] 俺はもうscript系の言語はbashとpythonでいいわ。 761 名前：デフォルトの名無しさん mailto:sage [2017/08/13(日) 11:19:43.08 ID:VdRm1Qc9.net] >>745 そこである程度整理したら perl6 になったんだけども・・・ 762 名前：デフォルトの名無しさん mailto:sage [2017/08/13(日) 11:50:48.27 ID:Zj27tgiX.net] シェルスクリプト系はカーネルにフリーライドしているくせに そのことを全く気に病む様子がない Java系は自己完結とかOSを作りたいとか自分自身をコンパイルしたいとか煩悩が多い 763 名前：デフォルトの名無しさん mailto:sage [2017/08/13(日) 21:20:50.78 ID:7Wtpo09/.net] 未だにペェ〜ルとかいう真性糞ゴミをひり出してる糞製造器は死ね 死ね 764 名前：デフォルトの名無しさん mailto:sage [2017/08/13(日) 22:30:38.39 ID:ZLPpL5wN.net] >>750 いろんなものに手を広げずにシンプルな仕様だけを用意していた方が 結局互換性が高いってことだね。 765 名前：デフォルトの名無しさん mailto:sage [2017/08/13(日) 23:57:03.38 ID:7Wtpo09/.net] くっさいシェル芸してる汚物製造器は死ね 死ね 766 名前：デフォルトの名無しさん [2017/08/14(月) 05:55:23.82 ID:92xt4hcL.net] Mono(.NET)と、.NET　Coreの用途の違いは、すでに100%.NET環境が移植できていれば.NET　Coreの出番はないはずだが。 そうではない環境では、その環境を構築なしに移植できるってことか。 C#のコードをLLVMのアセンブラに翻訳したらあとは既存LLVMに丸投げできるから、移植コストは低く共通化できる。 767 名前：デフォルトの名無しさん mailto:sage [2017/08/14(月) 08:53:13.99 ID:+p07mcQa.net] ＼＿＿＿＿＿＿　　＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿／ 　　　　　　　　　　　○ 　　　　　　　　　　 Ｏ 　ﾓﾜﾓﾜ 　　　　　　　　　　o 　　　　　　　　∧＿∧！　ﾊｯ!　　 ／￣￣￣￣￣￣￣￣ 　　　　＿＿_（　 ゜∀゜）＿　　　　＜　という夢を見たんだ 　　　　|　 〃( つ　　つ　 |　　　　　＼＿＿＿＿＿＿＿＿ 　　　　|＼ ⌒⌒⌒⌒⌒⌒＼ 　　　　|　 ＼＾　⌒　　　⌒ 　＼ 　　　　＼　 ｜⌒⌒⌒⌒⌒⌒｜ 　　　　　 ＼ |.＿＿＿＿＿＿__| 768 名前：デフォルトの名無しさん mailto:sage [2017/08/14(月) 09:01:00.79 ID:l9TYt/P3.net] >>754 .NET CoreはCLR自体をアプリに同梱するように作られていて、AOTコンパイルではない LLVM対応もJITをLLVMで実装しようというものに過ぎず、あくまでコンパイルはJIT Coreは基本的にWebサーバー用だから少々起動に時間がかかろうが全く問題にならない 769 名前：デフォルトの名無しさん [2017/08/14(月) 09:32:55.89 ID:92xt4hcL.net] こんなのでてきた Microsoft、C++技術で.NET Core 2の高速化実現　[2017/07/22] Microsoftは7月20日(米国時間)、.NET Core 2.0で採用されている高速化技術「PGO (Profile-Guided Optimization )」について伝えた。 この技術はC++コンパイラでより最適化されたコードを生成するために使われているネイティブコンパイラ技術。 .NET Core 2.0にも同様の技術が適用されており、すべてのユーザは特定の処理をすることなくこの高速化技術の恩恵を受けていると説明している。 n.mynv.jp/news/2017/07/22/096/images/001l.jpg n.mynv.jp/news/2017/07/22/096/images/002l.jpg news.mynavi.jp/news/2017/07/22/096/ Microsoft、LLVMベースの.NET/CoreCLRコンパイラLLILCを発表 2015年5月6日 .NET FoundationがLLILCという新しいプロジェクトのリリースを発表した。 このプロジェクトはもともとMicrosoftによるもので、.NET Coreのための新しいLLVMベースのネイティブコードコンパイラを提供することを目的としている。 これによって「CoreCLRが移植されていてLLVMがターゲットとしているプラットフォーム上で」.NETプログラムを動かせるようになる。 LLILCのロードマップによると、Install-Time JITコンパイラが次のターゲットだ。「これは生成されたコードを、 1つのアプリケーションの複数の呼び出しの間で、または1つのアセンブリセットを共有する複数のプロセスの間で共有できるようにする」。LLILCプロジェクトでは、Ahead-Of-Timeコンパイラの実装も検討している。 https://www.infoq.com/jp/news/2015/05/microsoft-llilc-llvm-compiler 770 名前：デフォルトの名無しさん mailto:sage [2017/08/14(月) 13:38:56.86 ID:kXWZXT9S.net] >>742 世間で言われてる分類で言えば全部第3世代言語だからな 他でドヤ顔で言ったら恥ずかしいぞ 771 名前：デフォルトの名無しさん mailto:sage [2017/08/14(月) 13:42:18.27 ID:kXWZXT9S.net] >>742 世間で言われてる分類で言えば全部第3世代言語だからな 他でドヤ顔で言ったら恥ずかしいぞ 第4世代はユーザが使う言語 JavaはC++--って言われるくらいで先進性よりも普及を重視してたんだろ 今はもう滅茶苦茶だが でC++++でC#と 772 名前：デフォルトの名無しさん mailto:sage [2017/08/14(月) 14:14:03.57 ID:C7avT2pN.net] 次世代はサービスインテグレーションのための超高レベル言語だろうな ドメインスペシャリストと開発者の間の垣根を無くすことと、強力なサービス連携がポイントだと思う 773 名前：デフォルトの名無しさん mailto:sage [2017/08/14(月) 17:00:35.75 ID:s23IFiwR.net] >>759 そういう意味不明などやりかたされてもwwww このスレでは誰もそんなくくりの話はしてない 第四世代言語（4GL）がなぜ次世代なんだかわからん 4GL https://ja.wikipedia.org/wiki/4GL SQL、R言語、RPG-IIの話なんて誰もしてない 774 名前：デフォルトの名無しさん mailto:sage [2017/08/14(月) 17:26:17.70 ID:6DHdEZEL.net] 3.9GL 775 名前：デフォルトの名無しさん mailto:sage [2017/08/14(月) 17:28:12.75 ID:wnsRSkHP.net] でもまぁ方向性としてはありかと。 結局プログラミング言語ってツールなわけだから 何かに特化したほうが仕事はやりやすくなる。 DB設計したらwebAPIの定義と処理が自動実装されるようなDSLとか欲しい。 golangのgoaとかAPI設計からGoのコードを自動設定するから近いっちゃ近いけど DB周りとの連携はまだイマイチかなと。 776 名前：デフォルトの名無しさん mailto:sage [2017/08/14(月) 17:38:46.17 ID:kXWZXT9S.net] >>761 一般的な意味でないから個人で勝手に決める以外ないだろって意味なんだが 難しかったか 777 名前：デフォルトの名無しさん [2017/08/14(月) 19:20:45.04 ID:Ib/9zFrg.net] 自動でコード出力する系は嫌い 改造するの面倒だし マクロみたいなのが好き 778 名前：デフォルトの名無しさん mailto:sage [2017/08/14(月) 19:42:20.23 ID:O7NIduQl.net] Excelからコードを自動生成するPHPのプロジェクトがあったなそういえば 779 名前：デフォルトの名無しさん mailto:sage [2017/08/14(月) 20:03:07.27 ID:ysNMGCND.net] コード生成系は出力先が機械だから手加減しない感じがあるからね。。 780 名前：デフォルトの名無しさん mailto:sage [2017/08/14(月) 22:37:21.06 ID:wnsRSkHP.net] でもgoaは割ときれいなコード書いてくれるから、結構勉強になるし、生成ファイルとは別ファイルにして動作をカスタマイズする前提だから、 マクロとそんなに変わらないと思う。 マクロよりマジック感が減るから処理を追いやすいし 781 名前：デフォルトの名無しさん mailto:sage [2017/08/14(月) 22:47:09.43 ID:kXWZXT9S.net] コード出力ってそのあと追記とかするの? 戻れなくないか いっそバイナリ吐いてくれた方がよくないか 782 名前：デフォルトの名無しさん mailto:sage [2017/08/14(月) 22:55:39.38 ID:O7NIduQl.net] 糞バカペチプァにそんな知能あるわけないだろ やつら、次に食べる飯と寝ることくらいしか頭に入らない小頭症のガイジだからね 783 名前：デフォルトの名無しさん mailto:sage [2017/08/14(月) 23:04:29.33 ID:W13Bw/D1.net] >>768 根本的に一から勉強し直したほうがいいぞ >>769 追記どころかバージョン管理からも外すよね普通 784 名前：デフォルトの名無しさん mailto:sage [2017/08/15(火) 00:47:06.80 ID:Iy2AbH2m.net] >>769 それじゃ混ぜて最適化できないし APIの公開非公開の制御もできないじゃん そらGPLとか仕事じゃないなら関係ないかもしれないけどさあ 785 名前：デフォルトの名無しさん mailto:sage [2017/08/15(火) 00:48:49.86 ID:Iy2AbH2m.net] >>771 いや流石にソースか出力どっちかはバージョン管理に入れるだろ CIしてたらコンパイル通らなくなる 786 名前：デフォルトの名無しさん mailto:sage [2017/08/15(火) 02:11:40.42 ID:ucbHC/q/.net] まあいろいろな環境でも動かしたいとかいう理由で出力したソースを コミットすることもあるけど、あんまりいいことないよ。。おすすめしない。 787 名前：デフォルトの名無しさん mailto:sage [2017/08/15(火) 05:31:41.09 ID:tN8D0FqC.net] >>769 もちろん生成コードとは別ファイルにカスタマイズコードを書くよ。 だからgitの管理対象外にするのが普通。 ただ、俺はあえて管理対象にしてるけどね。設計変更したときに自動生成コードがどんな変更をしたかわかりやすい。 マクロ系だとこういう部分が隠蔽されてると考えることができる。 デコレータとかもそうだよね。 goはジェネリクスとかマクロがない代わりにコード生成を推奨してる言語と言えるね。 最初は後退した言語だと思ったけど コード生成と衝突しない書き方ができるから、マクロとかで裏でどういうコードが生成されているかを把握できる言語と考えれば悪くないなと感じてる。 788 名前：あ mailto:sage [2017/08/15(火) 10:52:42.87 ID:acuW3DAP.net] phpバカにしまくる奴が疑問。 言語としてはまあボロボロだけどnginxとphp-fpmより安定したサーバ書けるの？って聞くと黙ったり、 過去、ひどいコード書いたとか、ひどいコードの保守したとしか考えられん。 789 名前：デフォルトの名無しさん mailto:sage [2017/08/15(火) 11:04:03.16 ID:WUz8q6HI.net] nginxとphp-fpmより安定したサーバ書けるの？という質問が意味不明で黙るしかないよｗ 790 名前：デフォルトの名無しさん mailto:sage [2017/08/15(火) 11:19:06.17 ID:X4XuSaPF.net] nginxはC++じゃね？ 791 名前：デフォルトの名無しさん mailto:sage [2017/08/15(火) 11:23:06.67 ID:WUz8q6HI.net] そう だから意味が分からなくて黙るしかない 792 名前：デフォルトの名無しさん mailto:sage [2017/08/15(火) 12:39:40.27 ID:FVgUs5AP.net] ?黙るしかない ○相手にされてない 793 名前：あ mailto:sage [2017/08/15(火) 12:46:45.72 ID:acuW3DAP.net] 実用に耐えてないじゃん？みたいな話。 Goのサーバも見たことあるし、ErlangもElixirもあるけど、ずーっと誰かが推してるウェブベースのアプリって見たことねえなあ、ってのが >>770を見て>>776を書いた所以。 脈絡ないのは認める。すまん。 794 名前：デフォルトの名無しさん mailto:sage [2017/08/15(火) 12:58:02.24 ID:jWNRWc6a.net] >>781 その辺はAPIやワーカーの実装に使用されるケースがほとんどだろ PHPとは競合しない 795 名前：あ mailto:sage [2017/08/15(火) 13:02:18.16 ID:acuW3DAP.net] >>782 そうでもないよ。普通にいわゆるSSIみたいな形で動的なコンテンツ差し込むサーバも見たことあるし、 逆にPHPでも1ファイル1機能のAPIサーバと静的htmlの組み合わせも見たことある。 後者とは競合する 796 名前：と思うんだが。 [] [ここ壊れてます] 797 名前：デフォルトの名無しさん mailto:sage [2017/08/15(火) 13:20:01.29 ID:X4XuSaPF.net] nginxが実用に耐えない…？ 普通につかってるが…

---

---

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

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