christhekeele
Officially announcing Matcha!
Matcha
Available on GitHub and hex.pm, Matcha is a library for composing and using match specifications in Elixir. Itās intended to help you perform really fast, selective :ets queries, and refine how you can study the function calls in your running programs.
Synopsis
A really powerful but difficult-to-use feature of the BEAM VM are match specifications. Iāve wrapped them with Matcha to make them much more accessible to Elixir programmers, and am working hard to have great documentation on how to use them where they shine:
- Very efficiently getting specific data out of
:ets - Very specifically tracing the runtime behaviour of your programs
The Problem
The thing Matcha works to solve: match specifications are already kind of a a chore to use from erlang code. This is compounded when trying to use them from Elixir, since they really just encode an informal erlang AST. Alchemists have to be familiar with erlang syntax and do a lot of mental context switching to tap into their benefits.
Additionally, the APIs and documentation around how to build and use them in :ets and tracing is very dense. Some great guides exist out there, but I want to marry an easier-to-use-API with rich, first-class Elixir documentation and livebooks to make these topics more approachable.
The Solution
I get into the why, how, and when of match specifications as they exist today in my ElixirConf 2022 talk. I also tease a library to help with themāand have been teasing it throughout its several years of intermittent developmentāand here we finally are.
Matcha employs Elixirās macro system and compiler to convert familiar Elixir pattern matches into this oblique format, with rich compile-time validation, and exposes some nicer APIs for working with the resulting match specs.
The Future
In the holiday work lull, Iām able to find a little more time to pick up development again. My hope is to treat this thread as a bit of a devlog for now, and a changelog after a v0.2.0 release with a more stable API. Hopefully I can entice some of you to check things out, and even help me improve itāespecially the documentation.
Follow this thread, or the forumās #matcha topic, to stay abreast of further developments!
Where Next?
Trending in Announcing
Other Trending Topics
Latest on Elixir Forum
Sponsor Spotlight
Elixir, Erlang & messaging conferences from Code Sync. Next up: ElixirConf US (10ā11 Sep) & Code BEAM Europe (21ā22 Oct), Haarlem + online.
Categories:
Sub Categories:
Forums
Popular Tags
- #ecto
- #liveview
- #troubleshooting
- #learning-elixir
- #library
- #deployment
- #erlang
- #testing
- #genserver
- #mix
- #absinthe
- #remote-other
- #otp
- #plug
- #how-to-question
- #macros
- #postgres
- #elixirconf
- #channels
- #exunit
- #discussion
- #code-sync
- #podcasts
- #javascript
- #onsite
- #dialyzer
- #docker
- #authentication
- #umbrella
- #ai
- #full-time-contract
- #podcasts-by-brainlid
- #ecto-query
- #blog-post
- #elixirconf-us
- #elixir-ls
- #phoenix_html
- #iex
- #graphql
- #genstage
- #websockets
- #supervisor
- #advent-of-code
- #distillery
- #processes
- #elixirconf-eu
- #api
- #forms
- #security
- #metaprogramming
Our Sponsors
Build Elixir applications with speed and confidence.
We build reliable cloud platforms for business-critical systems.
Catch errors, track performance, monitor hosts and more.
Error tracking, logs, uptime, and Just Enough APM. Built for developers.
Elixir, Erlang & BEAM conferences from Code Sync - join us in 2026!
Bringing learning, work and compliance together since 1987.
Producing high quality Elixir screencasts since 2017.
**Building the future of software with AI, trust, and human connection.**
The team behind Membrane, Popcorn, LiveDebugger. Available for hire.
Courses that'll move you from confusion to "Aha, now I get it!"
Showing Posts 1 to 10- Show Best Posts
- Show All (oldest first)
- Show All (newest first)
TwistingTwists
https://hexdocs.pm/matcha/usage.html#content
https://hexdocs.pm/matcha/usage/filtering-and-mapping.html#content
this is broken.
christhekeele
Fixed, thanks!
hst337
Great project!
hst337
By the way, is there any way to combine two specs together? Or put one spec into the other?
christhekeele
Thereās a bit of discussion around that on GH: Support compile-time pattern / spec composition Ā· Issue #23 Ā· christhekeele/matcha Ā· GitHub, but it wanders off in other directions pretty quickly.
In short, I think itās a good idea, and want to add it! The main thing Iām waiting on is understanding a few more peopleās usecases before figuring out how itād work. If you wanted to contribute to that issueās discussion, itād be very helpful!
kwando
I just played around with this library, love it so far
Not so intimidating to do efficient queries to ETS anymore 
christhekeele
Iāve just added a helper to
latestto merge matchspecs. It comes with a few caveats, but should be useful for composing matches. Itāll be available next release!hst337
I meant something like
To result in
TwistingTwists
https://hexdocs.pm/matcha/usage/tables.html#content
https://hexdocs.pm/matcha/usage/filtering-and-mapping.html#content
https://hexdocs.pm/matcha/usage/tracing.html#content
broken again
zachallaun
This seems pretty ambiguous, no? Itās not clear why the merge would know to replace the
headbinding specifically. What if there are two bindings?It seems like, to get what you want, youād need to be able to specify āhigher orderā specs of some kind that explicitly declare the āvarsā or whatever that youāre replacing.
This seems somewhat complex. I wonder if there is a better approach that might allow ānestingā but delegate composition to regular Elixir functions.