python-pattern-matching

python-pattern-matching copied to clipboard

Add z3 integration

1

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...

grantjenks

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

grantjenks

add simple example

3

no doc available currently

swuecho

Add Case Study: Unification

1

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

grantjenks

Add Case Study: Satisfiability

3

```python """Satisfiability and Propositional Logic Consider the following constraints: – Alice can only meet either on Monday, Wednesday or Thursday – Bob cannot meet on Wednesday – Carol cannot meet...

grantjenks

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

grantjenks

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.

grantjenks

Add Case Study: JSON Schema Validation Remember to link to fast JSON schema validation library.

grantjenks

See pampy: https://github.com/santinic/pampy/ TODO: Add comparison.

grantjenks

Good article by Eli at https://eli.thegreenplace.net/2018/unification/ Should compare functional solution.

grantjenks