curryhoward
curryhoward copied to clipboard
Chymyst
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
- [x] Simplify nested match expressions - [x] Generate variables for disjunction checking - [ ] Better symbolic checking of function equality - [ ] Utilities to verify naturality, fmap,...
E.g. Either and List have different accessor names. The fix: make tests insensitive to these names.
When generating a function such as `Option[A] => Option[A]`, the preferred implementation would be `x => x`. Sometimes code such as this is generated: ```scala Warning:(141, 89) type (A ⇒...
Examples where `curryhoward`'s present heuristics do not generate the expected code: ```scala type P[T] = (Option[T], Option[T]) def fmap[A, B](f: A => B): P[A] => P[B] = implement def flatten[A]:...