grantjenks / python-pattern-matching Goto Github PK

no doc available currently

Add ideas for regex patterns to pattern matching project. Something like: https://github.com/VerbalExpressions

See pampy: https://github.com/santinic/pampy/

TODO: Add comparison.

Idea: add dunder match example for hi/lo checking. Could call RangeMatch or Ranger or something.

Good article by Eli at https://eli.thegreenplace.net/2018/unification/

Should compare functional solution.

Example: https://xmonader.github.io/prolog/2018/12/21/solving-murder-prolog.html

I'm not sure what use these have but their neat. Add Case Study: Generic Object Regular Expressions.

Add Case Study: JSON Schema Validation

Remember to link to fast JSON schema validation library.

Hello, I am not sure if this project is still actively maintained. If so, I would really appreciate if someone can help me on the following issue.

I got an error for the following sample code:

import pypatt

@pypatt.transform
def factorial(num):
    with match(num):
        with 1:
            return 1
        with _:
            return num * factorial(num - 1)

print factorial(3)

Error:

Traceback (most recent call last):
  File "tt.py", line 29, in <module>
    print factorial(3)
  File "tt.py", line 769, in factorial

  File "/usr/lib/python2.7/site-packages/pypatt/macro.py", line 174, in trybind
    result = visitor(expr, value)
  File "/usr/lib/python2.7/site-packages/pypatt/macro.py", line 158, in visitor
    raise RuntimeError('unknown ast.Name')
RuntimeError: unknown ast.Name

Can anyone help me on this? Thank you

An integration with Z3 seems possible and useful. Z3 knows nothing about Python so I think the trick is to encode Python’s object model in Z3 code.

For example, when matching sequences, Z3 would be told that each matching element must be equal. This might also apply to NamedTuples and data classes pretty easily.

The general class of equality would be difficult to capture without translating Python byte code to Z3 statements but the common cases of built-in types (ints, strs, lists, etc) and class factories (data class, named tuple, etc) may be possible.

I know z3 supports integers but does it also handle strings and floats? Hi

Create Symbol Expressions using namedtuples and write optimizer rules using patternmatching.

Might be a good demo for the landing page -- I recall lots of complex clauses with patternmatching.

Functional language alternatives:

• http://coconut-lang.org/
• http://docs.hylang.org/en/stable/