The Algebraic Metalanguage
 
 
 
 
 
 
Go to file
Mike Gerwitz 6027769633 Integrate new compilation scripts, remove cqueue and Makefile.2
This is a major step toward normalcy---removing the kluge of a build process
that was causing so many issues.  Rather than echoing all operations to a
queue file before passing it off to dslc, the new build scripts in `bin/'
are used to invoke tame normally, as needed.  This solves all of the current
issues with things not rebuilding when they should.  And, as a bonus, tab
completion on targets works.

Sorry this took so long.  There wasn't much motivation until we hired so
many people that are suffering from this.

This does a few major things, along with some miscellaneous others:
  - Invoke bin/tame directly;
  - Merge Makefile.2.in into Makefile.am; and
  - Fix up some targets.

* build-aux/Makefile.2.in: Delete file.  Mostly merged with Makefile.am.
* build-aux/Makefile.am: Add a bunch of new targets and definitions from
    Makefile.2.in.  Modify all that previously used .cqueue to now invoke
    `$(TAME)' directly.  Remove miscellaneous targets for trying to proxy
    targets to Makefile.2.
  (saneout, _go): Remove definitions.
  (.NOTPARALLEL): Add to prevent parallel builds.
  (ui/program.expanded.xml)[.version.xml]: Remove dependency for now.
  (clean): Also clean generated PHP files.  Follow symlinks to clean core.
    This is still incomplete (does not clean all rate table stuff).
  (suppliers.mk)[xmlo_cmd]: Remove.  See `gen-make' and `gen-c1make'.
  (lvroot)[summary-html]: New dependency.
  (kill-tamed, tamed-die): New targets (former alias of latter) to kill
    tamed.
* build-aux/gen-c1make: Generate `$(TAME)' invocation.
* build-aux/gen-make: Likewise.  Remove `xmlo_cmd' output.  Ignore recursive
    `tame' symlink (this can be removed once we clean `rater/' up.
* build-aux/m4/calcdsl.m4 (TAME): Update description to reflect that it
    should now be the path to `bin/tame'.  Adjust `AC_CHECK_FILE' lines
    accordingly.
  (tame_needed_ver): Remove.  We have been in the same repo as TAME itself
    for quite some time.  Remove associated code.
  (AC_CONFIG_FILES): Remove `Makefile.2'.
* src/current/src/com/lovullo/dslc/DslCompiler.java (_DslCompiler)[compile]:
    Perform validation prefore `compile' command rather than a separate
    `validate' step.  Remove `rm'.
  [compileSrc]: Stop echoing command.  This was only necessary because of
    the previous Makefile klugery; now Make echoes on its own correctly.
2018-10-11 22:25:18 -04:00
bin Integrate new compilation scripts, remove cqueue and Makefile.2 2018-10-11 22:25:18 -04:00
build-aux Integrate new compilation scripts, remove cqueue and Makefile.2 2018-10-11 22:25:18 -04:00
core numeric/convert (_endpoint_): Add @desc@ 2018-09-28 16:34:37 -04:00
doc doc: Remove TODO item about linker classifier distinction 2018-09-14 16:51:33 -04:00
progtest progtest: ConsoleTestReporter: Correct number of inds on first line 2018-04-10 15:56:50 -04:00
rater bin/: Server/client build scripts 2018-10-08 23:25:02 -04:00
src Integrate new compilation scripts, remove cqueue and Makefile.2 2018-10-11 22:25:18 -04:00
test symbols: Remove last remnants of @keep 2018-09-12 12:07:25 -04:00
tools Copyright update (R-T Specialty) 2018-02-01 13:11:52 -05:00
.gitignore bin/: Server/client build scripts 2018-10-08 23:25:02 -04:00
.gitlab-ci.yml Add GitLab pipeline config 2018-09-12 12:07:25 -04:00
.gitmodules Documentation and testing scaffolding 2015-04-16 13:21:22 -04:00
COPYING Initial repository setup 2015-04-14 05:35:36 -04:00
COPYING.FDL Initial repository setup 2015-04-14 05:35:36 -04:00
HACKING Add HACKING 2018-02-01 13:08:03 -05:00
Makefile.am Include dslc Java build as submake 2018-10-08 23:07:41 -04:00
README.md README.md: Add links to all doc formats 2018-09-12 12:07:25 -04:00
VERSION.in Add generated VERSION 2016-08-23 11:33:51 -04:00
c1map.xsd c1map.xsd: Add schema 2017-07-05 13:51:28 -04:00
configure.ac bin/: Server/client build scripts 2018-10-08 23:25:02 -04:00

README.md

TAME

TAME is The Adaptive Metalanguage, a programming language and system of tools designed to aid in the development, understanding, and maintenance of systems performing numerous calculations on a complex graph of dependencies, conditions, and a large number of inputs.

This system was developed at LoVullo Associates to handle the complexity of comparative insurance rating systems. It is a domain-specific language (DSL) that itself encourages, through the use of templates, the creation of sub-DSLs. TAME itself is at heart a calculator—processing only numerical input and output—driven by quantifiers as predicates. Calculations and quantifiers are written declaratively without concern for order of execution.

The system has powerful dependency resolution and data flow capabilities.

TAME consists of a macro processor (implementing a metalanguage), numerous compilers for various targets (JavaScript, HTML documentation and debugging environment, LaTeX, and others), linkers, and supporting tools. The input grammar is XML, and the majority of the project (including the macro processor, compilers, and linkers) are written in XSLT. There is a reason for that odd choice; until an explanation is provided, know that someone is perverted enough to implement a full compiler in XSLT.

More information will become available as various portions are liberated during refactoring. tame-core is TAME's core library, and hoxsl was developed as a supporting library.

"Current"

The current state of the project as used in production is found in src/current/. The environment surrounding the development of this project resulted in a bit of a mess, which is being refactored into src/ as it is touched. Documentation is virtually non-existent.

Documentation

Compiled documentation for the latest release is available via our GitLab mirror, which uses the same build pipeline as we do on our internal GitLab instance. Available formats are:

Hacking

Information for TAME developers can be found in the file HACKING.

License

This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.

This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.