【激突】関数型言語 VS オブジェクト指向言語2
■ このスレッドは過去ログ倉庫に格納されています
0001営利利用に関するLR審議中＠詳細は自治スレへ
2012/04/07(土) 21:26:47.61一部には関数型言語を崇拝している人もいます
どちらが上なのか、この際はっきりさせましょう
前スレ http://toro.2ch.net/test/read.cgi/tech/1331328955/
0200デフォルトの名無しさん
2012/04/12(木) 00:56:44.16理解しようとしなくても
ドカタの人生で関数型言語を使う機会なんて来ないから
安心しろよ
お前にとって運悪く関数型言語が普及してしまったとしても
その頃にはお前の仕事は無くなってるよ
0201デフォルトの名無しさん
2012/04/12(木) 00:57:45.87>>193も突っ込もうと思ってたｗ
JSがらprototype削ったらinfix notationなlispみたいなのになっちゃうから。
0202デフォルトの名無しさん
2012/04/12(木) 01:01:03.490203デフォルトの名無しさん
2012/04/12(木) 01:05:35.12関数をOOのｵﾌﾞｼﾞｪｸﾄとみなすところにはそれ程違和感無かった。
言語によっては、関数ｵﾌﾞｼﾞｪｸﾄにもメタ情報設定してOOのオブジェクトみたいにmethodを従属させたり、他のmethodをmixinさせることもできるものがあるから。
ただしhaskellではないが。
0204デフォルトの名無しさん
2012/04/12(木) 01:12:21.320205デフォルトの名無しさん
2012/04/12(木) 01:15:35.37うそつけ。>>169はオレの書き込みだ。
0206デフォルトの名無しさん
2012/04/12(木) 01:17:46.33あ、でもやっぱ違うか、勘違い。
クラスは静的な物(ともかぎらないclassすらもオブジェクトという概念の言語もあるけれどちょっとおいて置いて)
オブジェクトの生成はコンストラクタってのが昨今普及している概念だから。
0207デフォルトの名無しさん
2012/04/12(木) 01:18:40.06こめ、あんか間違えた。えーとどれがｵﾚのﾚｽだったっけｗ
0208デフォルトの名無しさん
2012/04/12(木) 01:19:35.18関数型は今仕事がない。
将来はあると信じてる。
オブジェクト指向は今仕事がある
将来はなくなって欲しいと、関数型厨は思ってる。
>>200とかそうだなｗ
0209デフォルトの名無しさん
2012/04/12(木) 01:49:53.91求められるのはプログラミング技術じゃなくて、対象問題の専門知識だわな。
あとは、大学教授が自分の論文に必要な計算をキャンパスのコンピュータを使って並列計算しました的な。
関数型は並列化が容易だから、実行速度が求められる分野に適していそうだが、
手続き型で並列化したほうがもっと速くなるから、結局なんだかなーな。
クラスタを電卓代わりに使う人用かと。
0210デフォルトの名無しさん
2012/04/12(木) 02:03:13.63本気で並列化に取り組むとその考えかたは変わるよ。
関数型の並列化はタスク？データ？どっちのparallelだと思う。
スパコンは徹底的に性能重視だし。
まいいや2chでﾏｼﾞﾚｽｶｺﾜﾙｲｵﾚｗ
0211デフォルトの名無しさん
2012/04/12(木) 02:20:44.68関数型で出来ることが手続き型で出来ないってことはないんで。
FPGAとかは別としても、主流のノイマン型は手続き型がネイティブなんで。
0212デフォルトの名無しさん
2012/04/12(木) 02:45:31.08できるできないまで話を広げればパラダイムなぞ何でもいいんだよ。
性能を徹底的に追及するにはCPUの命令レベル並列化SIMD並列化core間ﾒﾓﾘ共有離散並列化ネットワーク分散並列化
徹底的に実効効率(≒GFLOPS)と性能を追求する。
一方の関数型で一部取りざたされる並列化は、並列化のしやすさ＝参照透過による並列依存解析の簡便さなどで
まだ止まっている段階であり性能の追求に関してはマッタク解になっていないンｼﾞｬﾏｲｶ？
だからﾃﾞｰﾀパラレルorタスクパラレルか上で訊いてみた。その答えでどのくらい深く考えている椰子かわかるから。
簡便さは無視できず大切なことかもしれないが、それで数値解析がいままでより早くなっていないのであればつかわれなくてもしょうがない。。
安易に並列化に研究成果を求めて逃げるのは愚。
で、FPGAって何の話だ？と小一時間ｗ
もしかしてハード・ソフト両面でずぶの素人さんをｵﾚは相手にしてしまった？
上のｸﾛｰｼﾞｬｰもしかりだけれど2chでﾏｼﾞﾚｽあまりしたくない。
0213デフォルトの名無しさん
2012/04/12(木) 03:06:38.71関数型が並列化に向いてるって書き込みに噛み付いてたのか。そりゃ食い違うわ。
でも、参照透過性って並列化以外に上手い生かし方が無いと思うんだが。
遅延評価も言語レベルでサポートが欲しいかと言われると、別にねぇ。
0214デフォルトの名無しさん
2012/04/12(木) 03:13:37.82参照透過性はプログラムコードの理解しやすさ、バグの入りにくさなどに少なからず貢献あるんじゃマイカ
0215デフォルトの名無しさん
2012/04/12(木) 03:20:08.01言語レベルでサポートしていることの意味は、自動化、
つまりは自動遅延評価や自動並列化になるとおもうんよ。
0216デフォルトの名無しさん
2012/04/12(木) 03:27:10.53副作用を禁止しちゃっても十分ソフトウェアは記述できるという数学的な原理に基づき
そのための仕組みを言語レベルの機能でちゃんとサポートし副作用を低減しようとする意義はあるのでは？
0217デフォルトの名無しさん
2012/04/12(木) 03:42:11.670218デフォルトの名無しさん
2012/04/12(木) 06:22:33.36それが他に漏れてないことを静的型検査できるのがメリット
静的型検査なんて要らないし、副作用の有無なんて
コメントにでも書いとけば分かるだろ
というプログラマにはメリット無い（批判する意図はないので注意）
0219デフォルトの名無しさん
2012/04/12(木) 06:34:07.76関数型言語のメリットでは無い
0220デフォルトの名無しさん
2012/04/12(木) 06:44:16.58TIOBEとか見て一喜一憂してるの？
http://www.tiobe.com/index.php/content/paperinfo/tpci/index.html
JavaプログラマならJavaの人気が長期的に下がり続けてる
（ついに今月は2位に陥落）の見てショック受けてるの？
幾らでも他と交換可能な木っ端プログラマは大変だね
0221デフォルトの名無しさん
2012/04/12(木) 09:49:24.36普及率は人気の度合い。なぜ人気があるのか考える必要がある。
誰かさんの思い込みより価値ある。
0222デフォルトの名無しさん
2012/04/12(木) 09:50:24.09仮にIOを禁止しても、IOと殆ど同じモナドを簡単に作れる
だから禁止していいんだという解釈もあるが、禁止しても無意味だという解釈もある
Haskellが、いずれかの解釈を一方的にサポートすることはない
あくまで中立
0223デフォルトの名無しさん
2012/04/12(木) 09:55:43.85ソフトウェア工学上で問題になる事項をすべて解消しているわけではいないと思うんだけど
どう思う？
0224デフォルトの名無しさん
2012/04/12(木) 11:16:27.370225デフォルトの名無しさん
2012/04/12(木) 16:43:59.37全くもってその通り！！
中国語だって世界中で大人気だからな！！
0226デフォルトの名無しさん
2012/04/12(木) 16:51:24.45現実のコンピュータが副作用必須の設計で、モナドは副作用解決に使えるというだけ。
モナドが副作用解決のために作られた訳じゃない。
0227デフォルトの名無しさん
2012/04/12(木) 17:45:50.950228デフォルトの名無しさん
2012/04/12(木) 18:33:25.41らの提案したフレーム問題と区別して一般化フレーム問題と呼ばれている。
ソースはwikipedia
>>223
限定的なフレームを選択しないと、フレーム問題に対処できない
0229デフォルトの名無しさん
2012/04/12(木) 19:54:30.42対して従来のやり方は問題を死滅させず適宜再生産もする
農耕・牧畜をおぼえた文明人の手法
0230デフォルトの名無しさん
2012/04/12(木) 20:03:40.16単に生産性が低いものを賞賛してるだけのバカですねw
0231デフォルトの名無しさん
2012/04/12(木) 20:11:16.33・プロジェクトが成功した場合 => 成功したのはOOのおかげ
・プロジェクトが失敗した場合 => 設計者やプログラマがOOに未熟だった
以上の詭弁により、OOはソフトウェア工学の全ての問題を解決した
0232デフォルトの名無しさん
2012/04/12(木) 20:12:09.570233デフォルトの名無しさん
2012/04/12(木) 20:15:51.900234デフォルトの名無しさん
2012/04/12(木) 20:41:17.180235デフォルトの名無しさん
2012/04/12(木) 22:36:25.45生産性については職業プログラマの人に比較して貰うとして、少なくとも、rubyで入門書のサンプル以上のものが作れなかった自分が、haskellでは>>41,>>74のコードを書ける様になった
初心者には、rubyよりhaskellの方が自力でコード書ける様になり易いんじゃ無いかと思う
0236デフォルトの名無しさん
2012/04/12(木) 23:36:58.60数十ファイルからなるアプリを作ってから
書けるようになったといって下さい。
短い関数一つと程度、
あんなの誤差でしかない。
0237デフォルトの名無しさん
2012/04/12(木) 23:59:11.360238デフォルトの名無しさん
2012/04/13(金) 00:07:17.03EC-CUBE 4万行らしいよ。
0239デフォルトの名無しさん
2012/04/13(金) 00:08:42.48Rubyは10万行
0240デフォルトの名無しさん
2012/04/13(金) 00:12:30.38OpenPNE2 13万行
Linuxは1500万行らしい
http://www.infoq.com/jp/news/2012/03/Defects-Open-Source-Commercial
解析対象のオープンソースプロジェクトは、コード行数が10万〜50万のものが
ほとんど(700万行を超えるプロジェクトが2つ)で、
の合計コード行数は3,744万6,469行、平均コード行数は83万2,000行になった。
0241デフォルトの名無しさん
2012/04/13(金) 00:21:31.21gccが少し前は30~40万行あった、いまの4.6,4７はもっとだろうな
0242デフォルトの名無しさん
2012/04/13(金) 00:23:31.62書きたいものを書ける様になったら行数関係無い気がするけど・・・
そもそも、私の場合、Rubyではどう書けばいいかすら思い浮かばない
（学習が足りないと言われればそうだけど、どっちも入門書読みかけ状態での知識でしかない)
Haskellは入門書読みかけの状態でも結構色々書けるから、入門者のモチベーション維持にも良いんじゃないかな
（少なくとも、自分のモチベーション維持には良い効果がある)
0243デフォルトの名無しさん
2012/04/13(金) 00:27:01.11プロである以上最低限のことです。
0244デフォルトの名無しさん
2012/04/13(金) 00:27:48.64間違えた、The compiler includes an IDE (Win32 only, sorry), CORBA, OLE, all in all 850000 lines of code. This is (nearly) all Dylan code.
0245デフォルトの名無しさん
2012/04/13(金) 00:33:06.76書きたくない物でも金を受けとる以上書き上げるのが…（ry
0246デフォルトの名無しさん
2012/04/13(金) 00:36:02.31あんたプロや。プログラマー（ry）や。
0247デフォルトの名無しさん
2012/04/13(金) 00:38:56.24プロじゃないと言うか、プロの卵として就職して半年で諦めたんですが・・・
そんな奴が、Haskellでなら、ちょっとは書ける様になったですよ
それで気付いたのは、やってる事はどの言語も同じなのかもなぁー・・・と
で、関数型言語はそのやってる事は同じ。の部分を気付きやすい言語だな・・・・と
他の言語で何やってるのか分かんなくて挫折した人は、一度、関数型言語に挑戦してみてほしいかも
0248デフォルトの名無しさん
2012/04/13(金) 00:46:28.21うん。やる気ﾏﾝﾏﾝです。
0249デフォルトの名無しさん
2012/04/13(金) 01:27:06.58一緒に頑張りまっしい
多分、私はそもそものググルための用語を知らないのが、そもそもの才能の無さな気がする
なので、そもそもググらず自分で作っちゃえ！派な自分には関数型言語の方が性に合うっぽい
（不器用なのは自覚してる)
0250デフォルトの名無しさん
2012/04/13(金) 01:30:15.85作らずに言語を使ってるだけのくせに
0251デフォルトの名無しさん
2012/04/13(金) 01:41:31.45> なので、そもそもググらず自分で作っちゃえ！派な自分には関数型言語の方が性に合うっぽい
初心者なら当然のことだよ。
俺なんかだと、見ただけで簡単な処理と分かるようなもの、
自分で作れると分かっているものは、作っても時間
を浪費するだけで何の経験値にならないし、自慢にもならない。
でも初心者にとっては、そんなものでも
挑戦する価値がある課題なのだから。
自分で作ったんだって自慢げになるでしょ？
0252デフォルトの名無しさん
2012/04/13(金) 06:51:30.77ドカタ仕事で書くコードなんてAPI呼び出すだけ、コピペコード満載の
頭悪いコードなんだから
疑うなら適当なコード書く御題出してみ？Javaのコードとか出てこないから
0253252
2012/04/13(金) 06:57:36.95とかその手の言い訳を、御題のコードの10倍くらいの長さの文章で
必死に語ってくれるよ
本当は2chのレスに収まる規模のコードも書けないんだけどね
0254デフォルトの名無しさん
2012/04/13(金) 07:16:26.24じゃあお題。
プログラマーなら「FizzBuzz問題」解けるよな？
http://kohada.2ch.net/test/read.cgi/prog/1209467166/401
401 ：仕様書無しさん：2012/04/09(月) 23:59:48.08
FizzBuzzクイズ
1.fizz.buzz #=> 1
3.fizz.buzz #=> "Fizz"
5.fizz.buzz #=> "Buzz"
15.fizz.buzz #=> "FizzBuzz"
となるようなメソッドfizz、buzzは定義可能か？
可能である場合、同様にgizzを追加定義し、
7.fizz.buzz.gizz #=> "Gizz"
21.fizz.buzz.gizz #=> "FizzGizz"
35.fizz.buzz.gizz #=> "BuzzGizz"
105.fizz.buzz.gizz #=> "FizzBuzzGizz"
105.fizz.gizz.buzz #=> "FizzGizzBuzz" と拡張・応用ができるか？
メソッドのコールに()が必須の言語では 3.fizz().buzz() 形式でも構わない。
オープンクラス機構やメソッドのない言語では関数（buzz(fizz(3)) #=> "Fizz" など）で。
0255デフォルトの名無しさん
2012/04/13(金) 07:48:45.37ありがとうです
では、仕事があるので明日私は書くと思いますが(飲んで帰るので、今日は無理)
ファイルと検索したい文字列をコマンドから入れて、見つかった行と列のリストを表示すると言うのはどうでしょう？
0256デフォルトの名無しさん
2012/04/13(金) 08:18:23.98$ cat fizzbuzz.hs
import Control.Monad (mapM_)
main = mapM_ (runFizzBuzz . gizz . buzz . fizz) [1, 3, 5, 7, 15, 21, 35, 105]
runFizzBuzz (n, s)
| s == "" = putStrLn $ show n
| otherwise = putStrLn $ show s
fizz n
| n `mod` 3 == 0 = (n, "Fizz")
| otherwise = (n, "")
buzz (n, s)
| n `mod` 5 == 0 = (n, showString s "Buzz")
| otherwise = (n, s)
gizz (n, s)
| n `mod` 7 == 0 = (n, showString s "Gizz")
| otherwise = (n, s)
$ runghc fizzbuzz.hs
1
"Fizz"
"Buzz"
"Gizz"
"FizzBuzz"
"FizzGizz"
"BuzzGizz"
"FizzBuzzGizz"
0257デフォルトの名無しさん
2012/04/13(金) 08:45:35.77map (gizz . buzz . fizz) [1, 3, 5, 7, 15, 21, 35, 105]
-- [1, "FIzz", "Buzz", "Gizz", "FizzBuzz", "FizzGizz", "BuzzGizz", "FizzBuzzGizz"]
map (buzz . gizz . fizz) [1, 3, 5, 7, 15, 21, 35, 105]
-- [1, "FIzz", "Buzz", "Gizz", "FizzBuzz", "FizzGizz", "GizzBuzz", "FizzGizzBuzz"]
0258デフォルトの名無しさん
2012/04/13(金) 08:54:17.090259デフォルトの名無しさん
2012/04/13(金) 09:05:31.58struct fizzbuzz_t
{
int in; std::string out;
fizzbuzz_t &operator >>( filter_t &f )
{ if( 0==in%f.e ){ out.append( f.t ); } return *this; }
operator const char *()
{ if( out.length() ) return out.c_str(); static char tmp[50]; itoa( in, tmp, 10 ); return tmp; }
};
fizzbuzz_t operator >>( int i, filter_t &f ){ fizzbuzz_t fb; fb.in = i; fb>>f; return fb; }
filter_t fizz = { 3, "Fizz", };
filter_t buzz = { 5, "Buzz", };
filter_t gizz = { 7, "Gizz", };
int main(){ 105>>fizz>buzz>>gizz>>endfb; return 0; }
0260デフォルトの名無しさん
2012/04/13(金) 09:05:55.65合成順が結果に反映される。
結果は標準出力ではなく関数の戻り値として欲しい。
というのが要件だろう。
関数縛りがなければマクロですぐなんだが。
0261デフォルトの名無しさん
2012/04/13(金) 09:09:14.47読まなくても良いくらいC++でのスタンダードな回答。
struct filter_t{ int e; const char *t; };
struct fizzbuzz_t
{
int in; std::string out;
fizzbuzz_t &operator >>( filter_t &f )
{ if( 0==in%f.e ){ out.append( f.t ); } return *this; }
operator const char *()
{ if( out.length() ) return out.c_str();
static char tmp[50]; itoa( in, tmp, 10 ); return tmp; }
};
fizzbuzz_t operator >>( int i, filter_t &f ){ fizzbuzz_t fb; fb.in = i; fb>>f; return fb; }
filter_t fizz = { 3, "Fizz", };
filter_t buzz = { 5, "Buzz", };
filter_t gizz = { 7, "Gizz", };
int main(){ 105>>fizz>buzz>>gizz; return 0; }
0262デフォルトの名無しさん
2012/04/13(金) 09:19:13.99とはいえ、関係ない演算子をしれっとまぎれこませちゃったら失格じゃまいか？
0263デフォルトの名無しさん
2012/04/13(金) 09:30:20.96マクロを使わなくても、型クラスと多値とモナドが賢い言語なら関数でも書けるんじゃね？
0264デフォルトの名無しさん
2012/04/13(金) 09:49:06.63それに hoge を追加することを想定して、
map (hoge . gizz . buzz . fizz) [1, 3, 5, 7, 15, 21, 35, 105] について考える。
関数合成と map の性質より、
map (f . g) [...] = map f (map g [...]) であるから
map (hoge . gizz . buzz . fizz) [1, 3, 5, 7, 15, 21, 35, 105]
= map hoge (map (gizz . buzz . fizz) [1, 3, 5, 7, 15, 21, 35, 105])
= map hoge [1, "FIzz", "Buzz", "Gizz", "FizzBuzz", "FizzGizz", "BuzzGizz", "FizzBuzzGizz"]
よって hoge が書けない。===== 終 ===== 了 =====
-- という風に論破されちゃうのが嫌な自称上流には嫌われるだろうなぁ、
-- Haskell や形式手法はw
0265デフォルトの名無しさん
2012/04/13(金) 10:04:19.47代入しても型は不変だがメソッドを追加したら型が変わる
0266デフォルトの名無しさん
2012/04/13(金) 10:10:13.95Trait named: #FizzBuzz uses: #() category: 'FizzBuzz-Trait'
FizzBuzz >> fizzBuzzPrep
self value isString ifFalse: [thisContext sender receiver: self -> ''].
FizzBuzz >> fizzBuzzReturn
| method nextByte type |
method := thisContext sender sender method.
nextByte := thisContext sender sender method at: thisContext sender sender pc.
type := nextByte // 16.
^(type = 13 and: [FizzBuzz selectors includes: (method literalAt: nextByte \\ 16 + 1)])
ifTrue: [self] ifFalse: [self value ifEmpty: [self key]]
FizzBuzz >> fizz
self fizzBuzzPrep.
(self key isDivisibleBy: 3) ifTrue: [self value: self value, 'Fizz'].
^self fizzBuzzReturn
FizzBuzz >> buzz
self fizzBuzzPrep.
(self key isDivisibleBy: 5) ifTrue: [self value: self value, 'Buzz'].
^self fizzBuzzReturn
FizzBuzz >> gizz
self fizzBuzzPrep.
(self key isDivisibleBy: 7) ifTrue: [self value: self value, 'Gizz'].
^self fizzBuzzReturn
Integer uses: FizzBuzz. Association uses: FizzBuzz.
105 fizz gizz buzz. "=> 'FizzGizzBuzz' "
0267デフォルトの名無しさん
2012/04/13(金) 10:18:03.23putStrLn を削るだけでリストになるんじゃね？
0268デフォルトの名無しさん
2012/04/13(金) 10:45:33.860269デフォルトの名無しさん
2012/04/13(金) 11:19:14.13てか継続をどう使うことを想定してるの？
0270デフォルトの名無しさん
2012/04/13(金) 12:38:39.46"" -> Left n
s -> Right s
fizzT f s n | f n == 0 = s
fizzT _ _ _ | otherwise = ""
fizz = fizzT (`mod` 3) "Fizz"
buzz = fizzT (`mod` 5) "Buzz"
gizz = fizzT (`mod` 7) "Gizz"
main = print $ join [fizz, buzz, gizz] 105
0271デフォルトの名無しさん
2012/04/13(金) 12:50:09.96import Data.Either
join fs n = case concat $ rights $ map (\f -> f n) fs of
"" -> Left n
s -> Right s
fizzT f s n | f n == 0 = Right s
fizzT _ _ _ | otherwise = Right ""
fizz = fizzT (`mod` 3) "Fizz"
buzz = fizzT (`mod` 5) "Buzz"
gizz = fizzT (`mod` 7) "Gizz"
main = print $ join [join [fizz, buzz], gizz] 105
0272デフォルトの名無しさん
2012/04/13(金) 13:14:50.140273デフォルトの名無しさん
2012/04/13(金) 13:43:15.17LLに有利っぽいのに
0274デフォルトの名無しさん
2012/04/13(金) 13:43:49.58また、fizz 105、buzz fizz 105 という式も、同様になんらかの型を持つとする。
すると、
fizz の型は
Int -> a
buzz の型は
(Int -> a) -> Int -> b
gizz の型は
((Int -> a) -> Int -> b) -> (Int -> a) -> Int -> c
というような型でなければならない。無理。というか、どう頑張っても、
先頭に do か何かが要る。
0275デフォルトの名無しさん
2012/04/13(金) 13:56:46.550276デフォルトの名無しさん
2012/04/13(金) 14:00:17.790277デフォルトの名無しさん
2012/04/13(金) 14:04:41.690278デフォルトの名無しさん
2012/04/13(金) 14:24:54.40って言いたいだけで作った問題なのがかなり見え見えなんだが。
0279デフォルトの名無しさん
2012/04/13(金) 15:57:16.91module FizzBuzz
SYM_HASH = {} ; def self.add_fizz sym, n ; SYM_HASH[sym] = n ; end
def self.do_it sym, n, prefix ; if m = SYM_HASH[sym]
if n % m == 0
s = sym.to_s ; s.capitalize!
if prefix.kind_of? String then s[0, 0] = prefix end
s.fizzbuzzval = n ; s
else prefix end else nil end
end
end
class Integer ; def method_missing sym
if it = FizzBuzz.do_it(sym, self, self) then it else super end
end end
class String ; attr_writer :fizzbuzzval ; def method_missing sym
if it = FizzBuzz.do_it(sym, @fizzbuzzval, self) then it else super end
end end
FizzBuzz.add_fizz :fizz, 3
FizzBuzz.add_fizz :buzz, 5
FizzBuzz.add_fizz :gizz, 7
p [1, 3, 5, 7, 15, 21, 35, 105].map{|n|n.fizz.buzz.gizz}
0280デフォルトの名無しさん
2012/04/13(金) 16:17:23.17package FizzBuzzGizz;
sub new {
my ($c, $n) = @_;
bless {n => $n, s => ''}, $c
}
sub fizz {my $t = shift; $t->{s} .= 'Fizz' if 0 == $t->{n} % 3; $t}
sub buzz {my $t = shift; $t->{s} .= 'Buzz' if 0 == $t->{n} % 5; $t}
sub gizz {my $t = shift; $t->{s} .= 'Gizz' if 0 == $t->{n} % 7; $t}
sub result {my $t = shift; $t->{s} ? $t->{s} : $t->{n}}
1;
package main;
do {
my $fbg = new FizzBuzzGizz($_);
print "$_:" . FizzBuzzGizz::result($fbg->fizz->buzz->gizz) . "\n"
# あるいは print "$_:" . $fbg->fizz->buzz->gizz->result . "\n"
} for qw{1 3 5 7 15 21 35 105};
$ perl p_fizzBuzzGizz.pl
1:1
3:Fizz
5:Buzz
7:Gizz
15:FizzBuzz
21:FizzGizz
35:BuzzGizz
105:FizzBuzzGizz
0281デフォルトの名無しさん
2012/04/13(金) 16:22:11.22objectのmethodが返す値はまたobjectだけれど、
printで評価すると判定結果文字列を返すには、
こんな書き方くらいしかないのかな…？
多値のﾘｽﾄ返しでやってみようと思ったけれどうまい方法が思いつかなかったぜよ
0282デフォルトの名無しさん
2012/04/13(金) 17:12:42.66package FizzBuzzGizz;
sub new {
my ($c, $n) = @_;
bless \"$n."
}
sub fizz {my $t=shift; $_=$$t; bless do { /(^\d+)/; 0 == $1 % 3 ? \"${_}Fizz": $t }}
sub buzz {my $t=shift; $_=$$t; bless do { /(^\d+)/; 0 == $1 % 5 ? \"${_}Buzz": $t }}
sub gizz {my $t=shift; $_=$$t; bless do { /(^\d+)/; 0 == $1 % 7 ? \"${_}Gizz": $t }}
1;
package main;
do {
my $fbg = new FizzBuzzGizz($_);
print ${$fbg->fizz->buzz->gizz} . "\n"
} for qw{1 3 5 7 15 21 35 105};
0283デフォルトの名無しさん
2012/04/13(金) 17:29:05.85何縛りのゲームなのかわからんけど、関数合成演算子でも駄目かね？
import Data.Either
import Prelude hiding ((.))
(.) f g n = case concat $ rights [f n, g n] of
[] -> Left n
s -> Right s
fizzT f s n | f n == 0 = Right s
fizzT _ _ _ | otherwise = Right []
fizz = fizzT (`mod` 3) "Fizz"
buzz = fizzT (`mod` 5) "Buzz"
gizz = fizzT (`mod` 7) "Gizz"
main = print $ fizz.buzz.gizz $ 105
0284デフォルトの名無しさん
2012/04/13(金) 17:30:10.61package FizzBuzzGizz;
sub new {
my ($c, $n) = @_;
bless \"$n."
}
sub comm { my ($t, $r, $s) = @_; $$t =~ /(^\d+)/;
0 == $1 % $r ? \"${_}$s": $t }
sub fizz {bless comm((shift), 3, 'Fizz')}
sub buzz {bless comm((shift), 5, 'Buzz')}
sub gizz {bless comm((shift), 7, 'Gizz')}
1;
package main;
for (qw(1 3 5 7 15 21 35 105)) {
print ${new FizzBuzzGizz($_)->fizz->buzz->gizz} . "\n"
}
0285デフォルトの名無しさん
2012/04/13(金) 17:31:15.65class String
attr_accessor :srcint
private
def f(n,s); (@srcint % n == 0) ? (self << s) : (self); end
end
class Integer
private
def f(n,s); (self % n == 0) ? (s.srcint = self; s) : (self); end
end
class Object
def fizz; f(3,'Fizz'); end
def buzz; f(5,'Buzz'); end
def gizz; f(7,'Gizz'); end
end
p [1,3,5,7,15,21,35,105].map{|n| n.fizz.buzz.gizz }
# => [1, "Fizz", "Buzz", "Gizz", "FizzBuzz", "FizzGizz", "BuzzGizz", "FizzBuzzGizz"]
p [1,3,5,7,15,21,35,105].map{|n| n.fizz.gizz.buzz }
# => [1, "Fizz", "Buzz", "Gizz", "FizzBuzz", "FizzGizz", "GizzBuzz", "FizzGizzBuzz"]
0286デフォルトの名無しさん
2012/04/13(金) 17:33:52.32package FizzBuzzGizz;
sub new {
my ($c, $n) = @_;
bless \"$n."
}
sub comm { my ($t, $r, $s) = @_;
0 == $$t % $r ? \"$${t}$s": $t }
sub fizz {bless comm((shift), 3, 'Fizz')}
sub buzz {bless comm((shift), 5, 'Buzz')}
sub gizz {bless comm((shift), 7, 'Gizz')}
1;
package main;
for (qw(1 3 5 7 15 21 35 105)) {
print ${new FizzBuzzGizz($_)->fizz->buzz->gizz} . "\n"
}
0287デフォルトの名無しさん
2012/04/13(金) 17:45:43.30package FizzBuzzGizz;
sub new { my ($c, $n) = @_;
bless \"$n." }
sub com { my ($t, $m, $s) = @_;
bless 0 == $$t % $m ? \($$t.$s): $t }
sub fizz {com(shift, 3, 'Fizz')}
sub buzz {com(shift, 5, 'Buzz')}
sub gizz {com(shift, 7, 'Gizz')}
1;
package main;
for (qw(1 3 5 7 15 21 35 105)) {
print ${new FizzBuzzGizz($_)->fizz->buzz->gizz} . "\n"
}
大差ないか…
0288デフォルトの名無しさん
2012/04/13(金) 17:54:12.600289デフォルトの名無しさん
2012/04/13(金) 17:58:22.56え？なぜ？
0290デフォルトの名無しさん
2012/04/13(金) 18:10:15.39ちゃんと書けているのは今のところRubyだけって感じか。
文字列オブジェクトにインスタンス変数（状態）を持たせられるのが強みだなぁ。
Smalltalkのはやってることが「独立した関数（メソッド）」と呼ぶにはどーよという内容だから失格。
関数型は型システムの制約でこういう仕様の関数モドキは書けないっていうことでＦＡ？
0291デフォルトの名無しさん
2012/04/13(金) 18:22:32.06でも実際のところ、こんな書き方したくないけどね
実際にやるなら、何らかのコンテナにラップしてからmapして
それが終わったら、文字列や数値として取り出すと思う
原文がいきなり数値に対してメソッド呼んでるから、容赦なく組み込みクラスを弄ったが…
0292デフォルトの名無しさん
2012/04/13(金) 18:30:51.940293デフォルトの名無しさん
2012/04/13(金) 18:33:45.54まあクイズだからね。言語機能をどう使って無茶な要件をクリアするかのパズルみたいなもん。
0294デフォルトの名無しさん
2012/04/13(金) 18:35:01.97まずコード出せ。話はそれからだ。
0295デフォルトの名無しさん
2012/04/13(金) 18:57:18.700296デフォルトの名無しさん
2012/04/13(金) 19:00:25.490297デフォルトの名無しさん
2012/04/13(金) 19:35:12.73RubyはメソッドチェインOKなのに
関数型言語はfizz(buzz(gizz))しか認めないんだろ？
そりゃ静的型じゃ無理っつーか制限する意味が分からん
後からgizz等を追加できる拡張性あるコードを
書けないならともかく、そうでもないしな
0298デフォルトの名無しさん
2012/04/13(金) 19:40:42.95-- String "has-a" Integer
data HasA = HasA String Integer
instance Show HasA where show (HasA s n) = if s == "" then show n else show s
fizz (HasA s n) = HasA (s ++ if mod n 3 == 0 then "Fizz" else "") n
buzz (HasA s n) = HasA (s ++ if mod n 5 == 0 then "Buzz" else "") n
gizz (HasA s n) = HasA (s ++ if mod n 7 == 0 then "Gizz" else "") n
main = print $ map (gizz . buzz . fizz . HasA "") [1,3,5,7,15,21,35,105]
0299デフォルトの名無しさん
2012/04/13(金) 19:47:44.31似たようなコード書いてたら先に張られてた
個人的には hasA = HasA "" を定義しておくのが好み
それはともかく、.演算子使ってるからケチ付けられると思うぜ多分w
0300デフォルトの名無しさん
2012/04/13(金) 19:56:22.62■ このスレッドは過去ログ倉庫に格納されています