パターンマッチを極限まで高めたら [無断転載禁止]©2ch.net

**デフォルトの名無しさん** · 2016/01/06(水) 20:16:42.56

haskellとかにパターンマッチあるじゃん？

fib 0 = 1
fib 1 = 1
fib n = fib (n-1) + fib (n-2)

みたいなやつ

計算量とか無視してあれをもっと強力にしたら面白くね？

haskell だとリストが x:xs みたいなパターンマッチできるけど
xs ++ [a] ++ ys ++ [a] ++ zs (同じ要素を２つ含むリストにマッチ)
みたいなのもできるようにするとかどうなん？

**デフォルトの名無しさん** · 2016/01/06(水) 20:34:38.40

<　｀∀´>ﾆﾀﾞｰ

**デフォルトの名無しさん** · 2016/01/06(水) 20:35:09.71

なんだ正規表現かとｵﾓﾀ

**片山博文MZ** ◆T6xkBnTXz7B0 · 2016/01/06(水) 20:44:36.00

正規表現の配列版か？

実装は可能。

**デフォルトの名無しさん** · 2016/01/06(水) 20:45:00.31

>>1
if-elseif-else 最強

**デフォルトの名無しさん** · 2016/01/06(水) 20:59:07.00

正規表現かー。
正規表現をそのまま流用すればいい線行くのかな？

**デフォルトの名無しさん** · 2016/01/06(水) 21:25:38.71

[ ] リスト
x 一個の要素
xs... 複数の要素
a|b a or b

[ x , xs... ] リストを先頭と残りに分解
[ 0 , xs... ] 先頭が0のリストにマッチ
[ xs... , 1 , yx... ] 1を含むリストにマッチ
[ xs... , xs... ] 同じ内容が繰り返してるリストにマッチ
[ xs... , a , ys... , a , zs ... ] 同じ要素を二つ含むリストにマッチ
[ xs... , 0|1 , ys... ] 0または1を含むリストにマッチ

**デフォルトの名無しさん** · 2016/01/06(水) 21:26:26.53

計算量がやばいかな？
計算量はひとまず目をつぶろう

**デフォルトの名無しさん** · 2016/01/06(水) 21:50:41.46

[ xs... , xs... ] 同じ内容を繰り返すリスト
って正規言語なんだっけ？忘れちゃった。

**デフォルトの名無しさん** · 2016/01/06(水) 21:57:56.85

a=[1,2,3]
b=4
c=[5,6]

match([1,2,3,4,5],[a... , b , c...]) => true

**デフォルトの名無しさん** · 2016/01/06(水) 21:58:51.25

ミスった
match([1,2,3,4,5,6],[a... , b , c...]) => true

**デフォルトの名無しさん** · 2016/01/06(水) 22:02:27.82

配列にマッチとか需要あるのだろうか

**デフォルトの名無しさん** · 2016/01/06(水) 22:06:01.20

a=[1,2,3]
c=[5,6]

[1,2,3,4,5,6].match{| [a... , x , c... ] | x } => 4

Ruby風に書いてみた

**デフォルトの名無しさん** · 2016/01/06(水) 22:07:23.13

>>12
わからん。
場合によっては綺麗にかけるようになるものもあるかも。

**デフォルトの名無しさん** · 2016/01/06(水) 22:17:11.90

あんまり正規表現にすり合わせようとしないほうがいいかもしれないな。
俺の勘だが。

**デフォルトの名無しさん** · 2016/01/06(水) 22:44:46.34

[1,2,3,4,5].match_all{| [ xs... , ys... ] | [ xs , ys ] }
=> [ [[],[1,2,3,4,5]], [[1],[2,3,4,5]], [[1,2],[3,4,5]], [[1,2,3],[4,5]], [[1,2,3,4],[5]], [[1,2,3,4,5][]]]

妄想が広がるなぁ

**デフォルトの名無しさん** · 2016/01/06(水) 22:57:46.34

rstrip [ xs... , ' ' ] = rstrip xs
rstrip xs = xs

上から優先してパターンマッチされる感じで。

**デフォルトの名無しさん** · 2016/01/06(水) 23:45:14.94

エジソンとかそんなのなかったっけ
忘れるか読みづらくなるか結局いい事ない気がする