top | item 40849191

(no title)

What's not the same as what? Based on your examples it looks like you're saying that unification is not the same as pattern matching. But nobody said it was.

discuss

weatherlight|1 year ago

I'm saying you can't do the above in the languages mentioned above.

gergo_barany|1 year ago

What is "the above"? The context was (https://news.ycombinator.com/item?id=40844208):

    > The one-sided pattern matching seems to be a peculiarity of Elixir.

    And Erlang. And Haskell. And OCaml. And F#. And...

All of these "languages mentioned above" have one-sided pattern matching. This was the claim. Not more, not less. Are you disagreeing with this claim? Are you trying to say something about "one-sided pattern matching"? Or are you trying to say something about something other than "one-sided pattern matching"? You are not being clear.