【.NET】F#について語れ3【OCAML】 (249ﾚｽ)
【.NET】F#について語れ3【OCAML】 http://mevius.5ch.net/test/read.cgi/tech/1567937785/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
180: デフォルトの名無しさん [sage] 2022/11/10(木) 00:34:16.29 ID:zLzbMwRI >>173 関数型とは何か、なんて言える程偉くないのでとりあえず 処理を連ねて書き(パイプライン、|>)、抽象化できる部分に名前を付けてファクターアウト(関数合成、>>) というF#の目立つスタイルについてだけ それ自体は連鎖型言語(forth, postscript等)スタイルを型推論で補強したもの、と見ていい 名前の付け易さ=テキストとしてのコード片に意味を与えられるか グローバル状態へ(副)作用する演算子の併置のみで記述する連鎖型言語には、プログラムから任意に切り出したコード片も有効なプログラムとなる性質がある 一方でそのコード片の任意な繋ぎ合わせも有効(だけど多分無意味)という問題もある 関数型スタイルは状態を持つ事を避ける真逆の発想でロジックの分離を奨励するけど、柔軟な記法定義を許せば連鎖型風のテキスト上の切り出し性までエミュレートできる さらに型推論で無意味な貼り合わせの大半を防ぐ、というのが売り http://mevius.5ch.net/test/read.cgi/tech/1567937785/180
181: デフォルトの名無しさん [sage] 2022/11/10(木) 00:45:12.32 ID:zLzbMwRI 関数型を極端に突き詰めれば、引数に一切言及しないポイントフリースタイルに行き着くけど これは連鎖型スタイルそのもの、唯一のグローバル状態が暗黙の引数なので言及しない 当然どちらの極端も実用的でないので、名前は付けようね http://mevius.5ch.net/test/read.cgi/tech/1567937785/181
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.021s