A Description of the Jadescript Type System

Jadescript is an agent-oriented programming language that benefits from JADE, the popular framework to develop multi-agent systems in Java. The major goal behind the introduction of Jadescript is to simplify the implementation of real-world multi-agent systems by devising a language with specific linguistic constructs for agent-oriented abstractions. However, Jadescript needs to be coherent and consistent across its several features to effectively achieve its goals. This paper discusses some of the most relevant decisions taken during the design of Jadescript by means of an informal description of its type system. The discussed type system includes ordinary types, as found in many other programming languages, but it also includes a few types that are needed to adequately support relevant agent-oriented abstractions.