X
次世代言語18 Go Rust Elixir Kotlin TypeScript
レス数が950を超えています。1000を超えると書き込みができなくなります。
0853デフォルトの名無しさん
垢版 |
2020/03/29(日) 21:51:55.62ID:AoSt3bhf
そらそうやろ
何個言語あってプログラマ何人おると思ってるねん
0857デフォルトの名無しさん
垢版 |
2020/03/29(日) 23:23:25.57ID:AoSt3bhf
TypeScriptで質問なんだけど、全く新しい型を導入する方法ってあるのかな？
構文がわからないから疑似コードで書くけど、

typedef X; // Xという新しい型を定義

function makeX<T> (t T): X { /* ... */ }

// makeXで作られた値以外を渡したらいつもコンパイルエラー
function soSomethingWithX( x: X ) :void { /* ... */ }

こういうことがしたいんだけど…
0858デフォルトの名無しさん
垢版 |
2020/03/29(日) 23:53:44.28ID:Erzf/uFl
TypeScript は構造的部分型だから無理

type Nekko = {
name: string
age: number
}

type Inu = {
name: string
age: number
}

これらは同じ扱いになる
っていう話？

それとも makeX 以外で X を作れなくしたいという話？
別に X を満たせば、 makeX 以外が X 作ってもよくない？
makeX が作った X と、makeX 以外が作った X が別物なのであれば、
それらは別の型だろう
0861デフォルトの名無しさん
垢版 |
2020/03/30(月) 00:15:47.42ID:byCSvntg
>>847
erlang かな
むしろ全て機能を並列処理で書くしか無い割り切りというか
0862デフォルトの名無しさん
垢版 |
2020/03/30(月) 00:42:47.60ID:Oymj8mf6
>>847
スクリプト言語ではないが、GPGPU 用のC言語に似た言語は、そもそも
最初から並列処理を前提にしている。
0863デフォルトの名無しさん
垢版 |
2020/03/30(月) 01:02:40.38ID:DOS6yDxg
>>860
プロパティが一致しなければ別の型になるので、
piotrwitek/utility-types の nominal type 使うなどして、自分で識別子を与えればできる
JavaScriptというカオスな言語・膨大な資産を利用するには、仕方ない面もある
0865デフォルトの名無しさん
垢版 |
2020/03/30(月) 20:46:42.03ID:kgJURof2
erlangｔって、堅牢かもしれんが縛りがきつくて決して簡単だとは思えないが。
0867デフォルトの名無しさん
垢版 |
2020/03/30(月) 21:09:02.33ID:08TDMd3Q
>>864
やっぱりPureScriptでAffがナンバーワン！
0868デフォルトの名無しさん
垢版 |
2020/03/30(月) 21:15:44.17ID:kgJURof2
いや文法がどうとかじゃなくて、データを一切共有しないアクターモデル自体がね。
0870デフォルトの名無しさん
垢版 |
2020/03/30(月) 23:41:35.89ID:mSBWf3OZ
並列処理は、データベース管理システムで結合したマルチプロセスでほとんどの場合十分だろ、って思ってしまう
局所的な高速化だったらライブラリ使えになっちゃうし
0875デフォルトの名無しさん
垢版 |
2020/03/31(火) 11:26:57.93ID:S3VhPMDw
zig/zen/c2にはCの壁は崩せんかなぁ
いい感じではあるけどいい感じから更に上回って採用するほどではないという
0876デフォルトの名無しさん
垢版 |
2020/03/31(火) 13:17:16.39ID:OTxurRkT
cの壁崩す前にcの前に散っていった言語の特徴でもまとめておいた方がよっぽど前向きだよ。
0878デフォルトの名無しさん
垢版 |
2020/03/31(火) 14:38:03.91ID:EXHwmcq2
UNIXにしろWindowsにしろOSのAPIがCの関数だから
アプリもCで書くのが一番自然になる
0880デフォルトの名無しさん
垢版 |
2020/03/31(火) 15:45:01.73ID:54ZUq6ql
極論であると同時に正論でもある稀有な例。
0882デフォルトの名無しさん
垢版 |
2020/03/31(火) 16:47:11.45ID:54ZUq6ql
つまりわざわざC以外にする必要性もないわけだね
0887デフォルトの名無しさん
垢版 |
2020/03/31(火) 17:40:28.69ID:qnv4SZcB
アセンブリでマウント取る爺様方がだいたい鬼籍に入って次はCでマウント取る爺様方の時代になった感じやね
0888デフォルトの名無しさん
垢版 |
2020/03/31(火) 18:01:22.91ID:uDSFrRRV
C#からCのAPI呼ぶとき
構造体とか配列のポインタとか面倒だな・・・
0889デフォルトの名無しさん
垢版 |
2020/03/31(火) 18:27:57.93ID:S3VhPMDw
Cベースはむしろマシなんだよほとんどの言語でFFIあるし
問題は処理系依存マシマシのC++ベースAPI/ABI
0890デフォルトの名無しさん
垢版 |
2020/03/31(火) 18:58:18.61ID:DEnjdkJH
>>888
C#のFFIはかなり良い方だろ
C側でラッパーを一切書くことなくC#から呼び出せる
何より、トラブルの元になりがちな変なコードジェネレータの類がなくて、宣言した通りに正しく素直に動くってのが素晴らしい
そのストレスフリーさに比べたら、C#側で関数や構造体の宣言を書き直さなきゃいけないのは余裕で受け入れられる冗長性だと思う
0891デフォルトの名無しさん
垢版 |
2020/03/31(火) 21:40:41.75ID:OTxurRkT
別にcで書けって話でなくて、cのそういう側面くらい常識として知っとけって
だけなのに、なんかコンプレックス刺激されちゃう奴がいるのな。
0892デフォルトの名無しさん
垢版 |
2020/03/31(火) 22:05:04.60ID:HDRrREDo
>>891
C がわかる、てだけでドヤるのも大概だけれども
それよりももっと性質が悪いのは C がわからないコンプをこじらせているやつ
0893デフォルトの名無しさん
垢版 |
2020/03/31(火) 22:28:42.75ID:G9etW8qy
次スレは「次世代言語を夢見るレガシー言語労働者達のマウンティング合戦スレ」に改題で
0895デフォルトの名無しさん
垢版 |
2020/04/01(水) 17:19:13.73ID:XWi3lCYB
C#はわからん
0896デフォルトの名無しさん
垢版 |
2020/04/01(水) 18:46:22.78ID:60SS71wY
ヒカルと店長からこれまで話してこなかった真面目な話があります
https://www.youtube.com/watch?v=WiPoQWJfFt0&;t=900s
全部話します。YouTuberヒカルが生まれるまでの話しと今の本音
https://www.youtube.com/watch?v=97FsyM7G1jw
高校生の自分に教えたいこと
https://www.youtube.com/watch?v=y0SY32zOExc
嫌われながら好きなことで、生きていく「起業家-ヒカル」
https://www.youtube.com/watch?v=OcsN5iD7C-s
【本音対談】これからYouTubeをはじめるあなたへ【DJ社長×ヒカル】
https://www.youtube.com/watch?v=IDL3dLxyPuk
【好きなことで、生きていく】『レペゼン地球-DJ社長-』
https://www.youtube.com/watch?v=PPnbEiXSYM8
0898デフォルトの名無しさん
垢版 |
2020/04/02(木) 20:08:57.64ID:SaXsz2/b
標準ライブラリが豊富な言語ってC++, Javaとかになるの？
0899デフォルトの名無しさん
垢版 |
2020/04/02(木) 22:35:51.75ID:0tSRYO67
C++は豊富とは言えない。
0901デフォルトの名無しさん
垢版 |
2020/04/02(木) 23:17:47.62ID:iuGcEdKM
プログラム板でこのスレしか人いないのほんと草
0903デフォルトの名無しさん
垢版 |
2020/04/03(金) 00:01:45.98ID:0E621fjE
.NETも標準ライブラリ豊富だろ
つか、今時スレが言語スレだが言語だけで語る滑稽さ
次世代言語というより、標準ライブラリも含めた次世代環境がほしい
0904デフォルトの名無しさん
垢版 |
2020/04/03(金) 00:21:31.40ID:v6FKoEXq
最近の言語はどれも環境そろってるだろ。
適当なインストーラーとライブラリ管理はあるし。
ビルド通らねー糞が！とかもだいぶ減った。
0905デフォルトの名無しさん
垢版 |
2020/04/03(金) 00:44:59.65ID:WSo5wZTZ
rustはpythonがらみでエラー出てビルド通らなかった。
本気だして調べる気力もなく、関連ファイル削除して男友達と焼肉食いに行った。
わざわざ男友達と書いたのは、女友達なんかいないからだ。
0909デフォルトの名無しさん
垢版 |
2020/04/03(金) 10:41:31.87ID:TFqtSApO
Pythonはいいぞ
Makefileより読みやすく
Python自身のビルドはLLVMのビルドより10倍か100倍速い
0911デフォルトの名無しさん
垢版 |
2020/04/03(金) 14:42:39.21ID:Tc814Ws0
型が無いんじゃなくて型を差別してないのさ
どんな型が来ても受け入れるおおらかさがある
0912デフォルトの名無しさん
垢版 |
2020/04/03(金) 15:11:10.65ID:v6FKoEXq
動的な型なだけだな。
ネストした構造をループ処理するときなんかは確かに楽なことも多い。
0914デフォルトの名無しさん
垢版 |
2020/04/03(金) 15:51:03.27ID:MTkh8ajj
強い動的型付けだし型アノテーションだいぶ充実してきたしでだいぶマシだと思うけどなぁ

弱い動的型付けと同一視するのは誤りの元だし、漸進的型付けの存在を無視するのもまた評価を誤りかねないですよ
0915デフォルトの名無しさん
垢版 |
2020/04/03(金) 16:37:43.22ID:UYNPUerC
Pythonの型アノテーションは実際には全くと言っても差し支えないほど使われていないから無視して問題ない
そろそろ後付け静的型の代表的成功例であるTypeScriptと何が違ったのかを真剣に議論すべき時期にきてる
0919デフォルトの名無しさん
垢版 |
2020/04/03(金) 18:10:28.37ID:VVxcL9Mv
>>902
C#は多いけど標準かって言われるとな・・・
C/C++も「標準」に拘ると何もできないω
0921デフォルトの名無しさん
垢版 |
2020/04/03(金) 22:20:48.78ID:bCeKFD21
動的だと、神関数が、作れるからオススメ。

func add_god(a,b){
return a + b
}

add_god(1,2)
add_god("a","b")
add_god(1,"a")


神関数、があれば、コードの削減が可能！！！！！！！！！
ノーコード時代には動的型付け言語一択！！！！！！！！
0922デフォルトの名無しさん
垢版 |
2020/04/03(金) 23:12:24.05ID:IuiLyZOy
型無しのデバッグ作業に駆り出された事有るけど、マジで地獄やぞ。絶滅はよ
0923デフォルトの名無しさん
垢版 |
2020/04/03(金) 23:39:58.52ID:b0rZIsH6
ガチのマジで型無し糞言語の良さがわからん
死ねとまでは言わないが生まれてこなければよかったのに
0925デフォルトの名無しさん
垢版 |
2020/04/04(土) 01:01:37.87ID:ImIgGAA9
何回言われても直す気がないからもう悪意だと認識してるけど、動的型付けと型なしは全く別のものとしてそもそも存在してるので、動的型付けを型なしと呼びまた強い型付けと弱い型付けの区別を無視する限りこの議論が有意義に進むことはないよ
0927デフォルトの名無しさん
垢版 |
2020/04/04(土) 01:04:40.59ID:PddOPzm8
型があれば静的解析に有効というのは間違い無いのだが
静的解析すれば全てのバグを取り除けるというのは間違い
0928デフォルトの名無しさん
垢版 |
2020/04/04(土) 01:34:09.53ID:ezNPGdHf
> 静的解析すれば全てのバグを取り除けるというのは間違い

そもそもそんな主張誰もしていない
0929デフォルトの名無しさん
垢版 |
2020/04/04(土) 02:58:03.09ID:bmDmb45p
スクリプト界隈もlintから始まってflowだTypeScriptだ型定義は素晴らしい！静的型付けバンザイ！
とかあれだけ動的型付け素晴らしいからの静的型付け面倒臭いとかディスッといてこの状況は大草原ですわ
まぁ何事もトレードオフだからケースバイケースで使い分ければいいんだが
今頃ブレイクスルーだなんだと大騒ぎなのは滑稽ですな
js界隈も結局サーバサイドレンダリングに回帰してるしファッションや音楽と同じで10〜20年スパンでサイクルすんのかね
0930デフォルトの名無しさん
垢版 |
2020/04/04(土) 04:34:22.45ID:aJleCvsu
JSを本業にしてる層って最近の若者で学生時代にちょっと触り始めた生意気なガキが多いから気にしない方が健全
0931デフォルトの名無しさん
垢版 |
2020/04/04(土) 07:59:21.83ID:ImIgGAA9
CのunionとかC++のオブジェクトスライシングの話を見てたら型が無いからクソみたいな言説は発生しないはずなんだがな……

型があっても言語としての使い方がクソならクソだし、静的解析のないLLだからってランタイムにきちんと型エラー吐いてくれるものが比較的マシという評価になるのは間違いないでしょ

デジタルな分野扱ってるからって判断までI/Oにするもんじゃない
0933デフォルトの名無しさん
垢版 |
2020/04/04(土) 09:42:25.07ID:BgK/PXFy
>>932
君は　>>921　の関数に、整数、小数、文字列、オブジェクト、真偽値、日付型・・・
たくさんの引数を与えて
一生懸命テストを書くのだろうな

それは素晴らしいことだと思うよ
感動で涙がで、でますよ
0936デフォルトの名無しさん
垢版 |
2020/04/04(土) 09:50:52.18ID:BgK/PXFy
それともコメントに、
この引数は整数でございます。小数、文字列、オブジェクト、真偽値、日付型・・・は教育によろしくないので与えないでいただけますと幸い至極でございます。
とでも一生懸命書くのかな？？

それでIDEの静的解析に警告を受けたら
「やっぱり型無し糞言語でも安全！！型はいらない！！！」
とか言うのかな

あれっｗ
0940デフォルトの名無しさん
垢版 |
2020/04/04(土) 11:05:52.17ID:L/BdUORC
逆に静的型付けの何がいいのか知りたい
JavaScriptやpyなんか連想配列や辞書
定義するのもコンソール出力もめっちゃ便利やぞ
コンパイルエラーの手間もないしめっちゃデバッグが楽
0942デフォルトの名無しさん
垢版 |
2020/04/04(土) 11:46:08.97ID:nZpdiFMX
// この関数を使えばなんでもできます
func god(args...){}

これだけで基幹システム作ったわ
1年掛かる工数を3日に短縮できる動的言語ってやっぱ神だわ
0945デフォルトの名無しさん
垢版 |
2020/04/04(土) 13:09:18.66ID:XKUUvXNa
public class HelloWorld {
public static void main(String[] args) {
System.out.println("hello, world");
}
}


やっぱJavaだわ
記述量が多いから努力した気になれるし成長した気にもなれる
静的型付けだから動的野郎にもマウント取れるし
昔ながらの大企業でよく使われてるから日本の伝統も感じられるし
今後50年は食いっぱぐれないし
Oracleに転職できるかもしれない
0948デフォルトの名無しさん
垢版 |
2020/04/04(土) 14:40:47.29ID:4+4qlucB
英語圏の文化で面白いのがプログラムしかない
これが無くなったら英語自体がオワコン
0949デフォルトの名無しさん
垢版 |
2020/04/04(土) 17:38:57.41ID:VsggCgGE
>>941
動的派の書くテストは正常系を一発通すだけのものが多くて、あれでテストちゃんと書いてますと言われても首を傾げてしまう
動的型のコードがデグレで動かなくなるのは日常茶飯事であるし、そもそも最初から全く動かないウンコであることも珍しくない
だから最低でも変更の度に自動テストで一度動しておけば品質は大幅に上がるのだが、とはいえ血便が下痢便になる程度
一方、静的型はプログラマの品質に対する意識の高さや静的型検査の恩恵のため、動かすだけのテストにはあまり意味がない
起こりうる様々なケースを試したり挙動の変更を厳密に監視したりと、静的型においては自動テストに求められる基準は遥かに高くなる
0950デフォルトの名無しさん
垢版 |
2020/04/04(土) 17:54:20.92ID:f2T6dYaQ
>>933のいうとおりだな。人間どうミスするかわからんから、
整数、少数..本来は全部やるべきだな

エラーの原因の大半は人間のちょっとしたミスだからな

>>934は勝手に都合のいい解釈でそういうテスト省こうとしてるだけやんw
0951デフォルトの名無しさん
垢版 |
2020/04/04(土) 17:57:18.65ID:j3yAmUj/
過激派静的言語マンってミスが一切許されない職場で働いてそう

動的だと一週間で終わるものを三ヶ月ぐらい掛けて実装してそう
レス数が950を超えています。1000を超えると書き込みができなくなります。
ニューススポーツなんでも実況