Scalaのパターンマッチ仕様と結論のない「うれしさ」 - Togetter
Twitterのつぶやきマッシュアップメディア!
まとめ
メニューを開く-
@tadayosi Scalaのパターンマッチは、評価順序を規定しない。原理的にはパラレルに実行できるから、今後のマシンとコンパイラの進歩ですごく効率が上がる。もちろんデメリットもあって、それはパターンが排他的である必要がある点。いや、浅学の勘違いかもしれないけど。 -
.@gohmorihara 上から順に評価だったと思うけど。 -
@glad2121 そなの? ちと調べてみる。I'll be back!
-
@gohmorihara バターンマッチは、パターンをアプリオリに指定しなきゃいけないのが不満。パターンを見出すプロセスを軽視していない？ -
@holic イテレーティブにしてはいけないの?
-
もちろんしてよい。でも MECE 構造は、OCP と相性が悪い。RT: @gohmorihara: @holic イテレーティブにしてはいけないの?
-
@holic CEの必要はないのでは? ワイルドカードに_とかあるし。なにより、MEの必要もないのが優秀な同僚によってあかされました! えへへ。
-
ワイルドカードが使えるなら CE はいいや。でも ME は本当にいいの？RT: @gohmorihara: @holic CEの必要はないのでは? ワイルドカードに_とかあるし。なにより、MEの必要もないのが優秀な同僚によってあかされました! えへへ。
-
@holic 「書かれた順に1つ1つのパターンを試して評価する。最初にマッチしたパターンが選択され」って『Scalaスケーラブルプログラミング』に書いてある。個人的には気に入らんけど。これじゃ同期処理しないとコンカレントにできない!
-
パターンマッチについては、PSO の8章、コップ本の15章、24章あたりかな。部分適用関数になるのか? RT @gohmorihara: @glad2121 そなの? ちと調べてみる。I'll be back!
-
コップ本の15章、P.250 の最後に「書かれた順に1つ1つのパターンを試して評価する」と書かれています。 RT @gohmorihara: まだ、Scalaのcaseの評価順の裏が取れない。
-
一応言っておこう。Scalaのcaseはパターン内で関数呼び出しがあり得ないから、マッチは原理上並列処理できる。パターンがかぶる場合は、マッチ後の処理を選択するために同期しないといけない。けど、マッチ自体は並列処理できるはずよ。
-
Content from Twitter
コメント