th-cas : Compile-time CAS(Computer Algebra System)

CAS(Computer Algebra System) operations like diff are done at compile-time. (integrate-function is under development.)

Usage

Write diff function var with Quotes of TemplateHaskell. diff makes a diffirential of the function at compile-time. So there is no overhead at execution-time.

A example is below.

import Algebra.CAS.TH

myfunc x = $(diff [|x*x+2*x+1|] [|x|])