[<<][meta][>>][..]
Mon Feb 15 18:49:44 CET 2010

Conclusions

Milestones:
  - Shared.hs : shared DAG nodes based on (memoized) term equivalence
  - Cas.hs : abstract commutative+associative algebraic manipulations
  - Ai.hs : Complex (Term Double) as proof-of-concept for composite number types

$ cat Term.hs Shared.hs Cas.hs Ai.hs | wc
    333    1773    9693

It looks nice.  Definitely a seed for something useful.

Haskell is a fantastic tool.




[Reply][About]
[<<][meta][>>][..]