次世代言語11[Rust Swift TypeScript Dart]
■ このスレッドは過去ログ倉庫に格納されています
スレタイ以外の言語もok
前スレ
次世代言語10[Rust Swift TypeScript Dart]
https://mevius.5ch.net/test/read.cgi/tech/1524607347/ >>386
Vimコマンド駆使するより素早く編集する方法なくね?
あったら乗り換えるが テキストエディタで完結するレベルの土方仕事しかしてないんなら、素早い(笑)んだろうな IDEじゃないと書きたくない言語と
そうでもないのがある https://github.com/albrow/fo
Foってこれか。米麺食いたくなる名前だな
Emacs信者の俺が純粋に聞きたいんだけどVSCodeのどこらへんがいいの? Functional GoでFoなのか
日本人だったらFGOとかにしそうだな
エディタやIDEなんてラーメンみたいなもんだろ
人のおすすめ聞くより使ってみる方が早い Foはジェネリクス対応してるのな
もうこっちでいいんじゃねw >>392
やっぱりトランスパイラみたいね。
出力されるコードが変なものじゃなければ、ありな気がする。もともと実験的な意味合いが強いからなー。 なるほど面食い連中に使ってもらって実験台になってもらおうという言語かw >>392
カスタマイズ無しでそれなりに使えるところかな?
素のemacsで開発できる? カスタマイズがないエディタ
cssとjsがないホームページ
次世代はこういうのでいいんだよ ドカタの知能は昆虫以下だからカスタマイズとか出来ないもんなぁ
それは理解できるけど人間様に同意を求めないで欲しい
違う生き物なんだから ただまあ、カスタマイズしないと使い物にならない、と、
カスタマイズいくらでも出来る、はまた別だからな。
VSCodeに関しては、吊るしで割と使えて、拡張機能で相当便利になって、
めちゃくちゃニッチなものなら自作もできる分、
割といいと思うよ。
生粋のemacsユーザみたいにemacsでメールチェックも何もかも済ませちゃう所までは行かないし、今更誰も求めないだろうけど。 エ、エディタで人の知能判断するのか………
宗教戦争がなくならないわけだ 証拠で判断する
知能が低い証拠や高い証拠
戦争も強さを立証するためにやってる そのエディタはお前が作ったのか?
使ってる道具を知能の証拠にするとかいいの?
ましてや戦争レベルにスケールアップするとかさあ… 少なくともメモ帳やEclipseやAtom使ってるやつの知能は心配していいと思う ファイルサイズでかいと途端に無能になるエディタが多くてなあ
モダンなエディタでまともに動くのはsublimetextくらいだわ atomは重すぎないかあれは
俺がクソザコpcだからなのかあれは Electron製エディタなんて重くなって当たり前なところはある ElectronだからってAtomのもっさり感は大概だと思うけどなぁ
VSCode使ってたら尚の事 早いところreact-nativeで、再実装されたvscode見てみたいな。最近のマイクロソフトのRN推しはなかなか良い。 >>417
youtubeでいいからデモってみてよ Goは「エンター押してGo!」って標語通りのコンパイル速度目指したあれだろ
トランスパイラなんか噛ませて「エンター押してコーヒーブレイク!」じゃアカンでしょ >>420
go自体早くなってきてるし一段トランスパイラ噛ませても早いのでは? 型推論とジェネリクスが入るとどうやっても遅くなるんでない?Fo試してないけど。 >>421
エンター押してGoのためにゲネリクスまで捨ててるのに
それ捨てたら捨てるものしか残らないゴミ箱になるだろ いやだからgo本体に組み込まれるよりかトランスパイラで実験的に使ってもらったほうがいいってことでしょ。 コミュ力重視棒で殴ってばかりで代案を出さないのが普通の日本人 そもそもgoにジェネリクス入れないとは行ってないぞ。faq見ろや。むやみに希望通りに機能追加したくないだけ。
phpみたく投票で決めてうまく行った例をみない Haxe(ヘックス)はOSSで、JSに型チェックを付けたような言語で(altJS)、
JS(ES5), Flash, PHP, C++, Java, C#, Python, Lua に書き出せる
インストールしてみた。楽しみ >>431
多数決がロクでもないのは本当にそう思うわ
Linusほどとは言わないがBDFLが方向性と重要な決定で決断するのは本当に重要 最近はRust風のRFCベース開発が増えてるが
これはどうなんだ?
正直発端のRustがゴミなんでこの方法も多数決と大差ないゴミだと思うんだが >>269
RustがゴミだからRCFもゴミという理屈を通すなら
RCFがゴミだからインターネット技術も全てゴミということか
ネット技術を否定するとはたまげたなぁ Request Comment For internetsだろ。 Rustがゴミだというのは要出典だが
1人か数人程度で書いた出典が多数派より強いなら多数決ではない マスカキ・ラスマス・豚ラードみたいなクソガイジが作ってるガイジ専用PHPoorは
今すぐ死ね
今すぐにだ Rustがゴミなら
さしずめPHPは放射線汚染汚物だな
存在自体が害悪 その場合は放射線じゃなく放射能では?
言葉は正しく使いましょう。 放射能に汚染されるとかあるの?
放射線を当ててDNA傷つけるとかはあるけど。 放射能を取り込んだら常に放射線を受けるようになる。これを汚染という 文書を管理し公開すれば質問に答える手間が省ける
独裁者は効率が良いというが、文書管理ができない独裁者は効率が悪い >>447
「放射能漏れ (放射性物質が意図せず外部に流出すること)」など、
放射能という言葉で放射性物質を意味することが我が国では頻繁にある >>448
なんと!
日本語審査会で審議しないといけないな。 放射能とは放射線を発する能力のことだよな。
それなのに、放射性物質漏れを放射能漏れと言うとは、原発村は朝鮮部落じゃないのか?
日本語全然ダメじゃないか。 class 物質 {
放射能 : Double
onRecv(r: 放射線) {
var a = is放射性物質()
放射能 += calc(this, 放射線)
if(a != is放射性物質()){ on放射化() }
}
on放射化(){
}
is放射性物質(){
return 0 < 放射能
}
onTick() : 放射線 {
return 放射性崩壊()
}
} 関数型なら放射能の基底値最低値みたいなものがあればモノイドやモナドに出来るはず 開発のオッチャンが
ポンコツになって病んで
いつの間にか復帰したと思ってたら情シスに異動してて
クソみたいなノーパソのセッティングとかするだけのマシーンになってた
おまえらもいつかああなるんだな >>436
誰だよRFCをRCFと書いたバカは?
あ…俺か…
疲れてるんだよきっと… 関数型も注目された結果色々なエッセンスがそうでない多くの言語に取り込まれたけど依存型線形型は難しくて部分的な取り込まれ方もしなそうという気持ちがある
純粋に難しいのもあるし実務を見据えると煩雑すぎる 型の話をするなら動的型と静的型に分ける
型の話をするならHaskellとTypeScriptは似たもの同士である TypeScriptみたいなド型とHaskellの型システムを一緒にしないでくれる? TypeScriptは構造的部分型
クラス定義の見た目が似ているだけで、Java系のド型とは実は概念的に全然違う 型チェックと値チェックを一緒にするのは動的型なら簡単に思いつくこと
依存型が難しいというのは静的型が難しいだけのこと >>454
クソコード書いてメンテ不能状況作るよりかそっちのがよっぽど建設的だわ。 逆に言うと、建設的なことをやらない理由は、やったら差別されるから
差別があるから非効率的になる ド型ワロピオ大草原パークwwwwwwwwwwwwwwwwwwwww >>465
たかしに
あんな惨めなポジで会社にしがみつくとか情けなさすぎて俺なら絶対できねえ >>462
静的に値チェックがカリーハワード同型対応の下で示せるのが依存型のうれしさなので動的型で簡単と言われてもそれは不完全性としか聞こえない PythonもHaskellも全部やれば完全になるのに
同型対応というなら少なくとも2つの具体例を比較する必要がある
1つでは足りない 人間はねぇ簡単に壊れるんだよ。
そして壊れたらまず戻せない カリーハワード同型対応も知らないのに型を語るのかぁってなってる 最近、依存型と線形型について勉強し始めたんだけど、
依存型と線形型の両方が使える言語ってATS2以外に何かある? >>475
idrisって依存型はあるけど線形型もあるの?
依存型については何となく分かってきたんだけど、
線形型についてはまださっぱりなんだよね…
Rustの所有権とはまた違う概念なの? >>476
そのものはないけどuniquenessとborrowedがある
rustの所有権もその辺りに基づいてはいる
そのものはHaskellで提案されているくらいであとは自前実装しかないかなぁ >>477
勉強用なんで「そのもの」が欲しいんだよね
てか、ATS2の線形型はそのものだと思っていいんだよな…?
名前は線形型だけど実際には線形型擬きでしたじゃ勉強用としてちょっと… 何言ってんのかまじでわからねー。
そんなの仕事で出てこないが、ほんとに使うのそれ?研究目的? 依存型は全然ないから仕事で使いたくても使えない。悲しい TS程度あれば十分だろ
TS以下はゴミだが
TS以上は学習コスト高い 学習コスト云々言うんならJavaのオブジェクト指向も大概学習コスト高いと思うわ
正直モナドと同じくらいやろ(適当)
そんな学習コスト高いものも全力で教育すればなんとかドカタでも使えるようになるんだし、概念が広く知られて本さえ出れば次世代言語の中心概念になってても大丈夫だと思う >>482
Thanks!
じゃあ、やっぱりATS2で勉強するわ
>>480
現状じゃまだ研究の段階だろうね。5年後は分からんが…
とは言え、5年後でも使ってるのはほんの一部の企業だけだろうな…
日本語の書籍が大量に出回るようなレベルにならない限りはほとんどの企業はどうせ使わない そもそもやってるやつの目的が
やってないやつが多い概念のがマウント取れるってことだからな。
そりゃ流行らんわ なんやその目的
単純にコードの重複削って短くしたいだけやぞ ■ このスレッドは過去ログ倉庫に格納されています