次世代言語議論スレ【Go Rust Haskell Scala Erlang Elixir】 第二世代 [無断転載禁止]©5ch.io
■ このスレッドは過去ログ倉庫に格納されています
0001デフォルトの名無しさん
2017/02/11(土) 21:32:37.61ID:0GjTSBdX前スレ
次世代言語議論スレ【Go Rust Haskell Scala Erlang Elixir】 [無断転載禁止]©2ch.net
http://echo.2ch.net/test/read.cgi/tech/1479434349/
0653デフォルトの名無しさん
2017/02/22(水) 00:09:55.57ID:fluTtG1xGroovyってJavaみたく冗長じゃなくJVM言語の中では一番素直だと思うんだけどあんま流行って無くない?
0654デフォルトの名無しさん
2017/02/22(水) 00:28:38.21ID:NAcKQUQP名前もめったに聞かないし、やる気ないんでないの
0655デフォルトの名無しさん
2017/02/22(水) 00:28:57.34ID:NAcKQUQPマクロってなんや?
VBAか?
0656デフォルトの名無しさん
2017/02/22(水) 00:35:08.30ID:ZaZgCHvkあの辺まだRFC全然固まってないからなんとも言えんけど。
0657デフォルトの名無しさん
2017/02/22(水) 01:13:53.88ID:fluTtG1xGroovyの作者はKotlinのContributorやってたみたいよ
>>652
基本静的型付けだからLispみたいのは無理でしょ
0658デフォルトの名無しさん
2017/02/22(水) 01:29:29.89ID:saOmZMjK0659デフォルトの名無しさん
2017/02/22(水) 01:33:20.72ID:NAcKQUQP0660デフォルトの名無しさん
2017/02/22(水) 02:02:31.56ID:eMNezfX1Kotlinは、IntelliJ IDEA を作っている、JetBrains が作っている
0661デフォルトの名無しさん
2017/02/22(水) 03:07:25.70ID:zCSiLBBR各種フレームワークがメチャクチャ充実してるし、Androidアプリ作成すら超簡単。
その上サーバー側も、Grailsで超短期にポコポコ作れる。最高。
だけど最近は死に体で、向こう数年で死亡確実。
代替え探したけど、Scalaはランタイムサイズと、コンパイルの速度が遅い事と、その割に動的チェックが多くてダメ。
Clojureは書き方は異なるけど、その点かなり良くて、計算やアイデアの実装にはかなり良い線行ってる。
だけど、Web絡むとちょっとツライ。
という事で、Kotlinで落ち着く。
0662デフォルトの名無しさん
2017/02/22(水) 07:29:08.94ID:NAcKQUQPネクストジェネレーションなのに
0663デフォルトの名無しさん
2017/02/22(水) 09:41:40.80ID:KWTAJujq次世代とか腹筋鍛えるの上手いなお前
0664デフォルトの名無しさん
2017/02/22(水) 09:50:36.67ID:tESclUs7ネクストジェネレーションなのに
0665デフォルトの名無しさん
2017/02/22(水) 09:59:29.68ID:T1tKwjPzそれがProlog
0666デフォルトの名無しさん
2017/02/22(水) 10:05:23.95ID:KWTAJujqGoがワンチャンあるくらいだな。
0667デフォルトの名無しさん
2017/02/22(水) 10:22:33.13ID:GipbjYWeむしろsmalltalkが未来を行き過ぎた、今ようやくsmalltalkにあうハードがようやく追いついて付いて来た感じだな。
0668デフォルトの名無しさん
2017/02/22(水) 11:03:40.39ID:fjTFiziMそうしてるうちにC++も進化してきちゃうし。
あまり固いよりも多少ルーズなほうが広まりやすいのかなと思う。
0669デフォルトの名無しさん
2017/02/22(水) 11:04:37.80ID:yE+4DrBgSmalltalk のnumpyにあたるものってPolyMathでいいの?なんかbuild faildって書いてるけど
0670デフォルトの名無しさん
2017/02/22(水) 11:17:38.39ID:6zZpHdYT0671デフォルトの名無しさん
2017/02/22(水) 11:39:43.04ID:aa6hdQs0OzはSmalltalkの劣化コピーではなくその先に進んだと思う。
さまざまなプログラミングパラダイムの実現方式が明確にされているので、
例えばPortを使用しなければ実行結果はつねに一定だと保証される。
プログラミングの世界観を変える衝撃!
Paradigms of Computer Programmingで震えるほどの知的感動を体験した
http://futurismo.biz/archives/2427
1 関数型からスタート
2 関数型 + State = オブジェクト指向
3 関数型 + (Concurrency + Thread) = 決定性データフロー
4 決定性データフロー + Port = マルチエージェントデータフロー
5 オブジェクト指向 + マルチエージェントデータフロー = アクティブオブジェクト指向
0672デフォルトの名無しさん
2017/02/22(水) 11:50:41.19ID:IgFsT0u90673デフォルトの名無しさん
2017/02/22(水) 14:46:40.20ID:/xnb0vmRPolyMath と numpy はちょっと違うような気がするけど
> なんかbuild faildって書いてる
Pharo を pharo.org から落としてきて起動
デスクトップクリックメニュー → Tools → Catalog Browser → PolyMath を右クリックで install stable version
でインストールしてみて
サンプルコード
http://ws.stfx.eu/4R9DC7LS6DFK
0674デフォルトの名無しさん
2017/02/22(水) 15:50:02.77ID:Dt6aQTUjAKLの枠組み自体ちょっと具合が悪かったのでOzをつくった、という感じかな
Programming Paradigms of the Andorra Kernel Language
https://www.sics.se/~sverker/public/papers/aklsicsr9108.pdf
AKL is a multiparadigm programming language
https://www.sics.se/~sverker/public/sverker-janson-thesis.pdf
Logic programming in the context of multiparadigm programming:
the Oz experience
https://www.info.ucl.ac.be/~pvr/tutFinal.pdf
0675デフォルトの名無しさん
2017/02/22(水) 21:29:52.41ID:NAcKQUQP0676デフォルトの名無しさん
2017/02/23(木) 00:12:09.80ID:tGlCB3TQhttp://toro.2ch.net/test/read.cgi/tech/1196257692/
0677デフォルトの名無しさん
2017/02/23(木) 01:34:05.96ID:Zu/nS+/Aでは、GHCと聞いたらどの略語が閃くかな?
(ア) Glasgow Haskell Compiler
(イ) Guarded Horn Clauses
(ウ) Global Honored Crown
0678デフォルトの名無しさん
2017/02/23(木) 02:21:16.68ID:tGlCB3TQもう断然、(イ) Guarded Horn Clauses
0679デフォルトの名無しさん
2017/02/23(木) 05:03:30.83ID:ekyNuiCM若輩者ですので、勉強させていただいてます
0680デフォルトの名無しさん
2017/02/23(木) 10:40:11.74ID:IXi6HShyGlobal Health Consulting
0681デフォルトの名無しさん
2017/02/23(木) 19:05:14.56ID:DLL2ppN80682デフォルトの名無しさん
2017/02/23(木) 19:23:46.57ID:eG9NqkD/0683デフォルトの名無しさん
2017/02/23(木) 21:49:28.70ID:NSeMdseEここで馬鹿の意見聞くより
実装落としてきてチュートリアルでも動かしたほうがよっぽどためになるよ。
0684デフォルトの名無しさん
2017/02/23(木) 23:59:31.94ID:D7gpmMoW0685デフォルトの名無しさん
2017/02/24(金) 05:01:56.75ID:+8ZV1rk4少しは本読んだ方がいいよ
0686デフォルトの名無しさん
2017/02/25(土) 01:03:34.93ID:ZZ7bz2+nパフォの問題とか言ってたからやはりScalaはダメなのかと落胆しかけたけど、
これはScalerは勇気付けられるニュースだな
0687デフォルトの名無しさん
2017/02/25(土) 01:29:59.86ID:afFe6u0XErlangとはどのくらい離れているのですか。
0688デフォルトの名無しさん
2017/02/25(土) 03:03:40.57ID:IvVV1H8Vこの辺見てみれば?ドキュメントや書籍も分かりやすいのが多くて入りやすいと思う
https://elixirschool.com/jp/lessons/basics/basics/
http://elixir-lang.org/crash-course.html
0689デフォルトの名無しさん
2017/02/25(土) 03:07:23.83ID:IvVV1H8V0690デフォルトの名無しさん
2017/02/25(土) 04:04:49.22ID:EwirEsal>Phoenix本がオススメ
ってどれ?
0691デフォルトの名無しさん
2017/02/25(土) 06:52:31.49ID:afFe6u0Xありがとう
0692デフォルトの名無しさん
2017/02/25(土) 09:43:53.25ID:ZZ7bz2+n0693デフォルトの名無しさん
2017/02/25(土) 10:29:12.96ID:ZZ7bz2+nttp://gazousaitodayo.up.seesaa.net/image/giphy-8fc63.gif
0694デフォルトの名無しさん
2017/02/25(土) 10:30:27.77ID:ZZ7bz2+n0695デフォルトの名無しさん
2017/02/25(土) 13:16:17.77ID:WNBWBU3U0696デフォルトの名無しさん
2017/02/25(土) 13:17:52.32ID:WNBWBU3U0697デフォルトの名無しさん
2017/02/25(土) 15:37:53.07ID:IvVV1H8Vhttps://pragprog.com/book/phoenix/programming-phoenix
これ 訳書出てたと思ったけど勘違いだったぽい
原著は1.3版が5月発売予定だから買う前にFree Updateしてくれるか確認したほうがいいかも
0698デフォルトの名無しさん
2017/02/25(土) 18:19:42.61ID:EwirEsalありがと
0699デフォルトの名無しさん
2017/02/25(土) 19:06:51.89ID:usTDxsWvElixir が C だとすると
Erlang は アセンブラ くらい違う
見かけとか文法は全然別物
0700デフォルトの名無しさん
2017/02/25(土) 22:39:05.88ID:zBpj546thttp://jump.2ch.net/?http://futurismo.biz/archives/2427
ここでもCTMCPの和訳の、並行-並列の誤訳問題は押さえられていますね。
でも、関係プログラミングが外れているのは衝撃だな。
0701デフォルトの名無しさん
2017/02/26(日) 12:18:52.94ID:+I4Nnlvdアーァングはそんなに速いのか?
0702デフォルトの名無しさん
2017/02/26(日) 12:38:44.79ID:OJbfAwI10703デフォルトの名無しさん
2017/02/26(日) 12:48:59.56ID:CFwwLXTd0704デフォルトの名無しさん
2017/02/26(日) 13:25:57.12ID:+I4Nnlvd0705デフォルトの名無しさん
2017/02/26(日) 15:56:43.97ID:EKsFxkbbというか、Lispは明らかに違う
まともな文字列型がなく記述が冗長なErlangは実用にならない
使うならまだしもElixirだけど、スーパーバイザを用いた
設計について触れている本は今のところ
『すごいErlangゆかいに学ぼう!』しかない
そこまで学習コストを掛ける価値がある言語ではないかと
0706デフォルトの名無しさん
2017/02/26(日) 17:12:44.96ID:X0RAHqwQそれはともかく、ElixirのマクロはLisp以外の言語の中ではいい感じに見えるなぁ
0707デフォルトの名無しさん
2017/02/26(日) 17:17:19.18ID:y0OwgzfP記述の冗長性と実用なんて何の関係もない。
0708デフォルトの名無しさん
2017/02/26(日) 17:29:53.83ID:/2VmdLBuhttps://github.com/daveshah/rumbl/blob/master/web/controllers/user_controller.ex
マクロとか軽量プロセスとかいろいろ特徴あるけど
Railsライクにつくれて高いパフォーマンスも手に入れられるから
リクエスト数が多いorリアルタイム性が高いWebアプリを作るような人なら
どんなもんか試しておいて損はないと思う
0709デフォルトの名無しさん
2017/02/26(日) 17:32:52.38ID:6PbRYEEj0710デフォルトの名無しさん
2017/02/26(日) 17:36:14.71ID:i7F7s/ev0711デフォルトの名無しさん
2017/02/26(日) 17:40:22.45ID:y0OwgzfPまったく関係なし。
0712デフォルトの名無しさん
2017/02/26(日) 17:56:27.61ID:EKsFxkbbErlangの記述の冗長さは度を超えている
それを抜きにしても文字列をまともに扱えない時点で
実用性なし
0713デフォルトの名無しさん
2017/02/26(日) 17:58:17.60ID:y0OwgzfP0714デフォルトの名無しさん
2017/02/26(日) 18:06:26.62ID:y0OwgzfPマルチバイト文字がPrologでいうところのアトムとして、扱えないとかそういう意味かな。
0715デフォルトの名無しさん
2017/02/26(日) 18:27:24.70ID:6PbRYEEj0716デフォルトの名無しさん
2017/02/26(日) 18:31:58.81ID:y0OwgzfP実際にそうなってはいない。
0717デフォルトの名無しさん
2017/02/26(日) 18:40:16.16ID:6PbRYEEj0718デフォルトの名無しさん
2017/02/26(日) 18:48:08.14ID:Xq2/OYkK0719デフォルトの名無しさん
2017/02/26(日) 19:51:02.61ID:0OuKEIg3でも我が軍には透視能力と嗅覚があるから
っていういつものパターン
0720デフォルトの名無しさん
2017/02/26(日) 19:58:37.71ID:WP4rX3RZ0721あ
2017/02/26(日) 20:00:59.07ID:7S0kek79なんだよ突然。
そもそも俺は関数型を否定はしてないぞ。
どっちかしか書けない奴は、どっちかしか書けない奴でしかないと言ってるんだよ。
言語から冗長性を省いて、そして一つ命令の長さの記述の長さを極限まで短くすると
'B3418AD3B402CD21'で、レジスタにAを入れて表示するって意味になる、それこそ古の技術に行き着いちゃうじゃん。あってるかはわからん。
それじゃ使いづらいからいろんな言語出てきたんだから、そもそも論としておかしい。
ただし、記述自体が冗長であると言うことと、2通り以上の全く同じ結論に至る記述法があることは同一ではなくて、後者はよろしくないとされてきた。めんどくさいから説明はしないけど。
逆に言うと、一つの結論にソースを導くための拘束条件として記述が長くなる事は許容せざるを得ない。
その典型がvoidに対するキャストだったり、テンプレートへの型の指定だったり、だよ。
lispのS式とは対極。
0722あ
2017/02/26(日) 20:04:41.09ID:7S0kek79そりゃ無理だよ。
パフォーマンスに対してインテンシブかどうかは人が決めるんだし、どうインテンシブかどうかは場合場合で異なるんだから、結局記述せざるを得ないし、そうなると結局、構文表現においてインテンシブになる。
0723デフォルトの名無しさん
2017/02/26(日) 21:57:21.39ID:6YiCwjxB0724デフォルトの名無しさん
2017/02/26(日) 21:59:49.78ID:+I4Nnlvd」
0725デフォルトの名無しさん
2017/02/26(日) 22:30:05.48ID:6PbRYEEjあれだけの醜態を晒しておいてよくやるわ
0726デフォルトの名無しさん
2017/02/26(日) 22:41:06.12ID:QTOiTMeT2〜3のIDを同時に使え、その内一つか二つは自由に飛行機を飛ばせると見た
0727デフォルトの名無しさん
2017/02/26(日) 22:47:47.48ID:6PbRYEEjという流れを見るにID:y0OwgzfPはガイジだったのか
やっぱりこれほど話が通じない奴なんてそうそういないもんなんだなあ
0728デフォルトの名無しさん
2017/02/26(日) 22:56:32.26ID:y0OwgzfP私は、一般論として、
記述の冗長性と実用、記述の冗長性と次世代言語の候補になるかどうかは無関係だと云っただけ。
Erlangの文字列については最近の事情は知らない。7-8年使っていない。
0729デフォルトの名無しさん
2017/02/26(日) 23:16:58.94ID:WP4rX3RZ0730デフォルトの名無しさん
2017/02/26(日) 23:17:38.66ID:WP4rX3RZ0731デフォルトの名無しさん
2017/02/27(月) 00:54:10.38ID:ByUNbP3p言ってることの一部をググって参考にしてる。
Mozartの情報を貰えたのはかなりの収穫だった。
細かい言語触らなくても、これ一つで色々分かりそうだ。
いい加減コテハンをつけて欲しいがなww
0732デフォルトの名無しさん
2017/02/27(月) 01:15:27.77ID:nRplP13o0733デフォルトの名無しさん
2017/02/27(月) 02:21:46.12ID:5E11FgpK0734デフォルトの名無しさん
2017/02/27(月) 02:59:12.05ID:HZsx317T0735デフォルトの名無しさん
2017/02/27(月) 03:14:00.77ID:HtNOCsJ/0736デフォルトの名無しさん
2017/02/27(月) 05:00:55.34ID:h3H1G9eIうん、コテつけなよ
流石にキモいよあんた
0737デフォルトの名無しさん
2017/02/27(月) 05:01:37.16ID:h3H1G9eI0738デフォルトの名無しさん
2017/02/27(月) 06:02:45.91ID:+x1NtVmPそれ別人じゃないの?
0739デフォルトの名無しさん
2017/02/27(月) 06:47:17.95ID:04OD2zdkよく読もうwエンジニアガイジ氏は少なくとも
自分にとっては次世代言語について有益な情報をもたらしてくれている。
クソレスしかできないあなたよりね。
0740デフォルトの名無しさん
2017/02/27(月) 06:52:52.52ID:04OD2zdkカリーハワード対応について、あれなんなんだろう。
関数の型とその実装が、帰納的命題と証明に対応していて、同じように書けてるんだが不思議だわ。
0741デフォルトの名無しさん
2017/02/27(月) 07:24:30.09ID:h3H1G9eI何なんだろうって、定理証明支援の基礎部分としか
賢ぶってもだめだなあガイジは
0742デフォルトの名無しさん
2017/02/27(月) 07:37:33.64ID:EpOC9Vda0743デフォルトの名無しさん
2017/02/27(月) 07:46:10.13ID:04OD2zdk知ってる人なら、上の部分だけで話が通じると思ったのだが。
>>741
賢ぶって見えるのは、君が無知だからだよ。
急いでググったんだろ、どうせ。
0744デフォルトの名無しさん
2017/02/27(月) 07:46:17.51ID:HtNOCsJ/0746デフォルトの名無しさん
2017/02/27(月) 07:54:35.53ID:nRplP13o>Hygienicで繋がった。ありがとう。
>lispだとあたりまえなんだが、そう言えばCなんかのプリプロセッサは違うな。
>え?認めてるけど。
>健全なマクロって表現は知らなかった。
>ハイジェニックならわかるよ
>>>635で繋がったって言ってるんだから、それまでは知らなかったと認めてるって事なんだけど、
>もしかしてそこまで書かないと理解できないの?
デタラメ知ったかぶりの方法と逆ギレ自己弁護の方法とか?
0747671
2017/02/27(月) 08:02:08.30ID:u4jqLtHpOzについて句読点付き常体で書いているのは
>>671だけだがエンジニアとは別人だよ。
>>736-737
>>671がエンジニアでないと知らなかったから自演ではない。
0748デフォルトの名無しさん
2017/02/27(月) 08:04:33.64ID:04OD2zdkネーミングセンスだけは秀逸だなww感心したわ。
でも、プログラムやってる奴って基本マウンティングヴォーイだと思うけどな。君らだってそうだろ?
自分がマウンティングされたと感じたときだけ子供みたいに喚くのは、すごいなwwと思う。
あえてトリックスターを演じてる部分もあるよ。
0749あ
2017/02/27(月) 08:09:28.61ID:LPYoFd+U>>746
だってその時期あんまり日本語の文献に当たれてないんだもん。
Hygienicは衛生的な、だよ。そして、そのほうが実は体を現してる。少なくとも健全なんて意味は無い。
0750デフォルトの名無しさん
2017/02/27(月) 08:16:23.55ID:nRplP13oというか、故意に忘れたような書き込みをしているんだろうな。難読化のために
0751あ
2017/02/27(月) 08:26:07.98ID:LPYoFd+Uえー?だって、Cのプリプロセッサでも書こうと思えば書けるんだもの。
逆にlispのマクロでも、リエントラントでなかったり副作用を持つマクロを書こうと思えば書ける。
それを、書けない(書く能力がない)から、あいつは勘違いしてる、と言われても困る。
自然とそうなるけどね、って話をしたんだけど…
lisp満足に書けないんじゃないの?まあ実務で使ってなきゃ確かに無理だろうけど。
0752デフォルトの名無しさん
2017/02/27(月) 08:32:19.06ID:nRplP13o■ このスレッドは過去ログ倉庫に格納されています