[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Suppose caml or ML had unification ....
I'm contemplating extensions to functional languages that
would support development of formal projects like provers. My analysis
says that many implementation issues would go away (or at least be
easier) if functional languages had unification. There was a lot of
work done on this but it doesn't seem to be in the available
Would you please comment on:
1. Do you agree with the "unification" stance?
2. If so, what would you like to see as support?
3. Regarless, what other difficult implementation problems
could be made to go away if the compiler directly support certain
Steve (really "D. E.") Stevenson Assoc Prof
Department of Computer Science, Clemson, (864)656-5880.mabell
Support V&V mailing list: email@example.com