トップページ⇒tech
1001コメント388KB

【激突】関数型言語　VS　オブジェクト指向言語2

■ このスレッドは過去ログ倉庫に格納されています
0001営利利用に関するLR審議中＠詳細は自治スレへ2012/04/07(土) 21:26:47.61
一般的には、オブジェクト指向型言語が優勢でが
一部には関数型言語を崇拝している人もいます

どちらが上なのか、この際はっきりさせましょう

前スレ http://toro.2ch.net/test/read.cgi/tech/1331328955/
0561デフォルトの名無しさん2012/04/28(土) 12:23:40.64
やっぱりオブジェクト指向だと規模が大きくなる。

逆に言えば、規模が大きい場合は
オブジェクト指向が有利ってことか。
0562デフォルトの名無しさん2012/04/28(土) 12:42:19.17
大規模で全貌の把握がしづらいものを
個々人では把握できないままでも比較的扱いやすいのがOOPLだと思ってる
0563デフォルトの名無しさん2012/04/28(土) 12:57:03.02
全体を統一しづらい規模になると言語は一つではなくなる
Objective-C++/CLIのような状態
0564デフォルトの名無しさん2012/04/28(土) 16:19:14.44
>セルがオブジェクトなら
>実際の生物みたく、オブジェクトごとに能力を変えることだって出来る

大抵のOOPLにはマルチメソッドすらないのに、
良くそんな大口たたけるな。
0565デフォルトの名無しさん2012/04/28(土) 16:24:25.86
無いのはマルチメソッドを実現するための言語仕様であって、
マルチメソッド自体は実装できるからね。
0566デフォルトの名無しさん2012/04/28(土) 16:25:24.90
>>564
突然何言い出してんのこの子(´･ω･`)
0567デフォルトの名無しさん2012/04/28(土) 16:28:06.39
ホーミングミサイルの話でボコボコにされたやつだ。
気にすんな
0568デフォルトの名無しさん2012/04/28(土) 18:10:20.59
>>565
関数型言語でも実装できる
パラダイムじゃなく言語間の比較スレなんだから
そんなこと言っても意味ない
0569デフォルトの名無しさん2012/04/28(土) 18:15:28.58
>>561
仮に「OOPだと規模が大きくなる」が真だとしても
そこから「規模が大きいとOOPは有利」は導けない
0570デフォルトの名無しさん2012/04/28(土) 18:53:58.34
静的型付けの割に簡潔に書けて、かつ型チェックも厳しくやってほしい

こういうニーズに関数型言語が応えてるから使ってるだけで、
関数型言語使ってる奴が皆OOを嫌ってるわけでも
設計レベルで使わないわけでもないんよ

争いは不毛だ
0571デフォルトの名無しさん2012/04/28(土) 19:06:33.77
> 静的型付けの割に簡潔に書けて、かつ型チェックも厳しくやってほしい
なんとなくC#を思いだしたけどC#で書く人いないね
0572デフォルトの名無しさん2012/04/28(土) 19:31:55.12
争わなかったらスレの存在意義がないだろ
0573デフォルトの名無しさん2012/04/28(土) 20:25:37.43
>>571
C#のジェネリックってダックタイピングできないんでしょ？簡潔かなぁ。
0574デフォルトの名無しさん2012/04/28(土) 20:41:49.41
>>560
ライフゲームのセルっていう文脈だからねぇよって言ったわけで
ゲームのキャラクターのオブジェクト化まで否定はしてねぇよｗ

>>564
またホーミングの子ｗｗｗ
0575デフォルトの名無しさん2012/04/28(土) 21:39:52.98
>>570
Scalaがそう。

静的言語で、簡潔に書けることを
証明した言語。
0576デフォルトの名無しさん2012/04/28(土) 21:45:24.53
>>575
このスレでまだ一回もScala出て来てないぞ
ライフゲームで良いからコードで証明してみてくれ
0577デフォルトの名無しさん2012/04/28(土) 23:03:24.87
「Scalaは簡潔に書けると証明した」=>「じゃあチョット書いてみて」=> 逃亡


どんなコントだよwww
0578デフォルトの名無しさん2012/04/28(土) 23:11:10.96
ん？ Scala知らないの？
0579デフォルトの名無しさん2012/04/28(土) 23:31:57.42
Scala待ちの間にｗ、Squeak Smalltalkでセルがオブジェクト版。（要クラスブラウザ）
細かい違いを無視すれば Python の >>557 とほぼ同じ方針。

Object subclass: #Cell
   instanceVariableNames: 'neighbors next'
Cell >> setBit: int
   neighbors := OrderedCollection with: int
Cell >> collectNeighborsAt: pos in: array2D
   neighbors addAll: (#(-1 0 1) gather: [:dx | #(-1 0 1) collect: [:dy |
      (array2D atWrap: (pos y + dy)) atWrap: (pos x + dx)]]); remove: self
Cell >> calcNext
   next := (neighbors inject: 0 into: [:sum :neigh | sum + neigh value])
      caseOf: {[3]->[1]. [4]->[self value]} otherwise: [0]
Cell >> update
   neighbors at: 1 put: next
Cell >> value
   ^neighbors first
Cell >> printOn: stream
   self value printOn: stream
Cell class >> newWith: bitInt
   ^self new setBit: bitInt; yourself
Cell class >> newLatticeFrom: array2D
   | lattice |
   lattice := array2D collect: [:row | row collect: [:bit | Cell newWith: bit]].
   ^lattice doWithIndex: [:row :y | row doWithIndex: [:cell :x |
      cell collectNeighborsAt: x@y in: lattice]]; yourself
Cell class >> updateLattice: array2D
   ^array2D do: [:row | row do: #calcNext]; do: [:row | row do: #update]

| lattice |
lattice := Cell newLatticeFrom: {{0. 1. 1. 1. 0}. {0. 1. 0. 0. 0}. {0. 0. 1. 0. 0}. {0. 0. 0. 0. 0}. {0. 0. 0. 0. 0}}.
Cell updateLattice: lattice. "=> {{0. 1. 1. 0. 0}. {0. 1. 0. 1. 0}. {0. 0. 0. 0. 0}. {0. 0. 0. 0. 0}. {0. 0. 1. 0. 0}} "
0580デフォルトの名無しさん2012/04/29(日) 00:22:22.02
純粋な関数型言語って、参照するたびに値が変化する変数みたいなのは作れるの？
たとえば乱数とか、参照した時点の現在時刻を値として持ってる変数とか
0581デフォルトの名無しさん2012/04/29(日) 00:31:18.37
>557をscalaでベタ移植してみた。

case class Cell(var alive:Int) {
　var neighborhood = List[Cell]()
　var alive_ = 0
　def evaluate() {
　　val s = neighborhood.map(_.alive).sum
　　alive_ = if(s == 3 || s == 4 && alive == 1) 1 else 0
　}
　def update() { alive = alive_ }
}
case class Board(val lattice:List[List[Int]]) {
　val cells = lattice.map(_.map(x => Cell(x)))
　val m = lattice.size; val n = lattice(0).size
　for(i <- 0 until m; j <- 0 until n; k <- -1 to 1; l <- -1 to 1)
　　cells(i)(j).neighborhood ::= cells((i+k+m)%m)((j+l+n)%n)
　def life() {
　　cells.foreach(_.foreach(_.evaluate))
　　cells.foreach(_.foreach(_.update))
　}
　override def toString() = {
　　cells.map(_.map(_.alive.toString).reduce(_ + "," + _)).reduce(_ + "\n" + _)
　}
}
val board = Board(List(List(0,1,1,1,0),List(0,1,0,0,0),List(0,0,1,0,0),List(0,0,0,0,0),List(0,0,0,0,0)))
board.life
print(board)

scalaの機能を余り活用できていない感じ。
0582デフォルトの名無しさん2012/04/29(日) 01:14:20.15
これで静的型付け言語なんだぜ。

val msg = if (true) "true dayo" else "false dayo"
0583デフォルトの名無しさん2012/04/29(日) 01:27:13.41
せっかくなのですべてのセルが並行に動くように>581を修正

case class Cell(var alive:Int) extends Actor {
　var neighborhood = List[Cell]()
　def act() = {
　　neighborhood.foreach(_ ! alive)
　　var count = 0; var s = 0
　　loopWhile(count < neighborhood.size) {
　　　receive { case i:Int => s += i; count += 1 }
　　} andThen { alive = if(s == 3 || s == 4 && alive == 1) 1 else 0 }
　}
}
case class Board(val lattice:List[List[Int]]) {
　val cells = lattice.map(_.map(x => Cell(x)))
　val m = lattice.size; val n = lattice(0).size
　for(i <- 0 until m; j <- 0 until n; k <- -1 to 1; l <- -1 to 1)
　　cells(i)(j).neighborhood ::= cells((i+k+m)%m)((j+l+n)%n)
　def life() {
　　cells.foreach(_.foreach(_.start))
　}
　override def toString() = cells.map(_.map(_.alive.toString).reduce(_ + "," + _)).reduce(_ + "\n" + _)
}
val board = Board(List(List(0,1,1,1,0),List(0,1,0,0,0),List(0,0,1,0,0),List(0,0,0,0,0),List(0,0,0,0,0)))
board.life
print(board)

evaluate/updateの分割が不要になったので少し短くなったか
0584デフォルトの名無しさん2012/04/29(日) 01:30:58.02
これで静的型付け言語なのか。
本当に短いコードは動的型付け言語だけの特権じゃないことを
証明してしまったな。
0585デフォルトの名無しさん2012/04/29(日) 02:11:32.74
ただ静的型にしては遅いよね。
500x500 500世代で動的な >>579 が 112秒なのに、>>581 は 196秒。
0586デフォルトの名無しさん2012/04/29(日) 02:18:22.73
>>585
それ事前コンパイルしてないだろ？
0587デフォルトの名無しさん2012/04/29(日) 02:35:44.97
>>583
これって一回のlifeのコール後、
すべてのセルがアップデートを終えるのをどこで待ち合わせているの？
0588デフォルトの名無しさん2012/04/29(日) 06:27:13.54
>>582
そんなんで感動できるとか何時の時代の人？

OCaml : let msg = if true then "true" else "false"
Haskell : let msg = if True then "true" else "false"
0589デフォルトの名無しさん2012/04/29(日) 06:30:26.82
どうせ、RubyとかLLばっかり使ってる人だろｗ
0590デフォルトの名無しさん2012/04/29(日) 07:52:20.17
C++,C#にも導入されたね
C++11　: auto msg = true ? "true dayo" : "false dayo";
C#(3.0) : var msg = true ? "true dayo" : "false dayo";
0591デフォルトの名無しさん2012/04/29(日) 08:14:29.69
最近どんどん動的型付け言語の
メリットがなくなっていくね。
0592デフォルトの名無しさん2012/04/29(日) 08:47:25.44
>>590
…それでmsgの型を推論しろってか。
0593デフォルトの名無しさん2012/04/29(日) 09:24:13.53
>>591
この戦いが終わったら全ての武器のメリットがなくなるんだ
0594デフォルトの名無しさん2012/04/29(日) 09:42:55.39
機械語のメリットがなくなってゆくね、とか言ってる奴の同類だよなぁw
0595デフォルトの名無しさん2012/04/29(日) 09:43:05.44
でも静的型はコンパイルが必要でREPLももっさり、型推論も万能じゃない
スクリプト言語はこれからも残るよ
0596デフォルトの名無しさん2012/04/29(日) 10:59:45.94
trueって名前の変数を作って、遅延評価によってmsgを参照したときの変数trueの値によりmsgの値も変わるってことでいいんかの
変数trueに再代入できたりしないとあんま意味なくね？
いや違ってたらすまんが
0597デフォルトの名無しさん2012/04/29(日) 11:11:11.60
>>590は型推論の話じゃないの？
"true dayo"も"false dayo"も文字列リテラルなので
三項演算の条件のtrue/falseを問うことなくmsgの型を文字列と確定できる
0598デフォルトの名無しさん2012/04/29(日) 11:27:23.87
>>597
ああなんだそういうことか、勘違いしてたわ
0599デフォルトの名無しさん2012/04/29(日) 11:55:08.69
変数に互換性がない別の型の値を
再代入できる言語はクソです。
0600デフォルトの名無しさん2012/04/29(日) 12:10:48.87
>>586
Scalaって事前(?)にコンパイルする以外になんか実行方法あったっけ？
0601デフォルトの名無しさん2012/04/29(日) 12:18:53.17
>>600

>>581はコンパイルしたらエラーがでます。
0602デフォルトの名無しさん2012/04/29(日) 12:21:46.03
コンパイルしない場合は、そのまま動きます。
0603デフォルトの名無しさん2012/04/29(日) 12:31:37.65
>581はscalaスクリプトだから、コンパイルする場合は
-Xscript XXX オプションをつける必要があるかと
0604デフォルトの名無しさん2012/04/29(日) 12:42:00.90
動くね

$ time scala Lifegame.scala
0,1,1,0,0
0,1,0,1,0
0,0,0,0,0
0,0,0,0,0
0,0,1,0,0
scala Lifegame.scala 1.44s user 0.09s system 4% cpu 37.965 total
AMD MV-40 1.6GHz シングルコア
0605デフォルトの名無しさん2012/04/29(日) 12:42:30.36
>>599
それで、代入を禁止するのと共用体を禁止するのは、どっちが良いんですか
0606デフォルトの名無しさん2012/04/29(日) 12:48:02.58
スクリプト実行
time scala LifeGame.scala
0,1,1,0,0
0,1,0,1,0
0,0,0,0,0
0,0,0,0,0
0,0,1,0,0
real 0m1.819s
user 0m0.704s
sys 0m0.104s

コンパイル実行
time scala LifeGame
0,1,1,0,0
0,1,0,1,0
0,0,0,0,0
0,0,0,0,0
0,0,1,0,0
real 0m0.585s
user 0m0.528s
sys 0m0.072s

コンパイル時間の分、スクリプト実行だと起動に時間がかかるね
0607デフォルトの名無しさん2012/04/29(日) 12:48:20.97
>>605
両方いいです。
0608デフォルトの名無しさん2012/04/29(日) 12:51:30.57
>>597
よく見れ。
msgにtrueを代入してる。
0609デフォルトの名無しさん2012/04/29(日) 12:53:31.56
>>608
どのtrueを代入してるんですか？

全文を引用して、該当のtrueを【】でくくって下さい。
0610デフォルトの名無しさん2012/04/29(日) 13:04:26.07
>>601
コンパイル通らないのでAppにして通したんだけどこれでも遅いままなのかな？

object LifeCell extends App {
val board = Board(List(List(0,1,1,1,0),List(0,1,0,0,0),List(0,0,1,0,0),List(0,0,0,0,0),List(0,0,0,0,0)))
board.life
println(board)
val rand = new Random()
val b500 = Board(List.fill(500, 500){rand nextInt 2})
val s = new Date().getTime
for (i <- 1 to 500) b500.life
println(new Date().getTime - s)
}

>>603
あ、Scalaスクリプトなんてモードがあるんですね。
実行オプションでそんなに差が出るものなんですか？
0611デフォルトの名無しさん2012/04/29(日) 13:31:36.87
Javaの実行環境に詳しくないとまともにベンチとれないんじゃないかと思う

>>608
$ cat hello.cs
class Program {
public static void Main() {
var hoge = true ? "*true*" : "*false*";
System.Console.WriteLine(hoge); } }
$ mono hello.exe
*true*
0612デフォルトの名無しさん2012/04/29(日) 13:56:15.31
>>608
お前が良く見た方がいい
0613デフォルトの名無しさん2012/04/29(日) 14:10:28.74
括弧を省略する言語は危険
式と文を区別しない言語も危険
0614デフォルトの名無しさん2012/04/29(日) 14:12:28.08
>>613
蛇の国からようこそおこしやす
0615デフォルトの名無しさん2012/04/29(日) 14:22:29.08
Lisp系から見るとHaskellも括弧省略言語だな
0616デフォルトの名無しさん2012/04/29(日) 19:36:04.13
λ式に比べたらLispだって
0617デフォルトの名無しさん2012/04/30(月) 00:25:42.19
>>616
Lispの関数は
apply = foldl ($)
(((f x) y) z) == (apply f) [x, y, z]
省略ではなく、式を変形している
(x, y, zの型が異なる場合、Haskellは上の式が間違っていると主張する)
0618デフォルトの名無しさん2012/04/30(月) 01:24:53.48
>610
core i5で90s程度だね。
ちなみに
　def life() {
　　cells.foreach(_.foreach(_.evaluate))
　　cells.foreach(_.foreach(_.update))
　}
を
　def life() {
　　cells.par.foreach(_.foreach(_.evaluate))
　　cells.par.foreach(_.foreach(_.update))
　}
にして並列化すると30s。
まだまだ遅いけど。
0619デフォルトの名無しさん2012/04/30(月) 01:28:51.62
>>587
遅くなって悪い。確かに待ち合わせが抜けてるね。
BoardもActorをextendsしてlifeを以下のactに替えればよさそう。
　def act() {
　　cells.foreach(_.foreach((c:Actor) => {link(c); c.start}))
　　var count = 0
　　loopWhile(count < m * n) { receive { case _ => count += 1 } } andThen { print(this) }
}
0620デフォルトの名無しさん2012/04/30(月) 01:42:08.34
やっぱり手続き型のC言語が
こういうのは一番早いね。
0621デフォルトの名無しさん2012/04/30(月) 06:36:40.19
つまりCの関数を簡単に呼べる言語が優秀
0622デフォルトの名無しさん2012/04/30(月) 08:02:32.77
なんだ。Rubyが最強ってことか。
0623デフォルトの名無しさん2012/04/30(月) 09:21:02.55
>>546のCの関数を呼び出してみた


from __future__ import print_function
from ctypes import *

clife = cdll.LoadLibrary('liblife.so')
clife.life.argtypes = [POINTER(POINTER(c_int)), POINTER(POINTER(c_int)), c_int, c_int]

x = [[0,1,1,1,0], [0,1,0,0,0], [0,0,1,0,0], [0,0,0,0,0], [0,0,0,0,0]]
a, b = (POINTER(c_int) * 5)(), (POINTER(c_int) * 5)()
for i in xrange(5):
    a[i], b[i] = (c_int * 5)(*x[i]), (c_int * 5)()
clife.life(a, b, 5, 5)
print('\n'.join(''.join(str(b[i][j]) for j in xrange(5)) for i in xrange(5)))
0624デフォルトの名無しさん2012/04/30(月) 15:16:50.31
Haskell(GHC)からC関数を使用


import Foreign.Marshal (newArray, mallocArray, peekArray, free)
import Foreign.C.Types (CInt)
import Foreign.Ptr (Ptr, plusPtr)
import Foreign.Storable (sizeOf, peek)
import Data.List (unfoldr)

foreign import ccall "life" cLife ::
    Ptr (Ptr CInt) -> Ptr (Ptr CInt) -> CInt -> CInt -> IO ()

main = do
  x' <- newArray $ concat xss :: IO (Ptr (CInt))
  y' <- mallocArray (m * n)
  x <- f x' =<< peek x'
  y <- f y' =<< peek y'
  cLife x y (fromIntegral m) (fromIntegral n)
  z <- peekArray (m * n) y'
  mapM_ free [x, y]
  mapM_ free [x',y']
  print $ unfoldr (\xs -> if null xs then Nothing else Just $ splitAt n xs) z
  where
    xss = [[0,1,1,1,0], [0,1,0,0,0], [0,0,1,0,0], [0,0,0,0,0], [0,0,0,0,0]]
    m = length xss
    n = length (concat xss) `div` m
    f p h = newArray [plusPtr p (sizeOf h * i * n) | i <- [0..m-1]]
0625デフォルトの名無しさん2012/04/30(月) 20:00:22.80
速度が必要な極一部の処理だけ
速い言語（C/C++/Java）で書けば良いのに
クソ遅い言語で速度競っててワロタwww
0626デフォルトの名無しさん2012/04/30(月) 20:14:25.98
なんだJava厨か
0627デフォルトの名無しさん2012/04/30(月) 20:25:46.03
Ruby「実行速度とかそんなの求めてませんから(ｷﾘｯ」
0628デフォルトの名無しさん2012/04/30(月) 21:11:28.94
>>546のコードをJavaにベタ移植したんですが
C言語に比べて物凄く遅いです（6.5倍遅い）
(出力が遅すぎるので、そこをコメントアウトしてもまだ遅いです)

http://ideone.com/FoYga

どうやったら速くなりますか？
0629デフォルトの名無しさん2012/04/30(月) 21:27:32.39
すいません正しく移植したら速くなりました
http://ideone.com/oLyyb
0630デフォルトの名無しさん2012/05/01(火) 03:28:55.35
関数型言語で書くとどうしてもボトムアップになる，
そこが問題，
小さい処理ならそれでいいが，大きなシステムだとはなしにならん
0631デフォルトの名無しさん2012/05/01(火) 03:59:53.53
関数型言語はトップダウンでもボトムアップでも組む事が出来る
出来ないのはそいつが未熟なだけ
0632デフォルトの名無しさん2012/05/01(火) 04:44:27.14
>>630
自分は逆に関数型言語でトップダウンだが・・・
入れ子になった関数を変更するときぐらいだな。ボトムアップな感じになるのは
0633デフォルトの名無しさん2012/05/01(火) 05:04:37.25
マクロな関数（処理）から書き始め、マクロな関数から呼ばれる
ミクロな関数は入出力の型だけ決めて実装は後回し

なんでこんな簡単なことが>>630には出来ないの？
0634デフォルトの名無しさん2012/05/01(火) 07:57:45.80
トップダウンはどうしても車輪の再発明になる
再利用はどうしてもボトムアップになる
0635デフォルトの名無しさん2012/05/01(火) 09:19:19.80
え？
0636 ◆QZaw55cn4c 2012/05/01(火) 12:12:45.49
>>634
実感として、トップダウンとボトムアップの出会うところでうんうんうなっています。
0637デフォルトの名無しさん2012/05/01(火) 15:17:57.73
>>634
ボディを違う色で塗って「ニューモデル」っていうだけだろ
0638デフォルトの名無しさん2012/05/01(火) 19:35:01.49
Excel内臓の関数型言語の普及率はすげぇよな。
窓際に座ってる禿ですら操作できるんだからなぁ。
http://research.microsoft.com/en-us/um/people/simonpj/Papers/excel/index.htm
0639デフォルトの名無しさん2012/05/01(火) 19:48:21.14
simonpj先生の勤務先都合仕事だからだまされないで！
0640デフォルトの名無しさん2012/05/01(火) 19:53:04.34
騙されるも何も、内容は事実じゃん。
0641デフォルトの名無しさん2012/05/01(火) 19:57:17.64
スプレッドシート猿によるアホな決定というリスクマネジメントのための学会？
0642デフォルトの名無しさん2012/05/01(火) 20:11:03.69
現実には使えないExcelの拡張の話だけどなw
0643デフォルトの名無しさん2012/05/01(火) 20:20:54.13
拡張せずとも、普通に計算するだけで関数型だろ？
何言ってんだ？
0644デフォルトの名無しさん2012/05/01(火) 20:54:33.43
A1=3
A2=A1-32
A3=A2*5/9

これは静的単一代入 (SSA) です。
SSAは関数型に入りますか？
0645デフォルトの名無しさん2012/05/01(火) 20:59:05.32
y = x + 5 は一次関数。あとは説明要らんよな。
0646デフォルトの名無しさん2012/05/01(火) 21:02:58.15
そもそも、型に入るとか入らないとかいう型の理論が要らない
0647デフォルトの名無しさん2012/05/01(火) 21:47:34.44
型がないと、実行時にしかメソッド名の解決ができない。
これは開発工数が伸びる原因になる。
0648デフォルトの名無しさん2012/05/01(火) 21:56:43.18
なんという緻密な分析
0649デフォルトの名無しさん2012/05/01(火) 22:03:59.52
関数"型"の話してんだろコミュ障
0650デフォルトの名無しさん2012/05/01(火) 22:36:11.12
>>649
だから、型ですよね？
0651デフォルトの名無しさん2012/05/01(火) 22:36:32.17
型だよ型。
0652デフォルトの名無しさん2012/05/01(火) 22:37:00.05
型の話しようぜ。
0653uy2012/05/02(水) 01:30:41.35
>>67
class Array
  def my_permu
    return [self] if size < 1
    inject [] do |r , n|
      reject{|x| x == n }
      .my_permu.inject r do |r,ary|
        r << [n] + ary
      end
    end
  end
end
p (1..3).to_a.my_permu
0654デフォルトの名無しさん2012/05/02(水) 03:53:50.68
ぶっちゃけ関数型もオブジェクト指向もどうでも良くて
自分が使ってる言語以外をdisりたいだけだよね
0655デフォルトの名無しさん2012/05/02(水) 11:28:46.31
>>653
まだpermutationやってんのかよ、こんなもんがそんな面白いか？

perm [] = [[]]
perm xs = [x:y | x <- xs, y <- perm $ filter (/=x) xs]

main = print $ perm [1,2,3]
0656デフォルトの名無しさん2012/05/02(水) 11:34:39.78
こっちは要素の重複を取り除かないバージョン

import Data.List
perm' [] = [[]]
perm' xs = [x:y | x <- xs, y <- perm $ delete x xs]
0657uy2012/05/02(水) 13:23:15.71
>>655
Rubyのpermutationって誰も知らないのか話題にならないから俺が最初に2chにコード投下したやつじゃん（半年前くらいに）
67の冗長ゴミカスRubyソースコードを添削しただけだよ
0658デフォルトの名無しさん2012/05/02(水) 13:33:49.06
へえー、これ良いね。
0659デフォルトの名無しさん2012/05/02(水) 15:29:43.37
>>658
いやHaskellでもRubyでも標準添付や組み込みのライブラリに入ってますし…
0660デフォルトの名無しさん2012/05/03(木) 10:07:46.90
>>655
要素の重複を取り除くところでバグるかもしれない点は面白い
0661デフォルトの名無しさん2012/05/03(木) 14:24:19.11
>>655 を Squeak Smalltalk で書いてみた。バグもそのまま。

perm := [:xs |
   xs ifEmpty: [#(())] ifNotEmpty: [
      xs gather: [:x | (perm value: (xs copyWithout: x)) collect: [:ys | {x}, ys]]]].

perm value: #(1 2 3) "=> #((1 2 3) (1 3 2) (2 1 3) (2 3 1) (3 1 2) (3 2 1)) "
■ このスレッドは過去ログ倉庫に格納されています