Static Type Checking for the Q Functional Language in Prolog

The authors describe an application of Prolog: a type checking tool for the Q functional language. Q is a terse vector processing language, a descendant of APL, which is getting more and more popular, especially in financial applications. Q is a dynamically typed language, much like Prolog. Extending Q with static typing improves both the readability of programs and programmer productivity, as type errors are discovered by the tool at compile time, rather than through debugging the program execution. They designed a type description syntax for Q and implemented a parser for both the Q language and its type extension.

Provided by: Schloss Dagstuhl Topic: Software Date Added: Jun 2011 Format: PDF

Find By Topic