A structural modeling notation for the typed functional paradigm
- Authors: Motara, Yusuf, M
- Date: 2020
- Language: English
- Type: text , article
- Identifier: http://hdl.handle.net/10962/428948 , vital:72548 , https://doi.org/10.1145/3341105.3373863
- Description: Although typed functional programming is becoming increasingly important for practical software development, it remains inaccessible from a modeling perspective. This paper develops and theoretically justifies an initial best-practices notation for the typed functional paradigm. A small case study explores how the same scenario is modeled differently in the object-oriented and typed functional paradigms, and it is argued that the notation developed is a necessary step on the path to a more comprehensive notation for modeling within the paradigm.
- Full Text:
- Date Issued: 2020
- Authors: Motara, Yusuf, M
- Date: 2020
- Language: English
- Type: text , article
- Identifier: http://hdl.handle.net/10962/428948 , vital:72548 , https://doi.org/10.1145/3341105.3373863
- Description: Although typed functional programming is becoming increasingly important for practical software development, it remains inaccessible from a modeling perspective. This paper develops and theoretically justifies an initial best-practices notation for the typed functional paradigm. A small case study explores how the same scenario is modeled differently in the object-oriented and typed functional paradigms, and it is argued that the notation developed is a necessary step on the path to a more comprehensive notation for modeling within the paradigm.
- Full Text:
- Date Issued: 2020
Gamification of functional programming
- Chifamba, Tavonga D, Motara, Yusuf, M
- Authors: Chifamba, Tavonga D , Motara, Yusuf, M
- Date: 2020
- Language: English
- Type: text , article
- Identifier: http://hdl.handle.net/10962/428996 , vital:72552 , https://ieeexplore.ieee.org/abstract/document/9334096
- Description: This paper looks at the current state of how students learn the functional programming [FP] paradigm and how it can be improved by applying gamification. Multiple related works and research published by experts in the field are analyzed and examined. In conclusion, a possible way forward with regards to functional programming gamification design is proposed.
- Full Text:
- Date Issued: 2020
- Authors: Chifamba, Tavonga D , Motara, Yusuf, M
- Date: 2020
- Language: English
- Type: text , article
- Identifier: http://hdl.handle.net/10962/428996 , vital:72552 , https://ieeexplore.ieee.org/abstract/document/9334096
- Description: This paper looks at the current state of how students learn the functional programming [FP] paradigm and how it can be improved by applying gamification. Multiple related works and research published by experts in the field are analyzed and examined. In conclusion, a possible way forward with regards to functional programming gamification design is proposed.
- Full Text:
- Date Issued: 2020
Obstacles when teaching functional programming
- Authors: Motara, Yusuf, M
- Date: 2020
- Language: English
- Type: text , article
- Identifier: http://hdl.handle.net/10962/429064 , vital:72557 , https://doi.org/10.1145/3442481.3442510
- Description: This work describes a course in typed functional programming, the obstacles that are often encountered during the teaching of this course, and solutions which have been devised for those obstacles.
- Full Text:
- Date Issued: 2020
- Authors: Motara, Yusuf, M
- Date: 2020
- Language: English
- Type: text , article
- Identifier: http://hdl.handle.net/10962/429064 , vital:72557 , https://doi.org/10.1145/3442481.3442510
- Description: This work describes a course in typed functional programming, the obstacles that are often encountered during the teaching of this course, and solutions which have been devised for those obstacles.
- Full Text:
- Date Issued: 2020
String diagrams for modelling functional programming
- Authors: Motara, Yusuf, M
- Date: 2020
- Language: English
- Type: text , article
- Identifier: http://hdl.handle.net/10962/429022 , vital:72554 , https://ieeexplore.ieee.org/abstract/document/9334072
- Description: It is currently impossible to model functional programs in the same way that UML is used to model object-oriented programs: no analogous graphical notation exists. Unlike object-oriented programs, however, functional programming is built on a solid mathematical basis and it may be possible to adapt graphical notation from the mathematical domain for such modelling. This work examines string diagrams as a way to model certain functional abstractions. A proposed notation is demonstrated in the contexts of equational reasoning and descriptive modelling, and is found to be suitable for both.
- Full Text:
- Date Issued: 2020
- Authors: Motara, Yusuf, M
- Date: 2020
- Language: English
- Type: text , article
- Identifier: http://hdl.handle.net/10962/429022 , vital:72554 , https://ieeexplore.ieee.org/abstract/document/9334072
- Description: It is currently impossible to model functional programs in the same way that UML is used to model object-oriented programs: no analogous graphical notation exists. Unlike object-oriented programs, however, functional programming is built on a solid mathematical basis and it may be possible to adapt graphical notation from the mathematical domain for such modelling. This work examines string diagrams as a way to model certain functional abstractions. A proposed notation is demonstrated in the contexts of equational reasoning and descriptive modelling, and is found to be suitable for both.
- Full Text:
- Date Issued: 2020
- «
- ‹
- 1
- ›
- »