アカウント名:
パスワード:
何がいいかでソースコードを語って欲しい。
# 昔、ボツの杜というのがあってな
じゃあ、最高なコード、サイコード・マニアを開催しようぜ。
まずは冪集合 powerset を求めるこの Haskell コード。初めて見たとき驚愕した。
powerset :: [a] -> [[a]]powerset xs = filterM (\x -> [True, False]) xs
( http://learnyouahaskell.com/for-a-few-monads-more#useful-monadic-functions [learnyouahaskell.com] )
これだけ。filterM は標準ライブラリ関数。使うとこうなる。
g
その例は強力なリストモナドをしょぼく使っているのでサイコーとは思わないfilterMの引数がconstじゃろ
じゃあちょっとリファクタリングして
powerset = filterM $ const [True, False]
でどうかな。
かっこいいリストモナドのサンプルも頼む。
ナイスなコードだとは思うんだけど、リストの要素の値を捨てていて勿体ないのでサイコーとは言えないかなと思った次第
以前どこかでリストモナドとcyclic programmingを組み合わせたコードを見たことはあるが、なんにせよ俺の手には余る
circular programmingの間違い
あと、どうも役目をいろいろ負わせすぎな気がしてHaskellのリストが好きになれんのだな俺は有限列と無限列と配列と集合は別々に考えたい
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
ソースを見ろ -- ある4桁UID
何がだめかじゃなくて (スコア:0)
何がいいかでソースコードを語って欲しい。
# 昔、ボツの杜というのがあってな
サイコード・マニア (スコア:0)
じゃあ、最高なコード、サイコード・マニアを開催しようぜ。
まずは冪集合 powerset を求めるこの Haskell コード。初めて見たとき驚愕した。
powerset :: [a] -> [[a]]
powerset xs = filterM (\x -> [True, False]) xs
( http://learnyouahaskell.com/for-a-few-monads-more#useful-monadic-functions [learnyouahaskell.com] )
これだけ。filterM は標準ライブラリ関数。使うとこうなる。
g
Re:サイコード・マニア (スコア:0)
その例は強力なリストモナドをしょぼく使っているのでサイコーとは思わない
filterMの引数がconstじゃろ
Re: (スコア:0)
じゃあちょっとリファクタリングして
powerset = filterM $ const [True, False]
でどうかな。
かっこいいリストモナドのサンプルも頼む。
Re: (スコア:0)
ナイスなコードだとは思うんだけど、リストの要素の値を捨てていて勿体ないのでサイコーとは言えないかなと思った次第
以前どこかでリストモナドとcyclic programmingを組み合わせたコードを見たことはあるが、なんにせよ俺の手には余る
Re: (スコア:0)
circular programmingの間違い
あと、どうも役目をいろいろ負わせすぎな気がしてHaskellのリストが好きになれんのだな
俺は有限列と無限列と配列と集合は別々に考えたい