hydiomatic

The Hy Transformer


Keywords
hy, logic-programming, minikanren, python, static-code-analysis, symbolic-computation
License
LGPL-3.0
Install
pip install hydiomatic==0.2.0

Documentation

Hydiomatic

Build Status Downloads Version

Hydiomatic is a static code analyser for Hy, that can analyse a form, and suggest a simplification, or a more idiomatic alternative.

The software is under heavy development, and has serious limitations, but it can already perform interesting transformations.

Installation

Hydiomatic depends on adderall, and can be installed the usual way with pip:

$ pip install -r requirements.txt

Usage

The library can be used either via the hydiomatic script:

$ hydiomatic -d FILENAME

or programmatically:

(import [hydiomatic.core [*]])

(simplify '(if (not (= 0 (- 1 1)))
             (do (print (+ 1 (+ 2 3)) [a b {"c" (+ a 1)}]))))
;=> (unless (zero? (dec 1))
;     (print (+ 1 2 3) [a b {"c" (inc a)}]))

For more information on what the script can do, run hydiomatic --help.

Example

Here's an example of Hydiomatic updating itself from an older Hy syntax:

$ git show 5d3c958:bin/hydiomatic.hy > old_hydiomatic.hy
$ hydiomatic -d old_hydiomatic.hy

License

All the code is licensed under the GNU Lesser General Public License (v3+).