Pattern matching - discu.eu

Pattern-matching dependent types in Coq http://matthew.brecknell.net/post/pattern-matching-dependent-types-in-coq/ 6 comments 21/5/2015 coq

A Simple Proof From the Pattern-Matching Card Game "Set" Stuns Mathematicians http://www.wired.com/2016/06/simple-proof-card-game-set-stuns-mathematicians/ 8 comments 13/6/2016 math

[PDF] GADTs meet their match: Pattern-matching warnings that account for GADTs, guards, and laziness. http://research.microsoft.com/en-us/um/people/simonpj/papers/pattern-matching/gadtpm.pdf 16 comments 2/3/2015 haskell

“Useless Ruby sugar”: Pattern matching (Pt. 3/3) https://zverok.space/blog/2023-11-03-syntax-sugar2-pattern-matching-fin.html 2 comments 3/11/2023 ruby

JEP proposed to target JDK 18: 420: Pattern Matching for switch (Second Preview) https://mail.openjdk.java.net/pipermail/jdk-dev/2021-November/006252.html 10 comments 16/11/2021 java

JEP draft: Pattern Matching for switch (Second Preview) https://openjdk.java.net/jeps/8273326 30 comments 9/10/2021 java

Checkerboard Programming - match checkerboard patterns by writing code https://www.checkerboardprogramming.com/ 5 comments 23/9/2021 programming

Structural pattern matching in Python 3.10 https://benhoyt.com/writings/python-pattern-matching/ 8 comments 20/9/2021 python

An Introduction to Pattern Matching in Ruby https://blog.appsignal.com/2021/07/28/introduction-to-pattern-matching-in-ruby.html 9 comments 28/7/2021 ruby

Structural Pattern Matching In Python https://buddy.works/tutorials/structural-pattern-matching-in-python 3 comments 20/5/2021 python

Port pattern matching library wildmatch to golang https://www.reddit.com/r/golang/comments/m6giy8/port_pattern_matching_library_wildmatch_to_golang/ 5 comments 16/3/2021 golang

Can matched patterns be grouped? https://www.reddit.com/r/haskell/comments/lx99vs/can_matched_patterns_be_grouped/ 6 comments 4/3/2021 haskell

Don Syme on why C#'s new pattern matching is a bad design https://github.com/fsharp/fslang-suggestions/issues/968#issuecomment-764636595 24 comments 21/1/2021 fsharp

Pattern matching - details I initially missed, with Haskell and Rust examples https://www.fpcomplete.com/blog/pattern-matching/ 7 comments 14/12/2020 haskell

Pattern Matching no longer experimental! https://www.reddit.com/r/ruby/comments/jmjy5v/pattern_matching_no_longer_experimental/ 10 comments 2/11/2020 ruby

Issues with pattern matching on JSON / array of hashes https://www.reddit.com/r/ruby/comments/ix7a1h/issues_with_pattern_matching_on_json_array_of/ 3 comments 21/9/2020 ruby

Rust for JavaScript Developers - Pattern Matching and Enums http://www.sheshbabu.com/posts/rust-for-javascript-developers-pattern-matching-and-enums/ 10 comments 12/7/2020 javascript

Ansible: Finding matching pattern shows error in regex expression https://regex101.com/ 4 comments 3/7/2020 ansible

Java: Pattern Matching for instanceof (with examples) https://programming.guide/java/pattern-matching-for-instanceof.html 7 comments 16/2/2020 java

Ruby 2.7 — Pattern Matching — First Impressions https://medium.com/@baweaver/ruby-2-7-pattern-matching-first-impressions-cdb93c6246e6 29 comments 17/4/2019 ruby

Pattern matching just landed in Ruby's master https://bugs.ruby-lang.org/issues/14912 9 comments 17/4/2019 ruby

For those looking to try out a functional language (e.g. Elixir) I've written a guide about the basics of recursion and pattern matching from a ruby perspective. Let us know what you think! http://www.weeklycommit.com/elixir-for-rubyists-pattern-matching-and-recursion/ 7 comments 29/10/2016 ruby

What is the benefits of using pattern matching instead for loops? https://www.reddit.com/r/javascript/comments/50og0q/what_is_the_benefits_of_using_pattern_matching/ 8 comments 1/9/2016 javascript

How to Use Elixir Pattern Matched Functions Arguments https://medium.com/rebirth-delivery/how-to-use-elixir-pattern-matched-functions-arguments-a793733acc6d#.fgngp7hpb 2 comments 25/3/2016 elixir

Pattern matching in Elixir http://novarac.com/elixir-madness/ 13 comments 19/3/2016 programming

A little introduction to Pattern Matching in Elixir. https://medium.com/@luizvarela1/pattern-matching-in-elixir-6aa47399c721#.adhc24yao 4 comments 7/1/2016 elixir

Pattern matching library with focus on type safety. Feedback, please? https://www.npmjs.com/package/typematch 3 comments 26/11/2015 typescript

A question on pattern matching https://doc.rust-lang.org/nightly/std/option/enum.Option.html#method.iter_mut 16 comments 15/9/2015 rust

Haskell for all: total-1.0.0: Exhaustive pattern matching using traversals, prisms, and lenses http://www.haskellforall.com/2015/01/total-100-exhaustive-pattern-matching.html 10 comments 11/1/2015 haskell

[Please explain] Singleton pattern matching and exhaustiveness checker? https://gist.github.com/dima-starosud/afd0970c83cf2e0058b8 7 comments 20/11/2014 haskell

λ Lessons: Pattern matching, first-class functions, and abstracting over recursion in Haskell https://stevekrouse.github.io/hs.js/ 3 comments 9/8/2014 haskell

Introduction to Haskell, Lecture 4 is Live (Pattern matching and Guards) http://shuklan.com/haskell/lec04.html 7 comments 5/2/2013 haskell

Scala pattern matching: for loop on steroids. http://www.artima.com/weblogs/viewpost.jsp?thread=281160 16 comments 4/2/2010 programming

Pattern Matching with Ruby http://etorreborre.blogspot.com/2007/04/pattern-matching-with-ruby.html 2 comments 26/7/2007 programming

2.7's pattern matching official docs (recently merged) https://docs.ruby-lang.org/en/master/syntax/pattern_matching_rdoc.html 30 comments 28/2/2020 ruby

Scientists link excess nitrogen degrading Hawaiian coral to a wastewater treatment plant that injects treated sewage water into the ground. Researchers tracked the changing isotopic ratios of nitrogen in the coral and matched the patterns to changes in the wastewater facility's operations schedule. https://news.ucsc.edu/2019/04/coral-nitrogen.html 182 comments 4/4/2019 science

OMeta: an Object-Oriented Language for Pattern Matching [pdf] http://www.cs.ucla.edu/~awarth/papers/dls07.pdf 3 comments 27/9/2007 programming