Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
A Learning Path to Functional Programming (and What Students can see on the Path). / Gorodnyaya, Lidia; Kondratyev, Dmitry; Shilov, Nikolay.
Agents and Multi-agent Systems: Technologies and Applications 2024. ред. / Robert J. Howlett; Lakhmi C. Jain. Том 406 Springer, 2025. стр. 293-302 25 (Smart Innovation, Systems and Technologies; Том 406).Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
}
TY - GEN
T1 - A Learning Path to Functional Programming (and What Students can see on the Path)
AU - Gorodnyaya, Lidia
AU - Kondratyev, Dmitry
AU - Shilov, Nikolay
N1 - Conference code: 18
PY - 2025
Y1 - 2025
N2 - The paper presents and discusses our experience of teaching functional programming which has evolved during many years of teaching at different departments of Novosibirsk State University. We suggest students to learn, comprehend, and master the functional programming issues and topics via solving research problems of applied mathematics and system programming. In our approach students use functional methodology at different stages of the program life-cycle, especially for problem analysis and high-level design of variants of its solution. We stress some special issues such as implicit functional parallelism and functional modeling in problem solving. Students become acquainted with main parallel constructs experimenting with map and reduce, use and elimination of tail and linear recursion, selection and iteration spaces (from the Sisal programming language), cloud programming (using a cloud programming system for Sisal). We also introduce the basics of program deductive verification for recursive as well as iterative programs.
AB - The paper presents and discusses our experience of teaching functional programming which has evolved during many years of teaching at different departments of Novosibirsk State University. We suggest students to learn, comprehend, and master the functional programming issues and topics via solving research problems of applied mathematics and system programming. In our approach students use functional methodology at different stages of the program life-cycle, especially for problem analysis and high-level design of variants of its solution. We stress some special issues such as implicit functional parallelism and functional modeling in problem solving. Students become acquainted with main parallel constructs experimenting with map and reduce, use and elimination of tail and linear recursion, selection and iteration spaces (from the Sisal programming language), cloud programming (using a cloud programming system for Sisal). We also introduce the basics of program deductive verification for recursive as well as iterative programs.
KW - Cloud Sisal
KW - deductive verification
KW - programming paradigm
KW - teaching functional programming
UR - https://www.scopus.com/pages/publications/105000625592
UR - https://www.mendeley.com/catalogue/728c9f47-b4f2-34ae-8678-4a912759a6cc/
U2 - 10.1007/978-981-97-6469-3_25
DO - 10.1007/978-981-97-6469-3_25
M3 - Conference contribution
SN - 978-981976468-6
VL - 406
T3 - Smart Innovation, Systems and Technologies
SP - 293
EP - 302
BT - Agents and Multi-agent Systems: Technologies and Applications 2024
A2 - Howlett, Robert J.
A2 - Jain, Lakhmi C.
PB - Springer
T2 - 18th International KES Conference on Agents and Multi-Agent Systems: Technologies and Applications
Y2 - 19 June 2024 through 21 June 2024
ER -
ID: 65252882