次世代言語12 Go Rust Swift Kotlin TypeScript

[過去ﾛｸﾞ] 次世代言語12 Go Rust Swift Kotlin TypeScript (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

105(1): 2018/07/09(月)11:52 ID:b/biyW6c(1/4) AAS
>>103
後の引数のpredicateが前の引数を参照するためにはカリー化されてると都合がいい

112: 2018/07/09(月)17:03 ID:b/biyW6c(2/4) AAS
>>106
カリー化されてると全部1引数の fun a -> aを使う(かもしれない)型の形で済むだろ
ATS2がどうしてるかは知らん

117(1): 2018/07/09(月)18:41 ID:b/biyW6c(3/4) AAS
まともな推論を入れようとしたら>>108みたいな理由で式ベースになるんだから
C系に似せようとしたところで不格好で無駄に記述量も多いキメラができるだけだろ

ところでBASIC舐めてるわけ？

123: 2018/07/09(月)21:56 ID:b/biyW6c(4/4) AAS
>>120
rustは根っこのところは手続き型だからな
もっと式ベースを徹底していったらC系文法なんてどんどん余計なものになってくよ