Без заголовка
Вот что мне подозрительно, так это базисность механизма паттернов -- и кажинный раз облом в её реализации, крутость кривых обучения. С одной стороны, паттерны -- это то самое "вначале было Слово", это ход на регулярность структуры чего угодно, это ход на компактификацию знаний. С другой стороны -- популярным имеет шанс стать всё что угодно, кроме самих паттернов в их наиболее всеобъемлющем виде.
В Julia стандартный способ введения новой функциональности -- это макро. Вот, например, про тот же pattern matching есть уже такое: https://matchjl.readthedocs.org/en/latest/