アカウント名:
パスワード:
関数型言語のブームなんてきたことは、ここ十年やそこらでは一度もないと思うけど。一体だれがそんなことを言ってるの?
>またPythonやRubyなどのように関数型言語の要素を導入する言語も増えている。PythonやRubyが関数型言語かなー。とてもそうは思えんが。#LISP等の関数型言語に一定の支持があるのは認めるが、それとブームとは別。
>またPythonやRubyなどのように関数型言語の要素を導入する言語も増えている。PythonやRubyが関数型言語かなー。
関数型のエッセンスを取り入れたと言ってるだけで、関数型言語になったとは言ってないでしょ。
じゃあ関数型のブームが来たという根拠になってないじゃない
そこは全く同意です。私の意見は、関数型のパラダイムはトレンドになっていると思うけど、「関数型言語」がブームになっているとは思わない。です。
この半世紀以上、 一体いつからLispが流行っていないと錯覚していた?
えっ
// ここまでテンプレ
おっさん・・・(泣よりによって紅茶キノコって、若い人は知らないよ。知ってるオイラもおっさん確定だけどさ。
そこでもっと若い例えが出てたらブームの信憑性が上がったのに。関数型言語がおっさんほいほいにならず、若い人から声が上がってきたらブームと言えそうな気がする。
要素の導入という話を「関数型の言語になった」と受け取ったり、またそういうことをする言語も増えているという風に追記されている部分を主張のすべてのように受け取ったり。ブームが来てるかどうかは知らないが、そういうことを論じる以前の読解力だね。
関数型のブームとは言っているが関数型言語のブームとはいっていない。
おわかり?
おかわりちょうだい!
おわかりとは言っているがおかわりとはいっていない。
わかおり?
おわりか?
> 「おれは関数型になったと言ってない(キリッ)」で完結したつもりになっちゃダメですよ。なんだこりゃ。#2389168は#2389153の一部にある誤りを指摘しただけでしょ。完結したつもりになってるって妄想が過ぎるのではありませんか?
またPythonやRubyなどのように関数型言語の要素を導入する言語も増えている。
勝手に前提を変えちゃだめですよーそれとも「関数型言語は関数型言語の要素を持つ。ゆえに関数型言語の要素を持つならば関数型言語である」とか脳内補完しちゃった?逆は必ずしも真ならず。論理の基礎の基礎の基礎ですよー
> 「関数型言語は関数型言語の要素を持つ。ゆえに関数型言語の要素を持つならば関数型言語である」
むしろ、関数型言語が関数型言語のアイデンティティを保つためには、非関数型言語が持てない要素を持つ必要がある。よって、PythonやRubyなどにお手軽に導入されないような関数型言語の要素を持つ孤高の存在が、The関数型言語なのだ。
とか思っていたりする人の方がpureな感じがしませんか?
僕がtwitterでfollowしている範囲ではEmacsのmew開発者kazuさんがHaskellにのめり込んでますねその周りじゃちょっとしたムーブメントぐらいの勢いはあります
http://d.hatena.ne.jp/kazu-yamamoto/ [hatena.ne.jp]
あと、scalaは結構勉強会とかも活発なようですねJavaとの親和性が高いことで始めた人も多いですがJavaとは根本的に違う事で挫折する人も多いようです
#2389153だけど、結局その人が一人で騒いでるだけでは?実のところHaskellって名前今回初めて目にしたぐらいだし、流行なんて全くしていないんじゃないですかね?
Haskellって名前今回初めて目にしたぐらいだし
いや、それはさすがに君が世間知らずなだけかと。俺もHaskellの勉強をしたことはないが、なんかすごい関数型言語らしいというのは10年以上前から噂で聞いていた。以前に、perl 6がCで実装される前の実験的インタプリタをHaskellで書いたという話もあったし。
Haskellで書かれたMonadius [srad.jp]の登場が2005年ですね。あれはかなり印象的とうか衝撃的でした。もう8年前になるのか…
Modadiusは当時、最後のステージでクラッシュして落ちて、1面からやり直しになってなんで こんな途中でクラッシュする不安定な変な言語で作ったんだよー って思っていた。
結局、どんな言語でもバグはなくならないのれす。
実のところHaskellって名前今回初めて目にしたぐらいだし、
お前なんでこんなところに書き込んでるんだよ。
開発の現場から離れて久しい新しい言語についていけないオッサンだけど、最近よく目にするぞ。
kazuさんは、Haskellの翻訳本を出しています。
プログラミングHaskellhttp://www.amazon.co.jp/%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%... [amazon.co.jp]
流行の兆しというか、ささやかなものは最近感じる。でも、オブジェクト指向とかライトウェイト言語?の時ほどのブームはもう起きないんじゃないかなぁ。
ブームにしようにも頭がいい人じゃ無いと使いこなせないのでブームにならないのが現実だと思います。
オブジェクト指向もデザイン・パターンが出てきて初めて概念先行を抜け出したと思うんだよ(一般人にとっては…)。利用事例が増えて、オブジェクト指向のデザパタに相当するものが出てくるとイケんるんじゃないだろか。
ああ、確かにデザパタに相当するものがあると状況が変わりそう。
あるよモナドととかアローとか一般人には理解不能なのが
結局頭が良くないとダメなのかorz
頭がいい人の間ではブームになっているのかも知れない。私にはわからないが。
関数型言語のブームにはなってないけど、C#、Scala、Dartみたいな形で、オブジェクト指向言語の中に関数型を取り入れるのは主流になって来てると思う。Javaにも導入されそうだし。
Java茶でも飲んで落ち着こうか。
関数型の考え方が便利だという認識が浸透してきてるから他の言語でも似た要素が採用されてるんだよ。
何興奮してんだ。
どっかのOSがコケたのは、タブレットの要素を導入したからじゃなくてデスクトップの要素を切り捨てたからでしょ。
スタートメニュー以外何もなくなってないけど?
たぶん違うな。実際触ってみるとわかるけど。
>C#、ScalaそれぞれC++、Javaより使いやすい部分があるから、それらのアッパーコンパチとして使われている。で、実際に「関数型言語として」それらを使おうとすると、正直言って使いにくいし気持ち悪い。
関数型言語が研究分野では使いやすいのかもしれないが、UIがあったり、多数の条件分岐があるコードだと本当に使いにくいしコードも見にくくなる。
関数型としてではなく便利なアッパーコンパチとして使ってやれば、ソースの行数も減るし、コードも書きやすい
だからそれを言ってんだろ。データ処理なんかに使う単なる便利機能としての関数型。
元コメは、「って言うか~」の後にまんまオウム返しするタイプですね。
「whileのループ周りの再帰コードを関数型で見てみる」ってどういうこと?
>多数の条件分岐があるコードだと本当に使いにくいしコードも見にくくなる。
はあ?君もしかして「Haskellなんて初めて聞いた」って書き込んでた人?
でたった一度でいい。whileのループ周りの再帰コードを関数型で見てみるといい。
そもそも、関数型だからといって再帰関数呼び出しはそんなに使いません。たいていは繰り返し処理用の関数を使います(たとえばmapやfold/unfoldなど)。
このへんは「オブジェクト指向言語の中に関数型を取り入れる」流れで、関数型でない言語でも見かけるようになりました。C#のEnumerableクラスやJava 8のStream、C++のなんかですね。
以下余談。これらの関数は、ループ処理の典型的なパターンを整理・分類して名前を付けたという点で、whileやforなどを直接使うより便利だと思っています(名前の存在がコードの理解や他人との意思疎通の手助けになるので)。
>>でも「関数型」の部分は全く評価されなくていいと思う。たった一度でいい。whileのループ周りの再帰コードを関数型で見てみるといい。
いうか君がソースを公表して指摘したらいいだけ。大抵の場合は「~が駄目」という人の能力が低かったりするからね。
fac n = do { a . 0) $ do { a *= i; i -= 1; }; a; }
fac n = do { a <- auto 1; i <- auto n; while (i >. 0) $ do { a *= i; i -= 1; }; a; }
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
開いた括弧は必ず閉じる -- あるプログラマー
それって、いつの話? (スコア:-1)
関数型言語のブームなんてきたことは、ここ十年やそこらでは一度もないと思うけど。
一体だれがそんなことを言ってるの?
>またPythonやRubyなどのように関数型言語の要素を導入する言語も増えている。
PythonやRubyが関数型言語かなー。とてもそうは思えんが。
#LISP等の関数型言語に一定の支持があるのは認めるが、それとブームとは別。
Re:それって、いつの話? (スコア:1)
関数型のエッセンスを取り入れたと言ってるだけで、
関数型言語になったとは言ってないでしょ。
Re:それって、いつの話? (スコア:1)
そこは全く同意です。
私の意見は、
関数型のパラダイムはトレンドになっていると思うけど、
「関数型言語」がブームになっているとは思わない。
です。
Re: (スコア:0)
Re: (スコア:0)
この半世紀以上、 一体いつからLispが流行っていないと錯覚していた?
Re: (スコア:0)
えっ
// ここまでテンプレ
Re: (スコア:0)
Re: (スコア:0)
おっさん・・・(泣
よりによって紅茶キノコって、若い人は知らないよ。知ってるオイラもおっさん確定だけどさ。
そこでもっと若い例えが出てたらブームの信憑性が上がったのに。
関数型言語がおっさんほいほいにならず、若い人から声が上がってきたらブームと言えそうな気がする。
Re: (スコア:0)
要素の導入という話を「関数型の言語になった」と受け取ったり、またそういうことをする言語も増えているという風に追記されている部分を主張のすべてのように受け取ったり。
ブームが来てるかどうかは知らないが、そういうことを論じる以前の読解力だね。
Re: (スコア:0)
関数型のブームとは言っているが関数型言語のブームとはいっていない。
おわかり?
Re: (スコア:0)
おかわりちょうだい!
Re: (スコア:0)
おわかりとは言っているがおかわりとはいっていない。
わかおり?
Re: (スコア:0)
おわりか?
Re: (スコア:0)
> 「おれは関数型になったと言ってない(キリッ)」で完結したつもりになっちゃダメですよ。
なんだこりゃ。
#2389168は#2389153の一部にある誤りを指摘しただけでしょ。
完結したつもりになってるって妄想が過ぎるのではありませんか?
Re: (スコア:0)
またPythonやRubyなどのように関数型言語の要素を導入する言語も増えている。
勝手に前提を変えちゃだめですよー
それとも「関数型言語は関数型言語の要素を持つ。ゆえに関数型言語の要素を持つならば関数型言語である」とか脳内補完しちゃった?
逆は必ずしも真ならず。論理の基礎の基礎の基礎ですよー
Re: (スコア:0)
> 「関数型言語は関数型言語の要素を持つ。ゆえに関数型言語の要素を持つならば関数型言語である」
むしろ、関数型言語が関数型言語のアイデンティティを保つためには、非関数型言語が持てない要素を持つ必要がある。
よって、PythonやRubyなどにお手軽に導入されないような関数型言語の要素を持つ孤高の存在が、The関数型言語なのだ。
とか思っていたりする人の方がpureな感じがしませんか?
Re: (スコア:0)
僕がtwitterでfollowしている範囲ではEmacsのmew開発者kazuさんがHaskellにのめり込んでますね
その周りじゃちょっとしたムーブメントぐらいの勢いはあります
http://d.hatena.ne.jp/kazu-yamamoto/ [hatena.ne.jp]
あと、scalaは結構勉強会とかも活発なようですね
Javaとの親和性が高いことで始めた人も多いですが
Javaとは根本的に違う事で挫折する人も多いようです
Re:それって、いつの話? (スコア:1)
#2389153だけど、
結局その人が一人で騒いでるだけでは?
実のところHaskellって名前今回初めて目にしたぐらいだし、
流行なんて全くしていないんじゃないですかね?
Re: (スコア:0)
Haskellって名前今回初めて目にしたぐらいだし
いや、それはさすがに君が世間知らずなだけかと。俺もHaskellの勉強をしたことはないが、なんかすごい関数型言語らしいというのは10年以上前から噂で聞いていた。以前に、perl 6がCで実装される前の実験的インタプリタをHaskellで書いたという話もあったし。
Re:それって、いつの話? (スコア:1)
Haskellで書かれたMonadius [srad.jp]の登場が2005年ですね。あれはかなり印象的とうか衝撃的でした。もう8年前になるのか…
Re: (スコア:0)
Modadiusは当時、最後のステージでクラッシュして落ちて、1面からやり直しになって
なんで こんな途中でクラッシュする不安定な変な言語で作ったんだよー って思っていた。
結局、どんな言語でもバグはなくならないのれす。
Re: (スコア:0)
実のところHaskellって名前今回初めて目にしたぐらいだし、
お前なんでこんなところに書き込んでるんだよ。
Re: (スコア:0)
開発の現場から離れて久しい新しい言語についていけないオッサンだけど、最近よく目にするぞ。
Re: (スコア:0)
kazuさんは、Haskellの翻訳本を出しています。
プログラミングHaskell
http://www.amazon.co.jp/%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%... [amazon.co.jp]
Re: (スコア:0)
流行の兆しというか、ささやかなものは最近感じる。
でも、オブジェクト指向とかライトウェイト言語?の時ほどのブームは
もう起きないんじゃないかなぁ。
Re: (スコア:0)
ブームにしようにも頭がいい人じゃ無いと使いこなせないのでブームにならないのが現実だと思います。
Re:それって、いつの話? (スコア:1)
オブジェクト指向もデザイン・パターンが出てきて初めて概念先行を抜け出したと思うんだよ(一般人にとっては…)。
利用事例が増えて、オブジェクト指向のデザパタに相当するものが出てくるとイケんるんじゃないだろか。
Re: (スコア:0)
ああ、確かにデザパタに相当するものがあると状況が変わりそう。
Re: (スコア:0)
あるよ
モナドととかアローとか一般人には理解不能なのが
Re: (スコア:0)
結局頭が良くないとダメなのかorz
Re: (スコア:0)
頭がいい人の間ではブームになっているのかも知れない。
私にはわからないが。
Re: (スコア:0)
関数型言語のブームにはなってないけど、C#、Scala、Dartみたいな形で、オブジェクト指向言語の中に
関数型を取り入れるのは主流になって来てると思う。Javaにも導入されそうだし。
Re: (スコア:0)
Re: (スコア:0)
Java茶でも飲んで落ち着こうか。
関数型の考え方が便利だという認識が浸透してきてるから
他の言語でも似た要素が採用されてるんだよ。
Re: (スコア:0)
何興奮してんだ。
Re: (スコア:0)
どっかのOSがコケたのは、
タブレットの要素を導入したからじゃなくて
デスクトップの要素を切り捨てたからでしょ。
Re: (スコア:0)
スタートメニュー以外何もなくなってないけど?
Re: (スコア:0)
たぶん違うな。
実際触ってみるとわかるけど。
>C#、Scala
それぞれC++、Javaより使いやすい部分があるから、
それらのアッパーコンパチとして使われている。
で、実際に「関数型言語として」それらを使おうとすると、正直言って使いにくいし気持ち悪い。
関数型言語が研究分野では使いやすいのかもしれないが、
UIがあったり、多数の条件分岐があるコードだと
本当に使いにくいしコードも見にくくなる。
関数型としてではなく便利なアッパーコンパチとして使ってやれば、
ソースの行数も減るし、コードも書きやすい
Re: (スコア:0)
だからそれを言ってんだろ。データ処理なんかに使う単なる便利機能としての関数型。
Re: (スコア:0)
元コメは、「って言うか~」の後にまんまオウム返しするタイプですね。
Re: (スコア:0)
「whileのループ周りの再帰コードを関数型で見てみる」ってどういうこと?
Re: (スコア:0)
>多数の条件分岐があるコードだと本当に使いにくいしコードも見にくくなる。
はあ?
君もしかして「Haskellなんて初めて聞いた」って書き込んでた人?
Re: (スコア:0)
でたった一度でいい。whileのループ周りの再帰コードを関数型で見てみるといい。
そもそも、関数型だからといって再帰関数呼び出しはそんなに使いません。たいていは繰り返し処理用の関数を使います(たとえばmapやfold/unfoldなど)。
このへんは「オブジェクト指向言語の中に関数型を取り入れる」流れで、関数型でない言語でも見かけるようになりました。
C#のEnumerableクラスやJava 8のStream、C++のなんかですね。
以下余談。これらの関数は、ループ処理の典型的なパターンを整理・分類して名前を付けたという点で、whileやforなどを直接使うより便利だと思っています(名前の存在がコードの理解や他人との意思疎通の手助けになるので)。
Re: (スコア:0)
>>でも「関数型」の部分は全く評価されなくていいと思う。
たった一度でいい。whileのループ周りの再帰コードを関数型で見てみるといい。
いうか君がソースを公表して指摘したらいいだけ。
大抵の場合は「~が駄目」という人の能力が低かったりするからね。
Re: (スコア:0)
fac n = do {
a . 0) $ do {
a *= i;
i -= 1;
};
a;
}
Re: (スコア:0)
fac n = do {
a <- auto 1;
i <- auto n;
while (i >. 0) $ do {
a *= i;
i -= 1;
};
a;
}