3.
If I choose Qi
II, do I
have to give up Lisp?Absolutely not.
In fact you can mix Qi II and Lisp
functions into one file and load them
together. You can use Lisp functions
within Qi II code with no
problems. You can even add to the type
discipline of Qi II to tell it about
the types of functions that you have
written in Lisp and it will accept your
information.
4.
What advantages does writing in Qi
II have
over writing in ML or Haskell?
Qi II runs on top of
Lisp, which means that Qi II inherits all the
features of Lisp that ML and Haskell do
not have; (think macros, EVAL,
hash-tables, property-lists,
metaprogramming ....)
Static
typing is optional in Qi II. You do not
have to buy into it if you are dealing
with code that is resistant to type
checking. Or you can choose to check only
that code you are interested in.
The
type discipline of Qi II is based on
sequent notation which is a much more
powerful and flexible tool for defining
types than that used in ML or Haskell.
