次世代言語Part8[Haskell Rust Kotlin TypeScript]

**デフォルトの名無しさん** · 2017/12/01(金) 23:08:21.45

スレタイ以外の言語もok

前スレ
次世代言語Part7[Go Rust Swift Kotlin TypeScript]
http://mevius.5ch.net/test/read.cgi/tech/1508403098/

**デフォルトの名無しさん** · 2018/01/05(金) 13:38:22.06

>>578
やめたれｗ

**デフォルトの名無しさん** · 2018/01/05(金) 13:40:21.34

>>579
そろそろ課金するフェーズだろ
お金を払ったら悪口言っていいし、悪口言われたくないならお金稼ぐのをやめればいい

**デフォルトの名無しさん** · 2018/01/05(金) 14:12:44.72

>>581
課金するフェーズはまあ別に妥当な値段なら買うよ、マジで。課金して良くなるならね。
VSより高いとなるとちょっと考えるけど。
自分でプルリクせえとなっても、suggestionの段階で同じ様なパフォーマンスのためにJSの形変える系の話は、みんな却下されてたはず。
要は皆>>568の様な形で、中途半端で良いと思ってて、どん詰まりはもっと先だろと楽観視してる。

もはや単なるリンタ。

**デフォルトの名無しさん** · 2018/01/05(金) 18:22:04.71

推測するな計測せよ
って言葉知らんのか？

**デフォルトの名無しさん** · 2018/01/05(金) 18:43:32.98

知らん

**デフォルトの名無しさん** · 2018/01/05(金) 18:44:03.04

考えるな、感じろ。なら知ってる。

**デフォルトの名無しさん** · 2018/01/05(金) 18:47:50.38

それ知らんのはガイジ

**デフォルトの名無しさん** · 2018/01/05(金) 20:49:35.32

無意味に計測だけしても無駄でしょ。
推論からの計測で計測からの推論かと。
どこを計測するか考えてる時点で推測しとるって事だからね。

**デフォルトの名無しさん** · 2018/01/05(金) 21:06:34.87

>>582
そもそもTypeScriptは単なるリンタだろ
お前がプルリクを出すべきなのはTypeScriptではなくV8

**デフォルトの名無しさん** · 2018/01/05(金) 21:20:50.22

「推測するな測定せよ」みたいないわゆる格言に対してそんなガキみたいな屁理屈捏ねられてもね……

**デフォルトの名無しさん** · 2018/01/05(金) 21:25:02.92

TypeScriptをlint扱いは流石に草

**デフォルトの名無しさん** · 2018/01/05(金) 22:31:21.64

推測も測定も両方しろよ。

**デフォルトの名無しさん** · 2018/01/05(金) 23:22:56.45

もうPooHPでも書いてろよ

**デフォルトの名無しさん** · 2018/01/06(土) 14:22:11.98

>>588
違うらしいよ、信者様によると。

**デフォルトの名無しさん** · 2018/01/06(土) 14:24:10.80

>>589
意味を理解しない格言や誤謬を招かんとする格言の使い方には一言言いたくなるじゃん。
そう信じて計測だけする奴が可哀想だ。

**デフォルトの名無しさん** · 2018/01/06(土) 14:27:48.16

どう考えてもV8にコミットするのが筋だわな
別にTS批判君が全ブラウザをやらなくても、効果的な改良なら他もすぐに追従するだろう
まさかJIT結果だのVMの仕様だのｷﾘｯが付きそうなレスしてるのにC++やネイティブコンパイル分からないとか言わないよね

**デフォルトの名無しさん** · 2018/01/06(土) 15:18:49.96

臭い奴がおるな

**デフォルトの名無しさん** · 2018/01/06(土) 16:25:24.67

wasmにGCが搭載された暁には
いくらでも頑張って欲しい

**デフォルトの名無しさん** · 2018/01/06(土) 16:48:12.08

>>595
いや違うだろ。
なんでTSのコンパイル結果がクソなのをV8が面倒見るべきかわからんが。
普通にコンパイラとして真面目にコンパイルすりゃいいのに、って話で、
トランスパイラならトランスパイラと名乗れば良いのに。
よくもまぁこういう擁護ができるなぁと思うわ。

V8や他のJSエンジンは、JavaScriptの処理系であって、TypeScriptの処理系じゃねえんだから。
それこそ、TypeScriptが吐き出した中途半端なJSに対するチューニングなんか必要ないだろ。
V8側のスタンスは「最初からJSで書きゃ良いだろ、asyncが欲しい？考えてやるよ」と機能の面では歩み寄ってきたじゃん。
そういう意味で、wasmに振って、ちゃんとコンパイルするAssemblyScriptはいい方向だと思うが、
tscの方向性は微妙としか言い切れんと思う。

TS自体がなんで未だにJSに引きずられる必要があるのかわからんが、皆がそれで良しとする理由は「中途半端で良いから」なの？

**デフォルトの名無しさん** · 2018/01/06(土) 16:51:40.90

コンパイルした時点で型が消えるのに、JITに引数の型に対して何種類か載せ続けるべき関数(ジェネリクスだった関数)なのか、それともany受けてるただの関数なんか、それこそプロファイル取ること自体無駄じゃん。
最初から型ごとに吐きゃ良いのにって思っちゃいかんのか？

**デフォルトの名無しさん** · 2018/01/06(土) 17:16:11.92

名前の通りbetterJS以上の認識は無いな
少なくともtscだろうとtstだろうと単なる名前に拘る奴は居ないと思う

>いかんのか？
いいと思うよ

**デフォルトの名無しさん** · 2018/01/06(土) 18:35:08.26

>>598
実行時に型ごとにJITを分けるのって割と一般的な最適化手法だろ
型ごとにjsを生成すると言っても結局それらはみんな同じコードであって型情報なんて残らないんだから、
それが適切に最適化されるかどうかなんて処理系次第だろ
jsに型アノテーションを導入しろというなら理解できるが、あんたの主張は無茶な言いがかりにしか見えないな

**デフォルトの名無しさん** · 2018/01/06(土) 18:41:14.50

補足
最適化されるかは処理系次第、といったのは、結局、型ごとにjs生成しようが
JITは実行時の型を利用して最適化することには変わりないんだから、本質的には大した違いはないという意図だぞ
ヘボいと言うなら複数の型に適切に対応できないJITがヘボいんだよ

**デフォルトの名無しさん** · 2018/01/06(土) 18:58:45.67

>>578
主治医の先生にもそう言ったのか？
ちゃんと薬のめよ。

**デフォルトの名無しさん** · 2018/01/06(土) 20:51:20.91

>>603
PooHPoorさん・・・ｗ

**デフォルトの名無しさん** · 2018/01/07(日) 09:04:05.50

>>601
型ごとに生成すりゃJIT破棄しないだろ。
ちょっとは挙動わかって言いがかりつけてんの？

**デフォルトの名無しさん** · 2018/01/07(日) 09:48:25.87

>>605
まともな実装なら型が数種類あるくらいならJIT破棄しないよ

**デフォルトの名無しさん** · 2018/01/07(日) 12:37:05.15

妄想でごちゃごちゃ言ってないで検証コード載せなさいよ
どっちが馬鹿かはっきりするでしょ

**デフォルトの名無しさん** · 2018/01/07(日) 13:26:29.62

>>606
あ、そうなんだ。それは良い風に変わってるんだな。
俺が見たときはほとんど整数、たまにエラーを表すオブジェクトのときに、毎回オブジェクトの時にJIT捨ててたけど、古いといえば古い話だし。
まぁプロファイル次第なんだろうな。

>>607
どっちが馬鹿とかじゃなかろうが。
そういう発想がマウンティングとかいう発言に繋がってんの？

**デフォルトの名無しさん** · 2018/01/07(日) 13:30:35.11

マウンティングで検索したら誰も言ってなくてワロタ

**デフォルトの名無しさん** · 2018/01/07(日) 13:47:09.28

>>609
ホントだな。
過去スレの印象で言ってるもんだと思ってたわ。

**デフォルトの名無しさん** · 2018/01/07(日) 13:59:18.12

まあ新しい言語やるやつの動機の7割はマウント取りたいで合ってるよ。

**デフォルトの名無しさん** · 2018/01/07(日) 14:07:56.16

x >= y または x < y などと変数でごちゃごちゃ書いてないで定数にすればわかる
変数は妄想だ
妄想するな計測せよ

**デフォルトの名無しさん** · 2018/01/07(日) 14:37:44.54

2 >= 1

**デフォルトの名無しさん** · 2018/01/07(日) 15:41:02.61

変な荒れかたするもんだな。

**デフォルトの名無しさん** · 2018/01/07(日) 19:02:21.52

まあ個人の体験談みたいなものを根拠に主張したって賛同はされんわな
コードが出てこないと改善の有用性も見えないし抽象的な話で止まってしまうよ

**デフォルトの名無しさん** · 2018/01/07(日) 21:38:26.68

そーだな、ぜひともHaskellで書いた次世代言語らしいサンプルが見たいもんだ。
他の言語は出たのにな。

**デフォルトの名無しさん** · 2018/01/07(日) 21:51:35.49

HaskellとKotlinとTypeScriptのサンプルが出なかった時の話だろうか

**デフォルトの名無しさん** · 2018/01/07(日) 21:58:24.02

サンプルコードが出るとダメな言語は一目瞭然だったりするからな
Sから始まる言語とか

**デフォルトの名無しさん** · 2018/01/07(日) 22:23:27.72

ダメな言語の批判ばかりだよな
よかった言語の名前は出せない空気になってる

**デフォルトの名無しさん** · 2018/01/07(日) 22:26:14.15

5chは初めてか

**デフォルトの名無しさん** · 2018/01/07(日) 22:52:11.69

そいつは例のあDHDだろう。Haskellユーザーがいないこのスレで触ったこともないHaskellを叩き続けるガイジだから触れない方が良い

**デフォルトの名無しさん** · 2018/01/07(日) 22:59:52.18

文句なしの打っ千切り糞言語賞ナンバーワンはPから始まるあの言語だよなぁ

**デフォルトの名無しさん** · 2018/01/07(日) 23:22:37.67

PooHPoorの話はおいといて、好きな言語の話をするのは良いな

**デフォルトの名無しさん** · 2018/01/07(日) 23:53:28.58

ブレストの「批判をするな」がいかに大切かわかる空気感だね

**デフォルトの名無しさん** · 2018/01/08(月) 00:10:42.98

ブレストは頭の中だけで行動が伴わないので批判しなくていい
厳しく批判されるのは実行に移そうとした時

**デフォルトの名無しさん** · 2018/01/08(月) 02:24:37.62

マンセーしたきゃ勝手にすりゃいいじゃん。
現実で文句言われるよりここで言われる方がマシだろ。

**デフォルトの名無しさん** · 2018/01/08(月) 10:50:08.35

現実でニコニコ
ネットで陰口

美しい国ジャップランド土人村

**デフォルトの名無しさん** · 2018/01/08(月) 13:31:41.59

ネットは筆記試験のようなものだよ
筆記試験もネットと同じような批判をされて面接重視になった

**デフォルトの名無しさん** · 2018/01/08(月) 14:51:35.25

>>627
おま環だろ？

**デフォルトの名無しさん** · 2018/01/08(月) 18:13:08.29

おま国だろ

**デフォルトの名無しさん** · 2018/01/08(月) 20:27:12.48

Elmってどうなんだろ。インスパイアされたhyperappとかいうのがあるけど。
新しいjsライブラリは結構TypeScriptサポートしていて嬉しい

**デフォルトの名無しさん** · 2018/01/08(月) 22:54:56.01

全てのJSプロジェクトはTypeScriptにしろ

棒案件で立ち上げ時にクソバカの老害オッサンがJSでコード書き始めたせいで
どんだけ苦労したか

**デフォルトの名無しさん** · 2018/01/08(月) 23:52:24.85

TypeScriptは認めるがBabelはほんとやめてほしい
わざわざビルドを面倒にするだけの見返りはどう考えても無い

**デフォルトの名無しさん** · 2018/01/09(火) 00:49:10.43

Babelないとjsxも書けないし新しい文法も使えないぞ
糞まみれの生JSに戻る気か？

**デフォルトの名無しさん** · 2018/01/09(火) 00:53:34.69

下痢便が軟便になる程度だろ

**デフォルトの名無しさん** · 2018/01/09(火) 17:04:26.38

TypeScriptもいずれノーマルjsに吸収される

**デフォルトの名無しさん** · 2018/01/09(火) 17:11:58.74

>>636
それ理想的だね。型を最初からサポートしたほうが良い。
typescriptを中心に据えてオプションで型無しをサポートする方針にしたほうが処理性能向上に寄与する気がする。
あとnumber型を廃止して

**デフォルトの名無しさん** · 2018/01/09(火) 18:53:23.55

>>621
もう叩いてないぞ。
割と興味出てきたのに、誰も、ここが良い！を言わないからつまんねえのって思ってるだけだよ。
スレタイに入れたいだけじゃねえの？って。

正直、使ってみた感じは悪くないけど、この便利な言語でこういう事すると楽かな？みたいなのがあんまり思いつかんので、良いサンプルは見たいな。
GoのGoroutineやchanの気軽さとか、erlangのプロセスの考え方みたいなのとか。

**デフォルトの名無しさん** · 2018/01/09(火) 18:54:28.23

>>621
スレタイに入れた奴が居るはずだろw

**デフォルトの名無しさん** · 2018/01/09(火) 19:50:56.76

Haskell使った有名なアプリってなんかあるの？

**デフォルトの名無しさん** · 2018/01/09(火) 19:55:51.91

xmonad

**デフォルトの名無しさん** · 2018/01/09(火) 20:14:49.53

monadius

**デフォルトの名無しさん** · 2018/01/09(火) 21:09:47.45

これとか？
https://code.facebook.com/posts/745068642270222/fighting-spam-with-haskell/

**デフォルトの名無しさん** · 2018/01/09(火) 21:25:06.32

データフィルタ的に使うのなら確かにいいかもな。

**デフォルトの名無しさん** · 2018/01/09(火) 23:27:20.37

>>641
linuxを、デスクトップ用途で使うならいいけどなぁ。
wafとかで革新的なやつとか無いのかね？

**デフォルトの名無しさん** · 2018/01/13(土) 21:15:44.50

>>640
Pandoc

**デフォルトの名無しさん** · 2018/01/15(月) 20:41:07.18

関数型プログラミングの流行も落ち着いた感じかね？

**デフォルトの名無しさん** · 2018/01/15(月) 21:19:36.73

さいなー

**デフォルトの名無しさん** · 2018/01/15(月) 23:18:02.53

落ち着いたも何も、みんな身につけ終わっただけだろ

**デフォルトの名無しさん** · 2018/01/16(火) 13:33:12.35

せやな

**デフォルトの名無しさん** · 2018/01/16(火) 22:37:54.03

ビットコインの流行「奴は流行の中で最弱」

**デフォルトの名無しさん** · 2018/01/16(火) 23:05:29.36

関数型の後Pythonに戻ったら、それまでとも違うけど関数型でもないコードになった

**デフォルトの名無しさん** · 2018/01/17(水) 10:07:53.77

pythyonって関数型書きやすい？

**デフォルトの名無しさん** · 2018/01/17(水) 10:31:26.77

書きにくい

**デフォルトの名無しさん** · 2018/01/17(水) 10:57:56.45

lambdaが書きづらいからとか？
やっぱ関数型プログラミングはRubyのほうが強いのか

**デフォルトの名無しさん** · 2018/01/17(水) 11:09:34.12

Rubyと比べてどうかは知らんけど、Pythonのデータ構造や文法ならいわゆるPythonicな書き方が書きやすく読みやすいので関数型特化する必要がないので、関数型には書きにくい

**デフォルトの名無しさん** · 2018/01/17(水) 11:22:30.71

なぜ関数型とRubyが、目的と手段なんですか
理想主義と現実主義ではだめなんですか

**デフォルトの名無しさん** · 2018/01/17(水) 11:24:00.75

関数型って何をさすのか
よくそれだけで会話が通じるなと思うわ

**デフォルトの名無しさん** · 2018/01/17(水) 11:51:37.31

言語の標本集合をさすんじゃないですか
現実の言語にはばらつきがありますが、平均すれば理論値に収束する筈だとか

**デフォルトの名無しさん** · 2018/01/17(水) 13:21:41.39

標本がどうのこうのじゃなくて
会話噛み合ってないだろってことだよ
頭でっかちさん

**デフォルトの名無しさん** · 2018/01/17(水) 13:35:55.43

そうやって悪態をつくのも会話ができない人の典型

**デフォルトの名無しさん** · 2018/01/17(水) 13:57:51.64

rubyのfirst classですらないlambdaだって書きやすくはねーだろ

**デフォルトの名無しさん** · 2018/01/17(水) 18:38:24.63

>>658
ほんとにな。
ラムダ一つとったって型なし、型あり
型にしたって、型に依存する型、型に依存する項（関数など）、項に依存する型とか色々あるのに。

**デフォルトの名無しさん** · 2018/01/17(水) 20:11:35.06

PythonicとかPythonistaとか、改めて見るとすごい呼称だ。

**デフォルトの名無しさん** · 2018/01/17(水) 21:11:15.44

>>653
書きにくいから、Python の公式文書では lambda で書いたコードを
手続き型の for ループへ書き換えることを推奨している

https://docs.python.jp/3/howto/functional.html

**デフォルトの名無しさん** · 2018/01/17(水) 21:34:21.77

>>656
あれれ、日本国内ではそういう認識が浸透してるの？

世界的には Python の lambda が欠陥であることは広く知られていて、
改善に向けた議論も重ねられたけど、結局、作者のGuido氏が
「解けないパズル(unsolvable puzzle)」と匙を投げたという残念な
結論のまま現在に至っているという共通認識があります

https://mevius.5ch.net/test/read.cgi/tech/1415419907/197/

やっぱり日本在住の Pythonista がガラパゴスなのは昔から同じですね

http://mevius.2ch.net/test/read.cgi/tech/1345123070/70-71/

**デフォルトの名無しさん** · 2018/01/17(水) 22:01:34.45

python のラムダの使い道ってほとんどがソートに渡す比較関数くらいだと思う。

**デフォルトの名無しさん** · 2018/01/17(水) 22:47:35.07

世界的な認識のソースでも貼ってそうな場所にあるリンクが2chの別スレへのリンクで困惑している

**デフォルトの名無しさん** · 2018/01/18(木) 05:27:53.26

Pythonあまり知らんけど、上のリンク見てて思ったのは、

1. 自分で高階関数を作れない（ラムダ式が利用できる関数が少ないと書いてある）
2. where節みたいなスコープの限定されたローカルな書き捨ての関数を用意する文法がない（読みにくいでしょ？とか書いてある）

この辺の縛りがあるからでないかい？

**デフォルトの名無しさん** · 2018/01/18(木) 09:22:04.51

ごめん、>>669は寝ぼけて適当なこと書いたぽいから、無視しといて。

**デフォルトの名無しさん** · 2018/01/18(木) 21:25:08.77

関数型っのがどういう定義かは分からないけれど、
HaskellとPythonを比べると、パターンマッチが
なくて再帰が書きにくいと感じたり、
基本破壊的だから、わざわざ非破壊で書くのが
めんどくさいと感じる。

内包表記は似ていて良いかな。

**デフォルトの名無しさん** · 2018/01/19(金) 19:12:49.43

Schemeのマクロ定義でパターンマッチを使えるがすごい不人気だったよ
おそらくパターンマッチのアルゴリズムが透けて見えないと人気出ないよ

**デフォルトの名無しさん** · 2018/01/20(土) 08:12:20.84

うちのプログラマは大半がコトリンに移ったのでわしらラストを使うことにした

**デフォルトの名無しさん** · 2018/01/20(土) 15:07:10.20

イムータムルのない言語は全て糞

**デフォルトの名無しさん** · 2018/01/20(土) 16:54:37.17

関数型言語のパターンマッチって理論的な裏付けってあるんだろうか

**デフォルトの名無しさん** · 2018/01/20(土) 17:28:38.29

理論的てのが分からんけど、例えばリストを引数にとる関数なら、
空リストとSuccの場合を定義しとけば、帰納的に任意のリストについての適用結果が求められる、
とかそういうの？

**デフォルトの名無しさん** · 2018/01/20(土) 18:09:55.87

評価順序とかモチっと低いレイヤーでの動作規定ってことでないの？
ABIレベルでのさ。

**デフォルトの名無しさん** · 2018/01/20(土) 18:18:48.11

もしかして、あ氏？
だとしたら、お久しぶりです。

**デフォルトの名無しさん** · 2018/01/20(土) 20:48:41.14

>>676
そうそうそういうの
関数型ってって原理的にはあらゆるものが原始的な計算原理に還元できるものって理解してんだけど
パターンマッチはそういう裏付けあるのかなって疑問