関数型言語について話し合いましょう。
前スレ
関数型言語Part IV
http://pc12.2ch.net/test/read.cgi/tech/1083649982/
関連スレ
Lisp Scheme Part27
http://pc12.2ch.net/test/read.cgi/tech/1248657331/
関数型言語ML (SML, OCaml, etc.), Part 6
http://pc12.2ch.net/test/read.cgi/tech/1245017721/
関数型プログラミング言語Haskell Part11
http://pc12.2ch.net/test/read.cgi/tech/1252382593/
Emacs Lisp 3
http://pc12.2ch.net/test/read.cgi/tech/1191875993/
http://pc12.2ch.net/test/read.cgi/tech/1176479959/
【.NET】F#について語れ【OCAML】
http://pc12.2ch.net/test/read.cgi/tech/1186030985/
・関数がファーストクラスオブジェクトとして扱える
・リスト操作が簡単
・ラムダが簡単
としか思っていないし、それ以上のことはどうでもいい
純粋とか非純粋とかマジどうでもいい
考えを改めると世界がよりよく見渡せるようになると思う。
今後もそんな目は要らないと言うのなら、どーでもいいが。
別にそんな一所懸命、何かをわかってるフリしなくていいです。
失礼しました
ところで、前スレの990の
>ソフトウェア設計(あるいはプログラミング)という行為を、(理論を背景にして)
>より抽象的に、より形式的に実践しようとすることは大切だし、それを多くの人に広めたい。
というのは同意見です
現場でも理論的な背景を知り実践していくべきです
そういう意味ではHaskell, OCaml, Scala, haXeあたりを進んで実戦投入していけば、
いやでも広まると思います
もし現場で設計を担当していて、開発言語を決定できる権限のある方はこれらの言語を推してください
JavaScriptは関数型言語か否か
納期に間に合わなかったら誰が責任とるの？
分かってないけどいーじゃん、フリぐらいさせろ。
別に大きく間違った事は言ってないよな。
Haskellじゃなくて他の"一般的な"言語を使っていたら納期遅れの責任を回避できるの？
どの言語を使おうが、責任の所在は変わらないと思う
末端の単純労働力のレベルを知ってて仰ってるのん？
はい、ある程度は知っています
C++やPHPを使わせるよりは逆に安全だと思っています
実際に某関数型言語(詳しくは書けません)で協力会社さんに依頼を出したことがあります
確かに出来上がったコードは期待以下でしたが、それでもヌルポが頻発するよりましでした
システム開発の現場の方へ：
もし趣味で学んだ関数型言語がシステム開発に有用だと思ったら、
上長やリーダー（システム設計の責任者）にその件をぜひ提言して下さい
その提言が受け入れられたからといって、万一プロジェクトが失敗した責任があなたに
降り掛かってくる事はありません
安心して提言しましょう
システム設計責任者へ：
どの言語を選ぼうが、結局のところ設計責任はあなたにあります
胸を張って自分がいいと思う言語を選択してください
たとえそれが趣味であろうとなかろうと
一般的であろうとなかろうと
実用プログラミング言語なんて、
それをつかう一般的プログラマにとって、
言語自体が把握できる大きさと複雑さに抑えられていて、
対象とする問題記述に可能な限り簡易であればそれでいいのだと思う。
そうだとするとC++なんて実用言語としては論外だなｗ
C++をもちだすのはスレチだろうけど。
まったくその通り。
念のため>>18ではライブラリも含めての複雑さ大きさ。
でも複雑で巨大でも、使うプログラマからすれば必要な部分だけチョイスして
プログラムできればそれでいいんじゃないかと思うよ。
C++の全仕様を把握してるプログラマとかANSI CLの全ライブラリを熟知してるプログラマとか
存在しない（と思う）けど、別にそれは問題ないだろ。
はい論破
必要な部分だけ選択することができて、
名前などがうっかり重複してしまっても問題ないといいですね。
>>22
対象とする問題の種類と大きさによる。
大抵のプログラム言語は名前空間なりパッケージシステムなりで
名前の重複は実用上問題にならないか、問題が起きても発見できるんじゃねえ？
http://pc12.2ch.net/test/read.cgi/tech/1246289771/
色々と質問攻めしたいんだけど
マ板の名物精神病者につき、無視推奨
Languageもまともに綴れないようだし。
http://pc12.2ch.net/test/read.cgi/tech/1242484767/
おっさんだと思ってた
おっさんは頭おかしい奴多いからな
> ・関数がファーストクラスオブジェクトとして扱える
> ・ラムダが簡単
なんだこれは。ちゃんと整理しろ。
関数の返り値を使って処理を行うスタイルが徹底されている言語
94 ：どうですか解説の名無しさん：2010/03/26(金) 16:46:32.35 ID:A/YF/FyF:
もう、それはいいや
その段階は超えた
関数型言語って、わずかにズレてんだよなぁ････
クラスなんてものを使わず、関数でかいていくのはいいんだけど、
それだけじゃダメで
根底に1つ、クラスが必要であって
そのクラスオブジェクトにlambdaやメンバ変数やメンバ関数を、 オブジェクトインスタンスごとに付け加えていく感じ
それによって、型 ＝ データとなって、
プログラム中に同じ型が存在しなくなるみたいな、そういうやつ
関数型言語は、まだそれを夢想している段階の言語で、決定的なものが抜けているからオブジェクト指向言語にすら勝てない
2011年の今現在、関数型言語で関数型プログラミングするよりも
オブジェクト指向言語にて関数型プログラミングしたほうが圧倒的に優位
OOPの発想をSMLで表現する方法が載っている
http://mlton.org/ObjectOrientedProgramming
不勉強な馬鹿丸出しなんだが。
同時代関数型言語でオブジェクト指向機能ないのを探す方が難しい。
いやいや、君ら最近覚えたような人だろうけど、
そういうことじゃないんだよね
上のコテの「OOPLで関数型」は散々議論をし尽くされた上での結論なんだよ
ひよっこには理解はできんだろうが、まあ可能性を探してくれたまえよ・・・
判る判る・・・
関数型の関数は重すぎるってことだな
さよなら・・・
（注：◆KOAgYBL/Xgは うゆのトリップのひとつ）
うゆ君は英語論文も英語ブログも全然読めないですよね。
「散々議論をし尽くされた」とはどこの議論の事でしょうか？
ム板で技術に関する嘘をまき散らすのは止めてください。
実現可能か？
俺は無理だと思う。
オブジェクト指向と関数型は
相容れない。
俺は無理だと思う。
λ計算じゃないんだから。
純度を高くすると限りなくラムダ計算に近くなって、無くなると思うぞ
変数なしに実行できるような文法を持ってる言語のことだよ。
に興味を持って、解読不能なコンパイルエラーでいやになって、MLに移った
のだが。まあ、gcc2.95の時代なので、もっとましになっているとは思うが。
>>58
思うって言われても…
現実のプログラミング言語で極限に近づいたものは何があるの？
言語の問題ではなく、スタイルの問題だよ
純度の高いスタイルで書けば、副作用は限りなくゼロに近付くということ
副作用を持つ関数がほとんど存在しない
例外はunsafePerformIOなど使って定義された関数
ああん？生き別れの兄弟さん？ああん？
仕事で仕方なくならわかるけど
家でもJAVAやってるなら本当にバカだよね。哀れ
ゴミ
変数に＄ついてる言語触ってるって事だよね
いちいちSHIFT＋４キーおして ＄ 打ちまくってる感触はどう？
これでもYOME
http://en.wikibooks.org/wiki/Haskell/Understanding_monads/IO
副作用のないオブジェクトって何なの？
javaでいうとStringとか。
オブジェクトはメッセージに対応するメソッドを持っていればいいだけで
別に内部で状態を変化させなきゃならんとかいう決まりはないよ。
newObject = Message( oldObject, arg1, arg2 );
こういう形で十分成立する。
加工せず作って捨てる発想だと
効率が悪すぎるのさ
まあ幼稚園児では判らないかもしれない
つまり関数型の発想は園児レベル
その根底をぶち壊すしかない
なんか名前がついてたと思うんだが思い出せない
比較をパターンマッチでやる、
辺りの概念は同意できるんだけど。
副作用そのもの扱いが確立されてない。
モナドみたいなごまかし方ってどうなのかね。
本当はCOWの事いいたかったんちゃうの？
副作用なんだけどね。
副作用がだめというのなら
変数に入れてはいけない。
何が効率悪いの？
空間？速度？
イヤ。
10 = Xであるとき 11 = Xになってはいけないだけの話。
数学であるでしょ。アレがもとになってんの。
どうやったら、10=Xのとき
11=Xになるというんだ？
int X=10;
X=11;
副作用じゃんｗ
y = f( x );
ただし、これは副作用があるとは言わない。
y = f( 3, 5 );
間違えた、こんな感じか。意味ないけど。
ちょっと書きなおしたが関数の定義がこんなかんじだとする。
f( x, e ) = if( x - e ) x; else 1 + f( x + 1, e );
関数の呼び出しはこんな感じ。
y = f( 3, 5 );
で、関数というのは数だ。
数学表記で y = x + 1 なんかを関数というが正しく処理じゃなくて数なんだ。
関数定義というのは数式に名前をつけただけ。本来は関数の中には数(数式)が入る。
さっきの例で言うと
6 = ( if( 3 - 5 ) else 3; 1 + ( if( 4 - 5 ) else 4; 1 + ( if( 5 - 5 ) else 5; 1 + (・永遠に続く・) ) ) )
というひとつの式になる。
0 = ( if( 3 - 5 ) else 3; 1 + ( if( 4 - 5 ) else 4; 1 + ( if( 5 - 5 ) else 5; 1 + (・永遠に続く・) ) ) ) - 6
仮に方程式にしても通じる。もし、ここで変数への代入があった場合は？
考えてみたらわかるが5 = 4のような矛盾した数式が発生するため式として成立しなくなる。
訳が分からなくなるのが関数型言語です。
>>95を1行で要約すると？
↓よろー
猫に小判、豚に真珠、馬の耳に念仏、非理数系に関数型。
TOP カテ一覧 スレ一覧 2ch元 削除依頼 ▲
Eclipse統合M32【Java/C++/Ruby/Python/Perl】 (719)
【統計分析】機械学習・データマイニング【集合知】 (844)
【QBASIC互換!?】FreeBasic【GPL】 (494)
IS<インフィニット・ストラトス>総合 (491)
CVS導入スレ〜 Rev.3 (835)
C++相談室 part94 (456)
--log9.info------------------
中学生雑談のスレ (457)
生まれてもいない時代だけど昭和30年代が気になる (228)
【５０代】【集まれ】 (890)
ゆとりに生まれてしまったオレらが語り合うスレ (685)
【負け犬】大学受験失敗→専門へ【団塊Jr】 (145)
【ポスト】昭和27年生まれ【団塊】 (274)
竹刀で太もも叩くていう体罰 (346)
★１９９３年度生まれ★ (689)
Ｓ４５スレ Part2 (163)
中学・高校・大学のとき女子に泣かされた男子 (407)
昭和生まれは役立たずのクズ！平成生まれを敬えろ！ (364)
【天才】平成生まれはスーパー人間【美形】 (225)
いじめはいじめるほうに120％原因がある (172)
(*ﾟдﾟ)＜今の30代前半ってメチャ良くね？ (482)
天才てれびくんみてた人 (101)
◇ 1985.4.2〜1986.4.1生まれのスレ Part42 ◇ (636)
--log55.com------------------
☆TBS★加藤シルビア S27♪Nスタ・おびゴハン！♪
【日テレ】杉上佐智枝.21【人妻 PON！】
【八重歯の】杉崎美香 １5１【天使♪】
【ZERO】田中瞳【お天気】
いまだに縁故でないと言い張るドブス高橋真麻
日テレ☆小熊美香 ZIP!♪23
◆◆◆内田恭子 Part55◆◆◆ [無断
中島めぐみ 2
