次世代言語9[Haskell Rust Kotlin TypeScript Dart]

**デフォルトの名無しさん** · 2018/03/06(火) 10:09:15.60

スレタイ以外の言語もok

前スレ
次世代言語Part8[Haskell Rust Kotlin TypeScript]
http://mevius.5ch.net/test/read.cgi/tech/1512137301/

**デフォルトの名無しさん** · 2018/03/06(火) 10:30:06.56

Dartきてんね

**デフォルトの名無しさん** · 2018/03/06(火) 11:03:49.49

DartとDlangの違いを教えてください

**デフォルトの名無しさん** · 2018/03/06(火) 11:43:03.15

Googleは言語選択保守的すぎるだろ
関数型言語採用しないどころかGolang作っちゃう時点で

**デフォルトの名無しさん** · 2018/03/06(火) 12:27:31.20

Goと関数型は土俵が違わん？

**デフォルトの名無しさん** · 2018/03/06(火) 14:53:26.90

関数型とは具体的に何のことやら
Rustが採用したenumとtraitは関数型か？

**デフォルトの名無しさん** · 2018/03/06(火) 20:42:26.57

>>4
別にそんなとこで冒険しても生産性上がらんよねって感覚なんだろ。

**デフォルトの名無しさん** · 2018/03/06(火) 20:42:29.39

>>6
enum・traitと関数型は関係ないだろ？どちらもHaskellの型システムをパクって来たってだけ
関数型言語の特徴として真っ先に思いつくのは関数を第一級オブジェクトとして扱えるか否かというところだろうな
ただその考え方だけだとC言語でさえ関数ポインタがあるから関数型言語に含まれてしまうことになる
そこからさらに副作用を出来る限り避ける文化があるか否かとかも判断基準になるのかな？
言語の文化とかふんわりした表現は具体性を伴わないから説得力に欠けるんだよな
改めて関数型を具体的に説明しろと言われると難しいな…

**デフォルトの名無しさん** · 2018/03/06(火) 20:57:45.92

>>8
関数ポインタは確かにC/C++系独自だけれども（Javaにはなかった）第一級オブジェクトではない、とおもうよ

**デフォルトの名無しさん** · 2018/03/06(火) 21:32:52.86

もう少しだけ動的に関数定義を変えて返したりできるのが関数型ぽい。

**デフォルトの名無しさん** · 2018/03/06(火) 21:34:37.20

Cの関数は実行時に生成挟めないから第一級オブジェクトではないよ

**デフォルトの名無しさん** · 2018/03/06(火) 21:40:19.40

c++ならクラスのメンバに情報持たせて、メソッド使うことでクロージャぽいものはできるけど。

**デフォルトの名無しさん** · 2018/03/06(火) 21:45:38.71

λ理論を念頭に置いて実装されたかどうかやぞ

**デフォルトの名無しさん** · 2018/03/06(火) 22:00:19.48

c++なら素直にラムダ式使おうよ…

**デフォルトの名無しさん** · 2018/03/06(火) 22:19:34.09

C++ のラムダ式でYコンビネータを記述できるのですか？
できないのならラムダ式などと呼称していいのでしょうか？