ghorn/dvda — Issue #18: better type safety for Symbolic
Author: ghorn
Created: 2011-11-22 00:58:37+00:00
State: open
Labels: Core, High priority

Give symbolic variables their own data type so that functions with symbolic inputs or outputs don't have to pass (Expr a) with runtime error checking.

It's necessary for the ease of use of DVDA to allow expressions to be created from operations on Symbolic types through functional dependencies.