# -*- cperl -*-

=head1 Camila-SL reflection day

During SBLP in Rio de Janeiro, I and teacher Luís Barbosa, decided to
organize a Camila reflection day. These are some of the topics I
thought during the return trip. They will be adjusted during the
reflection day, and it will produce a work document for Camila
development:

=over 4

=item *

As VDM-SL is a standard, Camila should load VDM-SL files/modules;

=item *

What to do with Camila language? Ignore it or reformulate it?

=item *

While using VDM-SL standard, it should be possible to extend it.

=item *

Camila syntax is needing some reformulation work; As current Camila
has include files, should we add a module concept to Camila files? If
we declare a variable to be of specific type, make strict type
checking. If it is not declared, use any type in that variable.

=item *

Camila language should have the ability to call VDM-SL modules. The
inverse could be interesting, too!

=item *

As with current versions, Camila should be able to use external
dynamic loadable libraries;

=item *

Regular expressions should be built-in. This will lead us to define a
formalism over regular expressions;

=item *

Recursive types genes should be inferred from types definitions;

=item *

xmetoo have proven to be a stable virtual machine, but it somewhat
outdated. . We should find another
solution: compilation or interpretation? Virtual machine? which?
Parrot, JVM, .net? Or other languages like Haskell or directly Perl?

=item *

Camila should have type check, whenever possible, during VDM-SL or
Camila modules compilation;

=item *

Invariants should be checked allways;

=item *

Leave an open way to GUI specification;

=item *

Should Database/XML/... be built-in?

=item *

Camila should be "imperative", "functional", "object oriented",
"declarative", or some mixture?

=item *

We should create a mailing list to discuss these and newer problems.

=item *

Can we make Camila lazy, or somewhat dealing with infinit objects?

=back

As a first list, people who should appear in the meeting:

  Alberto Simões
  José João Almeida
  Luís Soares Barbisa
  José Nuno Oliveira
  Luís Neves

=head2 AUTHOR

Alberto Simões - albie@alfarrabio.di.uminho.pt

=cut