関数型について

自分のTL上でちょっと関数型言語についての話が盛り上がったので、メモ
1
Kenji Yoshida @xuwei_k

OCamlって何で広まってないの?

2010-12-19 15:35:11
Kenji Yoshida @xuwei_k

といってどれ位反応があるかのテスト

2010-12-19 15:35:34
Kenji Yoshida @xuwei_k

金融と同じか、それ以上にミッションクリティカルな、医療やインフラ系こそ関数型言語使うべきだと思うんだが

2010-12-19 15:37:39
Kenji Yoshida @xuwei_k

組み込み用の関数型言語とかないのかな?もしくは、全部コード生成でやるとか

2010-12-19 15:39:13
かわいい🐰ちゃん【公式】 @illness072

昨日のハッカソンで思ったんだけど,関数型をビジネスに!!って騒いでる連中は,目的と手段が逆になっているところを反省すべきだと思う. ・・・なの

2010-12-19 15:44:05
Kenji Yoshida @xuwei_k

それでいいんじゃないの? RT @illness072: 昨日のハッカソンで思ったんだけど,関数型をビジネスに!!って騒いでる連中は,目的と手段が逆になっているところを反省すべきだと思う. ・・・なの

2010-12-19 15:46:03
Kenji Yoshida @xuwei_k

むしろ、"本気でやりたいなら外国行ったほうがいい"とかなってて、本当に関数型言語を流行らせようとしている人がどの位いるのかが疑問

2010-12-19 15:48:10
かわいい🐰ちゃん【公式】 @illness072

@xuwei_k ビジネスをしたいのかパラダイムを流行らせたいのかの方針が定まってないのが問題.自分やコミュニティはいいだろうが,付き合わされる職場のその他大勢や,ある意味で変なもん掴まされるお客さんを考えてないのは大いに反省すべき ・・・なの

2010-12-19 15:49:09
かわいい🐰ちゃん【公式】 @illness072

関数型で仕事がしたくてそういう会社なり何なりに行くことは悪くない.問題としてるのは,案件に対する言語の選択で,関数型を強硬したがる人間.型安全だの速度だのの利点はあるが,それがちゃんとメリットになる案件以外では使うべきじゃないと思う.ようはこじつけるなと ・・・なの

2010-12-19 15:51:20
かわいい🐰ちゃん【公式】 @illness072

「このシステムが落ちたら困りますよね?(←当然)それならば型安全な言語を選択すべきです.(←納得)そこで取り出しますはOcaml(←超展開).主に金融などの分野で流行っています.(←本案件はweb系ですが)」みたいな関数型ビジネスワナビがあまりに多すぎて ・・・なの

2010-12-19 15:55:17
かわいい🐰ちゃん【公式】 @illness072

「関数型での開発はとてもスピーディに進み,またバグも発生しにくいです.(ただし弊社での経験者は今のところ私一人で,今までに実績等はありません)」みたいな,あこぎな仕事で本当にいいんですか?と. ・・・なの

2010-12-19 15:58:33
かわいい🐰ちゃん【公式】 @illness072

関数型のコミュニティが発展したり,実際にビジネスに使われることは素晴しいことだけど,なんでも関数型ってのは良くないんだって.ちゃんと棲み分けをして選択すべきなんだ. ・・・なの

2010-12-19 16:00:39
かわいい🐰ちゃん【公式】 @illness072

組込みで関数型がやりたいから,メモリを増やして石を高性能にして,原価500円で済むはずの商品が1500円になりました.1円が命の組込み商売でんなバカやったらビジネス的には大失敗だよ.それでも関数型で組込みのビジネスをやればコミュニティ内ではもてはやされるだろうよ. ・・・なの

2010-12-19 16:02:05
po @podhmo

@illness072 石の設計にはhaskellが使われたりしているみたいだけど、石を使った組み込み開発はCとかだろうね。

2010-12-19 16:05:12
かわいい🐰ちゃん【公式】 @illness072

twitterが凄いのはScala(で合ってるよね?)で作られてるからじゃなくて,そのアイディアが面白かったからでしょ?という話 ・・・なの

2010-12-19 16:05:18
かわいい🐰ちゃん【公式】 @illness072

@podhmo へー,はじめて知った.でもたしかに納得いくな.そういうのわりと得意そう ・・・なの

2010-12-19 16:06:24
po @podhmo

@illness072 twitterは元々rubyで作られていて、頑張ってチューニングしても、アクセスが捌ききれなくなってきた。それで別な言語で書き直すという選択をした。Scalaを選択したという点は重要かも。Scalaをbetter Javaとして見ていた。

2010-12-19 16:08:14
かわいい🐰ちゃん【公式】 @illness072

ああわかった,使う言語によってその人間の器を超えた成果物が出来ることはない.経験30年のCobolプログラマを経験2年のHaskellプログラマが超えることは(ある程度対等な条件なら)ありえないわけで ・・・なの

2010-12-19 16:09:45
松村竜次 @mgiken

@illness072 Javaとか.netなんかも、コンサルなり営業なりがそういう話をしてきた結果、今があるんだと思う。そういうアプローチで攻めて成功したとしても、Javaとかの二の舞になるだけで、誰も幸せにはなれないということに気づくべきですね。

2010-12-19 16:10:17
po @podhmo

結局、莫大な量のコードを書き直す時に(十分に実力があるなら)尖った機能を使いたくなるだろうし、それに見合ったリターンが無いのなら、既存の平凡な言語や環境で十分。

2010-12-19 16:10:32
かわいい🐰ちゃん【公式】 @illness072

@podhmo まあそれって,結局はrubyのVMとJVMの性能の問題じゃないの?と思う.パラダイムの恩恵がゼロとは言わないが,それがクリティカルだとは思えない ・・・なの

2010-12-19 16:11:14
かわいい🐰ちゃん【公式】 @illness072

@mgiken 言いたいことを言ってくれてありがとう.そうなんだよ,およそ10年くらい前にSunに痛いめに合わされた(w)ことを思い出すべきなんだ ・・・なの

2010-12-19 16:12:43
かわいい🐰ちゃん【公式】 @illness072

当時中学生だった俺も,Javaはさいきょうの言語だと思ってたさ ・・・なの

2010-12-19 16:13:23
po @podhmo

@illness072 えーと、まさに性能の問題で変えたようです。パラダイムの恩恵に関して言えば、性能が必要…でもJavaで書きたくなかったという感じらしいですね。

2010-12-19 16:14:48
かわいい🐰ちゃん【公式】 @illness072

@podhmo それを,関数型だから凄いと誤解してる人,誤解しかねないような宣伝をした人が問題.今回の場合,真に褒められるべきはJVMの開発者でScalaの開発者はその次だと思う. ・・・なの

2010-12-19 16:16:40