Explaining a type system in a language understandable by an undergraduate student.
Cardiff Metropolitan University
MetadataShow full item record
This study analyses the complexity of a type system and its underlying purpose, an in-depth secondary research from sources such as books, articles, and journals that show the different roles a type system can have in different languages. Demonstrating to the reader a thorough breakdown of type systems, given that the theory of types has changed much over the years be able to interpret different thesis by different theorists and achieving a clear understanding for undergraduate students. The acknowledgment of the research already published leads to the study being undertaken and scrutinizing type systems thoroughly, then interpreting the broken down type systems to a different audience giving others the chance to use, understand and expand on the principles of a type system. There will be a breakdown of logical understanding of type systems showing assumptions and conclusions that are created before the type systems get implemented into a programming language. Grasping the concepts giving the readers an understanding of where a type systems implementation begins starting from their function in programming languages and the history of type systems. A clear breakdown of type systems will show the expressions and rules that apply to those type systems, the different possibilities that can occur such as derivation and subtyping. The link between a static and dynamic type system and the benefits each has for a programming language. The finished project and conclusion will break down a type system and recognize the differences between various type systems converting that area of the research from postgraduate level to undergraduate students to apprehend. In addition, accomplishing my aims and objectives that are met by the completion of this study under the time frame given.
Showing items related by title, author, subject and abstract.
Jones, Dafydd, Gwyn (Cardiff Metropolitan University, 2017-04)This project will be to conduct a Literature Review about existing case-based reasoning and expert systems. This will be done through secondary research gained from such sources as books, journals and articles. Learning ...
A case study of the effects of the use of Paget Gorman Signed Speech in supporting communication of four pupils with Specific Language Impairment at a Special School . James, Diana (University of Wales Institute, Cardiff., 2010)Paget Gorman Signed Speech (PGSS) is a method of augmentative and alternative communication (AAC) that uses both signing and the spoken word to support a person's abílity to communicate. The system is most commonly used ...
Towards a Structured Mechanism for Comparing Programming Languages, Regarding Execution Complexity and Syntactic Similarities Sivabalan, Vidhuran (Cardiff Metropolitan University, 2017-04)Java is currently one of the most popular languages used for programming; it has been developed over decades and is used widely within the computing industry. However, other programming languages such as Python and C# are ...