Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование
A Learning Path to Functional Programming (and What Students can see on the Path). / Gorodnyaya, Lidia; Kondratyev, Dmitry; Shilov, Nikolay.
Smart Innovation, Systems and Technologies. ред. / Robert J. Howlett; Lakhmi C. Jain. Том 406 Springer, 2025. стр. 293-302 (Smart Innovation, Systems and Technologies; Том 406).Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование
}
TY - CHAP
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/record/display.uri?eid=2-s2.0-105000625592&origin=inward&txGid=ce6b139fd990957d8e6d1aeb74ec8cc7
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 - Chapter
SN - 978-981976468-6
VL - 406
T3 - Smart Innovation, Systems and Technologies
SP - 293
EP - 302
BT - Smart Innovation, Systems and Technologies
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