AF-Raf: an agent-oriented programming language with algebraic data types

Abstract

Agent-oriented programming languages used in practice do not have good type systems. It is generally accepted in the programming languages community that types help developers to write correct programs. We present an agent-oriented programming language that uses algebraic data types for dynamically checking beliefs and messages.